Your search returned 3590 results.

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

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

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

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

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

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

107.
Information Systems Development [electronic resource] : Advances in Theory, Practice, and Education / edited by Olegas Vasilecas, Wita Wojtkowski, Jože Zupančič, Albertas Caplinskas, W. Gregory Wojtkowski, Stanisław Wrycza.

by Vasilecas, Olegas | Wojtkowski, Wita | Zupančič, Jože | Caplinskas, Albertas | Wojtkowski, W. Gregory | Wrycza, Stanisław | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.D3 V37 2005 (1).

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

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

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

111.
Beginning VB 2008 [electronic resource] : From Novice to Professional / by Christian Gross.

by Gross, Christian | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berkeley, CA : Christian Gross, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.73.B3 G76 2008 (1).

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

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

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

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

116.
Constituents of Modern System-safety Thinking [electronic resource] : Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005 / edited by Felix Redmill, Tom Anderson.

by Redmill, Felix | Anderson, Tom | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: London : Springer-Verlag London Limited, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: T55.A1 R43 2005 (1).

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

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

119.
Shock and Damage Models in Reliability Theory [electronic resource] / by Toshio Nakagawa.

by Nakagawa, Toshio | SpringerLink (Online service).

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

120.
Security and Privacy in the Age of Ubiquitous Computing [electronic resource] : IFIP TC11 20th International Information Security Conference May 30 – June 1, 2005, Chiba, Japan / edited by Ryoichi Sasaki, Sihan Qing, Eiji Okamoto, Hiroshi Yoshiura.

by Sasaki, Ryoichi | Qing, Sihan | Okamoto, Eiji | Yoshiura, Hiroshi | SpringerLink (Online service).

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

Powered by Koha