Your search returned 10983 results. Subscribe to this search

|
Modeling Decisions for Artificial Intelligence [electronic resource] : 13th International Conference, MDAI 2016, Sant Juli�a de L�oria, Andorra, September 19-21, 2016. Proceedings / edited by Vicen�c Torra, Yasuo Narukawa, Guillermo Navarro-Arribas, Cristina Ya�nez.

by Torra, Vicen�c [editor.] | Narukawa, Yasuo [editor.] | Navarro-Arribas, Guillermo [editor.] | Ya�nez, Cristina [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Formal Methods for Components and Objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue.

by Beckert, Bernhard [editor.] | Damiani, Ferruccio [editor.] | Boer, Frank S. de [editor.] | Bonsangue, Marcello M [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Information and Communications Security [electronic resource] : 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013. Proceedings / edited by Sihan Qing, Jianying Zhou, Dongmei Liu.

by Qing, Sihan [editor.] | Zhou, Jianying [editor.] | Liu, Dongmei [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Computer Vision - ECCV 2016 Workshops [electronic resource] : Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part III / edited by Gang Hua, Herv�e J�egou.

by Hua, Gang [editor.] | J�egou, Herv�e [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Digital Pathology [electronic resource] / by Yves Sucaet, Wim Waelput.

by Sucaet, Yves [author.] | Waelput, Wim [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Analysis and Design of Machine Learning Techniques [electronic resource] : Evolutionary Solutions for Regression, Prediction, and Control Problems / by Patrick Stalph.

by Stalph, Patrick [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2014Online access: Click here to access online Availability: No items available

Pattern Recognition and Image Analysis [electronic resource] : 6th Iberian Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 5-7, 2013. Proceedings / edited by Jo�ao M. Sanches, Luisa Mic�o, Jaime S. Cardoso.

by Sanches, Jo�ao M [editor.] | Mic�o, Luisa [editor.] | Cardoso, Jaime S [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Supercomputing [electronic resource] : 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings / edited by Julian Martin Kunkel, Thomas Ludwig, Hans Werner Meuer.

by Kunkel, Julian Martin [editor.] | Ludwig, Thomas [editor.] | Meuer, Hans Werner [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Software Architecture in Action [electronic resource] : Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard / by Flavio Oquendo, Jair Leite, Tha�is Batista.

by Oquendo, Flavio [author.] | Leite, Jair [author.] | Batista, Tha�is [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Information Security and Privacy [electronic resource] : 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part I / edited by Joseph K. Liu, Ron Steinfeld.

by Liu, Joseph K [editor.] | Steinfeld, Ron [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Critical Information Infrastructures Security [electronic resource] : 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised Selected Papers / edited by Christos G. Panayiotou, Georgios Ellinas, Elias Kyriakides, Marios M. Polycarpou.

by Panayiotou, Christos G [editor.] | Ellinas, Georgios [editor.] | Kyriakides, Elias [editor.] | Polycarpou, Marios M [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Trusted Systems [electronic resource] : 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers / edited by Moti Yung, Liehuang Zhu, Yanjiang Yang.

by Yung, Moti [editor.] | Zhu, Liehuang [editor.] | Yang, Yanjiang [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial 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

Knowledge Representation for Health Care [electronic resource] : 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers / edited by Silvia Miksch, David Ria�no, Annette ten Teije.

by Miksch, Silvia [editor.] | Ria�no, David [editor.] | ten Teije, Annette [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Specifying Big Data Benchmarks [electronic resource] : First Workshop, WBDB 2012, San Jose, CA, USA, May 8-9, 2012, and Second Workshop, WBDB 2012, Pune, India, December 17-18, 2012, Revised Selected Papers / edited by Tilmann Rabl, Meikel Poess, Chaitanya Baru, Hans-Arno Jacobsen.

by Rabl, Tilmann [editor.] | Poess, Meikel [editor.] | Baru, Chaitanya [editor.] | Jacobsen, Hans-Arno [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Research and Development in Intelligent Systems XXXI [electronic resource] : Incorporating Applications and Innovations in Intelligent Systems XXII / edited by Max Bramer, Miltos Petridis.

by Bramer, Max [editor.] | Petridis, Miltos [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Language and Automata Theory and Applications [electronic resource] : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings / edited by Adrian-Horia Dediu, Carlos Mart�in-Vide, Jos�e-Luis Sierra-Rodr�iguez, Bianca Truthe.

by Dediu, Adrian-Horia [editor.] | Mart�in-Vide, Carlos [editor.] | Sierra-Rodr�iguez, Jos�e-Luis [editor.] | Truthe, Bianca [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Foundations of Software Science and Computation Structures [electronic resource] : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Anca Muscholl.

by Muscholl, Anca [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Static Analysis [electronic resource] : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings / edited by Markus M�uller-Olm, Helmut Seidl.

by M�uller-Olm, Markus [editor.] | Seidl, Helmut [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang.

by Grossi, Davide [editor.] | Roy, Olivier [editor.] | Huang, Huaxin [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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

Information Systems Security [electronic resource] : 11th International Conference, ICISS 2015, Kolkata, India, December 16-20, 2015. Proceedings / edited by Sushil Jajoda, Chandan Mazumdar.

by Jajoda, Sushil [editor.] | Mazumdar, Chandan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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