Search for 'Provider:Springer-Verlag, and su-to:Computer science'

Computer graphics and mathematics

By Falcidieno, Bianca. Berlin : Springer-Verlag, 1992 . vii, 318 p. ; 23 cm. 9783642775888

Place Hold on Computer graphics and mathematics

Planiverse : computer contact with a two-dimensional world

By Dewdney, Alexander Keewatin. New York: Springer-Verlag, 2000 . xxxi, 245 p.; 24 cm.. 9780387989167

Place Hold on Planiverse : computer contact with a two-dimensional world

Membrane computing : an introduction

By Paun, Gheorghe. Berlin: Springer-Verlag, 2002 . xi, 419 p.; 23 cm.. 9783642561962

Place Hold on Membrane computing : an introduction

Public Key Cryptography : 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002, Paris, France, February 12-14, 2002 : Proceedings

By Naccache, David. Berlin: Springer-Verlag, 2002 . xi, 383 p.; 24 cm.. 3540431683

Place Hold on Public Key Cryptography : 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002, Paris, France, February 12-14, 2002 : Proceedings

Concurrent zero knowledge

By Rosen, Alon. Berlin: Springer-Verlag, 2006 . xiii, 184 p.; 24 cm.. 3540329382

Place Hold on Concurrent zero knowledge

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

By Kreowski, Hans-Jorg. Berlin: Springer-Verlag, 2005 . xxvii, 411 p.; 24 cm.. 3540249362

Place Hold on Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

Clinical decision support systems : theory and practice

By Berner, Eta S. . New York: Springer-Verlag, 1999 . xx, 264 p.; 25 cm.. 0387985751

Place Hold on Clinical decision support systems : theory and practice

Constructing correct software

By Cooke, John. London: Springer-Verlag, 2005 . xxi, 509 p.; 24 cm.. 1852338202

Place Hold on Constructing correct software

Grid Computing-GRID 2000 : First IEEE/ACM International Workshop, Bangalore, India, December 17, 2000 ; Proceedings

By Buyya Rajkumar. New York: Springer-Verlag, 2000 . xiv, 227 p.; 24 cm.. 3540414037

Place Hold on Grid Computing-GRID 2000 : First IEEE/ACM International Workshop, Bangalore, India, December 17, 2000 ; Proceedings

Component-Based Software Testing with UML

By Gross, Hans-Gerhard. New York: Springer-Verlag, 2004 . xviii, 316 p.; 24 cm.. 354020864X

Place Hold on Component-Based Software Testing with UML

Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science

By Brinksma, Ed.. Berlin: Springer-Verlag, 2001 . vi, 429 p.; 24 cm.. 3540424792

Place Hold on Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science

On concurrent programming

By Schneider, Fred B.. New York: Springer-Verlag, 1997 . xix, 473 p.; 24 cm.. 0387949429

Place Hold on On concurrent programming

Petri Net algebra

By Devillers, Raymond. Berlin: Springer-Verlag, 2001 . xi, 378 p.; 24 cm.. 3540673989

Place Hold on Petri Net algebra

Connectionist, statistical and symbolic approaches to learning for natural language processing

By Wermter, Stefan. New York: Springer-Verlag, 1996 . ix, 468 p.; 24 cm.. 3540609253

Place Hold on Connectionist, statistical and symbolic approaches to learning for natural language processing

Dynamic modeling

By Ruth, Matthias. New York: Springer-Verlag, 2001 . xviii, 409 p.; 24 cm.. 0387988688

Place Hold on Dynamic modeling

UML applied : a .NET perspective

By Shoemaker, Martin L.. New York: Springer-Verlag, 2004 . xxiv, 535 p.; 24 cm.. 1590590872

Place Hold on UML applied : a .NET perspective

Thinking in complexity : the computational dynamics of matter, mind and mankind

By Mainzer, Klaus. Berlin: Springer-Verlag, 2004 . xvi, 456 p.; 24 cm.. 3540002391

Place Hold on Thinking in complexity : the computational dynamics of matter, mind and mankind

Intelligent information processing and web mining : proceedings of the international iis: iipwm `04 conference held in zakopane, poland, may 17-20, 2004

By Klopotek, Mieczyslaw A. . Berlin: Springer-Verlag, 2004 . xiv, 641 p.; 23 cm.. 3540213317

Place Hold on Intelligent information processing and web mining : proceedings of the international iis: iipwm `04 conference held in zakopane, poland, may 17-20, 2004

