Results
|
161.
|
|
|
162.
|
|
|
163.
|
|
|
164.
|
Relations and Kleene Algebra in Computer Science [electronic resource] : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings / edited by Rudolf Berghammer, Bernhard Möller, Georg Struth. by Series: Lecture Notes in Computer Science ; 4988
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA10 B47 2008.
|
|
165.
|
|
|
166.
|
|
|
167.
|
|
|
168.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings / edited by Geoff Sutcliffe, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 3835
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76 S88 2005.
|
|
169.
|
|
|
170.
|
|
|
171.
|
|
|
172.
|
|
|
173.
|
|
|
174.
|
|
|
175.
|
|
|
176.
|
|
|
177.
|
Self-Managed Networks, Systems, and Services [electronic resource] : Second IEEE International Workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006. Proceedings / edited by Alexander Keller, Jean-Philippe Martin-Flatin. by Series: Lecture Notes in Computer Science ; 3996
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.5 K45 2006.
|
|
178.
|
|
|
179.
|
|
|
180.
|
|