NUST Institutions Library Catalogue Search for 'se,phr:"Lecture notes in computer science ;"'

Integrated circuit and system design: power and timing modeling, optimization and simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : proceedings power and timing modeling, optimization and simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : proceedings

By Enrico Macii. Berlin ; | London : Springer, 2004 . xvi, 910 p. : 24 cm.. 3540230955

Place Hold on Integrated circuit and system design: power and timing modeling, optimization and simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : proceedings

Grid and cooperative computing : econd International Workshop, GCC 2003, Shanhai [sic], China, December 7-10, 2003 : revised papers second International Workshop, GCC 2003, Shanhai [sic], China, December 7-10, 2003 : revised papers

Berlin ; | Hong Kong : Springer-Verlag, 2004 . 2 v. : 24 cm.. 3540219889 (pt. I) | 3540219935 (pt. II)

Place Hold on Grid and cooperative computing : econd International Workshop, GCC 2003, Shanhai [sic], China, December 7-10, 2003 : revised papers

Scientific applications of grid computing: irst international workshop, SAG 2004, Beijing, China, September, 20-24, 2004 : revised selected and invited papers first international workshop, SAG 2004, Beijing, China, September, 20-24, 2004 : revised selected and invited papers

Berlin ; | New York : Springer, 2005 . x, 208 p. : 24 cm.. 9783540258100 | 3540258108

Place Hold on Scientific applications of grid computing: irst international workshop, SAG 2004, Beijing, China, September, 20-24, 2004 : revised selected and invited papers

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers

Berlin ; | New York : Springer-Verlag, 2003 . xiv, 453 p. : 24 cm.. 3540205276

Place Hold on Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers

Advances in Web intelligence : First International Atlantic Web Intelligence Conference, AWIC 2003, Madrid, Spain, May 2003 : proceedings

Berlin : Springer, 2003 . xii, 350 s. : , Literaturangaben 3-540-40124-5

Place Hold on Advances in Web intelligence : First International Atlantic Web Intelligence Conference, AWIC 2003, Madrid, Spain, May 2003 : proceedings

Computer supported cooperative work in design III 10th international conference, CSCWD 2006, Nanjing, China, May 3-5, 2006 : revised selected papers /

Berlin ; | New York : Springer, 2007 . xv, 763 p. : 24 cm.. 978-3540728627 | 3540728627

Place Hold on Computer supported cooperative work in design III

Security in pervasive computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005 : proceedings Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005 : proceedings

Berlin ; | New York : Springer, 2005 . xi, 238 p. : 24 cm.. 3540255214

Place Hold on Security in pervasive computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005 : proceedings

Intelligent data engineering and automated learning - IDEAL 2005: 6th International Conference Brisbane, Australia, July 6-8 2005, Proceedings 6th International Conference Brisbane, Australia, July 6-8 2005, proceedings

Berlin : Springer, 2005 . 599 p. : 24 cm.. 354026972X

Place Hold on Intelligent data engineering and automated learning - IDEAL 2005: 6th International Conference Brisbane, Australia, July 6-8 2005, Proceedings

Advances in artificial intelligence : 19th conference of the Canadian society for computational studies of intelligence, Canadian AI 2006, Quebec City, Quebec, Canada, June 7-9, 2006 : proceedings 19th conference of the Canadian society for computational studies of intelligence, Canadian AI 2006, Quebec City, Quebec, Canada, June 7-9, 2006 : proceedings

Berlin ; | New York : Springer, 2006 . xiii, 564 p. : 24 cm.. 3540346287

Place Hold on Advances in artificial intelligence : 19th conference of the Canadian society for computational studies of intelligence, Canadian AI 2006, Quebec City, Quebec, Canada, June 7-9, 2006 : proceedings

Cooperative information agents VII: 7th international workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003: proceedings 7th international workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003: proceedings

Berlin ; | New York : Springer-Verlag, 2003 . xiv, 208 p. : 23 cm.. 3540407987

Place Hold on Cooperative information agents VII: 7th international workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003: proceedings

Passive and active network measurement: 5th international workshop, PAM 2004, Antibes Juan-les-Pins, France, April 19-20, 2004 : proceedings 5th international workshop, PAM 2004, Antibes Juan-les-Pins, France, April 19-20, 2004 : proceedings

