Results
|
|
161.
|
|
|
|
162.
|
|
|
|
163.
|
Central European Functional Programming School [electronic resource] : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / edited by Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók. by Series: Lecture Notes in Computer Science ; 5161
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.62 H67 2008.
|
|
|
164.
|
|
|
|
165.
|
UML Modeling Languages and Applications [electronic resource] : < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers / edited by Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, Ambrosio Toval Alvarez. by Series: Lecture Notes in Computer Science ; 3297
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: No items available.
|
|
|
166.
|
|
|
|
167.
|
|
|
|
168.
|
|
|
|
169.
|
Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings / edited by Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford. by Series: Lecture Notes in Computer Science ; 4608
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.76.C66 S34 2007.
|
|
|
170.
|
Testing of Software and Communicating Systems [electronic resource] : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings / edited by Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp. by Series: Lecture Notes in Computer Science ; 4581
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: TK5101.A1 P48 2007.
|
|
|
171.
|
|
|
|
172.
|
Agent-Oriented Software Engineering VIII [electronic resource] : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers / edited by Michael Luck, Lin Padgham. by Series: Lecture Notes in Computer Science ; 4951
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.758 L83 2008.
|
|
|
173.
|
|
|
|
174.
|
|
|
|
175.
|
Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / edited by Steve Dunne, Bill Stoddart. by Series: Lecture Notes in Computer Science ; 4010
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: No items available.
|
|
|
176.
|
|
|
|
177.
|
Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock. by Series: Lecture Notes in Computer Science ; 4171
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
|
|
|
178.
|
|
|
|
179.
|
|
|
|
180.
|
|