|
|
|
Concurrent Programming: Algorithms, Principles, and Foundations [electronic resource] : Algorithms, Principles, and Foundations / by Michel Raynal.
by Raynal, Michel [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Fundamentals of Computation Theory [electronic resource] : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings / edited by Leszek Gąsieniec, Frank Wolter.
by Gąsieniec, Leszek [editor.] | Wolter, Frank [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.
by Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Optical Supercomputing [electronic resource] : 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers / edited by Shlomi Dolev, Mihai Oltean.
by Dolev, Shlomi [editor.] | Oltean, Mihai [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Graph and Model Transformation [electronic resource] : General Framework and Applications / by Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann.
by Ehrig, Hartmut [author.] | Ermel, Claudia [author.] | Golas, Ulrike [author.] | Hermann, Frank [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Transactions on Computational Science XXII [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan.
by Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Bridging Constraint Satisfaction and Boolean Satisfiability [electronic resource] / by Justyna Petke.
by Petke, Justyna [author.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial 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
|
|
|
|
Energy Time Series Forecasting [electronic resource] : Efficient and Accurate Forecasting of Evolving Time Series from the Energy Domain / by Lars Dannecker.
by Dannecker, Lars [author.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode.
by Artemov, Sergei [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Theory and Practice of Computation [electronic resource] : 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings / edited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez.
by Nishizaki, Shin-ya [editor.] | Numao, Masayuki [editor.] | Caro, Jaime [editor.] | Suarez, Merlin Teodosia [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Tokyo : Springer Japan : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Topics in Grammatical Inference [electronic resource] / edited by Jeffrey Heinz, Jos�e M. Sempere.
by Heinz, Jeffrey [editor.] | Sempere, Jos�e M [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Words and Graphs [electronic resource] / by Sergey Kitaev, Vadim Lozin.
by Kitaev, Sergey [author.] | Lozin, Vadim [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Introduction to Evolutionary Computing [electronic resource] / by A.E. Eiben, J.E. Smith.
by Eiben, A.E [author.] | Smith, J.E [author.] | SpringerLink (Online service). Edition: 2nd ed. 2015.Source: Springer eBooksMaterial 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
|
|
|
|
Natural Computing Algorithms [electronic resource] / by Anthony Brabazon, Michael O'Neill, Se�an McGarraghy.
by Brabazon, Anthony [author.] | O'Neill, Michael [author.] | McGarraghy, Se�an [author.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial 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
|
|
|
|
Finitely Supported Mathematics [electronic resource] : An Introduction / by Andrei Alexandru, Gabriel Ciobanu.
by Alexandru, Andrei [author.] | Ciobanu, Gabriel [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Constraint Solving and Planning with Picat [electronic resource] / by Neng-Fa Zhou, H�akan Kjellerstrand, Jonathan Fruhman.
by Zhou, Neng-Fa [author.] | Kjellerstrand, H�akan [author.] | Fruhman, Jonathan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings / edited by Kamalika Chaudhuri, CLAUDIO GENTILE, Sandra Zilles.
by Chaudhuri, Kamalika [editor.] | GENTILE, CLAUDIO [editor.] | Zilles, Sandra [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Hybrid Metaheuristics [electronic resource] : Powerful Tools for Optimization / by Christian Blum, G�unther R. Raidl.
by Blum, Christian [author.] | Raidl, G�unther R [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Model-Driven Software Migration: A Methodology [electronic resource] : Reengineering, Recovery and Modernization of Legacy Systems / by Christian Wagner.
by Wagner, Christian [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers / edited by Dave Bacon, Miguel Martin-Delgado, Martin Roetteler.
by Bacon, Dave [editor.] | Martin-Delgado, Miguel [editor.] | Roetteler, Martin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
