Library Of American University Of Madaba Search for 'su:Operating systems Computers. and branch:MAIN and se:Lecture notes in computer science '

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 :

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

Ada 2012 Rationale

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

Place Hold on Ada 2012 Rationale

Software Engineering for Resilient Systems

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

Place Hold on Software Engineering for Resilient Systems

Network and Parallel Computing

By Hsu, Ching-Hsien.. . XIV, 418 p. 176 illus. 9783642408205

Place Hold on Network and Parallel Computing

Energy Efficiency in Large Scale Distributed Systems

By Pierson, Jean-Marc.. . XI, 312 p. 127 illus. 9783642405174

Place Hold on Energy Efficiency in Large Scale Distributed Systems

Energy Minimization Methods in Computer Vision and Pattern Recognition

By Heyden, Anders.. . XII, 363 p. 130 illus. 9783642403958

Place Hold on Energy Minimization Methods in Computer Vision and Pattern Recognition

Euro-Par 2013 Parallel Processing

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

Place Hold on Euro-Par 2013 Parallel Processing

Parallel Computing Technologies

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

Place Hold on Parallel Computing Technologies

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

Supercomputing

By Kunkel, Julian Martin.. . XII, 477 p. 210 illus. 9783642387500

Place Hold on Supercomputing

Coordination Models and Languages

By Nicola, Rocco.. . XIV, 251 p. 76 illus. 9783642384936

Place Hold on Coordination Models and Languages

Wired/Wireless Internet Communication

By Tsaoussidis, Vassilis.. . XII, 277 p. 145 illus. 9783642384011

Place Hold on Wired/Wireless Internet Communication

NASA Formal Methods

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

Place Hold on NASA Formal Methods

Smart Grid Security

By Cuellar, Jorge.. . VIII, 151 p. 39 illus. 9783642380303

Place Hold on Smart Grid Security

Grid and Pervasive Computing

By Park, James J. (Jong Hyuk).. . XXXIV, 956 p. 483 illus. 9783642380273

Place Hold on Grid and Pervasive Computing

Languages and Compilers for Parallel Computing

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

Place Hold on Languages and Compilers for Parallel Computing

Compiler Construction

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

Place Hold on Compiler Construction

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

By Clarke, Dave.. . VIII, 515 p. 134 illus. 9783642369469

Place Hold on Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Passive and Active Measurement

By Roughan, Matthew.. . XII, 282 p. 135 illus. 9783642365164

Place Hold on Passive and Active Measurement

Architecture of Computing Systems – ARCS 2013

By Kubátová, Hana.. . XIV, 354 p. 146 illus. 9783642364242

Place Hold on Architecture of Computing Systems – ARCS 2013

Assurances for Self-Adaptive Systems

By Cámara, Javier.. . X, 341 p. 94 illus. 9783642362491

Place Hold on Assurances for Self-Adaptive Systems

Topics in Cryptology – CT-RSA 2013

By Dawson, Ed.. . XIV, 405 p. 68 illus. 9783642360954

Place Hold on Topics in Cryptology – CT-RSA 2013

Formal Methods for Components and Objects

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

Place Hold on Formal Methods for Components and Objects

Job Scheduling Strategies for Parallel Processing

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

Place Hold on Job Scheduling Strategies for Parallel Processing

Network and Parallel Computing

By Park, James J.. . XX, 647 p. 253 illus. 9783642356063

Place Hold on Network and Parallel Computing

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

By Margaria, Tiziana.. . XVI, 361 p. 129 illus. 9783642340321

Place Hold on Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

By Margaria, Tiziana.. . XVI, 617 p. 170 illus. 9783642340260

Place Hold on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Computer Network Security

By Kotenko, Igor.. . XIV, 319 p. 83 illus. 9783642337048

Place Hold on Computer Network Security

Research in Attacks, Intrusions, and Defenses

By Balzarotti, Davide.. . XIV, 400 p. 119 illus. 9783642333385

Place Hold on Research in Attacks, Intrusions, and Defenses

Provable Security

By Takagi, Tsuyoshi.. . XIII, 337 p. 9783642332722

Place Hold on Provable Security

Software Engineering for Resilient Systems

By Avgeriou, Paris.. . X, 181 p. 64 illus. 9783642331763

Place Hold on Software Engineering for Resilient Systems

Search Based Software Engineering

By Fraser, Gordon.. . XVI, 293 p. 80 illus. 9783642331190

Place Hold on Search Based Software Engineering

Euro-Par 2012 Parallel Processing

By Kaklamanis, Christos.. . XXVII, 960 p. 369 illus. 9783642328206

Place Hold on Euro-Par 2012 Parallel Processing

Multicore Software Engineering, Performance, and Tools

By Pankratius, Victor.. . VIII, 95 p. 9783642312021

Place Hold on Multicore Software Engineering, Performance, and Tools

Distributed Applications and Interoperable Systems

By Göschka, Karl Michael.. . XII, 240p. 71 illus. 9783642308239

Place Hold on Distributed Applications and Interoperable Systems

Advances in Grid and Pervasive Computing

By Li, Ruixuan.. . XIII, 370p. 117 illus. 9783642307676

Place Hold on Advances in Grid and Pervasive Computing

Dependable Networks and Services

By Sadre, Ramin.. . XIII, 161 p. 64 illus. 9783642306334

Place Hold on Dependable Networks and Services

NASA Formal Methods

By Goodloe, Alwyn E.. . XII, 466p. 9783642288913

Place Hold on NASA Formal Methods

Data Privacy Management and Autonomous Spontaneus Security

By Garcia-Alfaro, Joaquin.. . XV, 319 p. 9783642288791

Place Hold on Data Privacy Management and Autonomous Spontaneus Security

Architecture of Computing Systems – ARCS 2012

By Herkersdorf, Andreas.. . XIII, 252 p. 9783642282935

Place Hold on Architecture of Computing Systems – ARCS 2012

Formal Methods for Components and Objects

By Aichernig, Bernhard K.. . VII, 393p. 145 illus. 9783642252716

Place Hold on Formal Methods for Components and Objects

Communications and Multimedia Security

By Decker, Bart.. . XIV, 257 p. 9783642247125

Place Hold on Communications and Multimedia Security

Dependable and Historic Computing

By Jones, Cliff B.. . XII, 523p. 137 illus., 60 illus. in color. 9783642245411

Place Hold on Dependable and Historic Computing

Network and Parallel Computing

By Altman, Erik.. . XIII, 368 p. 9783642244032

Place Hold on Network and Parallel Computing

Advanced Parallel Processing Technologies

By Temam, Olivier.. . 190p. 89 illus. 9783642241512

Place Hold on Advanced Parallel Processing Technologies

Search Based Software Engineering

By Cohen, Myra B.. . XV, 279p. 9783642237164

Place Hold on Search Based Software Engineering

Euro-Par 2011 Parallel Processing

By Jeannot, Emmanuel.. . XXXIII, 598p. 9783642234002

Place Hold on Euro-Par 2011 Parallel Processing

Euro-Par 2011 Parallel Processing

By Jeannot, Emmanuel.. . Approx. 490 p. 9783642233975

Place Hold on Euro-Par 2011 Parallel Processing