Results
|
|
841.
|
|
|
|
|
842.
|
|
|
|
|
843.
|
|
|
|
|
844.
|
|
|
|
|
845.
|
|
|
|
|
846.
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings / edited by Luca Aceto, Anna Ingólfsdóttir. by Series: Lecture Notes in Computer Science ; 3921
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.9.L63 A24 2006.
|
|
|
847.
|
|
|
|
|
848.
|
|
|
|
|
849.
|
|
|
|
|
850.
|
|
|
|
|
851.
|
|
|
|
|
852.
|
|
|
|
|
853.
|
|
|
|
|
854.
|
|
|
|
|
855.
|
|
|
|
|
856.
|
|
|
|
|
857.
|
|
|
|
|
858.
|
|
|
|
|
859.
|
|
|
|
|
860.
|
|
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: 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.7 L45 2005.
|