Refine your search

Your search returned 91 results.

|
1.
Programming Language Pragmatics.

by Scott, Michael L.

Edition: 2nd ed.Material type: Text Text; Format: electronic regular print Publisher: Saint Louis : Elsevier Science, 2014Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.7.
2.
Software Technologies : 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019, Revised Selected Papers.

by van Sinderen, Marten | Maciaszek, Leszek A.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2020Copyright date: ©2020Online access: Click here to view this ebook. Availability: No items available :
3.
Software Technologies : 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019, Revised Selected Papers.

by van Sinderen, Marten | Maciaszek, Leszek A.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2020Copyright date: ©2020Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.758 .S563 2020.
4.
Software Technologies : 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers.

by van Sinderen, Marten | Maciaszek, Leszek A.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2019Copyright date: ©2019Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.758 .S648 2019.
5.
OpenMP : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019, Proceedings.

by Fan, Xing | de Supinski, Bronis R | Sinnen, Oliver | Giacaman, Nasser.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2019Copyright date: ©2019Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.7 .O64 2019.
6.
The Art of Modelling Computational Systems : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday.

by Alvim, Mário S | Chatzikokolakis, Kostas | Olarte, Carlos | Valencia, Frank.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2019Copyright date: ©2019Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.7 .A78 2019.
7.
Module 2 : pandas series.

by Mastrodomenico, Robert [on-screen presenter.].

Material type: Film Film; Format: available online remote; Type of visual material: videorecording ; Audience: Specialized; Subtitle language: English Publisher: London : SAGE Publications Ltd, 2018Other title: Module two : pandas series.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.73.P98 M63 2018.
8.
Module 2 : pandas dataframes.

by Mastrodomenico, Robert [on-screen presenter.].

Material type: Film Film; Format: available online remote; Type of visual material: videorecording ; Audience: Specialized; Subtitle language: English Publisher: London : SAGE Publications Ltd, 2018Other title: Module two : pandas dataframes.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.73.P98 M63 2018.
9.
Programming Languages and Systems : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings.

by Ryu, Sukyoung.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2018Copyright date: ©2018Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online .
10.
Performance and scalability : course wrap up.

by Denny, Matthew [on-screen presenter.].

Material type: Film Film; Format: available online remote; Type of visual material: videorecording ; Audience: Specialized; Subtitle language: English Publisher: London : SAGE Publications Ltd, 2017Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.76.D47 P47 2017.
11.
Performance and scalability : homework 4.

by Denny, Matthew [on-screen presenter.].

Material type: Film Film; Format: available online remote; Type of visual material: videorecording ; Audience: Specialized; Subtitle language: English Publisher: London : SAGE Publications Ltd, 2017Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.76.D47 P47 2017.
12.
Programming Languages and Systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings.

by Chang, Bor-Yuh Evan.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2017Copyright date: ©2017Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online .
13.
Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers.

by Paskevich, Andrei | Wies, Thomas.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2017Copyright date: ©2017Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.7 .V475 2017.
14.
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers.

by Artho, Cyrille | Ölveczky, Peter Csaba.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2017Copyright date: ©2017Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.7 .F676 2017.
15.
Students' Guide to Programming Languages.

by Bull, Malcolm.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Saint Louis : Elsevier Science & Technology, 2016Copyright date: ©1992Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.7 -- .B855 1992.
16.
Programming Languages : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings.

by Castor, Fernando | Liu, Yu David.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2016Copyright date: ©2016Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.7 .P764 2016.
17.
Structured Object-Oriented Formal Language and Method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers.

by Liu, Shaoying | Duan, Zhenhua.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2016Copyright date: ©2016Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.7 .S778 2016.
18.
Transactions on Modularity and Composition I.

by Chiba, Shigeru | Südholt, Mario | Eugster, Patrick | Ziarek, Lukasz | Leavens, Gary T.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2016Copyright date: ©2016Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.6 .C453 2016.
19.
Programming Languages and Systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings.

by Igarashi, Atsushi.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2016Copyright date: ©2016Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA75.5-76.95.
20.
Programming, The Impossible Challenge.

by Walraet, B.

Material type: Text Text; Format: electronic available online remote Publisher: Amsterdam : Elsevier Science, 2015Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online Call number: QA76.6 .W3297 2014.