Handbook of mathematics and computational science

By Harris, John W.. New York: Springer-Verlag, 1998 . xxviii, 1028 p.; 24 cm.. 0387947469

Place Hold on Handbook of mathematics and computational science

Complexity and real computation

By Blum, Lenore. New York: Springer-Verlag, 2004 . xvi, 453 p.; 24 cm.. 0387982817

Place Hold on Complexity and real computation

Algebraic combinatorics and computer science

By Crapo, H. . Milano: Springer-Verlag, 2001 . x, 546 p.; 24 cm.. 8847000785

Place Hold on Algebraic combinatorics and computer science

Stateless core : A Scalable Approach For Quality of Service in the Internet : Winning Thesis of the 2001 ACM doctoral dissertation competition

By Stoica, Ion. Berlin: Springer-Verlag, 2004 . xvi, 219 p.; 24 cm.. 9783540219606

Place Hold on Stateless core : A Scalable Approach For Quality of Service in the Internet : Winning Thesis of the 2001 ACM doctoral dissertation competition

Grid and cooperative computing : Second International Workshop, GCC 2003, shanhai, china, december 7-10, 2003, revised papers, part II

By Li, Minglu. Berlin: Springer-Verlag, 2004 . xxxviii, 1076 p.; 24 cm.. 9783540219934

Place Hold on Grid and cooperative computing : Second International Workshop, GCC 2003, shanhai, china, december 7-10, 2003, revised papers, part II

Formal techniques for networked and distributed systems - FORTE 2002

By Peled, Doron A.. Berlin: Springer-Verlag, 2002 . ; 3540001417

Place Hold on Formal techniques for networked and distributed systems - FORTE 2002

Bayesian networks and decision graphs

By Jensen, Finn V.. New York: Springer-Verlag, 2001 . xv, 268 p.; 24 cm.. 0387952594

Place Hold on Bayesian networks and decision graphs

Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : Proceedings

By Anderson, Stuart. Berlin: Springer-Verlag, 2003 . xix, 423 p.; 24 cm.. 3540201262

Place Hold on Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : Proceedings

Essentials of constraint programming

By Fruhwirth, Thom. Berlin: Springer-Verlag, 2003 . ix, 144 p.; 24 cm.. 3540676236

Place Hold on Essentials of constraint programming

Fundamentals of quantum information

By Heiss, Dieter. New York: Springer-Verlag, 2002 . xii, 274 p.; 3540433678

Place Hold on Fundamentals of quantum information

Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms, Heidelberg, Germany, November 12-16, 2001 : Proceedings

By Guerraoui, Rachid. New York: Springer-Verlag, 2001 . xiii, 394 p.; 24 cm.. 3540428003

Place Hold on Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms, Heidelberg, Germany, November 12-16, 2001 : Proceedings

Programming in Prolog : using the ISO standard

By Clocksin, William F.. New York: Springer-Verlag, 2003 . vii, 299 p.; 24 cm.. 3540006788

Place Hold on Programming in Prolog : using the ISO standard

Introduction to assembly language programming : from 8086 to Pentium processors

By Dandamudi, Sivarama P.. New Delhi: Springer-Verlag, 2003 . xxii, 644 p.; 24 cm.. 8181280482

Place Hold on Introduction to assembly language programming : from 8086 to Pentium processors

Functional approach to data management : modeling, analyzing and integrating heterogeneous data

By Gray, Peter M. D. . Berlin: Springer-Verlag, 2004 . xiii, 483 p.; 24 cm.. 3540003754

Place Hold on Functional approach to data management : modeling, analyzing and integrating heterogeneous data

Personal Wireless Communications : IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003 : Proceedings

By Conti, Marco. New York: Springer-Verlag, 2003 . xvi, 855 p.; 23 cm.. 3540201238

Place Hold on Personal Wireless Communications : IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003 : Proceedings

Information and Communications Security : 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003 : Proceedings

By Qing, Sihan. New York: Springer-Verlag, 2003 . xi, 416 p.; 23 cm.. 3540201505

Place Hold on Information and Communications Security : 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003 : Proceedings

Applied Cryptography and Network Security : First International Conference, ACNS 2003, Kunming, China, October 16-19, 2003 ; Proceedings

By Zhou, Jianying. New York: Springer-Verlag, 2003 . xi, 436 p.; 23 cm.. 3540202080

