Search for 'Provider:Springer, and itype:BK and su-to:Artificial intelligence'

Constraint-based verification

By Yuan, Jun. New York: Springer, 2006 . vii, 253 p.; 24 cm.. 0387259473

Place Hold on Constraint-based verification

Industrial applications of semantic Web : proceedings of the 1st IFIP WG12.5 Working Conference on Industrial Applications of Semantic Web, August 25-27, 2005, Jyvaskyla, Finland

By Bramer, Max. New York: Springer, 2005 . xii, 340 p.; 24 cm.. 0387285687

Place Hold on Industrial applications of semantic Web : proceedings of the 1st IFIP WG12.5 Working Conference on Industrial Applications of Semantic Web, August 25-27, 2005, Jyvaskyla, Finland

Introduction to default logic

By Besnard, Philippe. Berlin: Springer, 1989 . xi, 208 p.; 26 cm.. 0387515666

Place Hold on Introduction to default logic

Introduction to artificial life

By Adami, Christoph. New York: Springer, 1998 . xviii, 374 p.; 24 cm.. 0387946462

Place Hold on Introduction to artificial life

Automated theorem proving : theory and practice

By Newborn, Monty. New York: Springer, 2001 . xiii, 231 p.; 24 cm.. 0387950753

Place Hold on Automated theorem proving : theory and practice

Artificial intelligence methods and tools for systems biology

By Dubitzky, Werner. Dordrecht: Springer, 2004 . xvii, 221 p.; 25 cm.. 1402028598

Place Hold on Artificial intelligence methods and tools for systems biology

Diagrammatic representation and reasoning

By Anderson, Michael . London: Springer, 2002 . xv, 583 p.; 24 cm.. 1852332425

Place Hold on Diagrammatic representation and reasoning

Artificial immune systems : a new computational intelligence approach

By Timmis, Jonathan. London: Springer-Verlag, 2002 . 357 p.; 24 cm.. 1852335947

Place Hold on Artificial immune systems : a new computational intelligence approach

Principles of adaptive filters and self-learning systems

By Zaknich, Anthony. London: Springer, 2005 . xxii, 386 p.; 24 cm.. 1852339845

Place Hold on Principles of adaptive filters and self-learning systems

Chance discovery

By Ohsawa, Y. Berlin: Springer-Verlag, 2003 . 401 p.; 24 cm.. 3540005498

Place Hold on Chance discovery

Artificial intelligence in medicine : 9th Conference in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003 : proceedings

By Dojat, Michel. New York: Springer-Verlag, 2003 . xiii, 385 p.; 23 cm.. 3540201297

Place Hold on Artificial intelligence in medicine : 9th Conference in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003 : proceedings

DNA computing : 9th International Workshop on DNA Based Computers, DNA9 : Madison, WI, USA, June 1-3, 2003 : revised papers

By Chen, Junghuei. Berlin: Springer, 2004 . x, 224 p.; 24 cm.. 9783540209300

Place Hold on DNA computing : 9th International Workshop on DNA Based Computers, DNA9 : Madison, WI, USA, June 1-3, 2003 : revised papers

Applied intelligent systems : new directions

By Fulcher, John. Berlin: Springer, 2004 . xvii, 325 p.; 25 cm.. 3540211535

Place Hold on Applied intelligent systems : new directions

Intelligent information processing and web mining : proceedings of the international iis: iipwm `04 conference held in zakopane, poland, may 17-20, 2004

By Klopotek, Mieczyslaw A. . Berlin: Springer-Verlag, 2004 . xiv, 641 p.; 23 cm.. 3540213317

Place Hold on Intelligent information processing and web mining : proceedings of the international iis: iipwm `04 conference held in zakopane, poland, may 17-20, 2004

Natural language processing and information systems : 9th International Conference on Applications of Natural Language to Information systems, NLDB 2004, Salford, UK, June 23-25, 2004 : proceedings

By Meziane, Farid. Berlin: Springer, 2004 . xii, 436 p.; 23 cm.. 9783540225645

Place Hold on Natural language processing and information systems : 9th International Conference on Applications of Natural Language to Information systems, NLDB 2004, Salford, UK, June 23-25, 2004 : proceedings

Medical image computing and computer-assisted intervention - MICCAI 2004

By Barillot, Christian. New York: Springer, 2004 . xxxviii, 1114 p.; 24 cm.. 9783540229773

Place Hold on Medical image computing and computer-assisted intervention - MICCAI 2004

Biologically inspired approaches to advanced information technology : First International Workshop, BioADIT 2004, Lausanne, Switzerland, January 29-30, 2004 : revised selected papers

