Your search returned 13673 results. Subscribe to this search

|
Principles and Practice of Constraint Programming [electronic resource] : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings / edited by Peter J. Stuckey.

by Stuckey, Peter J [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

Financial Cryptography and Data Security [electronic resource] : 11th International Conference, FC 2007, and First International Workshop on Usable Security, USEC 2007, Scarborough, Trinidad/Tobago, February 12-16, 2007. Revised Selected Papers / edited by Sven Dietrich, Rachna Dhamija.

by Dietrich, Sven [editor.] | Dhamija, Rachna [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

Interactive Theorem Proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / edited by Lennart Beringer, Amy Felty.

by Beringer, Lennart [editor.] | Felty, Amy [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

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005 / edited by Roman Barták, Michela Milano.

by Barták, Roman [editor.] | Milano, Michela [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

Concept Lattices and Their Applications [electronic resource] : Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers / edited by Sadok Ben Yahia, Engelbert Mephu Nguifo, Radim Belohlavek.

by Ben Yahia, Sadok [editor.] | Mephu Nguifo, Engelbert [editor.] | Belohlavek, Radim [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

Model Driven Architecture - Foundations and Applications [electronic resource] : First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings / edited by Alan Hartman, David Kreische.

by Hartman, Alan [editor.] | Kreische, David [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

Advances in Database Technology - EDBT 2006 [electronic resource] : 10 International Conference on Extending Database Technology, Munich, Germany, 26-31 March 2006, Proceedings / edited by Yannis Ioannidis, Marc H. Scholl, Joachim W. Schmidt, Florian Matthes, Mike Hatzopoulos, Klemens Boehm, Alfons Kemper, Torsten Grust, Christian Boehm.

by Ioannidis, Yannis [editor.] | Scholl, Marc H [editor.] | Schmidt, Joachim W [editor.] | Matthes, Florian [editor.] | Hatzopoulos, Mike [editor.] | Boehm, Klemens [editor.] | Kemper, Alfons [editor.] | Grust, Torsten [editor.] | Boehm, Christian [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

Algorithmic Game Theory [electronic resource] : 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015. Proceedings / edited by Martin Hoefer.

by Hoefer, Martin [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / edited by Giuseppe Castagna.

by Castagna, Giuseppe [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

Fundamental Approaches to Software Engineering [electronic resource] : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Marieke Huisman, Julia Rubin.

by Huisman, Marieke [editor.] | Rubin, Julia [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part II / edited by Peter A. Flach, Tijl De Bie, Nello Cristianini.

by Flach, Peter A [editor.] | De Bie, Tijl [editor.] | Cristianini, Nello [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

Intelligent Computing Technology [electronic resource] : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012, Proceedings / edited by De-Shuang Huang, Changjun Jiang, Vitoantonio Bevilacqua, Juan Carlos Figueroa.

by Huang, De-Shuang [editor.] | Jiang, Changjun [editor.] | Bevilacqua, Vitoantonio [editor.] | Figueroa, Juan Carlos [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

Distributed Applications and Interoperable Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings / edited by Jadwiga Indulska, Kerry Raymond.

by Indulska, Jadwiga [editor.] | Raymond, Kerry [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

Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / edited by Yamine Ait Ameur, Klaus-Dieter Schewe.

by Ait Ameur, Yamine [editor.] | Schewe, Klaus-Dieter [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

Information Systems Security [electronic resource] : 9th International Conference, ICISS 2013, Kolkata, India, December 16-20, 2013. Proceedings / edited by Aditya Bagchi, Indrakshi Ray.

by Bagchi, Aditya [editor.] | Ray, Indrakshi [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

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security [electronic resource] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers / edited by Alessandro Armando, Gavin Lowe.

by Armando, Alessandro [editor.] | Lowe, Gavin [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

Artificial Neural Networks - ICANN 2010 [electronic resource] : 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I / edited by Konstantinos Diamantaras, Wlodek Duch, Lazaros S. Iliadis.

by Diamantaras, Konstantinos [editor.] | Duch, Wlodek [editor.] | Iliadis, Lazaros S [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

B 2007: Formal Specification and Development in B [electronic resource] : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings / edited by Jacques Julliand, Olga Kouchnarenko.

by Julliand, Jacques [editor.] | Kouchnarenko, Olga [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

Internet and Network Economics [electronic resource] : 4th International Workshop, WINE 2008, Shanghai, China, December 17-20, 2008. Proceedings / edited by Christos Papadimitriou, Shuzhong Zhang.

by Papadimitriou, Christos [editor.] | Zhang, Shuzhong [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

Advances in Nonlinear Speech Processing [electronic resource] : 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013, Proceedings / edited by Thomas Drugman, Thierry Dutoit.

by Drugman, Thomas [editor.] | Dutoit, Thierry [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