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

Logic, Rationality, and Interaction

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

Place Hold on Logic, Rationality, and Interaction

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

Typed Lambda Calculi and Applications

By Hasegawa, Masahito.. . XII, 251 p. 18 illus. 9783642389467

Place Hold on Typed Lambda Calculi and Applications

Inductive Logic Programming

By Riguzzi, Fabrizio.. . X, 273 p. 81 illus. 9783642388125

Place Hold on Inductive Logic Programming

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

Recent Trends in Algebraic Development Techniques

By Martí-Oliet, Narciso.. . X, 283 p. 71 illus. 9783642376351

Place Hold on Recent Trends in Algebraic Development Techniques

Foundations of Software Science and Computation Structures

By Pfenning, Frank.. . XXIV, 451 p. 51 illus. 9783642370755

Place Hold on Foundations of Software Science and Computation Structures

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

Logic and Its Applications

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

Place Hold on Logic and Its Applications

Generative and Transformational Techniques in Software Engineering IV

By Lämmel, Ralf.. . XII, 449 p. 112 illus. 9783642359927

Place Hold on Generative and Transformational Techniques in Software Engineering IV

Tools for Practical Software Verification

By Meyer, Bertrand.. . VIII, 183 p. 31 illus. 9783642357466

Place Hold on Tools for Practical Software Verification

Logical Foundations of Computer Science

By Artemov, Sergei.. . X, 415 p. 49 illus. 9783642357220

Place Hold on Logical Foundations of Computer Science

Rewriting Logic and Its Applications

By Durán, Franciso.. . VIII, 241 p. 51 illus. 9783642340055

Place Hold on Rewriting Logic and Its Applications

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

Formal Methods: Foundations and Applications

By Gheyi, Rohit.. . X, 227 p. 67 illus. 9783642332968

Place Hold on Formal Methods: Foundations and Applications

Logic, Language, Information and Computation

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

Place Hold on Logic, Language, Information and Computation

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

Automated Reasoning

By Gramlich, Bernhard.. . XIV, 568p. 90 illus. 9783642313653

Place Hold on Automated Reasoning

Foundations of Software Science and Computational Structures

By Birkedal, Lars.. . XVII, 484 p. 9783642287299

Place Hold on Foundations of Software Science and Computational Structures

Foundations of Information and Knowledge Systems

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

Place Hold on Foundations of Information and Knowledge Systems

Recent Trends in Algebraic Development Techniques

By Mossakowski, Till.. . X, 303 p. 9783642284120

Place Hold on Recent Trends in Algebraic Development Techniques

Conceptual Modelling and Its Theoretical Foundations

By Düsterhöft, Antje.. . VIII, 329 p. 9783642282799

Place Hold on Conceptual Modelling and Its Theoretical Foundations

Formal Methods, Foundations and Applications

By Simao, Adenilso.. . X, 205 p. 9783642250323

Place Hold on Formal Methods, Foundations and Applications

Formal Modeling: Actors, Open Systems, Biological Systems

By Agha, Gul.. . XX, 447 p. 9783642249334

Place Hold on Formal Modeling: Actors, Open Systems, Biological Systems

Algebraic Foundations in Computer Science

By Kuich, Werner.. . X, 363 p. 9783642248979

Place Hold on Algebraic Foundations in Computer Science

Logic, Rationality, and Interaction

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

Place Hold on Logic, Rationality, and Interaction

The Mathematics of Language

By Kanazawa, Makoto.. . IV, 227p. 9783642232114

Place Hold on The Mathematics of Language

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

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

By Liu, Weiru.. . XIV, 762p. 9783642221521

Place Hold on Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Automata, Languages and Programming

By Aceto, Luca.. . XXVI, 666 p. 9783642220128

Place Hold on Automata, Languages and Programming

Typed Lambda Calculi and Applications

By Ong, Luke.. . XII, 245 p. 9783642216916

Place Hold on Typed Lambda Calculi and Applications

Computer Science – Theory and Applications

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

Place Hold on Computer Science – Theory and Applications

Formal Methods: Foundations and Applications

By Davies, Jim.. . VIII, 291 p. 9783642198298

Place Hold on Formal Methods: Foundations and Applications

Foundations of Software Science and Computational Structures

By Hofmann, Martin.. . XV, 473 p. 9783642198052

Place Hold on Foundations of Software Science and Computational Structures

Programming Languages and Systems

By Ueda, Kazunori.. . X, 440p. 48 illus. 9783642171642

Place Hold on Programming Languages and Systems

Graph Transformations

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

Place Hold on Graph Transformations

Reachability Problems

By Kučera, Antonín.. . X, 199p. 42 illus. 9783642153495

Place Hold on Reachability Problems

Formal Modeling and Analysis of Timed Systems

By Chatterjee, Krishnendu.. . X, 257p. 55 illus. 9783642152979

Place Hold on Formal Modeling and Analysis of Timed Systems

Computer Science Logic

By Dawar, Anuj.. . XIV, 548p. 64 illus. 9783642152054

Place Hold on Computer Science Logic

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

A 25-Year Perspective on Logic Programming

By Dovier, Agostino.. . XIV, 329p. 9783642143090

Place Hold on A 25-Year Perspective on Logic Programming

Logic, Language and Meaning

By Aloni, Maria.. . X, 476p. 1 illus. in color. 9783642142871

Place Hold on Logic, Language and Meaning

Logic, Language, Information and Computation

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

Place Hold on Logic, Language, Information and Computation

Computer Science – Theory and Applications

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

Place Hold on Computer Science – Theory and Applications

Functional and Logic Programming

By Blume, Matthias.. . XI, 355p. 46 illus. 9783642122514

Place Hold on Functional and Logic Programming

Foundations of Software Science and Computational Structures

By Ong, Luke.. . XV, 389p. 47 illus. 9783642120329

Place Hold on Foundations of Software Science and Computational Structures