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

Emotional Cognitive Neural Algorithms with Engineering Applications

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

Place Hold on Emotional Cognitive Neural Algorithms with Engineering Applications

User-Level Workflow Design

By Lamprecht, Anna-Lena.. . XXII, 223 p. 84 illus. 9783642453892

Place Hold on User-Level Workflow Design

Practical Aspects of Declarative Languages

By Sagonas, Kostis.. . XIV, 261 p. 82 illus. 9783642452840

Place Hold on Practical Aspects of Declarative Languages

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

Conceptual Modeling

By Ng, Wilfred.. . XXVIII, 514 p. 165 illus. 9783642419249

Place Hold on Conceptual Modeling

Testing Software and Systems

By Yenigün, Hüsnü.. . XIV, 291 p. 84 illus. 9783642417078

Place Hold on Testing Software and Systems

In Search of Elegance in the Theory and Practice of Computation

By Tannen, Val.. . XII, 569 p. 121 illus. 9783642416606

Place Hold on In Search of Elegance in the Theory and Practice of Computation

Implementation and Application of Functional Languages

By Hinze, Ralf.. . X, 241 p. 72 illus. 9783642415821

Place Hold on Implementation and Application of Functional Languages

Constraint Solving and Language Processing

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

Place Hold on Constraint Solving and Language Processing

Model-Driven Engineering Languages and Systems

By Moreira, Ana.. . XXVIII, 792 p. 299 illus. 9783642415333

Place Hold on Model-Driven Engineering Languages and Systems

Reachability Problems

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

Place Hold on Reachability Problems

Formal Methods for Industrial Critical Systems

By Pecheur, Charles.. . XIV, 199 p. 46 illus. 9783642410109

Place Hold on Formal Methods for Industrial Critical Systems

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

Software Engineering for Resilient Systems

By Gorbenko, Anatoliy.. . X, 199 p. 87 illus. 9783642408946

Place Hold on Software Engineering for Resilient Systems

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

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

Formal Methods for Components and Objects

By Giachino, Elena.. . X, 241 p. 125 illus. 9783642406157

Place Hold on Formal Methods for Components and Objects

Logic Programming and Nonmonotonic Reasoning

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

Place Hold on Logic Programming and Nonmonotonic Reasoning

Software Engineering and Formal Methods

By Hierons, Robert M.. . XVIII, 321 p. 113 illus. 9783642405617

Place Hold on Software Engineering and Formal Methods

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

Transactions on Petri Nets and Other Models of Concurrency VIII

By Koutny, Maciej.. . XVIII, 203 p. 85 illus. 9783642404658

Place Hold on Transactions on Petri Nets and Other Models of Concurrency VIII

Formal Modeling and Analysis of Timed Systems

By Braberman, Víctor.. . X, 275 p. 70 illus. 9783642402296

Place Hold on Formal Modeling and Analysis of Timed Systems

Fundamentals of Software Engineering

By Arbab, Farhad.. . XIX, 283 p. 85 illus. 9783642402135

Place Hold on Fundamentals of Software Engineering

Quantitative Evaluation of Systems

By Joshi, Kaustubh.. . XII, 406 p. 98 illus. 9783642401961

Place Hold on Quantitative Evaluation of Systems

CONCUR 2013 – Concurrency Theory

By D’Argenio, Pedro R.. . XIV, 562 p. 83 illus. 9783642401848

Place Hold on CONCUR 2013 – Concurrency Theory

Computer Aided Verification

By Sharygina, Natasha.. . XXII, 1015 p. 237 illus. 9783642397998

Place Hold on Computer Aided Verification

Theoretical Aspects of Computing – ICTAC 2013

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

Place Hold on Theoretical Aspects of Computing – ICTAC 2013

Web Reasoning and Rule Systems

By Faber, Wolfgang.. . XIV, 272 p. 47 illus. 9783642396663

Place Hold on Web Reasoning and Rule Systems

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

Software Composition

By Binder, Walter.. . X, 145 p. 38 illus. 9783642396144

Place Hold on Software Composition

Hardware and Software: Verification and Testing

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

Place Hold on Hardware and Software: Verification and Testing

Descriptional Complexity of Formal Systems

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

Place Hold on Descriptional Complexity of Formal Systems

Structured Object-Oriented Formal Language and Method

By Liu, Shaoying.. . X, 149 p. 83 illus. 9783642392771

Place Hold on Structured Object-Oriented Formal Language and Method

Model Checking Software

By Bartocci, Ezio.. . X, 377 p. 143 illus. 9783642391767

Place Hold on Model Checking Software

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

By Gaag, Linda C.. . XII, 536 p. 62 illus. 9783642390913

Place Hold on Symbolic and Quantitative Approaches to Reasoning with Uncertainty

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

ECOOP 2013 – Object-Oriented Programming

By Castagna, Giuseppe.. . XXII, 746 p. 206 illus. 9783642390388

Place Hold on ECOOP 2013 – Object-Oriented Programming

Software Architecture

By Drira, Khalil.. . XVI, 354 p. 133 illus. 9783642390319

Place Hold on Software Architecture

Modelling Foundations and Applications

By Gorp, Pieter.. . X, 237 p. 93 illus. 9783642390135

Place Hold on Modelling Foundations and Applications

Reversible Computation

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

Place Hold on Reversible Computation

Typed Lambda Calculi and Applications

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

Place Hold on Typed Lambda Calculi and Applications

Tests and Proofs

By Veanes, Margus.. . X, 233 p. 50 illus. 9783642389160

Place Hold on Tests and Proofs

SDL 2013: Model-Driven Dependability Engineering

By Khendek, Ferhat.. . XII, 291 p. 138 illus. 9783642389115

Place Hold on SDL 2013: Model-Driven Dependability Engineering

Theory and Practice of Model Transformations

By Duddy, Keith.. . XIV, 221 p. 85 illus. 9783642388835

Place Hold on Theory and Practice of Model Transformations