Your search returned 8707 results. Subscribe to this search

|
Implementation and Application of Functional Languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers / edited by Jurriaan Hage, Marco T. Morazán.

by Hage, Jurriaan [editor.] | Morazán, Marco T [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

Inductive Logic Programming [electronic resource] : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / edited by Stefan Kramer, Bernhard Pfahringer.

by Kramer, Stefan [editor.] | Pfahringer, Bernhard [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

Applied Cryptography and Network Security [electronic resource] : 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings / edited by Dieter Gollmann, Atsuko Miyaji, Hiroaki Kikuchi.

by Gollmann, Dieter [editor.] | Miyaji, Atsuko [editor.] | Kikuchi, Hiroaki [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

Geographic Information Science [electronic resource] : 5th International Conference, GIScience 2008, Park City, UT, USA, September 23-26, 2008, Proceedings / edited by Thomas J. Cova, Harvey J. Miller, Kate Beard, Andrew U. Frank, Michael Goodchild.

by Cova, Thomas J [editor.] | Miller, Harvey J [editor.] | Beard, Kate [editor.] | Frank, Andrew U [editor.] | Goodchild, Michael [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

Cloud Computing [electronic resource] : First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009, Proceedings / edited by Martin Gilje Jaatun, Gansen Zhao, Chunming Rong.

by Jaatun, Martin Gilje [editor.] | Zhao, Gansen [editor.] | Rong, Chunming [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

Scaling Topic Maps [electronic resource] : Third International Conference on Topic Map Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers / edited by Lutz Maicher, Lars Marius Garshol.

by Maicher, Lutz [editor.] | Garshol, Lars Marius [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

Engineering Psychology and Cognitive Ergonomics [electronic resource] : 9th International Conference, EPCE 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings / edited by Don Harris.

by Harris, Don [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

Coordination, Organizations, Institutions, and Norms in Agent Systems XII [electronic resource] : COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers / edited by Stephen Cranefield, Samhar Mahmoud, Julian Padget, Ana Paula Rocha.

by Cranefield, Stephen [editor.] | Mahmoud, Samhar [editor.] | Padget, Julian [editor.] | Rocha, Ana Paula [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

Human Error, Safety and Systems Development [electronic resource] : 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers / edited by Philippe Palanque, Jean Vanderdonckt, Marco Winckler.

by Palanque, Philippe [editor.] | Vanderdonckt, Jean [editor.] | Winckler, Marco [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

Service Availability [electronic resource] : Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers / edited by Dave Penkler, Manfred Reitenspiess, Francis Tam.

by Penkler, Dave [editor.] | Reitenspiess, Manfred [editor.] | Tam, Francis [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 Distributed Computing Systems [electronic resource] : 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings / edited by Giuseppe Di Fatta, Giancarlo Fortino, Wenfeng Li, Mukaddim Pathan, Frederic Stahl, Antonio Guerrieri.

by Di Fatta, Giuseppe [editor.] | Fortino, Giancarlo [editor.] | Li, Wenfeng [editor.] | Pathan, Mukaddim [editor.] | Stahl, Frederic [editor.] | Guerrieri, Antonio [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

Model Checking Software [electronic resource] : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings / edited by Patrick Godefroid.

by Godefroid, Patrick [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

Pattern Recognition [electronic resource] : 4th Mexican Conference, MCPR 2012, Huatulco, Mexico, June 27-30, 2012. Proceedings / edited by Jesús Ariel Carrasco-Ochoa, Jose Francisco Martinez-Trinidad, Jose Arturo Olvera López, Kim L. Boyer.

by Carrasco-Ochoa, Jesús Ariel [editor.] | Martinez-Trinidad, Jose Francisco [editor.] | Olvera López, Jose Arturo [editor.] | Boyer, Kim L [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

Advances in Artificial Intelligence [electronic resource] : 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosi, Mexico, October 27 - November 4, 2012. Revised Selected Papers, Part I / edited by Ildar Batyrshin, Miguel González Mendoza.

by Batyrshin, Ildar [editor.] | González Mendoza, Miguel [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

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [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

Machine Learning and Interpretation in Neuroimaging [electronic resource] : International Workshop, MLINI 2011, Held at NIPS 2011, Sierra Nevada, Spain, December 16-17, 2011, Revised Selected and Invited Contributions / edited by Georg Langs, Irina Rish, Moritz Grosse-Wentrup, Brian Murphy.

by Langs, Georg [editor.] | Rish, Irina [editor.] | Grosse-Wentrup, Moritz [editor.] | Murphy, Brian [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

Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings / edited by Hai Jin, Daniel Reed, Wenbin Jiang.

by Jin, Hai [editor.] | Reed, Daniel [editor.] | Jiang, Wenbin [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

Runtime Verification [electronic resource] : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers / edited by Koushik Sen, Sarfaz Khurshid.

by Sen, Koushik [editor.] | Khurshid, Sarfaz [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

Conflict Resolution in Decision Making [electronic resource] : Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers / edited by Reyhan Aydoğan, Tim Baarslag, Enrico Gerding, Catholijn M. Jonker, Vicente Julian, Victor Sanchez-Anguix.

by Aydoğan, Reyhan [editor.] | Baarslag, Tim [editor.] | Gerding, Enrico [editor.] | Jonker, Catholijn M [editor.] | Julian, Vicente [editor.] | Sanchez-Anguix, Victor [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

Engineering Self-Organising Systems [electronic resource] : 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by Sven Brueckner, Salima Hassas, Mark Jelasity, Daniel Yamins.

by Brueckner, Sven [editor.] | Hassas, Salima [editor.] | Jelasity, Mark [editor.] | Yamins, Daniel [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