|
|
|
Applied Cryptography and Network Security [electronic resource] : 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings / edited by Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider.
by Manulis, Mark [editor.] | Sadeghi, Ahmad-Reza [editor.] | Schneider, Steve [editor.] | 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
|
|
|
|
Theory and Principled Methods for the Design of Metaheuristics [electronic resource] / edited by Yossi Borenstein, Alberto Moraglio.
by Borenstein, Yossi [editor.] | Moraglio, Alberto [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
|
|
|
|
Signal Processing and Information Technology [electronic resource] : Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papers / edited by Vinu V. Das, Passent Elkafrawy.
by Das, Vinu V [editor.] | Elkafrawy, Passent [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Regulated Grammars and Automata [electronic resource] / by Alexander Meduna, Petr Zemek.
by Meduna, Alexander [author.] | Zemek, Petr [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Computational Science XXI [electronic resource] : Special Issue on Innovations in Nature-Inspired Computing and Applications / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Ajith Abraham.
by Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth [editor.] | Abraham, Ajith [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
|
|
|
|
Complex Sciences [electronic resource] : Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers / edited by Kristin Glass, Richard Colbaugh, Paul Ormerod, Jeffrey Tsao.
by Glass, Kristin [editor.] | Colbaugh, Richard [editor.] | Ormerod, Paul [editor.] | Tsao, Jeffrey [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Genetic Programming Theory and Practice X [electronic resource] / edited by Rick Riolo, Ekaterina Vladislavleva, Marylyn D Ritchie, Jason H. Moore.
by Riolo, Rick [editor.] | Vladislavleva, Ekaterina [editor.] | Ritchie, Marylyn D [editor.] | Moore, Jason H [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Programming Languages and Operational Semantics [electronic resource] : A Concise Overview / by Maribel Fern�andez.
by Fern�andez, Maribel [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Behavior Modeling -- Foundations and Applications [electronic resource] : International Workshops, BM-FA 2009-2014, Revised Selected Papers / edited by Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth.
by Roubtsova, Ella [editor.] | McNeile, Ashley [editor.] | Kindler, Ekkart [editor.] | Gerth, Christian [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
|
|
|
|
Higher-Order Computability [electronic resource] / by John Longley, Dag Normann.
by Longley, John [author.] | Normann, Dag [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
|
|
|
|
Biomimetic and Biohybrid Systems [electronic resource] : Third International Conference, Living Machines 2014, Milan, Italy, July 30 - August 1, 2014. Proceedings / edited by Armin Duff, Nathan F. Lepora, Anna Mura, Tony J. Prescott, Paul F. M. J. Verschure.
by Duff, Armin [editor.] | Lepora, Nathan F [editor.] | Mura, Anna [editor.] | Prescott, Tony J [editor.] | Verschure, Paul F. M. J [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Unconventional Computation and Natural Computation [electronic resource] : 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings / edited by Oscar H. Ibarra, Lila Kari, Steffen Kopecki.
by Ibarra, Oscar H [editor.] | Kari, Lila [editor.] | Kopecki, Steffen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
High Performance Computing [electronic resource] : 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings / edited by Julian M. Kunkel, Pavan Balaji, Jack Dongarra.
by Kunkel, Julian M [editor.] | Balaji, Pavan [editor.] | Dongarra, Jack [editor.] | 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
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings / edited by Ioana Boureanu, Philippe Owesarski, Serge Vaudenay.
by Boureanu, Ioana [editor.] | Owesarski, Philippe [editor.] | Vaudenay, Serge [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Semantic Web Challenges [electronic resource] : Third SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, Revised Selected Papers / edited by Harald Sack, Stefan Dietze, Anna Tordai, Christoph Lange.
by Sack, Harald [editor.] | Dietze, Stefan [editor.] | Tordai, Anna [editor.] | Lange, Christoph [editor.] | 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
|
|
|
|
Understanding Petri Nets [electronic resource] : Modeling Techniques, Analysis Methods, Case Studies / by Wolfgang Reisig.
by Reisig, Wolfgang [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
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014. Proceedings / edited by Peter Auer, Alexander Clark, Thomas Zeugmann, Sandra Zilles.
by Auer, Peter [editor.] | Clark, Alexander [editor.] | Zeugmann, Thomas [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, 2014Online 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). Source: Springer eBooksMaterial 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
|
|
|
|
Decision Diagrams for Optimization [electronic resource] / by David Bergman, Andre A. Cire, Willem-Jan van Hoeve, John Hooker.
by Bergman, David [author.] | Cire, Andre A [author.] | van Hoeve, Willem-Jan [author.] | Hooker, John [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
|
|
|
|
Combinatorial Search: From Algorithms to Systems [electronic resource] / by Youssef Hamadi.
by Hamadi, Youssef [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
|
