Your search returned 4 results.

Not what you expected? Check for suggestions

Results
	1.	Programming languages and systems : 21st European Symposium on Programming, ESOP 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / Helmut Seidl (ed.). by European Symposium on Programming (21st : 2012 : Tallinn, Estonia) Seidl, Helmut (Computer scientist) ETAPS (Conference) (2012 : Tallinn, Estonia) Series: Lecture notes in computer science ; 7211. \| Lecture notes in computer science. Advanced research in computing and software science. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012 Other title: ESOP 2012 ETAPS 2012 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings / Markus Müller-Olm, Helmut Seidl (eds.). by International Static Analysis Symposium (21st : 2014 : Munich, Germany) Müller-Olm, Markus [editor.] Seidl, Helmut (Computer scientist) [editor.] Series: Lecture notes in computer science ; 8723. \| Lecture notes in computer science. Advanced research in computing and software science. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2014 Other title: SAS 2014 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Theoretical aspects of computing -- ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings / Helmut Seidl, Zhiming Liu, Corina S. Pasareanu (eds.). by ICTAC (Colloquium) (19th : 2022 : Tbilisi, Georgia) Seidl, Helmut (Computer scientist) [editor.] Liu, Zhiming, 1961- [editor.] Păsăreanu, Corina S [editor.] Series: Lecture notes in computer science ; 13572. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Swizterland : Springer, 2022 Other title: ICTAC 2022 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Software systems safety / edited by Orna Grumber, Helmut Seidl and Maximillian Irlbeck. by NATO Advanced Study Institute on Software Systems Safety (2013 : Marktoberdorf, Germany) Grumberg, Orna [editor.] Seidl, Helmut (Computer scientist) [editor.] Irlbeck, Maximilian [editor.] NATO Science for Peace and Security Programme NATO Emerging Security Challenges Division Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 36. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Amsterdam : IOS Press, 2014 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha