Library of American University of Madaba Search for 'su:Logics and Meanings of Programs. and su-to:Complexity.'

Emotional Cognitive Neural Algorithms with Engineering Applications

By Perlovsky, Leonid.. . X, 202 p. 9783642228308

Place Hold on Emotional Cognitive Neural Algorithms with Engineering Applications

Reachability Problems

By Abdulla, Parosh Aziz.. . XII, 223 p. 60 illus. 9783642410369

Place Hold on Reachability Problems

Logic, Rationality, and Interaction

By Grossi, Davide.. . XII, 363 p. 41 illus. 9783642409486

Place Hold on Logic, Rationality, and Interaction

Algorithmic Learning Theory

By Jain, Sanjay.. . XVIII, 397 p. 30 illus. 9783642409356

Place Hold on Algorithmic Learning Theory

Frontiers of Combining Systems

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

Place Hold on Frontiers of Combining Systems

Runtime Verification

By Legay, Axel.. . XVII, 426 p. 113 illus. 9783642407871

Place Hold on Runtime Verification

Algebraic Informatics

By Muntean, Traian.. . X, 275 p. 14 illus. 9783642406638

Place Hold on Algebraic Informatics

Principles and Practice of Constraint Programming

By Schulte, Christian.. . XVIII, 898 p. 226 illus. 9783642406270

Place Hold on Principles and Practice of Constraint Programming

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

Interactive Theorem Proving

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

Place Hold on Interactive Theorem Proving

Descriptional Complexity of Formal Systems

By Jurgensen, Helmut.. . X, 289 p. 56 illus. 9783642393105

Place Hold on Descriptional Complexity of Formal Systems

Theory and Applications of Satisfiability Testing – SAT 2013

By Järvisalo, Matti.. . XVI, 437 p. 84 illus. 9783642390715

Place Hold on Theory and Applications of Satisfiability Testing – SAT 2013

The Nature of Computation. Logic, Algorithms, Applications

By Bonizzoni, Paola.. . XVIII, 446 p. 42 illus. 9783642390531

Place Hold on The Nature of Computation. Logic, Algorithms, Applications

Reversible Computation

By Dueck, Gerhard W.. . X, 263 p. 92 illus. 9783642389863

Place Hold on Reversible Computation

Computing and Combinatorics

By Du, Ding-Zhu.. . XVIII, 861 p. 220 illus. 9783642387685

Place Hold on Computing and Combinatorics

Automated Deduction – CADE-24

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

Place Hold on Automated Deduction – CADE-24

Computer Science – Theory and Applications

By Bulatov, Andrei A.. . XII, 445 p. 55 illus. 9783642385360

Place Hold on Computer Science – Theory and Applications

Theory and Applications of Models of Computation

By Chan, T-H. Hubert.. . XV, 356 p. 37 illus. 9783642382369

Place Hold on Theory and Applications of Models of Computation

Logic-Based Program Synthesis and Transformation

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

Place Hold on Logic-Based Program Synthesis and Transformation

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky

By Coecke, Bob.. . XX, 363 p. 26 illus. 9783642381645

Place Hold on Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky

Language and Automata Theory and Applications

By Dediu, Adrian-Horia.. . XIV, 580 p. 69 illus. 9783642370649

Place Hold on Language and Automata Theory and Applications

Tools and Algorithms for the Construction and Analysis of Systems

By Piterman, Nir.. . XXIV, 646 p. 137 illus. 9783642367427

Place Hold on Tools and Algorithms for the Construction and Analysis of Systems

Reversible Computation

By Glück, Robert.. . X, 241 p. 70 illus. 9783642363153

Place Hold on Reversible Computation

Logic and Its Applications

By Lodaya, Kamal.. . X, 259 p. 18 illus. 9783642360398

Place Hold on Logic and Its Applications

Runtime Verification

By Qadeer, Shaz.. . XII, 322 p. 93 illus. 9783642356322

Place Hold on Runtime Verification

Applications of Graph Transformations with Industrial Relevance

By Schürr, Andy.. . XII, 255 p. 133 illus. 9783642341762

Place Hold on Applications of Graph Transformations with Industrial Relevance

