Your search returned 1190 results. Subscribe to this search

|
Financial Cryptography and Data Security [electronic resource] : FC 2015 International Workshops, BITCOIN, WAHC, and Wearable, San Juan, Puerto Rico, January 30, 2015, Revised Selected Papers / edited by Michael Brenner, Nicolas Christin, Benjamin Johnson, Kurt Rohloff.

by Brenner, Michael [editor.] | Christin, Nicolas [editor.] | Johnson, Benjamin [editor.] | Rohloff, Kurt [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

Multiagent System Technologies [electronic resource] : 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007, Proceedings / edited by Paolo Petta, Jörg Müller, Matthias Klusch, Michael Georgeff.

by Petta, Paolo [editor.] | Müller, Jörg [editor.] | Klusch, Matthias [editor.] | Georgeff, Michael [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 Logic in Multi-Agent Systems [electronic resource] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / edited by Michael Fisher, Fariba Sadri, Michael Thielscher.

by Fisher, Michael [editor.] | Sadri, Fariba [editor.] | Thielscher, Michael [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

Integer Programming and Combinatorial Optimization [electronic resource] : 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings / edited by Michael Jünger, Volker Kaibel.

by Jünger, Michael [editor.] | Kaibel, Volker [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

The Semantic Web: Research and Applications [electronic resource] : 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings / edited by Enrico Franconi, Michael Kifer, Wolfgang May.

by Franconi, Enrico [editor.] | Kifer, Michael [editor.] | May, Wolfgang [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

Brain Informatics and Health [electronic resource] : International Conference, BIH 2016, Omaha, NE, USA, October 13-16, 2016 Proceedings / edited by Giorgio A. Ascoli, Michael Hawrylycz, Hesham Ali, Deepak Khazanchi, Yong Shi.

by Ascoli, Giorgio A [editor.] | Hawrylycz, Michael [editor.] | Ali, Hesham [editor.] | Khazanchi, Deepak [editor.] | Shi, Yong [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Agent-Oriented Software Engineering VIII [electronic resource] : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers / edited by Michael Luck, Lin Padgham.

by Luck, Michael [editor.] | Padgham, Lin [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

Categories and Types in Logic, Language, and Physics [electronic resource] : Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday / edited by Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott.

by Casadio, Claudia [editor.] | Coecke, Bob [editor.] | Moortgat, Michael [editor.] | Scott, Philip [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

Spatial Information Theory [electronic resource] : 10th International Conference, COSIT 2011, Belfast, ME, USA / edited by Max J. Egenhofer, Nicholas Giudice, Reinhard Moratz, Michael Worboys.

by Egenhofer, Max J [editor.] | Giudice, Nicholas [editor.] | Moratz, Reinhard [editor.] | Worboys, Michael [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

Smart Card Research and Advanced Applications [electronic resource] : 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised Selected Papers / edited by Kerstin Lemke-Rust, Michael Tunstall.

by Lemke-Rust, Kerstin [editor.] | Tunstall, Michael [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

Multiagent System Technologies [electronic resource] : 12th German Conference, MATES 2014, Stuttgart, Germany, September 23-25, 2014, Proceedings / edited by Jörg P. Müller, Michael Weyrich, Ana L.C. Bazzan.

by Müller, Jörg P [editor.] | Weyrich, Michael [editor.] | Bazzan, Ana L.C [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: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Similarity Search and Applications [electronic resource] : 9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016, Proceedings / edited by Laurent Amsaleg, Michael E. Houle, Erich Schubert.

by Amsaleg, Laurent [editor.] | Houle, Michael E [editor.] | Schubert, Erich [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings / edited by Orna Grumberg, Michael Huth.

by Grumberg, Orna [editor.] | Huth, Michael [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

Computer Vision in Human-Computer Interaction [electronic resource] : ICCV 2005 Workshop on HCI, Beijing, China, October 21, 2005, Proceedings / edited by Nicu Sebe, Michael S. Lew, Thomas S. Huang.

by Sebe, Nicu [editor.] | Lew, Michael S [editor.] | Huang, Thomas S [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 Computer Science - ASIAN 2004, Higher Level Decision Making [electronic resource] : 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004 / edited by Michael J. Maher.

by Maher, Michael J [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

Transactions on High-Performance Embedded Architectures and Compilers V [electronic resource] / edited by Cristina Silvano, Koen Bertels, Michael Schulte.

by Silvano, Cristina [editor.] | Bertels, Koen [editor.] | Schulte, Michael [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

Knowledge Science, Engineering and Management [electronic resource] : 10th International Conference, KSEM 2017, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings / edited by Gang Li, Yong Ge, Zili Zhang, Zhi Jin, Michael Blumenstein.

by Li, Gang [editor.] | Ge, Yong [editor.] | Zhang, Zili [editor.] | Jin, Zhi [editor.] | Blumenstein, Michael [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

Security and Privacy in Social Networks and Big Data [electronic resource] : 9th International Symposium, SocialSec 2023, Canterbury, UK, August 14-16, 2023, Proceedings / edited by Budi Arief, Anna Monreale, Michael Sirivianos, Shujun Li.

by Arief, Budi [editor.] | Monreale, Anna [editor.] | Sirivianos, Michael [editor.] | Li, Shujun [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: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Explainable, Transparent Autonomous Agents and Multi-Agent Systems [electronic resource] : Second International Workshop, EXTRAAMAS 2020, Auckland, New Zealand, May 9-13, 2020, 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. 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

Explainable and Transparent AI and Multi-Agent Systems [electronic resource] : Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3-7, 2021, 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. 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