Library of American University of Madaba Search for 'su:Engineering. and su-to:Computer software and se:Lecture notes in computer science '

Testing techniques in software engineering : , second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures /

Berlin : Springer, 2010 . viii, 312 p. : 24 cm.. 9783642143342 | 3642143342

Place Hold on Testing techniques in software engineering :

Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /

Berlin : Springer, 2010 . xii, 230 p. : 9783642158971

Place Hold on Formal methods for industrial critical systems :

Software language engineering : , second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers /

Berlin : Springer, 2010 . xiii, 383 p. : 9783642121067

Place Hold on Software language engineering :

Software Composition : , 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010, proceedings /

Berlin : Springer, 2010 . x, 153 p. : 9783642140457

Place Hold on Software Composition :

New modeling concepts for today's software processes : , International Conference on Software Process, Icsp 2010, Paderborn, Germany, July 8-9, 2010, proceeding /

Berlin : Springer, 2010 . xiv, 382 p. : 9783642143465

Place Hold on New modeling concepts for today's software processes :

Product-focused software process improvement : , 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010, Proceedings /

Berlin : Springer, 2010 . xiii, 410 p. : 9783642137914

Place Hold on Product-focused software process improvement :

Euro-Par 2009, parallel processing - workshops : , HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, workshops /

Berlin : Springer, 2010 . xix, 468 p. : 9783642141218

Place Hold on Euro-Par 2009, parallel processing - workshops :

Foundations of computer software : , future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, revised selected papers /

Berline : Springer, 2010 . viii, 274 p. : 9783642125652

Place Hold on Foundations of computer software :

Requirements engineering : , foundation for software quality : 16th International Working Conference, Refsq 2010, Essen, Germany, June 30-July 2, 2010. proceeding /

Berlin : Springer, 2010 . xi, 280 p. : 9783642141911

Place Hold on Requirements engineering :

Modelling foundation and applications : 6th European conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings /

New York : Springer, 2010 . xi, 356 p. : 9783642135941

Place Hold on Modelling foundation and applications : 6th European conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings /

Advanced Parallel Processing Technologies

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

Place Hold on Advanced Parallel Processing Technologies

Theory and Practice of Natural Computing

By Dediu, Adrian-Horia.. . X, 241 p. 83 illus. 9783642450082

Place Hold on Theory and Practice of Natural Computing

Evolution of Telecommunication Services

By Bertin, Emmanuel.. . XII, 327 p. 105 illus. 9783642415692

Place Hold on Evolution of Telecommunication Services

Internet and Distributed Computing Systems

By Pathan, Mukaddim.. . XI, 400 p. 179 illus. 9783642414282

Place Hold on Internet and Distributed Computing Systems

Formal Methods and Software Engineering

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

Place Hold on Formal Methods and Software Engineering

Trustworthy Global Computing

By Palamidessi, Catuscia.. . X, 213 p. 37 illus. 9783642411571

Place Hold on Trustworthy Global Computing

Security and Trust Management

By Accorsi, Rafael.. . X, 235 p. 53 illus. 9783642410987

Place Hold on Security and Trust Management

Reachability Problems

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

Place Hold on Reachability Problems

Computational Logistics

By Pacino, Dario.. . X, 269 p. 72 illus. 9783642410192

Place Hold on Computational Logistics

Computer Information Systems and Industrial Management

By Saeed, Khalid.. . XX, 524 p. 241 illus. 9783642409257

Place Hold on Computer Information Systems and Industrial Management

Frontiers of Combining Systems

By Fontaine, Pascal.. . XII, 359 p. 35 illus. 9783642408854

Place Hold on Frontiers of Combining Systems

Computer Safety, Reliability, and Security

By Bitsch, Friedemann.. . XVI, 304 p. 109 illus. 9783642407932

Place Hold on Computer Safety, Reliability, and Security

Runtime Verification

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

Place Hold on Runtime Verification

Combinatorics on Words

By Karhumäki, Juhani.. . X, 263 p. 37 illus. 9783642405792

Place Hold on Combinatorics on Words

Parallel Computing Technologies

By Malyshkin, Victor.. . XVI, 444 p. 183 illus. 9783642399589

Place Hold on Parallel Computing Technologies

Search Based Software Engineering

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

Place Hold on Search Based Software Engineering

