Your search returned 10983 results. Subscribe to this search

|
Membrane Computing [electronic resource] : 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers / edited by Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron.

by Gheorghe, Marian [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | Zandron, Claudio [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

Mathematical Aspects of Computer and Information Sciences [electronic resource] : 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings / edited by Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos.

by Blömer, Johannes [editor.] | Kotsireas, Ilias S [editor.] | Kutsia, Temur [editor.] | Simos, Dimitris E [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

Theory and Applications of Models of Computation [electronic resource] : 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings / edited by Jin-Yi Cai, Barry S. Cooper, Hong Zhu.

by Cai, Jin-Yi [editor.] | Cooper, Barry S [editor.] | Zhu, Hong [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

Combinatorial Pattern Matching [electronic resource] : 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings / edited by Bin Ma, Kaizhong Zhang.

by Ma, Bin [editor.] | Zhang, Kaizhong [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

Data Privacy Management and Security Assurance [electronic resource] : 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings / edited by Giovanni Livraga, Vicenç Torra, Alessandro Aldini, Fabio Martinelli, Neeraj Suri.

by Livraga, Giovanni [editor.] | Torra, Vicenç [editor.] | Aldini, Alessandro [editor.] | Martinelli, Fabio [editor.] | Suri, Neeraj [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

Functional and Constraint Logic Programming [electronic resource] : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers / edited by Santiago Escobar.

by Escobar, Santiago [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

High Performance Computing [electronic resource] : 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017, Proceedings / edited by Julian M. Kunkel, Rio Yokota, Pavan Balaji, David Keyes.

by Kunkel, Julian M [editor.] | Yokota, Rio [editor.] | Balaji, Pavan [editor.] | Keyes, David [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

Cryptology and Network Security [electronic resource] : 6th International Conference, CANS 2007, Singapore, December 8-10, 2007, Proceedings / edited by Feng Bao, San Ling, Tatsuaki Okamoto, Huaxiong Wang, Chaoping Xing.

by Bao, Feng [editor.] | Ling, San [editor.] | Okamoto, Tatsuaki [editor.] | Wang, Huaxiong [editor.] | Xing, Chaoping [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

Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs [electronic resource] : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers / edited by Barbara Paech, Craig Martell.

by Paech, Barbara [editor.] | Martell, Craig [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

DNA Computing and Molecular Programming [electronic resource] : 15th International Meeting on DNA Computing, DNA 15, Fayetteville, AR, USA, June 8-11, 2009. Revised Selected Papers / edited by Russell Deaton, Akira Suyama.

by Deaton, Russell [editor.] | Suyama, Akira [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

Networked Services and Applications - Engineering, Control and Management [electronic resource] : 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010, Proceedings / edited by Finn Arve Aagesen, Svein J. Knapskog.

by Aagesen, Finn Arve [editor.] | Knapskog, Svein J [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

Recent Advances in Intrusion Detection [electronic resource] : 9th International Symposium, RAID 2006, Hamburg, Germany, September 20-22, 2006, Proceedings / edited by Diego Zamboni, Christopher Kruegel.

by Zamboni, Diego [editor.] | Kruegel, Christopher [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

Languages, Methodologies and Development Tools for Multi-Agent Systems [electronic resource] : First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers / edited by Mehdi Dastani, Amal El Fallah Seghrouchni, Joao Leite, Paolo Torroni.

by Dastani, Mehdi [editor.] | El Fallah Seghrouchni, Amal [editor.] | Leite, Joao [editor.] | Torroni, Paolo [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

Computing and Combinatorics [electronic resource] : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013, Proceedings / edited by Ding-Zhu Du, Guochuan Zhang.

by Du, Ding-Zhu [editor.] | Zhang, Guochuan [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

Learning and Intelligent Optimization: Designing, Implementing and Analyzing Effective Heuristics [electronic resource] : Third International Conference, LION 2009 III, Trento, Italy, January 14-18, 2009. Selected Papers / edited by Thomas Stützle.

by Stützle, Thomas [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

Computational Science and Its Applications - ICCSA 2017 [electronic resource] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part I / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Elena Stankova, Alfredo Cuzzocrea.

by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Borruso, Giuseppe [editor.] | Torre, Carmelo M [editor.] | Rocha, Ana Maria A.C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Stankova, Elena [editor.] | Cuzzocrea, Alfredo [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

Languages, Methodologies, and Development Tools for Multi-Agent Systems [electronic resource] : Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers / edited by Mehdi Dastani, Amal El Fallah Seghrouchni, Jomi Hübner, Joao Leite.

by Dastani, Mehdi [editor.] | El Fallah Seghrouchni, Amal [editor.] | Hübner, Jomi [editor.] | Leite, Joao [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

Computers and Games [electronic resource] : 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers / edited by H. Jaap van den Herik, Yngvi Björnsson, Nathan S. Netanyahu.

by Herik, H. Jaap van den [editor.] | Björnsson, Yngvi [editor.] | Netanyahu, Nathan S [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

Declarative Agent Languages and Technologies IV [electronic resource] : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers / edited by Matteo Baldoni, Ulle Endriss.

by Baldoni, Matteo [editor.] | Endriss, Ulle [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

Information Processing in Medical Imaging [electronic resource] : 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings / edited by Marc Niethammer, Martin Styner, Stephen Aylward, Hongtu Zhu, Ipek Oguz, Pew-Thian Yap, Dinggang Shen.

by Niethammer, Marc [editor.] | Styner, Martin [editor.] | Aylward, Stephen [editor.] | Zhu, Hongtu [editor.] | Oguz, Ipek [editor.] | Yap, Pew-Thian [editor.] | Shen, Dinggang [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