Algorithmic Learning Theory

By Bshouty, Nader H.. . XII, 381 p. 23 illus. 9783642341069

Place Hold on Algorithmic Learning Theory

Graph Transformations

By Ehrig, Hartmut.. . XII, 427 p. 166 illus. 9783642336546

Place Hold on Graph Transformations

Principles and Practice of Constraint Programming

By Milano, Michela.. . XXII, 1015 p. 237 illus. 9783642335587

Place Hold on Principles and Practice of Constraint Programming

Stabilization, Safety, and Security of Distributed Systems

By Richa, Andréa W.. . XIX, 330 p. 70 illus. 9783642335365

Place Hold on Stabilization, Safety, and Security of Distributed Systems

Reachability Problems

By Finkel, Alain.. . XII, 149 p. 31 illus. 9783642335129

Place Hold on Reachability Problems

Formal Modeling and Analysis of Timed Systems

By Jurdziński, Marcin.. . X, 267 p. 71 illus. 9783642333651

Place Hold on Formal Modeling and Analysis of Timed Systems

Relational and Algebraic Methods in Computer Science

By Kahl, Wolfram.. . XII, 361 p. 33 illus. 9783642333149

Place Hold on Relational and Algebraic Methods in Computer Science

Unconventional Computation and Natural Computation

By Durand-Lose, Jérôme.. . XII, 252 p. 9783642328947

Place Hold on Unconventional Computation and Natural Computation

Logic, Language, Information and Computation

By Ong, Luke.. . XII, 337 p. 49 illus. 9783642326219

Place Hold on Logic, Language, Information and Computation

Foundational and Practical Aspects of Resource Analysis

By Peña, Ricardo.. . VII, 143 p. 30 illus. 9783642324956

Place Hold on Foundational and Practical Aspects of Resource Analysis

Logic-Based Program Synthesis and Transformation

By Vidal, Germán.. . X, 254 p. 61 illus. 9783642322112

Place Hold on Logic-Based Program Synthesis and Transformation

Developments in Language Theory

By Yen, Hsu-Chun.. . XIII, 478p. 65 illus. 9783642316531

Place Hold on Developments in Language Theory

Theory and Applications of Satisfiability Testing – SAT 2012

By Cimatti, Alessandro.. . XIV, 500p. 364 illus. 9783642316128

Place Hold on Theory and Applications of Satisfiability Testing – SAT 2012

Deontic Logic in Computer Science

By Ågotnes, Thomas.. . XII, 215 p. 21 illus. 9783642315701

Place Hold on Deontic Logic in Computer Science

The Logic of Categorial Grammars

By Moot, Richard.. . X, 300 p. 69 illus. 9783642315558

Place Hold on The Logic of Categorial Grammars

Lectures on Logic and Computation

By Bezhanishvili, Nick.. . VIII, 265 p. 41 illus. 9783642314858

Place Hold on Lectures on Logic and Computation

Mathematics of Program Construction

By Gibbons, Jeremy.. . X, 363p. 9783642311130

Place Hold on Mathematics of Program Construction

The Multivariate Algorithmic Revolution and Beyond

By Bodlaender, Hans L.. . XXII, 506p. 32 illus. 9783642308918

Place Hold on The Multivariate Algorithmic Revolution and Beyond

Abstract State Machines, Alloy, B, VDM, and Z

By Derrick, John.. . XV, 378 p. 133 illus. 9783642308857

Place Hold on Abstract State Machines, Alloy, B, VDM, and Z

Integrated Formal Methods

By Derrick, John.. . XII, 360p. 105 illus. 9783642307294

Place Hold on Integrated Formal Methods

Computer Science – Theory and Applications

By Hirsch, Edward A.. . XXIII, 327 p. 25 illus. 9783642306426

Place Hold on Computer Science – Theory and Applications

Theory and Applications of Models of Computation

By Agrawal, Manindra.. . XV, 622 p. 91 illus. 9783642299520

Place Hold on Theory and Applications of Models of Computation

Runtime Verification

By Khurshid, Sarfraz.. . XII, 458 p. 9783642298608

Place Hold on Runtime Verification