Place Hold on Applied Cryptography and Network Security : First International Conference, ACNS 2003, Kunming, China, October 16-19, 2003 ; Proceedings

UML 2003 - The Unified Modeling Language : Modeling Languages and Applications : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003 : Proceedings

By Stevens, Perdita. New York: Springer-Verlag, 2003 . xiii, 413 p.; 23 cm.. 3540202439

Place Hold on UML 2003 - The Unified Modeling Language : Modeling Languages and Applications : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003 : Proceedings

Global Computing : Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : Revised Papers

By Priami, Corrado. New York: Springer-Verlag, 2003 . xvii, 253 p.; 23 cm.. 3540205837

Place Hold on Global Computing : Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : Revised Papers

Advances in Computing Science - ASIAN 2003 : Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : Proceedings

By Saraswat, Vijay A. . New York: Springer-Verlag, 2003 . viii, 304 p.; 23 cm.. 9783540206323

Place Hold on Advances in Computing Science - ASIAN 2003 : Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : Proceedings

Computer Security – ESORICS 2003: 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003. Proceedings

By Snekkenes, Einar. New York: Springer-Verlag, 2003 . x, 338 p.; 3540203001

Place Hold on Computer Security – ESORICS 2003: 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003. Proceedings

Fast Software Encryption : 10th International Workshop, FSE 2003, Lund, Sweden, February 24-26, 2003 : Revised Papers

By Johansson, Thomas. New York: Springer-Verlag, 2003 . xii, 464 p.; 23 cm.. 3540204490

Place Hold on Fast Software Encryption : 10th International Workshop, FSE 2003, Lund, Sweden, February 24-26, 2003 : Revised Papers

Multimedia data hiding

By Wu, Min. New York: Springer-Verlag, 2003 . 218 p.; 24 cm.. 9780387954264

Place Hold on Multimedia data hiding

Origin of concurrent programming : from semaphores to remote procedure calls

By Hansen, Per Brinch. New York: Springer-Verlag, 2002 . 534 p.; 24 cm.. 0387954015

Place Hold on Origin of concurrent programming : from semaphores to remote procedure calls

Advances in evolutionary computing: Theory and applications

By Ghosh, Ashish. Berlin: Springer-Verlag, 2003 . 1006 p.; 24 cm.. 3540433309

Place Hold on Advances in evolutionary computing: Theory and applications

Discrete mathematics : elementary and beyond

By Lovasz, Laszlo. New York: Springer-Verlag, 2003 . 290 p.; 23 cm.. 0387955852

Place Hold on Discrete mathematics : elementary and beyond

Planning and implementing your final year project - with success!: A guide for students in computer science and information systems

By Berndtsson, M. . London: Springer-Verlag, 2002 . 152 p.; 23 cm.. 1852333324

Place Hold on Planning and implementing your final year project - with success!: A guide for students in computer science and information systems

Theoretical computer science : introduction to automata, computability, complexity, algorithmics, randomization, communication and cryptography

By Hromkovic, Juraj. Berlin: Springer-Verlag, 2004 . 313 p.; 24 cm.. 3540140158

Place Hold on Theoretical computer science : introduction to automata, computability, complexity, algorithmics, randomization, communication and cryptography

Essential Java fast: How to write object oriented software for the internet

By Cowell, John. London: Springer-Verlag, 1997 . 186 p.; 23 cm.. 3540760520

Place Hold on Essential Java fast: How to write object oriented software for the internet

Artificial immune systems : a new computational intelligence approach

By Timmis, Jonathan. London: Springer-Verlag, 2002 . 357 p.; 24 cm.. 1852335947

Place Hold on Artificial immune systems : a new computational intelligence approach

Guide to the Unified Process Featuring UML, Java and Design Patterns

By Hunt, John. London: Springer-Verlag, 2003 . 424 p.; 24 cm.. 1852337214

Place Hold on Guide to the Unified Process Featuring UML, Java and Design Patterns

Advances in Databases and Information Systems: 7th East European Conference, ADBIS 2003 Dresden, Germany, Septemeber 3-6, 2003: Proceedings

By Kalinichenko, Leonid. Berlin: Springer-Verlag, 2003 . 430 p.; 24 cm.. 3540200479

Place Hold on Advances in Databases and Information Systems: 7th East European Conference, ADBIS 2003 Dresden, Germany, Septemeber 3-6, 2003: Proceedings