Library of American University of Madaba Search for 'su:Logics and Meanings of Programs. and su-to:Information Systems Applications incl. Internet .'

User-Level Workflow Design

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

Place Hold on User-Level Workflow Design

Implementation and Application of Functional Languages

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

Place Hold on Implementation and Application of Functional Languages

Software Engineering for Resilient Systems

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

Place Hold on Software Engineering for Resilient Systems

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

Web Reasoning and Rule Systems

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

Place Hold on Web Reasoning and Rule Systems

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

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

Software Architecture

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

Place Hold on Software Architecture

Web Services and Formal Methods

By Beek, Maurice H.. . X, 151 p. 55 illus. 9783642382307

Place Hold on Web Services and Formal Methods

Formal Methods for Components and Objects

By Beckert, Bernhard.. . X, 356 p. 129 illus. 9783642358876

Place Hold on Formal Methods for Components and Objects

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

CONCUR 2012 – Concurrency Theory

By Koutny, Maciej.. . XIV, 582 p. 84 illus. 9783642329401

Place Hold on CONCUR 2012 – Concurrency Theory

Business Process Management

By Barros, Alistair.. . XV, 354 p. 128 illus. 9783642328855

Place Hold on Business Process Management

Software Service and Application Engineering

By Heisel, Maritta.. . Approx. 200 p. 88 illus. 9783642308352

Place Hold on Software Service and Application Engineering

Models in Software Engineering

By Kienzle, Jörg.. . X, 292 p. 9783642296451

Place Hold on Models in Software Engineering

Logic Programs, Norms and Action

By Artikis, Alexander.. . XX, 425 p. 36 illus. 9783642294143

Place Hold on Logic Programs, Norms and Action

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

By Schmitt, Jens B.. . XIII, 331p. 131 illus. 9783642285400

Place Hold on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

Distributed Computing and Internet Technology

By Ramanujam, R.. . XI, 277p. 111 illus. 9783642280733

Place Hold on Distributed Computing and Internet Technology

Advances in Software Engineering Techniques

By Szmuc, Tomasz.. . Approx. 275 p. 9783642280382

Place Hold on Advances in Software Engineering Techniques

Computer Performance Engineering

By Thomas, Nigel.. . XII, 341p. 115 illus. 9783642247491

Place Hold on Computer Performance Engineering

Multiagent System Technologies

By Klügl, Franziska.. . X, 197 p. 9783642246036

Place Hold on Multiagent System Technologies

Algorithmic Learning Theory

By Kivinen, Jyrki.. . XIII, 453 p. 9783642244124

Place Hold on Algorithmic Learning Theory

Software Architecture

By Crnkovic, Ivica.. . XV, 448p. 9783642237980

Place Hold on Software Architecture

Software Engineering Techniques

By Huzar, Zbigniew.. . XI, 291 p. 9783642223860

Place Hold on Software Engineering Techniques

Stabilization, Safety, and Security of Distributed Systems

By Higashino, Teruo.. . XXIV, 380 p. 86 illus. 9783319030890

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

Evaluation of Novel Approaches to Software Engineering

By Filipe, Joaquim.. . X, 257 p. 93 illus. 9783642540929

Place Hold on Evaluation of Novel Approaches to Software Engineering

Evaluation of Novel Approaches to Software Engineering

By Maciaszek, Leszek A.. . X, 173 p. 49 illus. 9783642454226

Place Hold on Evaluation of Novel Approaches to Software Engineering

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity

By Kim, Tai-hoon.. . XVIII, 476 p. 263 illus. 9783642352676

Place Hold on Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity

Evaluation of Novel Approaches to Software Engineering

By Maciaszek, Leszek A.. . X, 219 p. 102 illus. 9783642323416

Place Hold on Evaluation of Novel Approaches to Software Engineering

Software Engineering, Business Continuity, and Education

By Kim, Tai-hoon.. . XVIII, 716 p. 218 illus. 9783642272073

Place Hold on Software Engineering, Business Continuity, and Education

Evaluation of Novel Approaches to Software Engineering

By Maciaszek, Leszek A.. . X, 267p. 102 illus. 9783642233913

Place Hold on Evaluation of Novel Approaches to Software Engineering

Social Semantics

By Halpin, Harry.. . XVI, 222 p. 50 illus. 9781461418856

Place Hold on Social Semantics