Library of American University of Madaba Search for 'se:Lecture Notes in Computer Science, and su-to:Computer science and se:Lecture notes in computer science '

Concurrency, compositionality, and correctness : , essays in honor of Willem-Paul De Roever /

New York : Springer, 2010 . x, 375 p. : 3642115128

Place Hold on Concurrency, compositionality, and correctness :

A common case study for aspect-oriented modeling /

Berlin : Springer, 2010 . xi, 422 p. : 9783642160868 | 3642160867

Place Hold on A common case study for aspect-oriented modeling /

Algorithms - ESA 2010 : , 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, proceedings, Part I /

Berlin : Springer, 2010 . xviii, 587 p. : 9783642157745

Place Hold on Algorithms - ESA 2010 :

Web services and formal methods : , 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, revised selected papers /

Berlin : Springer, 2010 . 195 p. : 9783642144578

Place Hold on Web services and formal methods :

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 :

Runtime verification : , First International Conference, RV 2010, St. Julians, November 1-4, 2010, proceedings /

Berlin : Springer, 2010 . xiii, 492 p. : 9783642166112

Place Hold on Runtime verification :

SOFSEM 2010 : , Theory and Practice of Computer Science : 36th Conference on Current Trends in Theory and Practice of Computer Science, Å Pindleruv MlÃ½n, Czech Republic, January 23-29, 2010, proceedings /

Berlin : Springer, 2010 . xv, 780 p. : 9783642112652

Place Hold on SOFSEM 2010 :

Computing and combinatorics : , 16th annual international conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010 : proceedings /

Berlin ; | New York : Springer, 2010 . xiii, 542 p. : 24 cm.. 3642140300 (pbk. : alk. paper) | 9783642140303 (pbk. : alk. paper)

Place Hold on Computing and combinatorics :

Mathematics of program construction : , 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008, proceedings /

Berlin : Springer, 2010 . x, 421 p. : 9783540705932

Place Hold on Mathematics of program construction :

Service-oriented computing. ICSOC/ServiceWave 2009 Workshops : , International Workshops, ICSOC/Servicewave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers /

Berlin : Springer, 2010 . xxxiv, 583 p. : 9783642161315

Place Hold on Service-oriented computing. ICSOC/ServiceWave 2009 Workshops :

Evolvable systems : , from biology to hardware : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, proceedings /

Heidelberg : Springer, 2010 . xii, 394 p. : 9783642153228

Place Hold on Evolvable systems :

Principles and practice of constraint programming - CP 2010 : , 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, proceeded /

Berlin : Springer, 2010 . xx, 660 p. : 9783642153952

Place Hold on Principles and practice of constraint programming - CP 2010 :

Objects, models, components, patterns : , 48th International Conference, Tools 2010, M Laga, Spain, June 28 - July 2, 2010, proceedings /

Berlin : Springer, 2010 . x, 309 p. : 9783642139529

Place Hold on Objects, models, components, patterns :

Computer aided verification : 22nd international conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings / , 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings /

Berlin : Springer, 2010 . xvi, 676 p. : 9783642142949

Place Hold on Computer aided verification : 22nd international conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings /

Computer performance engineering : , 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceeding /

Berlin : Springer, 2010 . x, 283 p. : 9783642157837

Place Hold on Computer performance engineering :

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 :

Engineering secure software and systems : , Second International Symposium, Essos 2010, Pisa, Italy, February 3-4, 2010, proceedings /

Berlin : Springer, 2010 . x, 240 p. : 9783642117466

Place Hold on Engineering secure software and systems :

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 :

Web reasoning and rule systems : , fourth international conference, RR 2010, bressanone/brixen, Italy, September 22-24, 2010. proceedings /

Berlin : Springer, 2010 . xiii, 257 p. : 9783642159176

Place Hold on Web reasoning and rule systems :

Data warehousing and knowledge discovery : , 12th International Conference, DaWaK 2010, Bilbao, Spain, August / September 2010, proceedings /

New York : | Springer, | 2010. . xiii, 335 p. : 9783642151040

Place Hold on Data warehousing and knowledge discovery :

Theoretical aspects of computing-- ICTAC 2010 : , 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 : proceedings /

New York : Springer, 2010 . xiii, 396 p. 9783642148071 | 3642148077

Place Hold on Theoretical aspects of computing-- ICTAC 2010 :

Advances in databases and information systems : , associated workshops and doctoral consortium of the 13th East European Conference, ADBIS 2009, Riga, Latvia, September 7-10, 2009 : revised selected papers /

New York : Springer, 2010 . xv, 256 p. : 9783642120817 | 3642120814

Place Hold on Advances in databases and information systems :

