Library of American University of Madaba Search for 'su:Artificial intelligence. and branch:MAIN and su-to:Software engineering.'

Knowledge engineering for software development life cycles : , support technologies and applications /

Hershey, PA : Information Science Reference, 2011 . xvi, 351 p. : 29 cm.. 9781609605094 (hardcover) | 1609605098 (hardcover)

Place Hold on Knowledge engineering for software development life cycles :

Access networks : , 4th International Conference, AccesNets 2009, Hong Kong, November 1-3, 2009, revised selected papers /

Berlin : Springer, 2010 . ix, 275 p. 9783642116636

Place Hold on Access networks :

Proceedings of the International Conference on IT Convergence and Security 2011

By Kim, Kuinam J.. . XIV, 642 p. 9789400729117

Place Hold on Proceedings of the International Conference on IT Convergence and Security 2011

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2012

By Lee, Roger.. . XIV, 230 p. 104 illus. 9783642321726

Place Hold on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2012

Software Engineering Research, Management and Applications 2012

By Lee, Roger.. . XII, 194 p. 82 illus. 9783642304606

Place Hold on Software Engineering Research, Management and Applications 2012

Software and Network Engineering

By Lee, Roger.. . XII, 148p. 67 illus., 44 illus. in color. 9783642286704

Place Hold on Software and Network Engineering

Software Engineering Research,Management and Applications 2011

By Lee, Roger.. . XII, 200 p. 9783642232022

Place Hold on Software Engineering Research,Management and Applications 2011

Software Engineering Research, Management and Applications 2010

By Lee, Roger.. . 250p. 129 illus. 9783642132735

Place Hold on Software Engineering Research, Management and Applications 2010

Software Engineering and Knowledge Engineering: Theory and Practice

By Wu, Yanwen.. . XX, 1160p. 9783642037184

Place Hold on Software Engineering and Knowledge Engineering: Theory and Practice

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

By Lee, Roger.. . XIV, 242 p. 141 illus. 9783319007380

Place Hold on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

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