Your search returned 2848 results.

81.
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).

82.
Dynamics of the Axially Moving Orthotropic Web [electronic resource] / by Krzysztof Marynowski.

by Marynowski, Krzysztof | 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: TS183 M37 2008 (1).

83.
Embedded System Design [electronic resource] / by Peter Marwedel.

by Marwedel, Peter | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Springer, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK7895.E42 M37 2006 (1).

84.
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).

85.
Modeling Semantic Web Services [electronic resource] : The Web Service Modeling Language / by Jos Bruijn, Dieter Fensel, Mick Kerrigan, Uwe Keller, Holger Lausen, James Scicluna.

by Bruijn, Jos | Fensel, Dieter | Kerrigan, Mick | Keller, Uwe | Lausen, Holger | Scicluna, James | 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.76.A65 B78 2008 (1).

86.
Scientific Computing in Electrical Engineering [electronic resource] / edited by Angelo Marcello Anile, Giuseppe Alì, Giovanni Mascali.

by Anile, Angelo Marcello | Alì, Giuseppe | Mascali, Giovanni | 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: TK5 A55 2006 (1).

87.
Model-Driven Testing [electronic resource] / by Paul Baker, Zhen Ru Dai, Jens Grabowski, Øystein Haugen, Ina Schieferdecker, Clay Williams.

by Baker, Paul | Dai, Zhen Ru | Grabowski, Jens | Haugen, Øystein | Schieferdecker, Ina | Williams, Clay | 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.76.T48 B35 2008 (1).

88.
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).

89.
RFID Security and Privacy [electronic resource] : Concepts, Protocols, and Architectures / by Dirk Henrici.

by Henrici, Dirk | 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: TK6553 H46 2008 (1).

90.
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).

91.
Il bizzarro mondo dei quanti [electronic resource] / by Silvia Arroyo Camejo.

by Camejo, Silvia Arroyo | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Milano : Springer-Verlag Italia, Milano, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QC174.12 C36 2008 (1).

92.
Multi-Agent-Based Simulation VI [electronic resource] : International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers / edited by Jaime S. Sichman, Luis Antunes.

by Sichman, Jaime S | Antunes, Luis | 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: QA76.76.I58 S53 2006 (1).

93.
Information Theoretic Security [electronic resource] : Third International Conference, ICITS 2008, Calgary, Canada, August 10-13, 2008. Proceedings / edited by Reihaneh Safavi-Naini.

by Safavi-Naini, Reihaneh | 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 S24 2008 (1).

94.
Recent Trends in Discourse and Dialogue [electronic resource] / edited by Laila Dybkjær, Wolfgang Minker.

by Dybkjær, Laila | Minker, Wolfgang | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Dordrecht : Springer Science + Business Media B.V., 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: P302.3 D93 2008 (1).

95.
Fast Software Encryption [electronic resource] : 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers / edited by Alex Biryukov.

by Biryukov, Alex | 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.A25 B57 2007 (1).

96.
Matematica Numerica [electronic resource] / by Alfio Quarteroni, Riccardo Sacco, Fausto Saleri.

by Quarteroni, Alfio | Sacco, Riccardo | Saleri, Fausto | SpringerLink (Online service).

Edition: 3a edizione.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Milano : Springer-Verlag Milan, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA297 Q83 2008 (1).

97.
Grammatical Inference: Algorithms and Applications [electronic resource] : 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings / edited by Yasubumi Sakakibara, Satoshi Kobayashi, Kengo Sato, Tetsuro Nishino, Etsuji Tomita.

by Sakakibara, Yasubumi | Kobayashi, Satoshi | Sato, Kengo | Nishino, Tetsuro | Tomita, Etsuji | SpringerLink (Online service).

Edition: 1a ed.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.3 S25 2006 (1).

98.
Advances in Natural Computation [electronic resource] : First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III / edited by Lipo Wang, Ke Chen, Yew Soon Ong.

by Wang, Lipo | Chen, Ke | Ong, Yew Soon | 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.87 W36 2005 (1).

99.
Engineering Societies in the Agents World VII [electronic resource] : 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers / edited by Gregory M. P. O’Hare, Alessandro Ricci, Michael J. O’Grady, Oğuz Dikenelli.

by O’Hare, Gregory M. P | Ricci, Alessandro | O’Grady, Michael J | Dikenelli, Oğuz | 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.I58 O43 2007 (1).

100.
Rules and Rule Markup Languages for the Semantic Web [electronic resource] : First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings / edited by Asaf Adi, Suzette Stoutenburg, Said Tabet.

by Adi, Asaf | Stoutenburg, Suzette | Tabet, Said | 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.76.H94 A35 2005 (1).

Powered by Koha