Your search returned 69 results.

Not what you expected? Check for suggestions

Results
	61.	Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers / Sandrine Blazy, Marsha Chechik (eds.). by VSTTE (Conference) (8th : 2016 : Toronto, Ont.) Blazy, Sandrine [editor.] Chechik, Marsha [editor.] Series: Lecture notes in computer science ; 9971. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Other title: VSTTE 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	62.	Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers / edited by Andrei Paskevich, Thomas Wies. by VSTTE (Conference) (9th : 2017 : Heidelberg, Germany) Paskevich, Andrei [editor.] Wies, Thomas [editor.] Series: Lecture notes in computer science ; 10712. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: VSTTE 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	63.	Verified software : theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers / Ruzica Piskac, Philipp Rümmer (eds.). by VSTTE (Conference) (10th : 2018 : Oxford, England) Piskac, Ruzica [editor.] Rümmer, Philipp [editor.] Series: Lecture notes in computer science ; 11294. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018 Other title: VSTTE 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	64.	Transactions on high-performance embedded architectures and compilers V / Per Stenström, Cristina Silvano, Koen Bertels, Michael Schulte (eds.). by Stenström, Per [editor.] Silvano, Cristina [editor.] Bertels, Koen [editor.] Schulte, Michael [editor.] Series: Lecture notes in computer science ; 11225. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin, Germany : Springer, 2019 Other title: Transactions on high-performance embedded architectures and compilers 5 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	65.	Verified software : theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised selected papers / Supratik Chakraborty, Jorge A. Navas, editors. by VSTTE (Conference) (11th : 2019 : New York, N.Y.) Chakraborty, Supratik Navas, Jorge A Series: Lecture notes in computer science ; 12031. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cham : Springer, 2020 Other title: VSTTE 2019 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	66.	Design and implementation of compiler / Ravendra Singh, Vivek Sharma, Manish Varshney. by Singh, Ravendra Sharma, Vivek Varshney, Manish Material type: Text; Format: available online ; Literary form: Not fiction Publication details: New Delhi : New Age International, ©2009 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	67.	Formal models, languages and applications [electronic resource] / editors, K.G. Subramanian, K. Rangarajan, M. Mukund. by Subramanian, K. G Rangarajan, K Mukund, Madhavan NetLibrary, Inc Series: Series in machine perception and artificial intelligence ; v. 66 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Singapore ; Hackensack, NJ. : World Scientific, c2006 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	68.	Engineering a compiler / Keith D. Cooper and Linda Torczon. by Cooper, Keith D. (Keith Daniel) Torczon, Linda Material type: Text; Format: available online ; Literary form: Not fiction Copyright date: ©2004 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	69.	Modern compiler implementation in ML / Andrew W. Appel by Appel, Andrew W, 1960- [aut] Edition: Revised and expanded ed. of: Modern compiler implementation in ML : basic techniques, repr. with corr., first paperback ed. Material type: Text; Format: print Language: English Publisher: Cambridge [u.a.] Cambridge Univ. Press 2004 Availability: Not available: Checked out (1). Place hold

Powered by Koha