Computational Science and Its Applications – ICCSA 2013

By Murgante, Beniamino.. . XXXVI, 679 p. 276 illus. 9783642396496

Place Hold on Computational Science and Its Applications – ICCSA 2013

Computational Science and Its Applications – ICCSA 2013

By Murgante, Beniamino.. . XXXVI, 649 p. 234 illus. 9783642396465

Place Hold on Computational Science and Its Applications – ICCSA 2013

Computational Science and Its Applications – ICCSA 2013

By Murgante, Beniamino.. . XXXVI, 715 p. 290 illus. 9783642396434

Place Hold on Computational Science and Its Applications – ICCSA 2013

Computational Science and Its Applications – ICCSA 2013

By Murgante, Beniamino.. . XXXVI, 659 p. 259 illus. 9783642396403

Place Hold on Computational Science and Its Applications – ICCSA 2013

Computational Science and Its Applications – ICCSA 2013

By Murgante, Beniamino.. . XXXVI, 729 p. 317 illus. 9783642396373

Place Hold on Computational Science and Its Applications – ICCSA 2013

Interactive Theorem Proving

By Blazy, Sandrine.. . XII, 498 p. 73 illus. 9783642396342

Place Hold on Interactive Theorem Proving

Artificial General Intelligence

By Kühnberger, Kai-Uwe.. . XII, 207 p. 39 illus. 9783642395215

Place Hold on Artificial General Intelligence

Analytical and Stochastic Modeling Techniques and Applications

By Dudin, Alexander.. . XII, 474 p. 159 illus. 9783642394089

Place Hold on Analytical and Stochastic Modeling Techniques and Applications

Emerging Management Mechanisms for the Future Internet

By Doyen, Guillaume.. . XVI, 161 p. 55 illus. 9783642389986

Place Hold on Emerging Management Mechanisms for the Future Internet

Reversible Computation

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

Place Hold on Reversible Computation

Automated Deduction – CADE-24

By Bonacina, Maria Paola.. . XVI, 466 p. 95 illus. 9783642385742

Place Hold on Automated Deduction – CADE-24

Advanced Infocomm Technology

By Guyot, Vincent.. . XVI, 358 p. 153 illus. 9783642382277

Place Hold on Advanced Infocomm Technology

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

Smart Card Research and Advanced Applications

By Mangard, Stefan.. . XII, 297 p. 98 illus. 9783642372889

Place Hold on Smart Card Research and Advanced Applications

Pervasive Computing and the Networked World

By Zu, Qiaohong.. . XXII, 921 p. 434 illus. 9783642370151

Place Hold on Pervasive Computing and the Networked World

Euro-Par 2012: Parallel Processing Workshops

By Caragiannis, Ioannis.. . XXIV, 589 p. 232 illus. 9783642369490

Place Hold on Euro-Par 2012: Parallel Processing Workshops

Membrane Computing

By Csuhaj-Varjú, Erzsébet.. . XII, 425 p. 104 illus. 9783642367519

Place Hold on Membrane Computing

Tools and Algorithms for the Construction and Analysis of Systems

By Piterman, Nir.. . XXIV, 646 p. 137 illus. 9783642367427

Place Hold on Tools and Algorithms for the Construction and Analysis of Systems

Wireless Sensor Networks

By Demeester, Piet.. . X, 197 p. 116 illus. 9783642366727

Place Hold on Wireless Sensor Networks

Reversible Computation

By Glück, Robert.. . X, 241 p. 70 illus. 9783642363153

Place Hold on Reversible Computation

Mathematical and Engineering Methods in Computer Science

By Kučera, Antonín.. . XII, 213 p. 32 illus. 9783642360466

Place Hold on Mathematical and Engineering Methods in Computer Science

Job Scheduling Strategies for Parallel Processing

By Cirne, Walfredo.. . X, 273 p. 112 illus. 9783642358678

Place Hold on Job Scheduling Strategies for Parallel Processing

SOFSEM 2013: Theory and Practice of Computer Science

By Emde Boas, Peter.. . XIV, 566 p. 131 illus. 9783642358432

Place Hold on SOFSEM 2013: Theory and Practice of Computer Science

Distributed Computing and Networking

By Frey, Davide.. . XX, 466 p. 121 illus. 9783642356681

Place Hold on Distributed Computing and Networking