Your search returned 756 results.

101.
Applications and Theory of Petri Nets [electronic resource] : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings / edited by Kees M. Hee, Rüdiger Valk.

by Hee, Kees M | Valk, Rüdiger | 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 H44 2008 (1).

102.
RoboCup 2005: Robot Soccer World Cup IX [electronic resource] / edited by Ansgar Bredenfeld, Adam Jacoff, Itsuki Noda, Yasutake Takahashi.

by Bredenfeld, Ansgar | Jacoff, Adam | Noda, Itsuki | Takahashi, Yasutake | 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: TJ210.3 B74 2006 (1).

103.
Operations and Management in IP-Based Networks [electronic resource] : 5th IEEE International Workshop on IP Operations and Management, IPOM 2005, Barcelona, Spain, October 26-28, 2005. Proceedings / edited by Thomas Magedanz, Edmundo R. M. Madeira, Petre Dini.

by Magedanz, Thomas | Madeira, Edmundo R. M | Dini, Petre | 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: TK5105.5 M34 2005 (1).

104.
Web Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / edited by Marlon Dumas, Reiko Heckel.

by Dumas, Marlon | Heckel, Reiko | 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: TK5105.88813 D86 2008 (1).

105.
Semantic Multimedia [electronic resource] : Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008. Proceedings / edited by David Duke, Lynda Hardman, Alex Hauptmann, Dietrich Paulus, Steffen Staab.

by Duke, David | Hardman, Lynda | Hauptmann, Alex | Paulus, Dietrich | Staab, Steffen | 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.575 D85 2008 (1).

106.
Advances in Cryptology – EUROCRYPT 2008 [electronic resource] : 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008. Proceedings / edited by Nigel Smart.

by Smart, Nigel | 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 S63 2008 (1).

107.
Cooperative Information Agents XII [electronic resource] : 12th International Workshop, CIA 2008, Prague, Czech Republic, September 10-12, 2008. Proceedings / edited by Matthias Klusch, Michal Pěchouček, Axel Polleres.

by Klusch, Matthias | Pěchouček, Michal | Polleres, Axel | 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.I58 K58 2008 (1).

108.
Embedded and Ubiquitous Computing – EUC 2005 Workshops [electronic resource] : EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005. Proceedings / edited by Tomoya Enokido, Lu Yan, Bin Xiao, Daeyoung Kim, Yuanshun Dai, Laurence T. Yang.

by Enokido, Tomoya | Yan, Lu | Xiao, Bin | Kim, Daeyoung | Dai, Yuanshun | Yang, Laurence T | 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: TK7895.E42 E56 2005 (1).

109.
Progress in WWW Research and Development [electronic resource] : 10th Asia-Pacific Web Conference, APWeb 2008, Shenyang, China, April 26-28, 2008. Proceedings / edited by Yanchun Zhang, Ge Yu, Elisa Bertino, Guandong Xu.

by Zhang, Yanchun | Yu, Ge | Bertino, Elisa | Xu, Guandong | 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.D35 Z43 2008 (1).

110.
Secure Transaction Protocol Analysis [electronic resource] : Models and Applications / by Qingfeng Chen, Chengqi Zhang, Shichao Zhang.

by Chen, Qingfeng | Zhang, Chengqi | Zhang, Shichao | 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: TK5105.59 C46 2008 (1).

111.
Advances in Neural Networks – ISNN 2005 [electronic resource] : Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part II / edited by Jun Wang, Xiao-Feng Liao, Zhang Yi.

by Wang, Jun | Liao, Xiao-Feng | Yi, Zhang | 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 W364 2005 (1).

112.
Advances in Image and Video Technology [electronic resource] : First Pacific Rim Symposium, PSIVT 2006, Hsinchu, Taiwan, December 10-13, 2006. Proceedings / edited by Long-Wen Chang, Wen-Nung Lie.

by Chang, Long-Wen | Lie, Wen-Nung | 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: TK8315 C36 2006 (1).

113.
Reliable Software Technologies – Ada-Europe 2006 [electronic resource] : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings / edited by Luís Miguel Pinho, Michael González Harbour.

by Pinho, Luís Miguel | González Harbour, Michael | 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.76.R44 P56 2006 (1).

114.
Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III / edited by Julie A. Jacko.

by Jacko, Julie A | 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 J35 2007 (1).

115.
Data Warehousing and Knowledge Discovery [electronic resource] : 7th International Conference, DaWaK 2005, Copenhagen, Denmark, August 22-26, 2005. Proceedings / edited by A Min Tjoa, Juan Trujillo.

by Tjoa, A Min | Trujillo, Juan | 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.D37 T56 2005 (1).

116.
Electronic Government [electronic resource] : 7th International Conference, EGOV 2008, Turin, Italy, August 31 - September 5, 2008. Proceedings / edited by Maria A. Wimmer, Hans J. Scholl, Enrico Ferro.

by Wimmer, Maria A | Scholl, Hans J | Ferro, Enrico | 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: JF1525.A8 W56 2008 (1).

117.
Generative and Transformational Techniques in Software Engineering II [electronic resource] : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers / edited by Ralf Lämmel, Joost Visser, João Saraiva.

by Lämmel, Ralf | Visser, Joost | Saraiva, João | 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.758 L36 2008 (1).

118.
Engineering Self-Organising Systems [electronic resource] : Methodologies and Applications / edited by Sven A. Brueckner, Giovanna Marzo Serugendo, Anthony Karageorgos, Radhika Nagpal.

by Brueckner, Sven A | Marzo Serugendo, Giovanna | Karageorgos, Anthony | Nagpal, Radhika | 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: Q325 B78 2005 (1).

119.
Languages and Compilers for Parallel Computing [electronic resource] : 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers / edited by José Nelson Amaral.

by Amaral, José Nelson | 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.58 A43 2008 (1).

120.
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning [electronic resource] : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers / edited by Karl Tuyls, Ann Nowe, Zahia Guessoum, Daniel Kudenko.

by Tuyls, Karl | Nowe, Ann | Guessoum, Zahia | Kudenko, Daniel | 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.I58 T89 2008 (1).

Powered by Koha