Results
|
|
161.
|
|
|
|
162.
|
|
|
|
163.
|
|
|
|
164.
|
Algebra and Coalgebra in Computer Science [electronic resource] : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings / edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten. by Series: Lecture Notes in Computer Science ; 3629
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
|
165.
|
Abstraction, Reformulation and Approximation [electronic resource] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings / edited by Jean-Daniel Zucker, Lorenza Saitta. by Series: Lecture Notes in Computer Science ; 3607
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
|
166.
|
|
|
|
167.
|
|
|
|
168.
|
Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings / edited by Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro. by Series: Lecture Notes in Computer Science ; 3670
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
|
169.
|
Declarative Agent Languages and Technologies II [electronic resource] : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / edited by João Leite, Andrea Omicini, Paolo Torroni, pInar Yolum. by Series: Lecture Notes in Computer Science ; 3476
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
|
170.
|
|
|
|
171.
|
|
|
|
172.
|
Formal Methods for Components and Objects [electronic resource] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Series: Lecture Notes in Computer Science ; 3657
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
|
173.
|
|
|
|
174.
|
|
|
|
175.
|
|
|
|
176.
|
|
|
|
177.
|
|
|
|
178.
|
|
|
|
179.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Nicolas Halbwachs, Lenore D. Zuck. by Series: Lecture Notes in Computer Science ; 3440
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
|
180.
|
|
