Your search returned 1022 results.

Sort
Select all Clear all
Select titles to:
Results
System Analysis and Modeling [Recurso electrónico] / 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers edited by Daniel Amyot, Alan W. Williams.

by Amyot, Daniel | Williams, Alan W | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3319Source: 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
Declarative Programming for Knowledge Management [Recurso electrónico] / 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers

by Umeda, Masanobu | Bartenstein, Oskar | Geske, Ulrich | Seipel, Dietmar | Takata, Osamu | Wolf, Armin | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4369Source: 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
Transactions on Computational Systems Biology II [Recurso electrónico] / edited by Alexander Zelikovsky.

by Zelikovsky, Alexander | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3680Source: 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
Algorithms in Bioinformatics (vol. # 4175) [Recurso electrónico] / 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings edited by Philipp BÃơcher, Bernard M.E. Moret.

by BÃơcher, Philipp | Moret, Bernard M.E | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4175Source: 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
Applications of Declarative Programming and Knowledge Management [Recurso electrónico] / 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP

by Bartenstein, Oskar | Geske, Ulrich | Hanus, Michael | Seipel, Dietmar | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3392Source: 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
Algorithms in Bioinformatics (vol. # 3692) [Recurso electrónico] / 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, Proceedings edited by Rita Casadio, Gene Myers.

by Casadio, Rita | Myers, Gene | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3692Source: 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
Informatics Education - The Bridge between Using and Understanding Computers [Recurso electrónico] / International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2006, Vilnius, Lithuania, November 7-11, 2006

by Mittermeir, Roland | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4226Source: 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
From Computer Literacy to Informatics Fundamentals [Recurso electrónico] / International Conference on Informatics in Secondary Schools -- Evolution and Perspectives, ISSEP 2005, Klagenfurt, Austria, March 30-April 1, 2005, Proceedings edited

by Mittermeir, Roland T | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3422Source: 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
Software Architecture (vol. # 4344) [Recurso electrónico] / Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers edited by Volker Gruhn, Flavio Oquendo.

by Gruhn, Volker | Oquendo, Flavio | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4344Source: 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
Central European Functional Programming School [Recurso electrónico] / First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures edited by Zoltán Horváth.

by Horváth, Zoltán | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4164Source: 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
Transactions on Computational Systems Biology IV [Recurso electrónico] / edited by Luca Cardelli, Stephen Emmott.

by Cardelli, Luca | Emmott, Stephen | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3939Source: 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
Algorithmic Aspects in Information and Management [Recurso electrónico] / Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006, Proceedings edited by Siu-Wing Cheng, Chung Keung Poon.

by Cheng, Siu-Wing | Poon, Chung Keung | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4041Source: 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
Parameterized and Exact Computation [Recurso electrónico] / Second International Workshop, IWPEC 2006, ZÃơrich, Switzerland, September 13-15, 2006, Proceedings edited by Hans L. Bodlaender, Michael A. Langston.

by Bodlaender, Hans L | Langston, Michael A | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4169Source: 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
Software Architecture (vol. # 3527) [Recurso electrónico] / 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings edited by Ron Morrison, Flavio Oquendo.

by Morrison, Ron | Oquendo, Flavio | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3527Source: 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
Transactions on Computational Systems Biology V [Recurso electrónico] / edited by Tony Hu, Yi Pan, Tsau Young Lin.

by Hu, Tony | Lin, Tsau Young | Pan, Yi | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4070Source: 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
Algorithmic Applications in Management [Recurso electrónico] / First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings edited by Nancy Alonstioti, Nimrod Megiddo, Yinfeng Xu, Binhai Zhu.

by Alonstioti, Nancy | Megiddo, Nimrod | Xu, Yinfeng | Zhu, Binhai | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3521Source: 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
Transactions on Computational Systems Biology III [Recurso electrónico] / edited by Pedro Pablo Gonzalez, Emanuela Merelli, Andrea Omicini, Corrado Priami.

by Gonzalez, Pedro Pablo | Merelli, Emanuela | Omicini, Andrea | Priami, Corrado | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3737Source: 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
Advanced Functional Programming [Recurso electrónico] / 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures edited by Tarmo Uustalu, Varmo Vene.

by Uustalu, Tarmo | Vene, Varmo | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3622Source: 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
Algorithmic Aspects in Information and Management [Recurso electrónico] / Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007, Proceedings edited by Ming-Yang Kao, Xiang-Yang Li.

by Kao, Ming-Yang | Li, Xiang-Yang | SpringerLink (Online service).

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

Log in to add tags Add to cart
Computer Algebra in Scientific Computing (vol. # 4194) [Recurso electrónico] / 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings edited by V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov.

by Ganzha, V.G | Mayr, E.W | Vorozhtsov, E.V | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4194Source: 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