Your search returned 8612 results. Subscribe to this search

|
Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / edited by Marco Bernardo, Alessandro Bogliolo.

by Bernardo, Marco [editor.] | Bogliolo, Alessandro [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

RoboCup 2007: Robot Soccer World Cup XI [electronic resource] / edited by Ubbo Visser, Fernando Ribeiro, Takeshi Ohashi, Frank Dellaert.

by Visser, Ubbo [editor.] | Ribeiro, Fernando [editor.] | Ohashi, Takeshi [editor.] | Dellaert, Frank [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

Research in Attacks, Intrusions and Defenses [electronic resource] : 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012, Proceedings / edited by Davide Balzarotti, Salvatore J. Stolfo, Marco Cova.

by Balzarotti, Davide [editor.] | Stolfo, Salvatore J [editor.] | Cova, Marco [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available

Ubiquitous Intelligence and Computing [electronic resource] : 7th International Conference, UIC 2010, Xi'an, China, October 26-29, 2010, Proceedings / edited by Zhiwen Yu, Ramiro Liscano, Guanlilng Chen, Daqing Zhang, Xingshe Zhou.

by Yu, Zhiwen [editor.] | Liscano, Ramiro [editor.] | Chen, Guanlilng [editor.] | Zhang, Daqing [editor.] | Zhou, Xingshe [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

Mobile, Secure, and Programmable Networking [electronic resource] : Third International Conference, MSPN 2017, Paris, France, June 29-30, 2017, Revised Selected Papers / edited by Samia Bouzefrane, Soumya Banerjee, Françoise Sailhan, Selma Boumerdassi, Eric Renault.

by Bouzefrane, Samia [editor.] | Banerjee, Soumya [editor.] | Sailhan, Françoise [editor.] | Boumerdassi, Selma [editor.] | Renault, Eric [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Queueing Theory and Network Applications [electronic resource] : 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings / edited by Wuyi Yue, Quan-Lin Li, Shunfu Jin, Zhanyou Ma.

by Yue, Wuyi [editor.] | Li, Quan-Lin [editor.] | Jin, Shunfu [editor.] | Ma, Zhanyou [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Information Security [electronic resource] : 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings / edited by Phong Q. Nguyen, Jianying Zhou.

by Nguyen, Phong Q [editor.] | Zhou, Jianying [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Testing Software and Systems [electronic resource] : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings / edited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün.

by Yevtushenko, Nina [editor.] | Cavalli, Ana Rosa [editor.] | Yenigün, Hüsnü [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Algorithms and Computation [electronic resource] : 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004, Proceedings / edited by Rudolf Fleischer, Gerhard Trippen.

by Fleischer, Rudolf [editor.] | Trippen, Gerhard [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

Biomimetic and Biohybrid Systems [electronic resource] : 7th International Conference, Living Machines 2018, Paris, France, July 17-20, 2018, Proceedings / edited by Vasiliki Vouloutsi, José Halloy, Anna Mura, Michael Mangan, Nathan Lepora, Tony J. Prescott, Paul F.M.J. Verschure.

by Vouloutsi, Vasiliki [editor.] | Halloy, José [editor.] | Mura, Anna [editor.] | Mangan, Michael [editor.] | Lepora, Nathan [editor.] | Prescott, Tony J [editor.] | Verschure, Paul F.M.J [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Algorithms for Sensor Systems [electronic resource] : 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers / edited by Antonio Fernández Anta, Tomasz Jurdzinski, Miguel A. Mosteiro, Yanyong Zhang.

by Fernández Anta, Antonio [editor.] | Jurdzinski, Tomasz [editor.] | Mosteiro, Miguel A [editor.] | Zhang, Yanyong [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Information Systems Security [electronic resource] : 13th International Conference, ICISS 2017, Mumbai, India, December 16-20, 2017, Proceedings / edited by Rudrapatna K. Shyamasundar, Virendra Singh, Jaideep Vaidya.

by Shyamasundar, Rudrapatna K [editor.] | Singh, Virendra [editor.] | Vaidya, Jaideep [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Wireless Algorithms, Systems, and Applications [electronic resource] : First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings / edited by Xiuzhen Cheng, Wei Li, Taieb Znati.

by Cheng, Xiuzhen [editor.] | Li, Wei [editor.] | Znati, Taieb [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

Information Security and Cryptology - ICISC 2005 [electronic resource] : 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers / edited by Dongho Won, Seungjoo Kim.

by Won, Dongho [editor.] | Kim, Seungjoo [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

Innovative Internet Community Systems [electronic resource] : 4th International Workshop, IICS 2004, Guadalajara, Mexico, June 21-23, 2004. Revised Papers / edited by Thomas Böhme, Victor M. Larios Rosillo, Helena Unger, Herwig Unger.

by Böhme, Thomas [editor.] | Larios Rosillo, Victor M [editor.] | Unger, Helena [editor.] | Unger, Herwig [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

Progress in Cryptology - INDOCRYPT 2004 [electronic resource] : 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004, Proceedings / edited by Anne Canteaut, Kapaleeswaran Viswanathan.

by Canteaut, Anne [editor.] | Viswanathan, Kapaleeswaran [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

Power-Aware Computer Systems [electronic resource] : Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003, Revised Papers / edited by Babak Falsafi, T. N. Vijaykumar.

by Falsafi, Babak [editor.] | Vijaykumar, T. N [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

Public Key Cryptography - PKC 2006 [electronic resource] : 9th International Conference on Theory and Practice in Public-Key Cryptography, New York, NY, USA, April 24-26, 2006. Proceedings / edited by Moti Yung, Yevgeniy Dodis, Aggelos Kiayias, Tal Malkin.

by Yung, Moti [editor.] | Dodis, Yevgeniy [editor.] | Kiayias, Aggelos [editor.] | Malkin, Tal [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available

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

by Enokido, Tomoya [editor.] | Yan, Lu [editor.] | Xiao, Bin [editor.] | Kim, Daeyoung [editor.] | Dai, Yuanshun [editor.] | Yang, Laurence T [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available

Current Trends in Database Technology - EDBT 2004 Workshops [electronic resource] : EDBT 2004 Workshops PhD, DataX, PIM, P2P&DB, and ClustWeb, Heraklion, Crete, Greece, March 14-18, 2004, Revised Selected Papers / edited by Wolfgang Lindner, Marco Mesiti, Can Türker, Yannis Tzitzikas, Athena Vakali.

by Lindner, Wolfgang [editor.] | Mesiti, Marco [editor.] | Türker, Can [editor.] | Tzitzikas, Yannis [editor.] | Vakali, Athena [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available