By Ijspeert, Auke Jan. Berlin: Springer, 2004 . viii, 514 p.; 24 cm.. 9783540233398

Place Hold on Biologically inspired approaches to advanced information technology : First International Workshop, BioADIT 2004, Lausanne, Switzerland, January 29-30, 2004 : revised selected papers

Rules and Rule Markup Languages for the Semantic web : Third International Workshop, ruleML 2004 Hiroshima, Japan, november 2004 proceedings

By Boley, Harold. New York: Springer-Verlag, 2004 . x, 213 p.; 24 cm.. 9783540238423

Place Hold on Rules and Rule Markup Languages for the Semantic web : Third International Workshop, ruleML 2004 Hiroshima, Japan, november 2004 proceedings

Journal on data semantic II

By Bertino, Elisa. New York: Springer, 2005 . x, 221 p.; 24 cm.. 3540242082

Place Hold on Journal on data semantic II

Knowledge management in electronic government: 4th IFIP international working conference, KMGov 2003 Rhodes, Greece, May 26-28, 2003 proceedings

By Wimmer, Maria A.. Berlin: Springer-Verlag, 2003 . 320 p.; 23 cm.. 3540401458

Place Hold on Knowledge management in electronic government: 4th IFIP international working conference, KMGov 2003 Rhodes, Greece, May 26-28, 2003 proceedings

Spatial reasoning and planning : geometry, mechanism, and motion

By Liu, Jiming. Berlin: Springer-Verlag, 2004 . xiv, 180 p.; 24 cm.. 3540406700

Place Hold on Spatial reasoning and planning : geometry, mechanism, and motion

Learning theory and kernel machines: 16th annual conference on learning theory and 7th kernal workshop, COLT/KErnal 2003 Washington, DC, USA, August 24-27, 2003: Proceedings

By Scholkopf, Bernhard. Berlin: Springer-Verlag, 2003 . 746 p.; 24 cm.. 3540407200

Place Hold on Learning theory and kernel machines: 16th annual conference on learning theory and 7th kernal workshop, COLT/KErnal 2003 Washington, DC, USA, August 24-27, 2003: Proceedings

Advances in Web-Based Learning - ICWL 2003 : Second International Conference Melbourne, Australia, August 2003 : Proceedings

By Zhou, Wanlei. Berlin: Springer, 2003 . xv, 549 p.; 24 cm.. 3540407723

Place Hold on Advances in Web-Based Learning - ICWL 2003 : Second International Conference Melbourne, Australia, August 2003 : Proceedings

Cooperative information agents VII: 7th International workshop, CIA 2003 Helsinki, Finland, August 27-29, 2003: Proceedings

By Klusch, Matthias. Berlin: Springer-Verlag, 2003 . 344 p.; 24 cm.. 3540407987

Place Hold on Cooperative information agents VII: 7th International workshop, CIA 2003 Helsinki, Finland, August 27-29, 2003: Proceedings

Advances in Intelligent Data Analysis V: 5th International Symposium on Intelligent Data Analysis, IDA 2003: Proceedings

By Berthold, Michael R.. Berlin: Springer-Verlag, 2003 . 624 p.; 24 cm.. 3540408134

Place Hold on Advances in Intelligent Data Analysis V: 5th International Symposium on Intelligent Data Analysis, IDA 2003: Proceedings

Informatics : 10 years back, 10 years ahead

By Wilhelm, Reinhard. Berlin: Springer-Verlag, 2001 . 368 p.; 23 cm.. 3540416358

Place Hold on Informatics : 10 years back, 10 years ahead

Isabelle/HOL : a Proof Assistant for Higher-Order Logic

By Paulson, Lawrence C.. Berlin: Springer-Verlag, 2002 . xiii, 218 p.; 24 cm.. 3540433767

Place Hold on Isabelle/HOL : a Proof Assistant for Higher-Order Logic

Web Intelligence

By Zhong, Ning. New York: Springer, 2003 . xxiv, 440 p.; 24 cm.. 3540443843

Place Hold on Web Intelligence

Advances in computing and information--ICCI '91

By Fiala, F. . Berlin: Springer, 1991 . viii, 744 p.; 24 cm.. 9783540540298

Place Hold on Advances in computing and information--ICCI '91

Nonmonotonic logic : context-dependent reasoning

By Marek, V. W.. Berlin: Springer, 1993 . xii, 417 p.; 24 cm.. 3540564489

Place Hold on Nonmonotonic logic : context-dependent reasoning

Genetic Algorithms + Data Structures = Evolution Programs

