Library of American University of Madaba Search for 'su:Artificial intelligence. and su-to:Software engineering. and se:Lecture Notes in Computer Science,'

Engineering Multi-Agent Systems

By Cossentino, Massimo.. . XVI, 391 p. 137 illus. 9783642453434

Place Hold on Engineering Multi-Agent Systems

Logic for Programming, Artificial Intelligence, and Reasoning

By McMillan, Ken.. . XIV, 794 p. 178 illus. 9783642452215

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

Theory and Practice of Natural Computing

By Dediu, Adrian-Horia.. . X, 241 p. 83 illus. 9783642450082

Place Hold on Theory and Practice of Natural Computing

PRIMA 2013: Principles and Practice of Multi-Agent Systems

By Boella, Guido.. . XVIII, 536 p. 158 illus. 9783642449277

Place Hold on PRIMA 2013: Principles and Practice of Multi-Agent Systems

Constraint Solving and Language Processing

By Duchier, Denys.. . XII, 179 p. 30 illus. 9783642415784

Place Hold on Constraint Solving and Language Processing

Evolution of Telecommunication Services

By Bertin, Emmanuel.. . XII, 327 p. 105 illus. 9783642415692

Place Hold on Evolution of Telecommunication Services

On the Move to Meaningful Internet Systems: OTM 2013 Conferences

By Meersman, Robert.. . XXX, 775 p. 269 illus. 9783642410307

Place Hold on On the Move to Meaningful Internet Systems: OTM 2013 Conferences

Computational Logistics

By Pacino, Dario.. . X, 269 p. 72 illus. 9783642410192

Place Hold on Computational Logistics

Frontiers of Combining Systems

By Fontaine, Pascal.. . XII, 359 p. 35 illus. 9783642408854

Place Hold on Frontiers of Combining Systems

Intelligent Robotics and Applications

By Lee, Jangmyung.. . XXVIII, 755 p. 513 illus. 9783642408526

Place Hold on Intelligent Robotics and Applications

Intelligent Robotics and Applications

By Lee, Jangmyung.. . XXVIII, 743 p. 517 illus. 9783642408496

Place Hold on Intelligent Robotics and Applications

Automated Deduction in Geometry

By Ida, Tetsuo.. . X, 193 p. 55 illus. 9783642406720

Place Hold on Automated Deduction in Geometry

Computational Logic in Multi-Agent Systems

By Leite, João.. . XXIV, 391 p. 75 illus. 9783642406249

Place Hold on Computational Logic in Multi-Agent Systems

Combinatorics on Words

By Karhumäki, Juhani.. . X, 263 p. 37 illus. 9783642405792

Place Hold on Combinatorics on Words

Logic Programming and Nonmonotonic Reasoning

By Cabalar, Pedro.. . XVIII, 570 p. 70 illus. 9783642405648

Place Hold on Logic Programming and Nonmonotonic Reasoning

Automated Reasoning with Analytic Tableaux and Related Methods

By Galmiche, Didier.. . X, 289 p. 34 illus. 9783642405372

Place Hold on Automated Reasoning with Analytic Tableaux and Related Methods

Human-Computer Interaction – INTERACT 2013

By Kotzé, Paula.. . XXXIV, 795 p. 222 illus. 9783642404986

Place Hold on Human-Computer Interaction – INTERACT 2013

Human-Computer Interaction – INTERACT 2013

By Kotzé, Paula.. . LII, 813 p. 312 illus. 9783642404832

Place Hold on Human-Computer Interaction – INTERACT 2013

Human-Computer Interaction – INTERACT 2013

By Kotzé, Paula.. . XXX, 791 p. 260 illus. 9783642404801

Place Hold on Human-Computer Interaction – INTERACT 2013

Human-Computer Interaction – INTERACT 2013

By Kotzé, Paula.. . XXX, 797 p. 262 illus. 9783642404771

Place Hold on Human-Computer Interaction – INTERACT 2013

The Personal Web

By Chignell, Mark.. . XIV, 221 p. 97 illus. 9783642399954

Place Hold on The Personal Web

Agent-Oriented Software Engineering XIII

By Müller, Jörg P.. . X, 197 p. 78 illus. 9783642398667

Place Hold on Agent-Oriented Software Engineering XIII

Unifying Theories of Programming and Formal Engineering Methods

By Liu, Zhiming.. . XII, 283 p. 50 illus. 9783642397219

Place Hold on Unifying Theories of Programming and Formal Engineering Methods

Theoretical Aspects of Computing – ICTAC 2013

By Liu, Zhiming.. . XII, 445 p. 100 illus. 9783642397189

Place Hold on Theoretical Aspects of Computing – ICTAC 2013

Interactive Theorem Proving

By Blazy, Sandrine.. . XII, 498 p. 73 illus. 9783642396342

