|
|
10921.
|
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach [electronic resource] / by Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine de Cock.
by Janssen, Jeroen | Schockaert, Steven | Vermeir, Dirk | de Cock, Martine | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Paris : Atlantis Press, 2012Online access: Click here to access online Availability: No items available
|
|
|
10922.
|
Theoretical Foundations of Artificial General Intelligence [electronic resource] / edited by Pei Wang, Ben Goertzel.
by Wang, Pei [editor.] | Goertzel, Ben [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: No items available
|
|
|
10923.
|
Instruction Sequences for Computer Science [electronic resource] / by Jan A. Bergstra, Cornelis A. Middelburg.
by Bergstra, Jan A [author.] | Middelburg, Cornelis A [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: No items available
|
|
|
10924.
|
Trustworthy Ubiquitous Computing [electronic resource] / edited by Ismail Khalil, Teddy Mantoro.
by Khalil, Ismail [editor.] | Mantoro, Teddy [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: No items available
|
|
|
10925.
|
Computational Intelligence Systems in Industrial Engineering [electronic resource] : With Recent Theory and Applications / edited by Cengiz Kahraman.
by Kahraman, Cengiz [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: No items available
|
|
|
10926.
|
Evolutionary Optimization: the µGP toolkit [electronic resource] / by Ernesto Sanchez, Massimiliano Schillaci, Giovanni Squillero.
by Sanchez, Ernesto [author.] | Schillaci, Massimiliano [author.] | Squillero, Giovanni [author.] | 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
|
|
|
10927.
|
Problem Solving Handbook in Computational Biology and Bioinformatics [electronic resource] / edited by Lenwood S. Heath, Naren Ramakrishnan.
by Heath, Lenwood S [editor.] | Ramakrishnan, Naren [editor.] | 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
|
|
|
10928.
|
Encyclopedia of Parallel Computing [electronic resource] / edited by David Padua.
by Padua, David [editor.] | 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
|
|
|
10929.
|
The Proof is in the Pudding [electronic resource] : The Changing Nature of Mathematical Proof / by Steven G. Krantz.
by Krantz, Steven G [author.] | 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
|
|
|
10930.
|
Combinatorial Computational Biology of RNA [electronic resource] : Pseudoknots and Neutral Networks / by Christian Reidys.
by Reidys, Christian [author.] | 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
|
|
|
10931.
|
Introduction to Biometrics [electronic resource] / by Anil K. Jain, Arun A. Ross, Karthik Nandakumar.
by Jain, Anil K [author.] | Ross, Arun A [author.] | Nandakumar, Karthik [author.] | 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
|
|
|
10932.
|
Probability Measures on Semigroups [electronic resource] : Convolution Products, Random Walks and Random Matrices / by Göran Högnäs, Arunava Mukherjea.
by Högnäs, Göran [author.] | Mukherjea, Arunava [author.] | SpringerLink (Online service). Edition: 2.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
|
|
|
10933.
|
Spyware and Adware [electronic resource] / by John Aycock.
by Aycock, John [author.] | 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
|
|
|
10934.
|
Recommender Systems Handbook [electronic resource] / edited by Francesco Ricci, Lior Rokach, Bracha Shapira, Paul B. Kantor.
by Ricci, Francesco [editor.] | Rokach, Lior [editor.] | Shapira, Bracha [editor.] | Kantor, Paul B [editor.] | SpringerLink (Online service). Edition: 1.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
|
|
|
10935.
|
Structural Analysis of Complex Networks [electronic resource] / edited by Matthias Dehmer.
by Dehmer, Matthias [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston : Birkhäuser Boston, 2011Online access: Click here to access online Availability: No items available
|
|
|
10936.
|
A First Course in Statistics for Signal Analysis [electronic resource] / by Wojbor A. Woyczynski.
by Woyczynski, Wojbor A [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston : Birkhäuser Boston, 2011Online access: Click here to access online Availability: No items available
|
|
|
10937.
|
Integral Methods in Science and Engineering [electronic resource] : Computational and Analytic Aspects / edited by Christian Constanda, Paul J. Harris.
by Constanda, Christian [editor.] | Harris, Paul J [editor.] | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston : Birkhäuser Boston, 2011Online access: Click here to access online Availability: No items available
|
|
|
10938.
|
Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa.
by Almeida, José Bacelar [author.] | Frade, Maria João [author.] | Pinto, Jorge Sousa [author.] | Melo de Sousa, Simão [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
10939.
|
Guide to Three Dimensional Structure and Motion Factorization [electronic resource] / by Guanghui Wang, Q. M. Jonathan Wu.
by Wang, Guanghui [author.] | Wu, Q. M. Jonathan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
10940.
|
Grids, Clouds and Virtualization [electronic resource] / edited by Massimo Cafaro, Giovanni Aloisio.
by Cafaro, Massimo [editor.] | Aloisio, Giovanni [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
