|
|
|
Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann.
by Halldórsson, Magnús M [editor.] | Iwama, Kazuo [editor.] | Kobayashi, Naoki [editor.] | Speckmann, Bettina [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Informatics in Schools: Improvement of Informatics Knowledge and Perception [electronic resource] : 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings / edited by Andrej Brodnik, Françoise Tort.
by Brodnik, Andrej [editor.] | Tort, Françoise [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
|
|
|
|
Information and Communications Security [electronic resource] : 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013, Proceedings / edited by Sihan Qing, Jianying Zhou, Dongmei Liu.
by Qing, Sihan [editor.] | Zhou, Jianying [editor.] | Liu, Dongmei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Annotating, Extracting and Reasoning about Time and Events [electronic resource] : International Seminar, Dagstuhl Castle, Germany, April 20-15, 2005, Revised Papers / edited by Frank Schilder, Graham Katz, James Pustejovsky.
by Schilder, Frank [editor.] | Katz, Graham [editor.] | Pustejovsky, James [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
|
|
|
|
Genetic Programming [electronic resource] : 12th European Conference, EuroGP 2009 Tübingen, Germany, April, 15-17, 2009 Proceedings / edited by Leonardo Vanneschi, Steven Gustafson, Alberto Moraglio, Ivanoe de Falco, Marc Ebner.
by Vanneschi, Leonardo [editor.] | Gustafson, Steven [editor.] | Moraglio, Alberto [editor.] | de Falco, Ivanoe [editor.] | Ebner, Marc [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
|
|
|
|
Curves and Surfaces [electronic resource] : 7th International Conference, Avignon, France, June 24-30, 2010, Revised Selected Papers / edited by Jean-Daniel Boissonnat, Patrick Chenin, Albert Cohen, Christian Gout, Tom Lyche, Marie-Laurence Mazure, Larry Schumaker.
by Boissonnat, Jean-Daniel [editor.] | Chenin, Patrick [editor.] | Cohen, Albert [editor.] | Gout, Christian [editor.] | Lyche, Tom [editor.] | Mazure, Marie-Laurence [editor.] | Schumaker, Larry [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
|
|
|
|
Formal Theories of Information [electronic resource] : From Shannon to Semantic Information Theory and General Concepts of Information / edited by Giovanni Sommaruga.
by Sommaruga, Giovanni [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
|
|
|
|
Artificial Immune Systems [electronic resource] : 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006, Proceedings / edited by Hugues Bersini, Jorge Carneiro.
by Bersini, Hugues [editor.] | Carneiro, Jorge [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
|
|
|
|
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; 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
|
|
|
|
OpenMP in a New Era of Parallelism [electronic resource] : 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008, Proceedings / edited by Rudi Eigenmann, Bronis R. de Supinski.
by Eigenmann, Rudi [editor.] | de Supinski, Bronis R [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Information Theoretic Security [electronic resource] : 7th International Conference, ICITS 2013, Singapore, November 28-30, 2013, Proceedings / edited by Carles Padró.
by Padró, Carles [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
|
|
|
|
FM 2009: Formal Methods [electronic resource] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings / edited by Ana Cavalcanti, Dennis Dams.
by Cavalcanti, Ana [editor.] | Dams, Dennis [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
|
|
|
|
Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings / edited by Thomas Agotnes, Jan M. Broersen, Dag Elgesem.
by Agotnes, Thomas [editor.] | Broersen, Jan M [editor.] | Elgesem, Dag [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
|
|
|
|
Transactions on Petri Nets and Other Models of Concurrency III [electronic resource].
by 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
|
|
|
|
Data Warehousing and Knowledge Discovery [electronic resource] : 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings / edited by A Min Tjoa.
by Tjoa, A Min [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
|
|
|
|
Adaptive Agents and Multi-Agent Systems II [electronic resource] : Adaptation and Multi-Agent Learning / edited by Daniel Kudenko, Dimitar Kazakov, Eduardo Alonso.
by Kudenko, Daniel [editor.] | Kazakov, Dimitar [editor.] | Alonso, Eduardo [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
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel.
by Berghofer, Stefan [editor.] | Nipkow, Tobias [editor.] | Urban, Christian [editor.] | Wenzel, Makarius [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
|
|
|
|
Research in Computational Molecular Biology [electronic resource] : 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010, Proceedings / edited by Bonnie Berger.
by Berger, Bonnie [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
|
|
|
|
Topics in Cryptology - CT-RSA 2012 [electronic resource] : The Cryptographers' Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 - March 2, 2012, Proceedings / edited by Orr Dunkelman.
by Dunkelman, Orr [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
|
|
|
|
MICAI 2005: Advances in Artificial Intelligence [electronic resource] : 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings / edited by Alexander Gelbukh, Hugo Terashima.
by Gelbukh, Alexander [editor.] | Terashima, Hugo [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
|
