Your search returned 95 results.

81.
Applications of Graph Transformations with Industrial Relevance [electronic resource] : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers / edited by Andy Schürr, Manfred Nagl, Albert Zündorf.

by Schürr, Andy | Nagl, Manfred | Zündorf, Albert | SpringerLink (Online service).

Edition: 1a ed.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: QA75.5 S34 2008 (1).

82.
Graph Transformations [electronic resource] : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings / edited by Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer.

by Ehrig, Hartmut | Heckel, Reiko | Rozenberg, Grzegorz | Taentzer, 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: QA267.3 E37 2008 (1).

83.
Algorithms – ESA 2005 [electronic resource] : 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005. Proceedings / edited by Gerth Stølting Brodal, Stefano Leonardi.

by Brodal, Gerth Stølting | Leonardi, Stefano | 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.A43 B76 2005 (1).

84.
Systems Biology and Regulatory Genomics [electronic resource] : Joint Annual RECOMB 2005 Satellite Workshops on Systems Biology and on Regulatory Genomics, San Diego, CA, USA; December 2-4, 2005, Revised Selected Papers / edited by Eleazar Eskin, Trey Ideker, Ben Raphael, Christopher Workman.

by Eskin, Eleazar | Ideker, Trey | Raphael, Ben | Workman, Christopher | 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: QH324.2 E85 2006 (1).

85.
Algorithms – ESA 2006 [electronic resource] : 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006. Proceedings / edited by Yossi Azar, Thomas Erlebach.

by Azar, Yossi | Erlebach, Thomas | 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: QA76.9.A43 A93 2006 (1).

86.
Pairing-Based Cryptography – Pairing 2008 [electronic resource] : Second International Conference, Egham, UK, September 1-3, 2008. Proceedings / edited by Steven D. Galbraith, Kenneth G. Paterson.

by Galbraith, Steven D | Paterson, Kenneth G | 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: QA76.9.A25 G35 2008 (1).

87.
Theoretical Computer Science [electronic resource] : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings / edited by Mario Coppo, Elena Lodi, G. Michele Pinna.

by Coppo, Mario | Lodi, Elena | Pinna, G. Michele | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available :

88.
Algorithmic Aspects of Wireless Sensor Networks [electronic resource] : Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers / edited by Mirosław Kutyłowski, Jacek Cichoń, Przemysław Kubiak.

by Kutyłowski, Mirosław | Cichoń, Jacek | Kubiak, Przemysław | 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: TK7872.D48 K88 2008 (1).

89.
Automata, Languages and Programming [electronic resource] : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings / edited by Lars Arge, Christian Cachin, Tomasz Jurdziński, Andrzej Tarlecki.

by Arge, Lars | Cachin, Christian | Jurdziński, Tomasz | Tarlecki, Andrzej | 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: QA267 A74 2007 (1).

90.
Mathematical Foundations of Computer Science 2006 [electronic resource] : 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings / edited by Rastislav Královič, Paweł Urzyczyn.

by Královič, Rastislav | Urzyczyn, Paweł | 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: QA76.9.M35 K73 2006 (1).

91.
Comparative Genomics [electronic resource] : RECOMB 2007 International Workshop, RECOMB-CG 2007, San Diego, CA, USA, September 16-18, 2007. Proceedings / edited by Glenn Tesler, Dannie Durand.

by Tesler, Glenn | Durand, Dannie | 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: QH447 T47 2007 (1).

92.
Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I / edited by Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener.

by Bugliesi, Michele | Preneel, Bart | Sassone, Vladimiro | Wegener, Ingo | 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: QA267 B84 2006 (1).

93.
Automata, Languages and Programming [electronic resource] : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings / edited by Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung.

by Caires, Luís | Italiano, Giuseppe F | Monteiro, Luís | Palamidessi, Catuscia | Yung, Moti | 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: QA267 C35 2005 (1).

94.
Parameterized and Exact Computation [electronic resource] : Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings / edited by Martin Grohe, Rolf Niedermeier.

by Grohe, Martin | Niedermeier, Rolf | 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: QA267.8 G76 2008 (1).

95.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers / edited by Dieter Kratsch.

by Kratsch, Dieter | 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: QA166 K73 2005 (1).

Powered by Koha