Your search returned 292 results.

101.
Formal Concept Analysis [electronic resource] : 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings / edited by Rokia Missaoui, Jürg Schmidt.

by Missaoui, Rokia | Schmidt, Jürg | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA171.5 M57 2006 (1).

102.
Algorithm Theory – SWAT 2006 [electronic resource] : 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006. Proceedings / edited by Lars Arge, Rusins Freivalds.

by Arge, Lars | Freivalds, Rusins | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA9.58 A74 2006 (1).

103.
Conceptual Structures: Common Semantics for Sharing Knowledge [electronic resource] : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. Proceedings / edited by Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme.

by Dau, Frithjof | Mugnier, Marie-Laure | Stumme, Gerd | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: Q387.2 D38 2005 (1).

104.
Introduction to Discrete Event Systems [electronic resource] / edited by Christos G. Cassandras, Stéphane Lafortune.

by Cassandras, Christos G | Lafortune, Stéphane | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Springer-Verlag US, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: T57.6 C37 2008 (1).

105.
Foundations of Information and Knowledge Systems [electronic resource] : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings / edited by Sven Hartmann, Gabriele Kern-Isberner.

by Hartmann, Sven | Kern-Isberner, Gabriele | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA75.5 H37 2008 (1).

106.
Regulatory Genomics [electronic resource] : RECOMB 2004 International Workshop, RRG 2004, San Diego, Ca, USA, March 26-27, 2004, Revised Selected Papers / edited by Eleazar Eskin, Christopher Workman.

by Eskin, Eleazar | Workman, Christopher | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QH450 E85 2005 (1).

107.
Combinatorial Optimization and Applications [electronic resource] : Second International Conference, COCOA 2008, St. John’s, NL, Canada, August 21-24, 2008. Proceedings / edited by Boting Yang, Ding-Zhu Du, Cao An Wang.

by Yang, Boting | Du, Ding-Zhu | Wang, Cao An | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA402.5 Y36 2008 (1).

108.
Experimental Algorithms [electronic resource] : 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30-June 1, 2008 Proceedings / edited by Catherine C. McGeoch.

by McGeoch, Catherine C | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.A43 M34 2008 (1).

109.
Sets, Logic and Maths for Computing [electronic resource] / by David Makinson.

by Makinson, David | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: London : Springer-Verlag London, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.M35 M35 2008 (1).

110.
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30 2006. Proceedings / edited by Josep Díaz, Klaus Jansen, José D. P. Rolim, Uri Zwick.

by Díaz, Josep | Jansen, Klaus | Rolim, José D. P | Zwick, Uri | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA75.5 D53 2006 (1).

111.
Foundations of Generic Optimization [electronic resource] : Volume 1: A Combinatorial Approach to Epistasis / by M. Iglesias, B. Naudts, A. Verschoren, C. Vidal ; edited by R. Lowen, A. Verschoren.

by Iglesias, M | Naudts, B | Verschoren, A | Vidal, C | Lowen, R | Verschoren, A | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Dordrecht : Springer, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA402.5 I35 2005 (1).

112.
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making [electronic resource] : 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings / edited by Michael J. Maher.

by Maher, Michael J | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA75.5 M34 2005 (1).

113.
Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers / edited by Yasuhito Kawano, Michele Mosca.

by Kawano, Yasuhito | Mosca, Michele | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.889 K39 2008 (1).

114.
Integer Programming and Combinatorial Optimization [electronic resource] : 9th International IPCO Conference Cambridge, MA, USA, May 27–29, 2002 Proceedings / edited by William J. Cook, Andreas S. Schulz.

by Cook, William J | Schulz, Andreas S | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: T57.74 C66 2006 (1).

115.
Computers and Games [electronic resource] : 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings / edited by H. Jaap Herik, Xinhe Xu, Zongmin Ma, Mark H. M. Winands.

by Herik, H. Jaap | Xu, Xinhe | Ma, Zongmin | Winands, Mark H. M | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: GV1469.15 H47 2008 (1).

116.
Real-Time Applications with Stochastic Task Execution Times [electronic resource] : Analysis and Optimisation / by Sorin Manolache, Petru Eles, Zebo Peng.

by Manolache, Sorin | Eles, Petru | Peng, Zebo | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Dordrecht : Springer, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK895.E42 M36 2007 (1).

117.
Frontiers in Algorithmics [electronic resource] : First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007. Proceedings / edited by Franco P. Preparata, Qizhi Fang.

by Preparata, Franco P | Fang, Qizhi | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.A43 P74 2007 (1).

118.
Comparative Genomics [electronic resource] : International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008. Proceedings / edited by Craig E. Nelson, Stéphane Vialette.

by Nelson, Craig E | Vialette, Stéphane | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QH447 N45 2008 (1).

119.
Progress in Cryptology - INDOCRYPT 2004 [electronic resource] : 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004. Proceedings / edited by Anne Canteaut, Kapaleeswaran Viswanathan.

by Canteaut, Anne | Viswanathan, Kapaleeswaran | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.A25 C36 2005 (1).

120.
Advances in Grid Computing - EGC 2005 [electronic resource] : European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers / edited by Peter M. A. Sloot, Alfons G. Hoekstra, Thierry Priol, Alexander Reinefeld, Marian Bubak.

by Sloot, Peter M. A | Hoekstra, Alfons G | Priol, Thierry | Reinefeld, Alexander | Bubak, Marian | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.C58 S58 2005 (1).

Powered by Koha