Berlin : Springer, 2004 . xi, 300 p. : , Internat. conference proceedings. 24 cm.. 3540214925

Place Hold on Passive and active network measurement: 5th international workshop, PAM 2004, Antibes Juan-les-Pins, France, April 19-20, 2004 : proceedings

Grid resource management : on-demand provisioning, advance reservation, and capacity planning of grid resources

By Siddiqui, Mumtaz. New York : Springer, 2010 . xv, 227p. : 24 cm.. 9783642115783 | 3642115780

Place Hold on Grid resource management : on-demand provisioning, advance reservation, and capacity planning of grid resources

Component based software engineering 12th international symposium CBSE 2009 east stroudsburg pa USA June 24-26 2009 : proceedings

Berlin : Springer-Verlag, 2009 . x, 273 p. : 24 cm.. 9783642024139

Place Hold on Component based software engineering 12th international symposium CBSE 2009 east stroudsburg pa USA June 24-26 2009 : proceedings

The role of digital libraries in a time of global change : 12th International Conference on Asia-Pacific Digital Libraries, ICADL 2010, Gold Coast, Australia, June 21-25, 2010 : proceedings 12th International Conference on Asia-Pacific Digital Libraries, ICADL 2010, Gold Coast, Australia, June 21-25, 2010 : proceedings

Berlin ; | New York : Springer, 2010 . xii, 270 p. : 24 cm.. 9783642136535 (pbk. : acidfree paper) | 3642136532 (pbk. : acidfree paper)

Place Hold on The role of digital libraries in a time of global change : 12th International Conference on Asia-Pacific Digital Libraries, ICADL 2010, Gold Coast, Australia, June 21-25, 2010 : proceedings

The outreach of digital libraries : a globalized resource network a globalized resource network

New York : Springer, 2012 . ix, 372p. : 24 cm. 9783642347511 (soft cover : alk. paper) | 3642347517 (soft cover : alk. paper)

Place Hold on The outreach of digital libraries : a globalized resource network

Research and advanced technology for digital libraries : 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010 : proceedings 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010 : proceedings

Berlin ; | New York : Springer, 2010 . xxii, 573 p. : 24 cm.. 9783642154638 (pbk. : acidfree paper) | 3642154638 (pbk. : acidfree paper)

Place Hold on Research and advanced technology for digital libraries : 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010 : proceedings

Digital libraries : for cultural heritage, knowledge dissemination, and future creation : 13th International Conference on Asia-Pacific Digital Libraries, ICADL 2011, Beijing, China, October 24-27, 2011 : proceedings for cultural heritage, knowledge dissemination, and future creation : 13th International Conference on Asia-Pacific Digital Libraries, ICADL 2011, Beijing, China, October 24-27, 2011 : proceedings

Heidelberg ; | New York, NY : Springer, 2011 . xv, 396 p. : 24 cm.. 9783642248252 (pbk. : alk. paper) | 364224825X (pbk. : alk. paper)

Place Hold on Digital libraries : for cultural heritage, knowledge dissemination, and future creation : 13th International Conference on Asia-Pacific Digital Libraries, ICADL 2011, Beijing, China, October 24-27, 2011 : proceedings

Attention in Cognitive Systems : 5th International Workshop on Attention in Cognitive Systems, WAPCV 2008, Fira, Santorini, Greece, May 12, 2008 : Revised Selected Papers / Lucas Paletta, John K. Tsotsos (eds.)

By Paletta, Lucas. Berlin ; | New York : Springer, 2009 . x, 272 p. 24 cm.. 9783642005817

Place Hold on Attention in Cognitive Systems :

Argumentation in Multi-agent Systems : 5th International Workshop, ArgMAS 2008, Estori, Portugal, May 12, 2008 : Revised Selected and Invited Papers /

By Rahwan, Iyad. Berlin ; | New York : Springer, 2009 9783642002069

Place Hold on Argumentation in Multi-agent Systems :

Computational Logic Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski part II /

By Kakas C. Antonis. Berlin : | Hong Kong : Springer-Verlag, 2002 . 2 v. : 24 cm.. 9783540439608

Place Hold on Computational Logic

Creating Brain-like Intelligence : From Basic Principles to Complex Intelligent Systems /

