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

Logic, Rationality, and Interaction

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

Place Hold on Logic, Rationality, and Interaction

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

Descriptional Complexity of Formal Systems

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

Place Hold on Descriptional Complexity of Formal Systems

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

Computing and Combinatorics

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

Place Hold on Computing and Combinatorics

Computer Science – Theory and Applications

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

Place Hold on Computer Science – Theory and Applications

Logic-Based Program Synthesis and Transformation

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

Place Hold on Logic-Based Program Synthesis and Transformation

Logic and Its Applications

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

Place Hold on Logic and Its Applications

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

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

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

Logic, Language, Information and Computation

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

Place Hold on Logic, Language, Information and Computation

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

Deontic Logic in Computer Science

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

Place Hold on Deontic Logic in Computer Science

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

Computer Science – Theory and Applications

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

Place Hold on Computer Science – Theory and Applications

Foundations of Information and Knowledge Systems

By Lukasiewicz, Thomas.. . XII, 405 p. 9783642284724

Place Hold on Foundations of Information and Knowledge Systems

Logic, Rationality, and Interaction

By Ditmarsch, Hans.. . XI, 403 p. 9783642241307

Place Hold on Logic, Rationality, and Interaction

Mathematical Foundations of Computer Science 2011

By Murlak, Filip.. . XV, 618 p. 9783642229930

Place Hold on Mathematical Foundations of Computer Science 2011

Fundamentals of Computation Theory

By Owe, Olaf.. . XIII, 373 p. 9783642229534

Place Hold on Fundamentals of Computation Theory

Algebra and Coalgebra in Computer Science

By Corradini, Andrea.. . XI, 420p. 9783642229442

Place Hold on Algebra and Coalgebra in Computer Science

Developments in Language Theory

By Mauri, Giancarlo.. . XIV, 482 p. 9783642223211

Place Hold on Developments in Language Theory

Implementation and Application of Automata

By Bouchou-Markhoff, Béatrice.. . XIII, 299p. 9783642222566

Place Hold on Implementation and Application of Automata

Algebraic Informatics

By Winkler, Franz.. . X, 261p. 9783642214936

Place Hold on Algebraic Informatics

Automated Deduction in Geometry

By Sturm, Thomas.. . IX, 225p. 9783642210464

Place Hold on Automated Deduction in Geometry

Logic, Language, Information and Computation

By Beklemishev, Lev D.. . X, 311 p. 9783642209208

Place Hold on Logic, Language, Information and Computation

Logic Programming and Nonmonotonic Reasoning

By Delgrande, James P.. . XIII, 406 p. 9783642208959

Place Hold on Logic Programming and Nonmonotonic Reasoning

Theory and Applications of Models of Computation

By Ogihara, Mitsunori.. . XVI, 564 p. 9783642208775

Place Hold on Theory and Applications of Models of Computation

Computer Science – Theory and Applications

By Kulikov, Alexander.. . XI, 471 p. 9783642207129

Place Hold on Computer Science – Theory and Applications

Implementation and Application of Automata

By Domaratzki, Michael.. . XII, 332p. 9783642180989

Place Hold on Implementation and Application of Automata

Graph Transformations

By Ehrig, Hartmut.. . XII, 419p. 9783642159282

Place Hold on Graph Transformations

Logic and the Foundations of Game and Decision Theory – LOFT 8

By Bonanno, Giacomo.. . XI, 207p. 35 illus. 9783642151644

Place Hold on Logic and the Foundations of Game and Decision Theory – LOFT 8

Mathematical Foundations of Computer Science 2010

By Hliněný, Petr.. . XVII, 714p. 71 illus. 9783642151552

Place Hold on Mathematical Foundations of Computer Science 2010

Frontiers in Algorithmics

By Lee, Der-Tsai.. . XI, 339p. 74 illus. 9783642145537

Place Hold on Frontiers in Algorithmics

Developments in Language Theory

By Gao, Yuan.. . XII, 446p. 48 illus. 9783642144554

Place Hold on Developments in Language Theory

The Mathematics of Language

By Ebert, Christian.. . VIII, 297p. 55 illus. 9783642143229

Place Hold on The Mathematics of Language

Automated Reasoning

By Giesl, Jürgen.. . XII, 534p. 85 illus. 9783642142031

Place Hold on Automated Reasoning

Deontic Logic in Computer Science

By Governatori, Guido.. . VIII, 323p. 33 illus. 9783642141836

Place Hold on Deontic Logic in Computer Science

Logic, Language, Information and Computation

By Dawar, Anuj.. . X, 259p. 28 illus. 9783642138249

Place Hold on Logic, Language, Information and Computation

Theory and Applications of Models of Computation

By Kratochvíl, Jan.. . XIV, 480p. 91 illus. 9783642135620

Place Hold on Theory and Applications of Models of Computation

Computer Science – Theory and Applications

By Ablayev, Farid.. . XI, 397p. 49 illus. 9783642131820

Place Hold on Computer Science – Theory and Applications

Foundations of Information and Knowledge Systems

By Link, Sebastian.. . XII, 363 p. 58 illus. 9783642118296

Place Hold on Foundations of Information and Knowledge Systems