Abstract state machines, Alloy, B And Z : , Second International Conference, ABZ 2010 Orford, QC, Canada, February 22-25, 2010 : Proceedings /

Berlin : Springer, 2010 . xiv, 416 p. : 9783642118104

Place Hold on Abstract state machines, Alloy, B And Z :

Adaptive multimedia retrieval : , identifying summarizing, and recommending image and Music : 6th International Workshop, AMR, 2008, Berlin, Germany, June 26 -27, 2008 : revised selected papers /

Berlin : Springer, 2010 . x, 183 p. : 9783642147579

Place Hold on Adaptive multimedia retrieval :

High performance computing and applications : , International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009 : revised selected papers /

New York : Springer, 2010 . xv, 589 p. : 9783642118418

Place Hold on High performance computing and applications :

ECOOP 2010--object-oriented programming : , 24th European Conference, Maribor, Slovenia, June 21-25, 2010 : proceedings /

New York : Springer, 2010 . xiii, 598 p. : 9783642141065

Place Hold on ECOOP 2010--object-oriented programming :

Perspectives of system informatics : , 7th international Andrei Ershov memorial Conference, PSI 2009, Novosibirsk, Russia June 15-19,2009. Revised papers /

Berlin : Springer, 2010 . xiii, 426 p. : 9783642114854

Place Hold on Perspectives of system informatics :

Computational science and its applications -- ICCSA 2010 : , international conference, Fukuoka, Japan, March 23-26 : proceedings /

Berlin ; | New York : Springer, 2010 . p. 2 (602) p. : 24 cm.. 9783642121647 (v. 2 : pbk.) | 3642121640 (v. 2 : pbk.)

Place Hold on Computational science and its applications -- ICCSA 2010 :

Advanced Data Mining and Applications

By Motoda, Hiroshi.. . XXII, 538 p. 163 illus. 9783642539176

Place Hold on Advanced Data Mining and Applications

Advanced Data Mining and Applications

By Motoda, Hiroshi.. . XXII, 588 p. 217 illus. 9783642539145

Place Hold on Advanced Data Mining and Applications

Transactions on Computational Collective Intelligence XII

By Nguyen, Ngoc Thanh.. . X, 209 p. 66 illus. 9783642538780

Place Hold on Transactions on Computational Collective Intelligence XII

Computer Aided Systems Theory - EUROCAST 2013

By Moreno-Díaz, Roberto.. . XXIV, 540 p. 268 illus. 9783642538629

Place Hold on Computer Aided Systems Theory - EUROCAST 2013

Computer Aided Systems Theory - EUROCAST 2013

By Moreno-Díaz, Roberto.. . XXIV, 518 p. 190 illus. 9783642538568

Place Hold on Computer Aided Systems Theory - EUROCAST 2013

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

Ubiquitous Social Media Analysis

By Atzmueller, Martin.. . XII, 173 p. 51 illus. 9783642453922

Place Hold on Ubiquitous Social Media Analysis

User-Level Workflow Design

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

Place Hold on User-Level Workflow Design

Molecular Biology

By Widłak, Wiesława.. . XII, 153 p. 122 illus. 9783642453618

Place Hold on Molecular Biology

Engineering Multi-Agent Systems

By Cossentino, Massimo.. . XVI, 391 p. 137 illus. 9783642453434

Place Hold on Engineering Multi-Agent Systems

Transactions on Computational Science XXI

By Gavrilova, Marina L.. . XVI, 367 p. 164 illus. 9783642453182

Place Hold on Transactions on Computational Science XXI

Transactions on Large-Scale Data- and Knowledge-Centered Systems XII

By Hameurlain, Abdelkader.. . X, 129 p. 39 illus. 9783642453151

Place Hold on Transactions on Large-Scale Data- and Knowledge-Centered Systems XII

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

Computational Geometry and Graphs

By Akiyama, Jin.. . X, 163 p. 59 illus. 9783642452819

Place Hold on Computational Geometry and Graphs

Combinatorial Algorithms

By Lecroq, Thierry.. . XXII, 474 p. 135 illus. 9783642452789

Place Hold on Combinatorial Algorithms

Transactions on Large-Scale Data- and Knowledge-Centered Systems XI

By Hameurlain, Abdelkader.. . X, 127 p. 37 illus. 9783642452697

Place Hold on Transactions on Large-Scale Data- and Knowledge-Centered Systems XI

Resource Discovery

By Lacroix, Zoé.. . X, 181 p. 48 illus. 9783642452635

Place Hold on Resource Discovery

Cryptography and Coding

By Stam, Martijn.. . XII, 365 p. 39 illus. 9783642452390

Place Hold on Cryptography and Coding

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

Information Systems Security

By Bagchi, Aditya.. . XVI, 404 p. 70 illus. 9783642452048

Place Hold on Information Systems Security