By Sendhoff, Bernhard. Berlin ; | New York : Springer, 2009 . viii, 350 p. : , "International symposium Creating brain-like intelligence was held in February 2007 in Germany"--Pref. 24 cm.. 9783642006159 (pbk. : alk. paper

Place Hold on Creating Brain-like Intelligence :

Gesture-based Human-computer Interaction and Simulation 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers /

By Gibet Sylvie. Berlin : Springer, 2009 . xi, 284 pages : 24 cm.. 9783540928645

Place Hold on Gesture-based Human-computer Interaction and Simulation

Learning-based Robot Vision : Principles and Applications /

By Pauli, Josef.. Berlin ; | New York : Springer, 2001 . ix, 288 p. : 24 cm.. 3540421084 (pbk. : alk. paper)

Place Hold on Learning-based Robot Vision :

Model Checking and Artificial Intelligence 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers /

Berlin ; | New York : Springer, 2009 . 188 p. : 24 cm.. 9783642004308 (acidfree paper)

Place Hold on Model Checking and Artificial Intelligence

Numerical methods and applications /

By CHENEY, E. WARD. New York : Springer, 2010 . p. cm. 9788131505823

Place Hold on Numerical methods and applications /

A Hybrid Deliberative Layer for Robotic Agents : Fusing DL Reasoning with HTN Planning in Autonomous Robots /

By Hartanto, Ronny,. . xxii, 215 pages : , "This work was carried out at: Bonn-Rhein-Sieg University of Applied Sciences (BRSU), Bonn-Aachen International Center for Information Technology (b-it), St. Augustin, Germany"--verso of T.p. 24 cm.. 9783642225796 (alk. paper)

Place Hold on A Hybrid Deliberative Layer for Robotic Agents :

Architecting dependable systems VII /

By Casimiro, Antonio.. Berlin ; | New York : Springer, 2010 . xii, 321 p. : , State of the art report. 24 cm.. 9783642172441 (pbk.)

Place Hold on Architecting dependable systems VII /

Graph transformations and model-driven engineering essays dedicated to Manfred Nagl on the occasion of his 65th birthday /

By Engels, Gregor. Berlin : Springer, 2010 . xi, 768 p. : , Festschrift. 24 cm.. 9783642173219 (pbk. : acidfree paper)

Place Hold on Graph transformations and model-driven engineering

WALCOM: Algorithms and Computation : Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009 : proceedings /

By Das, Sandip. Berlin ; | New York : Springer, 2009 . xiii, 408 p. : 24 cm.. 9783642002014

Place Hold on WALCOM: Algorithms and Computation :

State of the art in applied cryptography : course on computer security and industrial cryptography, Leuven, Belgium, June 3-6, 1997 : revised lectures /

By Preneel, Bart. Berlin ; | New York : Springer, 1998 . viii, 393 p. : 24 cm.. 3540654747

Place Hold on State of the art in applied cryptography : course on computer security and industrial cryptography, Leuven, Belgium, June 3-6, 1997 : revised lectures /

Intelligent information agents : the AgentLink perspective /

By Klusch, Matthias. Berlin ; | New York : Springer, 2003 . vi, 273 p. : 24 cm.. 3540007598

Place Hold on Intelligent information agents : the AgentLink perspective /

VLSI algorithms and architectures : 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988 : proceedings /

Berlin ; | New York : Springer-Verlag, 1988 . x, 476 p. : 25 cm.. 0387968180

Place Hold on VLSI algorithms and architectures :

Composition of secure multi-party protocols : a comprehensive study /

By Lindell, Yehuda.. Berlin ; | New York : Springer, 2003 . xvi, 192 p. : 24 cm.. 354020105X (alk. paper)

Place Hold on Composition of secure multi-party protocols :

Public-key cryptography : state of the art and future directions : E.I.S.S. workshop, Oberwolfach, Germany, July 3-6, 1991 : final report /

By Frisch, Th. Beth, M. . Berlin ; | New York : Springer-Verlag, 1992 . xi, 97 p. : 25 cm.. 0387552154 (New York : acid-free paper) | 3540552154 (Berlin : acid-free paper)

Place Hold on Public-key cryptography :

Probabilistic and statistical methods in cryptology : an introduction by selected topics /

By Neuenschwander, Daniel,. Berlin ; | New York : Springer, 2004 . x, 158 p. ; 24 cm.. 3540220011

Place Hold on Probabilistic and statistical methods in cryptology :

Advances in cryptology : EUROCRYPT 2004 : International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004 : proceedings /

Berlin ; | New York : Springer, 2004 . xii, 628 p. : 24 cm.. 3540219358 | 9783540219354

Place Hold on Advances in cryptology :

Public key cryptography PKC 2005 : 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005 : proceedings /

Berlin ; | New York : Springer, 2005 . xiii, 431 p. : 24 cm.. 3540244549 (pbk.)

Place Hold on Public key cryptography PKC 2005 :

Advances in cryptology-CRYPTO 2000 : 20th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2000 : proceedings /

Berlin ; | New York : Springer, 2000 . xi, 543 p. : 24 cm.. 3540679073 (softcover : alk. paper)

Place Hold on Advances in cryptology-CRYPTO 2000 :

Advances in cryptology - CRYPTO 2001 : 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 2001, proceedings /

By Kilian, Joe. Berlin ; | New York : Springer, 2001 . xi, 598 p. : 24 cm.. 3540424563 (pbk. : alk. paper)

Place Hold on Advances in cryptology - CRYPTO 2001 :

Advances in cryptology - RYPTO 2002 : 22nd Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 2002 : proceedings /

Berlin : Springer, 2002 . xiv, 626 p. : 24 cm.. 354044050X (pbk.)

Place Hold on Advances in cryptology - RYPTO 2002 :

Public key infrastructure : first European PKI Workshop: Research and Applications, EuroPKI 2004, Samos Island, Greece, June 25-26, 2004 : proceedings /

Berlin ; | New York : Springer, 2004 . xiii, 380 p. : 24 cm.. 3540222162

Place Hold on Public key infrastructure :

Theory of cryptography : Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005 : proceedings /

Berlin ; | New York : Springer, 2005 . xii, 619 p. : 24 cm.. 3540245731

Place Hold on Theory of cryptography :

Progress in cryptology : INDOCRYPT 2004 : 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004 : proceedings /

Berlin ; | New York : Springer, 2004 . xiv, 429 p. : 24 cm.. 3540241302

Place Hold on Progress in cryptology :

Selected areas in cryptography : 11th international workshop, SAC 2004, Waterloo, Canada, August 9-10, 2004 : revised selected papers /

Berlin : Springer, 2005 . xi, 353 p. : 24 cm.. 3540243275

Place Hold on Selected areas in cryptography :

Security in communication networks : 4th international conference, SCN 2004, Amalfi, Italy, September 8-10, 2004 : revised selected papers /

Berlin ; | New York : Springer, 2005 . xi, 379 p. : 24 cm.. 3540243011 (printed on acid-free paper)

Place Hold on Security in communication networks :

Advances in cryptology-EUROCRYT 2002 : international conference on the theory and applications of cryptographic techniques, Amsterdam, The Netherlands, April 28-May 2, 2002 : proceedings /

Berlin ; | New York : Springer, 2002 . xii, 545 p. : 24 cm.. 3540435530 (softcover : alk. paper)

Place Hold on Advances in cryptology-EUROCRYT 2002 :

Security protocols : 11th international workshop, Cambridge, UK, April 2-4, 2003 : revised selected papers /

Berlin ; | New York : Springer, 2005 . ix, 349 p. : 24 cm.. 3540283897 (alk. paper) | 9783540283898

Place Hold on Security protocols :

Advances in cryptology-EUROCRYT ' 91 : Worksop on the theory and application of cryptographic techniques brighton,UK, April 1991 proseedings /

New York : Springer, 1991 . xii, 556 p 24 cm. 3540546200

Place Hold on Advances in cryptology-EUROCRYT ' 91 :

Advances in cryptology- EUOCRYPT' 99 : International conference on the theory and application of cryptographic techniques Prague, Czech Republic, May 1999 proceedings /

By Stern, Jacques,. Springer Paris 1999 . xii, 474 p 18 cm. 3540658890

Place Hold on Advances in cryptology- EUOCRYPT' 99 :

Neural networks,fuzzy logic, and genetic algorithms : IEEE/Nagoya University World Wisepersons Workshop, Nagoya, Japan, August 9-10, 1994 : selected papers /

Berlin ; | New York : Springer, 1995 . viii, 223 p. : 24 cm.. 3540606076 (softcover : alk. paper)

Place Hold on Neural networks,fuzzy logic, and genetic algorithms :