Your search returned 13673 results. Subscribe to this search

|
The Semantic Web [electronic resource] : 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings / edited by John Domingue, Chutiporn Anutariya.

by Domingue, John [editor.] | Anutariya, Chutiporn [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

Human-Computer Interaction. Interaction Platforms and Techniques [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II / edited by Julie A. Jacko.

by Jacko, Julie 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

Advances in Cryptology -- CRYPTO 2015 [electronic resource] : 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II / edited by Rosario Gennaro, Matthew Robshaw.

by Gennaro, Rosario [editor.] | Robshaw, Matthew [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

Human-Computer Interaction. HCI Applications and Services [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV / edited by Julie A. Jacko.

by Jacko, Julie 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

Intelligent Computing [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part I / edited by De-Shuang Huang, George William Irwin.

by Huang, De-Shuang [editor.] | Irwin, George William [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

Universal Access in Human-Computer Interaction. Applications and Services [electronic resource] : 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, held as Part of HCi International 2007, Beijing,China, July 22-27, 2007, Proceedings, Part III / edited by Constantine Stephanidis.

by Stephanidis, Constantine [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

Computational Science and Its Applications - ICCSA 2008 [electronic resource] : International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I / edited by Osvaldo Gervasi, Beniamino Murgante, Antonio Laganà, David Taniar, Youngsong Mun.

by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Laganà, Antonio [editor.] | Taniar, David [editor.] | Mun, Youngsong [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 Cryptology -- CRYPTO 2014 [electronic resource] : 34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part II / edited by Juan A. Garay, Rosario Gennaro.

by Garay, Juan A [editor.] | Gennaro, Rosario [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 Grammar [electronic resource] : 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings / edited by Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla.

by Bernardi, Raffaella [editor.] | Kobele, Greg [editor.] | Pogodalla, Sylvain [editor.] | SpringerLink (Online service).

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

Foundations of Security, Protocols, and Equational Reasoning [electronic resource] : Essays Dedicated to Catherine A. Meadows / edited by Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic.

by Guttman, Joshua D [editor.] | Landwehr, Carl E [editor.] | Meseguer, José [editor.] | Pavlovic, Dusko [editor.] | SpringerLink (Online service).

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

Parallel Problem Solving from Nature - PPSN XV [electronic resource] : 15th International Conference, Coimbra, Portugal, September 8-12, 2018, Proceedings, Part II / edited by Anne Auger, Carlos M. Fonseca, Nuno Lourenço, Penousal Machado, Luís Paquete, Darrell Whitley.

by Auger, Anne [editor.] | Fonseca, Carlos M [editor.] | Lourenço, Nuno [editor.] | Machado, Penousal [editor.] | Paquete, Luís [editor.] | Whitley, Darrell [editor.] | SpringerLink (Online service).

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

Text Processing [electronic resource] : FIRE 2016 International Workshop, Kolkata, India, December 7-10, 2016, Revised Selected Papers / edited by Prasenjit Majumder, Mandar Mitra, Parth Mehta, Jainisha Sankhavara.

by Majumder, Prasenjit [editor.] | Mitra, Mandar [editor.] | Mehta, Parth [editor.] | Sankhavara, Jainisha [editor.] | SpringerLink (Online service).

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

Theory and Practice of Natural Computing [electronic resource] : 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings / edited by Carlos Martín-Vide, Roman Neruda, Miguel A. Vega-Rodríguez.

by Martín-Vide, Carlos [editor.] | Neruda, Roman [editor.] | Vega-Rodríguez, Miguel A [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

Deductive Software Verification: Future Perspectives [electronic resource] : Reflections on the Occasion of 20 Years of KeY / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich.

by Ahrendt, Wolfgang [editor.] | Beckert, Bernhard [editor.] | Bubel, Richard [editor.] | Hähnle, Reiner [editor.] | Ulbrich, Mattias [editor.] | SpringerLink (Online service).

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

Logic, Language, and Security [electronic resource] : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / edited by Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada.

by Nigam, Vivek [editor.] | Ban Kirigin, Tajana [editor.] | Talcott, Carolyn [editor.] | Guttman, Joshua [editor.] | Kuznetsov, Stepan [editor.] | Thau Loo, Boon [editor.] | Okada, Mitsuhiro [editor.] | SpringerLink (Online service).

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

Big Data Analytics and Knowledge Discovery [electronic resource] : 23rd International Conference, DaWaK 2021, Virtual Event, September 27-30, 2021, Proceedings / edited by Matteo Golfarelli, Robert Wrembel, Gabriele Kotsis, A Min Tjoa, Ismail Khalil.

by Golfarelli, Matteo [editor.] | Wrembel, Robert [editor.] | Kotsis, Gabriele [editor.] | Tjoa, A Min [editor.] | Khalil, Ismail [editor.] | SpringerLink (Online service).

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

Service-Oriented Computing - ICSOC 2022 Workshops [electronic resource] : ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 - December 2, 2022 Proceedings / edited by Javier Troya, Raffaela Mirandola, Elena Navarro, Andrea Delgado, Sergio Segura, Guadalupe Ortiz, Cesare Pautasso, Christian Zirpins, Pablo Fernández, Antonio Ruiz-Cortés.

by Troya, Javier [editor.] | Mirandola, Raffaela [editor.] | Navarro, Elena [editor.] | Delgado, Andrea [editor.] | Segura, Sergio [editor.] | Ortiz, Guadalupe [editor.] | Pautasso, Cesare [editor.] | Zirpins, Christian [editor.] | Fernández, Pablo [editor.] | Ruiz-Cortés, Antonio [editor.] | SpringerLink (Online service).

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

Explainable and Transparent AI and Multi-Agent Systems [electronic resource] : 4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9-10, 2022, Revised Selected Papers / edited by Davide Calvaresi, Amro Najjar, Michael Winikoff, Kary Främling.

by Calvaresi, Davide [editor.] | Najjar, Amro [editor.] | Winikoff, Michael [editor.] | Främling, Kary [editor.] | SpringerLink (Online service).

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

Logic and Argumentation [electronic resource] : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / edited by Andreas Herzig, Jieting Luo, Pere Pardo.

by Herzig, Andreas [editor.] | Luo, Jieting [editor.] | Pardo, Pere [editor.] | SpringerLink (Online service).

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

Runtime Verification [electronic resource] : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings / edited by Panagiotis Katsaros, Laura Nenzi.

by Katsaros, Panagiotis [editor.] | Nenzi, Laura [editor.] | SpringerLink (Online service).

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