Results
|
|
41.
|
|
|
|
42.
|
|
|
|
43.
|
|
|
|
44.
|
|
|
|
45.
|
|
|
|
46.
|
|
|
|
47.
|
|
|
|
48.
|
|
|
|
49.
|
|
|
|
50.
|
Relational Methods in Computer Science [electronic resource] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / edited by Wendy MacCaull, Michael Winter, Ivo Düntsch. by Series: Lecture Notes in Computer Science ; 3929
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: QA76 M33 2006.
|
|
|
51.
|
|
|
|
52.
|
|
|
|
53.
|
Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings / edited by Alan Mycroft, Andreas Zeller. by Series: Lecture Notes in Computer Science ; 3923
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: QA76.76.C65 M93 2006.
|
|
|
54.
|
|
|
|
55.
|
|
|
|
56.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 4790
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.63 D47 2007.
|
|
|
57.
|
|
|
|
58.
|
|
|
|
59.
|
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: 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.9.M35 F53 2005.
|
|
|
60.
|
Principles and Practice of Semantic Web Reasoning [electronic resource] : 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers / edited by Jóse Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel. by Series: Lecture Notes in Computer Science ; 4187
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.A65 A44 2006.
|