|
|
|
New Stream Cipher Designs [electronic resource] : The eSTREAM Finalists / edited by Matthew Robshaw, Olivier Billet.
by Robshaw, Matthew [editor.] | Billet, Olivier [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
|
|
|
|
Horizons of the Mind. A Tribute to Prakash Panangaden [electronic resource] : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday / edited by Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten.
by van Breugel, Franck [editor.] | Kashefi, Elham [editor.] | Palamidessi, Catuscia [editor.] | Rutten, Jan [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
|
|
|
|
Computer Algebra and Polynomials [electronic resource] : Applications of Algebra and Number Theory / edited by Jaime Gutierrez, Josef Schicho, Martin Weimann.
by Gutierrez, Jaime [editor.] | Schicho, Josef [editor.] | Weimann, Martin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Text Analysis Pipelines [electronic resource] : Towards Ad-hoc Large-Scale Text Mining / by Henning Wachsmuth.
by Wachsmuth, Henning [author.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] [electronic resource] : Foreword by Alan Bundy / by Michael Kohlhase.
by Kohlhase, Michael [author.] | 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
|
|
|
|
Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers / edited by João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva.
by Fernandes, João M [editor.] | Lämmel, Ralf [editor.] | Visser, Joost [editor.] | Saraiva, João [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
|
|
|
|
Variations on Constants [electronic resource] : Flow Analysis of Sequential and Parallel Programs / by Markus Müller-Olm.
by Müller-Olm, Markus [author.] | 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 Security Analysis and Design VII [electronic resource] : FOSAD 2012 / 2013 Tutorial Lectures / edited by Alessandro Aldini, Javier Lopez, Fabio Martinelli.
by Aldini, Alessandro [editor.] | Lopez, Javier [editor.] | Martinelli, Fabio [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
|
|
|
|
Reasoning Web [electronic resource] : First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures / edited by Norbert Eisinger, Jan Maluszynski.
by Eisinger, Norbert [editor.] | Maluszynski, Jan [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
|
|
|
|
Transactions of Computational Collective Intelligence IV [electronic resource] / edited by Ngoc-Thanh Nguyen.
by Nguyen, Ngoc-Thanh [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
|
|
|
|
Ludics, Dialogue and Interaction [electronic resource] : PRELUDE Project - 2006-2009. Revised Selected Papers / edited by Alain Lecomte, Samuel Tronçon.
by Lecomte, Alain [editor.] | Tronçon, Samuel [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
|
|
|
|
Advanced Functional Programming [electronic resource] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / edited by Pieter Koopman, Doaitse Swierstra.
by Koopman, Pieter [editor.] | Swierstra, Doaitse [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 Knowledge Representation, Logic Programming, and Abstract Argumentation [electronic resource] : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday / edited by Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran.
by Eiter, Thomas [editor.] | Strass, Hannes [editor.] | Truszczyński, Mirosław [editor.] | Woltran, Stefan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Foundations for Mastering Change I [electronic resource] / edited by Bernhard Steffen.
by Steffen, Bernhard [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
|
|
|
|
Transactions on Computational Systems Biology I [electronic resource].
by 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
|
|
|
|
Computing with New Resources [electronic resource] : Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday / edited by Cristian S. Calude, Rūsiņš Freivalds, Iwama Kazuo.
by Calude, Cristian S [editor.] | Freivalds, Rūsiņš [editor.] | Kazuo, Iwama [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
|
|
|
|
Human Machine Interaction [electronic resource] : Research Results of the MMI Program / edited by Denis Lalanne, Juerg Kohlas.
by Lalanne, Denis [editor.] | Kohlas, Juerg [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
|
|
|
|
Transactions on Computational Systems Biology XIII [electronic resource] / edited by Ralph-Johan Back, Ion Petre, Erik de Vink.
by Back, Ralph-Johan [editor.] | Petre, Ion [editor.] | de Vink, Erik [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
|
|
|
|
Formal Methods in Software and Systems Modeling [electronic resource] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / edited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer.
by Kreowski, Hans-Jörg [editor.] | Montanari, Ugo [editor.] | Orejas, Fernando [editor.] | Rozenberg, Grzegorz [editor.] | Taentzer, Gabriele [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
|
|
|
|
Transactions on Computational Collective Intelligence XX [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe.
by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | Duval, Béatrice [editor.] | van den Herik, Jaap [editor.] | Loiseau, Stephane [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
