Your search returned 1979 results.

41.
Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers / edited by Sandro Etalle.

by Etalle, Sandro | SpringerLink (Online service).

Edition: 1a ed.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.63 E83 2005 (1).

42.
Intelligent Data Engineering and Automated Learning – IDEAL 2006 [electronic resource] : 7th International Conference, Burgos, Spain, September 20-23, 2006. Proceedings / edited by Emilio Corchado, Hujun Yin, Vicente Botti, Colin Fyfe.

by Corchado, Emilio | Yin, Hujun | Botti, Vicente | Fyfe, Colin | 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.D3 C67 2007 (1).

43.
Heterogeneous Objects Modelling and Applications [electronic resource] : Collection of Papers on Foundations and Practice / edited by Alexander Pasko, Valery Adzhiev, Peter Comninos.

by Pasko, Alexander | Adzhiev, Valery | Comninos, Peter | 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: T385 P37 2008 (1).

44.
Advances in Cryptology – CRYPTO 2005 [electronic resource] : 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005. Proceedings / edited by Victor Shoup.

by Shoup, Victor | 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 S46 2005 (1).

45.
Advances in Database Technology - EDBT 2006 [electronic resource] : 10th International Conference on Extending Database Technology, Munich, Germany, March 26-31, 2006 / edited by Yannis Ioannidis, Marc H. Scholl, Joachim W. Schmidt, Florian Matthes, Mike Hatzopoulos, Klemens Boehm, Alfons Kemper, Torsten Grust, Christian Boehm.

by Ioannidis, Yannis | Scholl, Marc H | Schmidt, Joachim W | Matthes, Florian | Hatzopoulos, Mike | Boehm, Klemens | Kemper, Alfons | Grust, Torsten | Boehm, Christian | 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.D3 I53 2006 (1).

46.
Algebra and Coalgebra in Computer Science [electronic resource] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings / edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen.

by Mossakowski, Till | Montanari, Ugo | Haveraaen, Magne | 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.M35 M67 2007 (1).

47.
Self-Organizing Systems [electronic resource] : First International Workshop, IWSOS 2006, and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006 Proceedings / edited by Hermann Meer, James P. G. Sterbenz.

by Meer, Hermann | Sterbenz, James P. G | 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: Q325 M44 2006 (1).

48.
Component-Based Software Development for Embedded Systems [electronic resource] : An Overview of Current Research Trends / edited by Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper.

by Atkinson, Colin | Bunse, Christian | Gross, Hans-Gerhard | Peper, Christian | SpringerLink (Online service).

Edition: 1a ed.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.76.C66 A85 2005 (1).

49.
Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part I / edited by Bruno Apolloni, Robert J. Howlett, Lakhmi Jain.

by Apolloni, Bruno | Howlett, Robert J | Jain, Lakhmi | 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: TK7801 A66 2007 (1).

50.
Computers and Games [electronic resource] : 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers / edited by H. Jaap Herik, Paolo Ciancarini, H. H. L. M. (Jeroen) Donkers.

by Herik, H. Jaap | Ciancarini, Paolo | Donkers, H. H. L. M. (Jeroen) | 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: GV1469.15 H47 2007 (1).

51.
Computer Vision – ECCV 2006 [electronic resource] : 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006. Proceedings, Part II / edited by Aleš Leonardis, Horst Bischof, Axel Pinz.

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

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

52.
Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31– June 1, 2007. Proceedings / edited by Ngoc Thanh Nguyen, Adam Grzech, Robert J. Howlett, Lakhmi C. Jain.

by Nguyen, Ngoc Thanh | Grzech, Adam | Howlett, Robert J | Jain, Lakhmi C | SpringerLink (Online service).

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

53.
Universal Access in Human-Computer Interaction. Ambient Interaction [electronic resource] : 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II / edited by Constantine Stephanidis.

by Stephanidis, Constantine | 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.H85 S74 2007 (1).

54.
Service-Oriented Computing – ICSOC 2008 [electronic resource] : 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings / edited by Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria.

by Bouguettaya, Athman | Krueger, Ingolf | Margaria, Tiziana | 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.9.D5 B68 2008 (1).

55.
Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings / edited by Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan.

by Cha, Sungdeok (Steve) | Choi, Jin-Young | Kim, Moonzoo | Lee, Insup | Viswanathan, Mahesh | 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.9.A96 C3 2008 (1).

56.
Mathematical Methods in Computer Science [electronic resource] : Essays in Memory of Thomas Beth / edited by Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade.

by Calmet, Jacques | Geiselmann, Willi | Müller-Quade, Jörn | 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.9..M35 C35 2008 (1).

57.
Applied Parallel Computing. State of the Art in Scientific Computing [electronic resource] : 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers / edited by Jack Dongarra, Kaj Madsen, Jerzy Waśniewski.

by Dongarra, Jack | Madsen, Kaj | Waśniewski, Jerzy | 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.58 D66 2006 (1).

58.
On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I / edited by Robert Meersman, Zahir Tari, Pilar Herrero.

by Meersman, Robert | Tari, Zahir | Herrero, Pilar | 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.D3 M447 2006 (1).

59.
Computer Science – Theory and Applications [electronic resource] : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings / edited by Volker Diekert, Mikhail V. Volkov, Andrei Voronkov.

by Diekert, Volker | Volkov, Mikhail V | Voronkov, Andrei | SpringerLink (Online service).

Edition: 1a ed.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.5 D54 2007 (1).

60.
Middleware 2007 [electronic resource] : ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings / edited by Renato Cerqueira, Roy H. Campbell.

by Cerqueira, Renato | Campbell, Roy H | 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.76.M54 C47 2007 (1).

Powered by Koha