Results
|
41.
|
Global Optimization and Constraint Satisfaction [electronic resource] : Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers / edited by Christophe Jermann, Arnold Neumaier, Djamila Sam. by Series: Lecture Notes in Computer Science ; 3478
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: QA297 J47 2005.
|
|
42.
|
|
|
43.
|
|
|
44.
|
|
|
45.
|
|
|
46.
|
|
|
47.
|
|
|
48.
|
|
|
49.
|
|
|
50.
|
|
|
51.
|
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.
|
|
52.
|
|
|
53.
|
|
|
54.
|
Rule Representation, Interchange and Reasoning on the Web [electronic resource] : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke. by Series: Lecture Notes in Computer Science ; 5321
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.H94 B37 2008.
|
|
55.
|
|
|
56.
|
Programming Multi-Agent Systems [electronic resource] : Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal Fallah Seghrouchni. by Series: Lecture Notes in Computer Science ; 3346
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.76.I58 B67 2005.
|
|
57.
|
|
|
58.
|
Fundamental Approaches to Software Engineering [electronic resource] : 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Matthew B. Dwyer, Antónia Lopes. by Series: Lecture Notes in Computer Science ; 4422
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.758 D89 2007.
|
|
59.
|
Machines, Computations, and Universality [electronic resource] : 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers / edited by Maurice Margenstern. by Series: Lecture Notes in Computer Science ; 3354
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.6 M37 2005.
|
|
60.
|
Testing of Software and Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings / edited by Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa. by Series: Lecture Notes in Computer Science ; 5047
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: TK5101.A1 S89 2008.
|