Your search returned 10983 results. Subscribe to this search

|
Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / edited by Swarat Chaudhuri, Azadeh Farzan.

by Chaudhuri, Swarat [editor.] | Farzan, Azadeh [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

Theoretical Aspects of Computing [electronic resource] : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings / edited by Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock.

by Cavalcanti, Ana [editor.] | Deharbe, David [editor.] | Gaudel, Marie-Claude [editor.] | Woodcock, Jim [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

Formal Aspects in Security and Trust [electronic resource] : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers / edited by Pierpaolo Degano, Joshua D. Guttman.

by Degano, Pierpaolo [editor.] | Guttman, Joshua D [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

AI 2006: Advances in Artificial Intelligence [electronic resource] : 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings / edited by Abdul Sattar, Byeong Ho Kang.

by Sattar, Abdul [editor.] | Kang, Byeong Ho [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

The Challenge of Anticipation [electronic resource] : A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems / edited by Giovanni Pezzulo, Martin V. Butz, Cristiano Castelfranchi, Rino Falcone.

by Pezzulo, Giovanni [editor.] | Butz, Martin V [editor.] | Castelfranchi, Cristiano [editor.] | Falcone, Rino [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

Neural Information Processing [electronic resource] : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II / edited by Minho Lee, Akira Hirose, Zeng-Guang Hou, Rhee Man Kil.

by Lee, Minho [editor.] | Hirose, Akira [editor.] | Hou, Zeng-Guang [editor.] | Kil, Rhee Man [editor.] | SpringerLink (Online service).

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

Selected Areas in Cryptography [electronic resource] : 19th International Conference, SAC 2012, Windsor, Canada, August 15-16, 2012, Revised Selected Papers / edited by Lars R. Knudsen, Huapeng Wu.

by Knudsen, Lars R [editor.] | Wu, Huapeng [editor.] | SpringerLink (Online service).

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

Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings / edited by Verónica Dahl, Ilkka Niemelä.

by Dahl, Verónica [editor.] | Niemelä, Ilkka [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

Programs, Proofs, Processes [electronic resource] : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings / edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes.

by Ferreira, Fernando [editor.] | Löwe, Benedikt [editor.] | Mayordomo, Elvira [editor.] | Gomes, Luís Mendes [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

WALCOM: Algorithms and Computation [electronic resource] : Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009, Proceedings / edited by Sandip Das, Ryuhei Uehara.

by Das, Sandip [editor.] | Uehara, Ryuhei [editor.] | SpringerLink (Online service).

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

Topics in Cryptology - CT-RSA 2017 [electronic resource] : The Cryptographers' Track at the RSA Conference 2017, San Francisco, CA, USA, February 14-17, 2017, Proceedings / edited by Helena Handschuh.

by Handschuh, Helena [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

Programming Multi-Agent-Systems [electronic resource] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by R.H. Bordini, M. Dastani, J. Dix, A El Fallah Seghrouchni.

by Bordini, R.H [editor.] | Dastani, M [editor.] | Dix, J [editor.] | El Fallah Seghrouchni, A [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

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings / edited by Kai Brünnler, George Metcalfe.

by Brünnler, Kai [editor.] | Metcalfe, George [editor.] | SpringerLink (Online service).

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

Mathematical Foundations of Computer Science 2014 [electronic resource] : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I / edited by Ersébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik.

by Csuhaj-Varjú, Ersébet [editor.] | Dietzfelbinger, Martin [editor.] | Ésik, Zoltán [editor.] | SpringerLink (Online service).

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

Formal Methods for Dynamical Systems [electronic resource] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky.

by Bernardo, Marco [editor.] | de Vink, Erik [editor.] | Di Pierro, Alessandra [editor.] | Wiklicky, Herbert [editor.] | SpringerLink (Online service).

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

Formal Grammar [electronic resource] : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers / edited by Philippe de Groote, Markus Egg, Laura Kallmeyer.

by de Groote, Philippe [editor.] | Egg, Markus [editor.] | Kallmeyer, Laura [editor.] | SpringerLink (Online service).

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

Digital Privacy [electronic resource] : PRIME - Privacy and Identity Management for Europe / edited by Jan Camenisch, Ronald Leenes, Dieter Sommer.

by Camenisch, Jan [editor.] | Leenes, Ronald [editor.] | Sommer, Dieter [editor.] | SpringerLink (Online service).

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

Adaptive Multimedia Retrieval: User, Context, and Feedback [electronic resource] : Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers / edited by Marcin Detyniecki, Joemon M. Jose, Andreas Nürnberger, C. J. van Rijsbergen.

by Detyniecki, Marcin [editor.] | Jose, Joemon M [editor.] | Nürnberger, Andreas [editor.] | van Rijsbergen, C. J [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

Transactions on High-Performance Embedded Architectures and Compilers I [electronic resource] / edited by Mike O'Boyle, Francois Bodin, Marcelo Cintra, Sally A. McKee.

by O'Boyle, Mike [editor.] | Bodin, Francois [editor.] | Cintra, Marcelo [editor.] | McKee, Sally A [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

Smart Card Research and Advanced Applications [electronic resource] : 8th IFIP WG 8.8/11.2 International Conference, CARDIS 2008, London, UK, September 8-11, 2008, Proceedings / edited by Gilles Grimaud, François-Xavier Standaert.

by Grimaud, Gilles [editor.] | Standaert, François-Xavier [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