Your search returned 1068 results.

Sort
Select all Clear all
Select titles to:
Results
Verification, Model Checking, and Abstract Interpretation (vol. # 3385) [Recurso electrónico] / 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings edited by Radhia Cousot.

by Cousot, Radhia | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3385Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Implementation and Application of Automata (vol. # 3317) [Recurso electrónico] / 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers edited by Michael Domaratzki, Alexander Okhotin, Kai Salomaa

by Domaratzki, Michael | Okhotin, Alexander | Salomaa, Kai | Yu, Sheng | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3317Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Topics in Cryptology -- CT-RSA 2005 [Recurso electrónico] / The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings edited by Alfred John Menezes.

by Menezes, Alfred John | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3376Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Combinatorial Geometry and Graph Theory [Recurso electrónico] / Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers edited by Jin Akiyama, Edy Tri Baskoro, Mikio Kano.

by Akiyama, Jin | Baskoro, Edy Tri | Kano, Mikio | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3330Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Computer Music Modeling and Retrieval (vol. # 3310) [Recurso electrónico] / Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004, Revised Papers edited by Uffe Kock Wiil.

by Wiil, Uffe Kock | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3310Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Machine Learning for Multimodal Interaction (vol. # 3361) [Recurso electrónico] / First International Workshop, MLMI 2004, Martigny, Switzerland, June 21-23, 2004, Revised Selected Papers edited by Samy Bengio, Hervé Bourlard.

by Bengio, Samy | Bourlard, Hervé | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3361Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Programming Multi-Agent Systems (vol. # 3346) [Recurso electrónico] / Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers edited by Rafael H. Bordini, Mehdi Dastani, JÃơrgen Dix, Amal El

by Bordini, Rafael H | Dastani, Mehdi | Dix, JÃơrgen | Seghrouchni, Amal El Fallah | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3346Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
RoboCup 2004: Robot Soccer World Cup VIII [Recurso electrónico] / edited by Daniele Nardi, Martin Riedmiller, Claude Sammut, José Santos-Victor.

by Nardi, Daniele | Riedmiller, Martin | Sammut, Claude | Santos-Victor, José | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3276Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Scientific Engineering of Distributed Java Applications [Recurso electrónico] / 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers edited by Nicolas Guelfi, Gianna Reggio, A

by Guelfi, Nicolas | Reggio, Gianna | Romanovsky, Alexander | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3409Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Law and the Semantic Web [Recurso electrónico] / Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications edited by Bran Selic, Richard Benjamins, Pompeu Casanovas, Aldo Gangemi.

by Selic, Bran | Benjamins, Richard | Casanovas, Pompeu | Gangemi, Aldo | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3369Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Information Retrieval Technology (vol. # 3411) [Recurso electrónico] / Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers edited by Sung Hyon Myaeng, Kam-Fai Wong, Hong-Jiang Zhang, M

by Myaeng, Sung Hyon | Wong, Kam-Fai | Zhang, Hong-Jiang | Zhou, Ming | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3411Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Membrane Computing (vol. # 3365) [Recurso electrónico] / 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers edited by Giancarlo MauriGheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenb

by Mauri, Giancarlo | Paun, Gheorghe | Pérez-Jiménez, Mario J | Rozenberg, Grzegorz | Salomaa, Arto | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3365Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Knowledge Discovery in Inductive Databases (vol. # 3377) [Recurso electrónico] / Third International Workshop, KDID 2004, Pisa, Italy, September 20, 2004, Revised Selected and Invited Papers edited by Bart Goethals, Arno Siebes.

by Goethals, Bart | Siebes, Arno | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3377Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Formal Approaches to Software Testing (vol. # 3395) [Recurso electrónico] / 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers edited by Jens Grabowski, Brian Nielsen.

by Grabowski, Jens | Nielsen, Brian | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3395Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Databases, Information Systems, and Peer-to-Peer Computing [Recurso electrónico] / Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers edited by Wee Siong Ng, Beng Chin Ooi, Aris Ouksel, C

by Ng, Wee Siong | Ooi, Beng Chin | Ouksel, Aris | Sartori, Claudio | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3367Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Multi-Agent and Multi-Agent-Based Simulation [Recurso electrónico] / Joint Workshop MABS 2004 edited by Paul Davidsson, Brian Logan, Keiki Takadama.

by Davidsson, Paul | Logan, Brian | Takadama, Keiki | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3415Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Relational Methods in Computer Science [Recurso electrónico] / 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin

by MacCaull, Wendy | DÃơntsch, Ivo | Winter, Michael | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3929Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Security in Pervasive Computing (vol. # 3934) [Recurso electrónico] / Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings edited by John A. Clark, Richard F. Paige, Fiona A.C. Polack, Phillip J. Brooke.

by Clark, John A | Brooke, Phillip J | Paige, Richard F | Polack, Fiona A.C | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3934Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Artificial Evolution [Recurso electrónico] / 7th International Conference, Evolution Artificielle, EA 2005, Revised Selected Papers edited by El-ghazali TalbiPierre Liardet, Pierre Collet, Evelyne Lutton et al.

by Talbi, El-ghazali | Collet, Pierre | Liardet, Pierre | Lutton, Evelyne | Schoenauer, Marc | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3871Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Computer Vision -- ECCV 2006 (vol. # 3951) [Recurso electrónico] / 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part I edited by AleÅ¡ Leonardis, Horst Bischof, Axel Pinz.

by Leonardis, Aleš | Bischof, Horst | Pinz, Axel | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3951Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Log in to add tags Add to cart
Pages

Powered by Koha