Your search returned 2103 results.

Sort
Results
1241.
Practical Aspects of Declarative Languages [electronic resource] : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings / edited by Pascal Hentenryck. by Series: Lecture Notes in Computer Science ; 3819
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.7 H46 2006.

1242.
Service-Oriented Computing – ICSOC 2007 [electronic resource] : Fifth International Conference, Vienna, Austria, September 17-20, 2007. Proceedings / edited by Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan. by Series: Lecture Notes in Computer Science ; 4749
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 K73 2007.

1243.
1244.
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings / edited by Günther R. Raidl, Jens Gottlieb. by Series: Lecture Notes in Computer Science ; 3448
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.87 R35 2005.

1245.
Self-Stabilizing Systems [electronic resource] : 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings / edited by Sébastien Tixeuil, Ted Herman. by Series: Lecture Notes in Computer Science ; 3764
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.S54 T59 2005.

1246.
ECOOP 2006 – Object-Oriented Programming [electronic resource] : 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings / edited by Dave Thomas. by Series: Lecture Notes in Computer Science ; 4067
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.64 T46 2006.

1247.
1248.
1249.
1250.
SDL 2005: Model Driven [electronic resource] : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings / edited by Andreas Prinz, Rick Reed, Jeanne Reed. by Series: Lecture Notes in Computer Science ; 3530
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.S35 P75 2005.

1251.
Practical Aspects of Declarative Languages [electronic resource] : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings / edited by Michael Hanus. by Series: Lecture Notes in Computer Science ; 4354
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.7 H36 2007.

1252.
Research in Computational Molecular Biology [electronic resource] : 11th Annual International Conference, RECOMB 2007, Oakland, CA, USA, April 21-25, 2007. Proceedings / edited by Terry Speed, Haiyan Huang. by Series: Lecture Notes in Computer Science ; 4453
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QH506 S64 2007.

1253.
Agent-Oriented Software Engineering VII [electronic resource] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers / edited by Lin Padgham, Franco Zambonelli. by Series: Lecture Notes in Computer Science ; 4405
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 P33 2007.

1254.
Internet and Network Economics [electronic resource] : First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005. Proceedings / edited by Xiaotie Deng, Yinyu Ye. by Series: Lecture Notes in Computer Science ; 3828
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.875.I57 D46 2005.

1255.
1256.
Computational Methods in Systems Biology [electronic resource] : 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings / edited by Monika Heiner, Adelinde M. Uhrmacher. by Series: Lecture Notes in Computer Science ; 5307
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QH506 H45 2008.

1257.
1258.
1259.
1260.
Pages

Powered by Koha