Your search returned 10983 results. Subscribe to this search

|
Highlights on Practical Applications of Agents and Multi-Agent Systems [electronic resource] : International Workshops of PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings / edited by Juan M. Corchado, Javier Bajo, Jaroslaw Kozlak, Pawel Pawlewski, Jose M. Molina, Vicente Julian, Ricardo Azambuja Silveira, Rainer Unland, Sylvain Giroux.

by Corchado, Juan M [editor.] | Bajo, Javier [editor.] | Kozlak, Jaroslaw [editor.] | Pawlewski, Pawel [editor.] | Molina, Jose M [editor.] | Julian, Vicente [editor.] | Silveira, Ricardo Azambuja [editor.] | Unland, Rainer [editor.] | Giroux, Sylvain [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

Correct System Design [electronic resource] : Symposium in Honor of Ernst-R�udiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / edited by Roland Meyer, Andr�e Platzer, Heike Wehrheim.

by Meyer, Roland [editor.] | Platzer, Andr�e [editor.] | Wehrheim, Heike [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

Advances in Soft Computing and Its Applications [electronic resource] : 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II / edited by F�elix Castro, Alexander Gelbukh, Miguel Gonz�alez.

by Castro, F�elix [editor.] | Gelbukh, Alexander [editor.] | Gonz�alez, Miguel [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 Technology in Bio- and Medical Informatics [electronic resource] : 5th International Conference, ITBAM 2014, Munich, Germany, September 2, 2014. Proceedings / edited by Miroslav Bursa, Sami Khuri, M. Elena Renda.

by Bursa, Miroslav [editor.] | Khuri, Sami [editor.] | Renda, M. Elena [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

Smart Grid Security [electronic resource] : Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers / edited by Jorge Cuellar.

by Cuellar, Jorge [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

Mobile Web Information Systems [electronic resource] : 11th International Conference, MobiWIS 2014, Barcelona, Spain, August 27-29, 2014. Proceedings / edited by Irfan Awan, Muhammad Younas, Xavier Franch, Carme Quer.

by Awan, Irfan [editor.] | Younas, Muhammad [editor.] | Franch, Xavier [editor.] | Quer, Carme [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 Security Analysis and Design VII [electronic resource] : FOSAD 2012/2013 Tutorial Lectures / edited by Alessandro Aldini, Javier Lopez, Fabio Martinelli.

by Aldini, Alessandro [editor.] | Lopez, Javier [editor.] | Martinelli, Fabio [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

Privacy and Security for Cloud Computing [electronic resource] / edited by Siani Pearson, George Yee.

by Pearson, Siani [editor.] | Yee, George [editor.] | SpringerLink (Online service).

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

Research and Advanced Technology for Digital Libraries [electronic resource] : 20th International Conference on Theory and Practice of Digital Libraries, TPDL 2016, Hannover, Germany, September 5-9, 2016, Proceedings / edited by Norbert Fuhr, L�aszl�o Kov�acs, Thomas Risse, Wolfgang Nejdl.

by Fuhr, Norbert [editor.] | Kov�acs, L�aszl�o [editor.] | Risse, Thomas [editor.] | Nejdl, Wolfgang [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

Advances in Web-Based Learning -- ICWL 2015 [electronic resource] : 14th International Conference, Guangzhou, China, November 5-8, 2015, Proceedings / edited by Frederick W.B. Li, Ralf Klamma, Mart Laanpere, Jun Zhang, Baltasar Fern�andez Manj�on, Rynson W.H. Lau.

by Li, Frederick W.B [editor.] | Klamma, Ralf [editor.] | Laanpere, Mart [editor.] | Zhang, Jun [editor.] | Manj�on, Baltasar Fern�andez [editor.] | Lau, Rynson W.H [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

High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation [electronic resource] : 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers / edited by Stephen A. Jarvis, Steven A. Wright, Simon D. Hammond.

by Jarvis, Stephen A [editor.] | Wright, Steven A [editor.] | Hammond, Simon D [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

Large-Scale Visual Geo-Localization [electronic resource] / edited by Amir R. Zamir, Asaad Hakeem, Luc Van Gool, Mubarak Shah, Richard Szeliski.

by Zamir, Amir R [editor.] | Hakeem, Asaad [editor.] | Van Gool, Luc [editor.] | Shah, Mubarak [editor.] | Szeliski, Richard [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

New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers / edited by Yukiko Nakano, Ken Satoh, Daisuke Bekki.

by Nakano, Yukiko [editor.] | Satoh, Ken [editor.] | Bekki, Daisuke [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

Android Malware [electronic resource] / by Xuxian Jiang, Yajin Zhou.

by Jiang, Xuxian [author.] | Zhou, Yajin [author.] | SpringerLink (Online service).

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

Active Media Technology [electronic resource] : 10th International Conference, AMT 2014, Warsaw, Poland, August 11-14, 2014. Proceedings / edited by Dominik Śl�ezak, Gerald Schaefer, Son T. Vuong, Yoo-Sung Kim.

by Śl�ezak, Dominik [editor.] | Schaefer, Gerald [editor.] | Vuong, Son T [editor.] | Kim, Yoo-Sung [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

Formal Methods: Foundations and Applications [electronic resource] : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / edited by M�arcio Corn�elio, Bill Roscoe.

by Corn�elio, M�arcio [editor.] | Roscoe, Bill [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.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

Big Data Integration Theory [electronic resource] : Theory and Methods of Database Mappings, Programming Languages, and Semantics / by Zoran Majkić.

by Majkić, Zoran [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

Mathematical Foundations of Computer Science 2013 [electronic resource] : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings / edited by Krishnendu Chatterjee, Jir�i Sgall.

by Chatterjee, Krishnendu [editor.] | Sgall, Jir�i [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

Euro-Par 2014 Parallel Processing [electronic resource] : 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings / edited by Fernando Silva, In�es Dutra, V�itor Santos Costa.

by Silva, Fernando [editor.] | Dutra, In�es [editor.] | Santos Costa, V�itor [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

A Rigorous Semantics for BPMN 2.0 Process Diagrams [electronic resource] / by Felix Kossak, Christa Illibauer, Verena Geist, Jan Kubovy, Christine Natschl�ager, Thomas Ziebermayr, Theodorich Kopetzky, Bernhard Freudenthaler, Klaus-Dieter Schewe.

by Kossak, Felix [author.] | Illibauer, Christa [author.] | Geist, Verena [author.] | Kubovy, Jan [author.] | Natschl�ager, Christine [author.] | Ziebermayr, Thomas [author.] | Kopetzky, Theodorich [author.] | Freudenthaler, Bernhard [author.] | Schewe, Klaus-Dieter [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