Library of American University of Madaba Search for 'su:Programming Languages, Compilers, Interpreters.'

Ubiquitous Information Technologies and Applications

By Han, Youn-Hee.. . XIV, 914 p. 404 illus. 9789400758575

Place Hold on Ubiquitous Information Technologies and Applications

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

By Lokuciejewski, Paul.. . XVIII, 262 p. 9789048199297

Place Hold on Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s

By Borrione, Dominique.. . VIII, 248 p. 9789048193042

Place Hold on Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s

Dynamically Reconfigurable Systems

By Platzner, Marco.. . XXV, 300p. 9789048134854

Place Hold on Dynamically Reconfigurable Systems

Ada 2012 Reference Manual. Language and Standard Libraries

By Taft, S. Tucker.. . XXVIII, 921 p. 9783642454196

Place Hold on Ada 2012 Reference Manual. Language and Standard Libraries

Advanced Parallel Processing Technologies

By Wu, Chenggang.. . XII, 410 p. 187 illus. 9783642452932

Place Hold on Advanced Parallel Processing Technologies

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

Ada 2012 Rationale

By Barnes, John.. . XI, 213 p. 3 illus. 9783642452109

Place Hold on Ada 2012 Rationale

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

Formal Methods and Software Engineering

By Groves, Lindsay.. . XVIII, 466 p. 136 illus. 9783642412028

Place Hold on Formal Methods and Software Engineering

Reachability Problems

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

Place Hold on Reachability Problems

Programming Languages

By Bois, André Rauber.. . XVI, 151 p. 31 illus. 9783642409226

Place Hold on Programming Languages

Runtime Verification

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

Place Hold on Runtime Verification

OpenMP in the Era of Low Power Devices and Accelerators

By Rendell, Alistair P.. . X, 201 p. 80 illus. 9783642406980

Place Hold on OpenMP in the Era of Low Power Devices and Accelerators

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

Software Engineering and Formal Methods

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

Place Hold on Software Engineering and Formal Methods

Trends in Functional Programming

By Loidl, Hans-Wolfgang.. . X, 311 p. 110 illus. 9783642404474

Place Hold on Trends in Functional Programming

The Beauty of Functional Code

By Achten, Peter.. . XIV, 285 p. 31 illus. 9783642403552

Place Hold on The Beauty of Functional Code

Euro-Par 2013 Parallel Processing

By Wolf, Felix.. . XXVIII, 890 p. 314 illus. 9783642400476

Place Hold on Euro-Par 2013 Parallel Processing

Multicore Software Engineering, Performance, and Tools

By Lourenço, João M.. . X, 111 p. 37 illus. 9783642399558

Place Hold on Multicore Software Engineering, Performance, and Tools

Search Based Software Engineering

By Ruhe, Günther.. . XVI, 326 p. 83 illus. 9783642397424

Place Hold on Search Based Software Engineering

Hardware and Software: Verification and Testing

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

Place Hold on Hardware and Software: Verification and Testing

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

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

Safe and Secure Software Reuse

By Favaro, John.. . XIV, 362 p. 114 illus. 9783642389771

Place Hold on Safe and Secure Software Reuse

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

Static Analysis

By Logozzo, Francesco.. . X, 499 p. 130 illus. 9783642388569

Place Hold on Static Analysis

Application and Theory of Petri Nets and Concurrency

By Colom, José-Manuel.. . XII, 411 p. 166 illus. 9783642386978

Place Hold on Application and Theory of Petri Nets and Concurrency

Transactions on Pattern Languages of Programming III

By Noble, James.. . X, 195 p. 42 illus. 9783642386763

Place Hold on Transactions on Pattern Languages of Programming III

Integrated Formal Methods

By Johnsen, Einar Broch.. . XIV, 443 p. 95 illus. 9783642386138

Place Hold on Integrated Formal Methods

Reliable Software Technologies – Ada-Europe 2013

By Keller, Hubert B.. . XII, 177 p. 50 illus. 9783642386015

Place Hold on Reliable Software Technologies – Ada-Europe 2013

Web Services and Formal Methods

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

Place Hold on Web Services and Formal Methods

Model-Based Methodologies for Pervasive and Embedded Software

By Machado, Ricardo J.. . X, 139 p. 61 illus. 9783642382093

Place Hold on Model-Based Methodologies for Pervasive and Embedded Software

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

NASA Formal Methods

By Brat, Guillaume.. . XXIV, 486 p. 164 illus. 9783642380884

Place Hold on NASA Formal Methods

Languages and Compilers for Parallel Computing

By Kasahara, Hironori.. . XII, 276 p. 101 illus. 9783642376580

Place Hold on Languages and Compilers for Parallel Computing

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

Fundamental Approaches to Software Engineering

By Cortellessa, Vittorio.. . XX, 376 p. 90 illus. 9783642370571

Place Hold on Fundamental Approaches to Software Engineering

Compiler Construction

By Jhala, Ranjit.. . XVIII, 265 p. 96 illus. 9783642370519

Place Hold on Compiler Construction