Results
|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
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.
|
|
11.
|
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
High Performance Computational Science and Engineering [electronic resource] : IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France / edited by Michael K. Ng, Andrei Doncescu, Laurence T. Yang, Tau Leng. by Series: IFIP — The International Federation for Information Processing ; 172
Material type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : International Federation for Information Processing, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.88 .I35 2005.
|
|
16.
|
|
|
17.
|
|
|
18.
|
|
|
19.
|
Relations and Kleene Algebra in Computer Science [electronic resource] : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings / edited by Rudolf Berghammer, Bernhard Möller, Georg Struth. by Series: Lecture Notes in Computer Science ; 4988
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: QA10 B47 2008.
|
|
20.
|
|