Place Hold on Interactive Theorem Proving

Theory, Practice, and Applications of Rules on the Web

By Morgenstern, Leora.. . XVIII, 249 p. 69 illus. 9783642396175

Place Hold on Theory, Practice, and Applications of Rules on the Web

Hardware and Software: Verification and Testing

By Biere, Armin.. . XII, 281 p. 75 illus. 9783642396113

Place Hold on Hardware and Software: Verification and Testing

Artificial General Intelligence

By Kühnberger, Kai-Uwe.. . XII, 207 p. 39 illus. 9783642395215

Place Hold on Artificial General Intelligence

Inclusive Society: Health and Wellbeing in the Community, and Care at Home

By Biswas, Jit.. . XVI, 332 p. 153 illus. 9783642394706

Place Hold on Inclusive Society: Health and Wellbeing in the Community, and Care at Home

RoboCup 2012: Robot Soccer World Cup XVI

By Chen, Xiaoping.. . XII, 392 p. 183 illus. 9783642392504

Place Hold on RoboCup 2012: Robot Soccer World Cup XVI

Web Engineering

By Daniel, Florian.. . XVIII, 528 p. 185 illus. 9783642392009

Place Hold on Web Engineering

Advanced Information Systems Engineering

By Salinesi, Camille.. . XXXVIII, 706 p. 258 illus. 9783642387098

Place Hold on Advanced Information Systems Engineering

Programming Multi-Agent Systems

By Dastani, Mehdi.. . X, 245 p. 83 illus. 9783642387005

Place Hold on Programming Multi-Agent Systems

Automated Deduction – CADE-24

By Bonacina, Maria Paola.. . XVI, 466 p. 95 illus. 9783642385742

Place Hold on Automated Deduction – CADE-24

Formal Concept Analysis

By Cellier, Peggy.. . X, 267 p. 57 illus. 9783642383175

Place Hold on Formal Concept Analysis

Model-Based Methodologies for Pervasive and Embedded Software

By Machado, Ricardo J.. . X, 139 p. 61 illus. 9783642382093

Place Hold on Model-Based Methodologies for Pervasive and Embedded Software

Logic-Based Program Synthesis and Transformation

By Albert, Elvira.. . X, 245 p. 36 illus. 9783642381973

Place Hold on Logic-Based Program Synthesis and Transformation

Declarative Agent Languages and Technologies X

By Baldoni, Matteo.. . XII, 209 p. 42 illus. 9783642378904

Place Hold on Declarative Agent Languages and Technologies X

Software Language Engineering

By Czarnecki, Krzysztof.. . XII, 413 p. 172 illus. 9783642360893

Place Hold on Software Language Engineering

Verification, Model Checking, and Abstract Interpretation

By Giacobazzi, Roberto.. . XII, 556 p. 123 illus. 9783642358739

Place Hold on Verification, Model Checking, and Abstract Interpretation

SOFSEM 2013: Theory and Practice of Computer Science

By Emde Boas, Peter.. . XIV, 566 p. 131 illus. 9783642358432

Place Hold on SOFSEM 2013: Theory and Practice of Computer Science

Software Engineering for Self-Adaptive Systems II

By Lemos, Rogério.. . X, 393 p. 110 illus. 9783642358135

Place Hold on Software Engineering for Self-Adaptive Systems II

Future Generation Information Technology

By Kim, Tai-hoon.. . XIV, 284 p. 141 illus. 9783642355851

Place Hold on Future Generation Information Technology

Coordination, Organizations, Institutions, and Norms in Agent System VII

By Cranefield, Stephen.. . XIV, 221 p. 61 illus. 9783642355455

Place Hold on Coordination, Organizations, Institutions, and Norms in Agent System VII

Artificial General Intelligence

By Bach, Joscha.. . XII, 381 p. 121 illus. 9783642355066

Place Hold on Artificial General Intelligence

Principles of Distributed Systems

By Baldoni, Roberto.. . XIV, 361 p. 60 illus. 9783642354762

Place Hold on Principles of Distributed Systems

Ambient Assisted Living and Home Care

By Bravo, José.. . XX, 437 p. 161 illus. 9783642353956

Place Hold on Ambient Assisted Living and Home Care

Swarm, Evolutionary, and Memetic Computing

By Panigrahi, Bijaya Ketan.. . XX, 813 p. 308 illus. 9783642353802

Place Hold on Swarm, Evolutionary, and Memetic Computing

Ubiquitous Computing and Ambient Intelligence

By Bravo, José.. . XX, 523 p. 187 illus. 9783642353772

Place Hold on Ubiquitous Computing and Ambient Intelligence

Certified Programs and Proofs

By Hawblitzel, Chris.. . X, 305 p. 64 illus. 9783642353086

Place Hold on Certified Programs and Proofs