Results
|
141.
|
Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / edited by Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz. by Series: Lecture Notes in Computer Science ; 5126
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: QA267 A24 2008.
|
|
142.
|
|
|
143.
|
|
|
144.
|
Declarative Agent Languages and Technologies V [electronic resource] : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers / edited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff. by Series: Lecture Notes in Computer Science ; 4897
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: QA76.7 B35 2008.
|
|
145.
|
|
|
146.
|
Computer Supported Cooperative Work in Design I [electronic resource] : 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers / edited by Weiming Shen, Zongkai Lin, Jean-Paul A. Barthès, Tangqiu Li. by Series: Lecture Notes in Computer Science ; 3168
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: TA174 S54 2005.
|
|
147.
|
|
|
148.
|
|
|
149.
|
|
|
150.
|
|
|
151.
|
|
|
152.
|
|
|
153.
|
|
|
154.
|
|
|
155.
|
Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV / edited by Marina L. Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan, David Taniar, Antonio Laganá, Youngsong Mun, Hyunseung Choo. by Series: Lecture Notes in Computer Science ; 3983
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: QA75.5 G38 2006.
|
|
156.
|
|
|
157.
|
Balancing Agility and Formalism in Software Engineering [electronic resource] : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers / edited by Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter. by Series: Lecture Notes in Computer Science ; 5082
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: QA75 M49 2008.
|
|
158.
|
|
|
159.
|
|
|
160.
|
Software Process Dynamics and Agility [electronic resource] : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings / edited by Qing Wang, Dietmar Pfahl, David M. Raffo. by Series: Lecture Notes in Computer Science ; 4470
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.76.D47 W36 2007.
|