Your search returned 30123 results. Subscribe to this search

|
Automata, Languages and Programming [electronic resource] : 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings / edited by Lars Arge, Christian Cachin, Tomasz Jurdzinski.

by Arge, Lars [editor.] | Cachin, Christian [editor.] | Jurdzinski, Tomasz [editor.] | SpringerLink (Online service).

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

Theory and Practice of Formal Methods [electronic resource] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen.

by Ábrahám, Erika [editor.] | Bonsangue, Marcello [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service).

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

MultiMedia Modeling [electronic resource] : 22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings, Part I / edited by Qi Tian, Nicu Sebe, Guo-Jun Qi, Benoit Huet, Richang Hong, Xueliang Liu.

by Tian, Qi [editor.] | Sebe, Nicu [editor.] | Qi, Guo-Jun [editor.] | Huet, Benoit [editor.] | Hong, Richang [editor.] | Liu, Xueliang [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online 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

Brain Function Assessment in Learning [electronic resource] : First International Conference, BFAL 2017, Patras, Greece, September 24-25, 2017, Proceedings / edited by Claude Frasson, George Kostopoulos.

by Frasson, Claude [editor.] | Kostopoulos, George [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

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

Comparative Genomics [electronic resource] : 15th International Workshop, RECOMB CG 2017, Barcelona, Spain, October 4-6, 2017, Proceedings / edited by Joao Meidanis, Luay Nakhleh.

by Meidanis, Joao [editor.] | Nakhleh, Luay [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

Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers / edited by Andrea Bracciali, Giulio Caravagna, David Gilbert, Roberto Tagliaferri.

by Bracciali, Andrea [editor.] | Caravagna, Giulio [editor.] | Gilbert, David [editor.] | Tagliaferri, Roberto [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

Privacy Technologies and Policy [electronic resource] : 5th Annual Privacy Forum, APF 2017, Vienna, Austria, June 7-8, 2017, Revised Selected Papers / edited by Erich Schweighofer, Herbert Leitold, Andreas Mitrakas, Kai Rannenberg.

by Schweighofer, Erich [editor.] | Leitold, Herbert [editor.] | Mitrakas, Andreas [editor.] | Rannenberg, Kai [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

Towards Autonomous Robotic Systems [electronic resource] : 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings / edited by Clare Dixon, Karl Tuyls.

by Dixon, Clare [editor.] | Tuyls, Karl [editor.] | SpringerLink (Online service).

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

Combinatorial Image Analysis [electronic resource] : 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004, Proceedings / edited by Reinhard Klette, Jovisa Zunic.

by Klette, Reinhard [editor.] | Zunic, Jovisa [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

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

Mining Intelligence and Knowledge Exploration [electronic resource] : 5th International Conference, MIKE 2017, Hyderabad, India, December 13-15, 2017, Proceedings / edited by Ashish Ghosh, Rajarshi Pal, Rajendra Prasath.

by Ghosh, Ashish [editor.] | Pal, Rajarshi [editor.] | Prasath, Rajendra [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