By Michaelewicz, Zbigniew. New York: Springer-Verlag, 1998 . 387 p.; 24 cm.. 3540606769

Place Hold on Genetic Algorithms + Data Structures = Evolution Programs

Formal concept analysis : mathematical foundations

By Ganter, Bernhard. Berlin: Springer, 1999 . x, 284 p.; 24 cm.. 3540627715

Place Hold on Formal concept analysis : mathematical foundations

Distributed reason maintenance for multiagent systems

By Kraetzschmar, Gerhard K.. Berlin: Springer-Verlag, 1997 . 296 p.; 24 cm.. 3540636064

Place Hold on Distributed reason maintenance for multiagent systems

Artificial immune systems and their applications

By Dasgupta, Dipankar. Berlin: Springer-Verlag, 1998 . xvii, 306 p.; 24 cm.. 3540643907

Place Hold on Artificial immune systems and their applications

Intelligent data analysis : an introduction

By Berthold, Michael R.. Berlin: Springer-Verlag, 1999 . ix, 400 p.; 24 cm.. 3540658084

Place Hold on Intelligent data analysis : an introduction

Methodologies for Knowledge Discovery and Data Mining

By Zhong, Ning. New York: Springer-Verlag, 1999 . 533 p.; 24 cm.. 3540658661

Place Hold on Methodologies for Knowledge Discovery and Data Mining

Knowledge Acquisition

By Fensel, Dieter. New York: Springer-Verlag, 1999 . 404 p.; 24 cm.. 3540660445

Place Hold on Knowledge Acquisition

Artificial Animals for computer animation : biomechanics, locomotion, Perception, and Behavior

By Tu, Xiaoyuan. Berlin: Springer, 1999 . xiv, 172 p.; 24 cm.. 9783540669395

Place Hold on Artificial Animals for computer animation : biomechanics, locomotion, Perception, and Behavior

Artifiicial intelligence in theory and practice II : IFIP 20th world computer congress, TC 12 : IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy

By Bramer, Max. New York: Springer, 2008 . xi, 461 p.; 24 cm.. 9780387096940

Place Hold on Artifiicial intelligence in theory and practice II : IFIP 20th world computer congress, TC 12 : IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy

Evolutionary algorithms for solving multi-objective problems

By Lamont, Gary B.. New York: Springer, 2007 . xxi, 800 p.; 24 cm.. 9780387332543

Place Hold on Evolutionary algorithms for solving multi-objective problems

Machine translation : its scope and limits

By Wilks, Yorick. New York: Springer, 2009 . x, 252 p.; 24 cm.. 9780387727738

Place Hold on Machine translation : its scope and limits

Advances in information processing and protection

By Pejas, Jerzy. New York: Springer, 2007 . xiii, 457 p.; 25 cm.. 9780387731360

Place Hold on Advances in information processing and protection

Missing link in cybernetics : logic and continuity

By Andrew, Alex M.. New York: Springer, 2009 . xi, 139 p.; 24 cm.. 9780387751634

Place Hold on Missing link in cybernetics : logic and continuity

Information theory and statistical learning

By Emmert-Streib, Frank. New York: Springer, 2009 . x, 439 p.; 24 cm.. 9780387848150

Place Hold on Information theory and statistical learning

Exploring computer science with scheme

By Grillmeyer, Oliver. New York: Springer-Verlag, 1997 . xxxii, 579 p.; 24 cm.. 9780387948959

Place Hold on Exploring computer science with scheme

Deep blue : an artificial intelligence milestone

By Newborn, Monty. New York: Springer-Verlag, 2003 . xiv, 346 p.; 24 cm.. 9780387954615

Place Hold on Deep blue : an artificial intelligence milestone

Introduction to artificial intelligence

By Ertel, Wolfgang. London: Springer, 2011 . xi, 316 p.; 24 cm.. 9780857292988

Place Hold on Introduction to artificial intelligence

Parsing the Turing test : philosophical and methodological issues in the quest for the thinking computer

By Epstein, Robert. Dordrecht: Springer, 2008 . xxiii, 517 p.; 24 cm.. 9781402067082

Place Hold on Parsing the Turing test : philosophical and methodological issues in the quest for the thinking computer

Security informatics

By Yang, Christopher C.. New York: Springer, 2010 . vii, 170 p.; 25 cm.. 9781441913241

Place Hold on Security informatics

Artificial intelligence for computer games

By Gonzalez-Calero, Pedro. New York: Springer, 2011 . xii, 200 p.; 24 cm.. 9781441981875

Place Hold on Artificial intelligence for computer games