|
|
41.
|
Concise Guide to Computation Theory [electronic resource] / by Akira Maruoka.
by Maruoka, Akira | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
42.
|
Systems Approaches and Their Application [electronic resource] : Examples from Sweden / edited by Mats-Olov Olsson, Gunnar Sjöstedt.
by Olsson, Mats-Olov | Sjöstedt, Gunnar | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available
|
|
|
43.
|
Engineering Theories of Software Intensive Systems [electronic resource] : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare.
by Broy, Manfred | Grünbauer, Johannes | Harel, David | Hoare, Tony | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available
|
|
|
44.
|
Self-Organizing Natural Intelligence [electronic resource] : Issues of Knowing, Meaning, and Complexity / by Myrna Estep.
by Estep, Myrna | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2006Online access: Click here to access online Availability: No items available
|
|
|
45.
|
SAT 2005 [electronic resource] : Satisfiability Research in the Year 2005 / edited by Enrico Giunchiglia, Toby Walsh.
by Giunchiglia, Enrico | Walsh, Toby | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2006Online access: Click here to access online Availability: No items available
|
|
|
46.
|
Global Specification and Validation of Embedded Systems [electronic resource] : Integrating Heterogeneous Components / edited by G. Nicolescu, A. A. Jerraya.
by Nicolescu, G | Jerraya, A. A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
47.
|
Probing Experience [electronic resource] : From Assessment of User Emotions and Behaviour to Development of Products / edited by Joyce H. D. M. Westerink, Martin Ouwerkerk, Thérése J. M. Overbeek, W. Frank Pasveer, Boris Ruyter.
by Westerink, Joyce H. D. M | Ouwerkerk, Martin | Overbeek, Thérése J. M | Pasveer, W. Frank | Ruyter, Boris | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available
|
|
|
48.
|
Autonomy Oriented Computing [electronic resource] : From Problem Solving to Complex Systems Modeling / by Jiming Liu, Xiaolong Jin, Kwok Ching Tsui.
by Liu, Jiming | Jin, Xiaolong | Tsui, Kwok Ching | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
|
|
|
49.
|
Genetic Programming Theory and Practice VII [electronic resource] / edited by Rick Riolo, Una-May O'Reilly, Trent McConaghy.
by Riolo, Rick | O'Reilly, Una-May | McConaghy, Trent | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
|
50.
|
The P=NP Question and Gödel’s Lost Letter [electronic resource] / by Richard J. Lipton.
by Lipton, Richard J | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
|
51.
|
Genetic Programming Theory and Practice VIII [electronic resource] / edited by Rick Riolo, Trent McConaghy, Ekaterina Vladislavleva.
by Riolo, Rick | McConaghy, Trent | Vladislavleva, Ekaterina | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available
|
|
|
52.
|
Computability and Complexity Theory [electronic resource] / by Steven Homer, Alan L. Selman.
by Homer, Steven | Selman, Alan L | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available
|
|
|
53.
|
Computer Science [electronic resource] : The Hardware, Software and Heart of It / edited by Edward K. Blum, Alfred V. Aho.
by Blum, Edward K | Aho, Alfred V | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available
|
|
|
54.
|
Genetic Programming Theory and Practice IX [electronic resource] / edited by Rick Riolo, Ekaterina Vladislavleva, Jason H. Moore.
by Riolo, Rick | Vladislavleva, Ekaterina | Moore, Jason H | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available
|
|
|
55.
|
Geospatial Abduction [electronic resource] : Principles and Practice / by Paulo Shakarian, V. S. Subrahmanian.
by Shakarian, Paulo | Subrahmanian, V. S | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available
|
|
|
56.
|
Theoretical Introduction to Programming [electronic resource] / by Bruce Mills.
by Mills, Bruce | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2006Online access: Click here to access online Availability: No items available
|
|
|
57.
|
Theory of Computation [electronic resource] / by Dexter C. Kozen.
by Kozen, Dexter C | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2006Online access: Click here to access online Availability: No items available
|
|
|
58.
|
Natural Language Processing and Text Mining [electronic resource] / edited by Anne Kao, Stephen R. Poteet.
by Kao, Anne | Poteet, Stephen R | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2007Online access: Click here to access online Availability: No items available
|
|
|
59.
|
Principles of the Spin Model Checker [electronic resource] / by Mordechai Ben-Ari.
by Ben-Ari, Mordechai | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
|
60.
|
Advances in Applied Self-organizing Systems [electronic resource] / edited by Mikhail Prokopenko.
by Prokopenko, Mikhail | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
