Your search returned 5 results.

Not what you expected? Check for suggestions

Results
	1.	Compiler construction : 13th international conference, CC 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Evelyn Duesterwald (ed.). by CC (Conference) (13th : 2004 : Barcelona, Spain) Duesterwald, Evelyn ETAPS (Conference) (2004 : Barcelona, Spain) Series: Lecture notes in computer science ; 2985. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2004 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Foundations of software science and computation structures : 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Igor Walukiewicz (ed.). by FOSSACS (Conference) (7th : 2004 : Barcelona, Spain) Walukiewicz, Igor ETAPS (Conference) (2004 : Barcelona, Spain) Series: Lecture notes in computer science ; 2987. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2004 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / David Schmidt, (ed.). by European Symposium on Programming (13th : 2004 : Barcelona, Spain) Schmidt, David A, 1953 May 10- ETAPS (Conference) (2004 : Barcelona, Spain) Series: Lecture notes in computer science ; 2986. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2004 Other title: ESOP 2004 ETAPS 2004 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Kurt Jensen, Andreas Podelski (eds.). by TACAS (Conference) (10th : 2004 : Barcelona, Spain) Jensen, K. (Kurt), 1950- Podelski, Andreas Series: Lecture notes in computer science ; 2988. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 2004 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Principles of security and trust : Third International Conference, POST 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, proceedings / Martín Abadi, Steve Kremer (eds.). by POST (Conference) (3rd : 2014 : Grenoble, France) Abadi, Martín [editor.] Kremer, Steve [editor.] ETAPS (Conference) (17th : 2014 : Grenoble, France) Series: Lecture notes in computer science ; 8414. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Heidelberg : Springer, [2014]Copyright date: ©2014 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha