|
|
|
Reachability Problems [electronic resource] : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings / edited by Joel Ouaknine, Igor Potapov, James Worrell.
by Ouaknine, Joel [editor.] | Potapov, Igor [editor.] | Worrell, James [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Engineering Multi-Agent Systems [electronic resource] : First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers / edited by Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff.
by Cossentino, Massimo [editor.] | El Fallah Seghrouchni, Amal [editor.] | Winikoff, Michael [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security and Privacy [electronic resource] : 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings / edited by Colin Boyd, Juan González Nieto.
by Boyd, Colin [editor.] | González Nieto, Juan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Databases and Information Systems [electronic resource] : 9th East European Conference, ADBIS 2005, Tallinn, Estonia, September 12-15, 2005, Proceedings / edited by Johann Eder, Hele-Mai Haav, Ahto Kalja, Jaan Penjam.
by Eder, Johann [editor.] | Haav, Hele-Mai [editor.] | Kalja, Ahto [editor.] | Penjam, Jaan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Technologies for Advanced Heterogeneous Networks [electronic resource] : First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005, Proceedings / edited by Kenjiro Cho, Philippe Jacquet.
by Cho, Kenjiro [editor.] | Jacquet, Philippe [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Information Hiding [electronic resource] : 12th International Conference, IH 2010, Calgary, AB, Canada, June 28-30, 2010, Revised Selected Papers / edited by Rainer Böhme, Philip W. L. Fong, Reihaneh Safavi-Naini.
by Böhme, Rainer [editor.] | Fong, Philip W. L [editor.] | Safavi-Naini, Reihaneh [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
LATIN 2006: Theoretical Informatics [electronic resource] : 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings / edited by José R. Correa, Alejandro Hevia, Marcos Kiwi.
by Correa, José R [editor.] | Hevia, Alejandro [editor.] | Kiwi, Marcos [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Natural Language Processing - IJCNLP 2005 [electronic resource] : Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings / edited by Robert Dale, Kam-Fai Wong, Jian Su, Oi Yee Kwong.
by Dale, Robert [editor.] | Wong, Kam-Fai [editor.] | Su, Jian [editor.] | Kwong, Oi Yee [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Human Aspects of IT for the Aged Population. Aging, Design and User Experience [electronic resource] : Third International Conference, ITAP 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I / edited by Jia Zhou, Gavriel Salvendy.
by Zhou, Jia [editor.] | Salvendy, Gavriel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Cryptography and Coding [electronic resource] : 10th IMA International Conference, Cirencester, UK, December 19-21, 2005, Proceedings / edited by Nigel Smart.
by Smart, Nigel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Principles of Distributed Systems [electronic resource] : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011, Proceedings / edited by Antonio Fernández Anta, Giuseppe Lipari, Matthieu Roy.
by Fernández Anta, Antonio [editor.] | Lipari, Giuseppe [editor.] | Roy, Matthieu [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Computational Science IX [electronic resource] : Special Issue on Voronoi Diagrams in Science and Engineering / edited by C. J. Kenneth Tan.
by Tan, C. J. Kenneth [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Artificial Life [electronic resource] : 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007, Proceedings / edited by Fernando Almeida e Costa.
by Almeida e Costa, Fernando [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers / edited by Hoon Hong, Dongming Wang.
by Hong, Hoon [editor.] | Wang, Dongming [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Javier Esparza, Andrzej S. Murawski.
by Esparza, Javier [editor.] | Murawski, Andrzej S [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Logic in Multi-Agent Systems [electronic resource] : 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings / edited by Jürgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga.
by Dix, Jürgen [editor.] | Leite, Joao [editor.] | Governatori, Guido [editor.] | Jamroga, Wojtek [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematical and Engineering Methods in Computer Science [electronic resource] : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers / edited by Zdeněk Kotásek, Jan Bouda, Ivana Cerná, Lukas Sekanina, Tomas Vojnar, David Antoš.
by Kotásek, Zdeněk [editor.] | Bouda, Jan [editor.] | Cerná, Ivana [editor.] | Sekanina, Lukas [editor.] | Vojnar, Tomas [editor.] | Antoš, David [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security Theory and Practice [electronic resource] : 10th IFIP WG 11.2 International Conference, WISTP 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings / edited by Sara Foresti, Javier Lopez.
by Foresti, Sara [editor.] | Lopez, Javier [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Multiagent System Technologies [electronic resource] : 8th German Conference, MATES 2011, Leipzig, Germany, October 6-7, 2011 Proceedings / edited by Franziska Klügl, Sascha Ossowski.
by Klügl, Franziska [editor.] | Ossowski, Sascha [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; 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] : 9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, Passau, Germany, April 14-16, 2010, Proceedings / edited by Dieter Gollmann, Jean-Louis Lanet, Julien Iguchi-Cartigny.
by Gollmann, Dieter [editor.] | Lanet, Jean-Louis [editor.] | Iguchi-Cartigny, Julien [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
