Software reliability modelling and identification / Sergio Bittanti (ed.)
ONLINE
1988
9783540460732 : Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings / M. Reinfrank, [ed.] [and others]
Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings / M. Reinfrank, [ed.] [and others]
ONLINE
1989
9783540460763 : Graph-Theoretic Concepts in Computer Science : International Workshop WG '88 Amsterdam, the Netherlands, June 15-17, 1988 Proceedings / edited by J. Leeuwen
Graph-Theoretic Concepts in Computer Science : International Workshop WG '88 Amsterdam, the Netherlands, June 15-17, 1988 Proceedings / edited by J. Leeuwen
ONLINE
1989
9783540460817 : Knowledge representation and organization in machine learning / K. Morik (ed.)
Knowledge representation and organization in machine learning / K. Morik (ed.)
ONLINE
1989
Your entry 9783540460848 would be here
9783540460909 : Targeted therapies in cancer / M. Dietel (ed.)
Targeted therapies in cancer / M. Dietel (ed.)
ONLINE
2007
9783540460916 : Targeted therapies in cancer / M. Dietel (ed.)
Targeted therapies in cancer / M. Dietel (ed.)
ONLINE
2007
9783540460923 : Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings / P. Deransart, B. Lorho, J. Małuszyński, eds
Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings / P. Deransart, B. Lorho, J. Małuszyński, eds
ONLINE
1989
9783540460985 : STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science Paderborn, FRG, February 16-18, 1989 Proceedings / edited by B. Monien, R. Cori
STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science Paderborn, FRG, February 16-18, 1989 Proceedings / edited by B. Monien, R. Cori
ONLINE
1989
9783540461012 : Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers
Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers
ONLINE
1989
9783540461036 : Global optimization / Aimo Törn, Antanas Žilinskas
Global optimization / Aimo Törn, Antanas Žilinskas
ONLINE
1989
9783540461166 : TAPSOFT '89 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 / edited by Josep Díaz, Fernando Orejas
TAPSOFT '89 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 / edited by Josep Díaz, Fernando Orejas
ONLINE
1989
9783540461180 : TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 / J. Díaz, F. Orejas, eds
TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 / J. Díaz, F. Orejas, eds
ONLINE
1989
9783540461289 : Organometallic chemistry and catalysis / Didier Astruc
Organometallic chemistry and catalysis / Didier Astruc
ONLINE
2007
9783540461296 : Organometallic chemistry and catalysis / Didier Astruc
Organometallic chemistry and catalysis / Didier Astruc
ONLINE
2007
9783540461470 : Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 / edited by J.W. de Bakker, W.-P. de Roever, [and] G. Rozenberg
Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 / edited by J.W. de Bakker, W.-P. de Roever,
ONLINE
1989
9783540461494 : Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings / N. Dershowitz, ed
Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings / N. Dershowitz, ed
ONLINE
1989
9783540461500 : Applied algebra, algebraic algorithms, and error-correcting codes : 5th International Conference, AAECC-5, Menorca, Spain, June 15-19, 1987 : proceedings / L. Huguet, A. Poli (eds.)
Applied algebra, algebraic algorithms, and error-correcting codes : 5th International Conference, AAECC-5, Menorca, Spain, June 15-19, 1987 : proceedings / L. Huguet, A. Poli (eds.)
ONLINE
1989
9783540461524 : Applied algebra, algebraic algorithms and error-correcting codes : 6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1988 : proceedings / T. Mora (ed.)
Applied algebra, algebraic algorithms and error-correcting codes : 6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1988 : proceedings / T. Mora (ed.)
ONLINE
1989
9783540461531 : Symbolic and Algebraic Computation : International Symposium ISSAC '88 Rome, Italy, July 4-8, 1988 Proceedings / edited by P. Gianni
Symbolic and Algebraic Computation : International Symposium ISSAC '88 Rome, Italy, July 4-8, 1988 Proceedings / edited by P. Gianni
ONLINE
1989
9783540461555 : High performance transaction systems : 2nd International Workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 26-30, 1987 : proceedings / D. Gawlick, M. Haynie, A. Reuter (eds.)
High performance transaction systems : 2nd International Workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 26-30, 1987 : proceedings / D. Gawlick, M. Haynie, A. Reuter (eds.)
ONLINE
1989
9783540461630 : Computer Assisted Learning : 2nd International Conference, ICCAL '89 Dallas, TX, USA, May 9-11, 1989 Proceedings / edited by Hermann Maurer
Computer Assisted Learning : 2nd International Conference, ICCAL '89 Dallas, TX, USA, May 9-11, 1989 Proceedings / edited by Hermann Maurer
ONLINE
1989
9783540461661 : Computational methods in systems biology : international conference, CMSB 2006, Trento, Italy, October 18-19, 2006 : proceedings / Corrado Priami (ed.)
Computational methods in systems biology : international conference, CMSB 2006, Trento, Italy, October 18-19, 2006 : proceedings / Corrado Priami (ed.)
ONLINE
2006
9783540461678 : Computational methods in systems biology : international conference, CMSB 2006, Trento, Italy, October 18-19, 2006 : proceedings / Corrado Priami (ed.)
Computational methods in systems biology : international conference, CMSB 2006, Trento, Italy, October 18-19, 2006 : proceedings / Corrado Priami (ed.)
ONLINE
2006
9783540461722 : Synthesizing synchronous systems by static scheduling in space-time / Björn Lisper
Synthesizing synchronous systems by static scheduling in space-time / Björn Lisper
ONLINE
1989
9783540461753 : Nested relations and complex objects in databases / S. Abiteboul, P.C. Fischer, H.-J. Schek, (eds.)
Nested relations and complex objects in databases / S. Abiteboul, P.C. Fischer, H.-J. Schek, (eds.)
ONLINE
1989
9783540461807 : Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings / A.R. Meyer, M.A. Taitslin (eds.)
Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings / A.R. Meyer, M.A. Taitslin (eds.)
ONLINE
1989
9783540461821 : MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989 : proceedings / J. Demetrovics, B. Thalheim, eds
MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989 : proceedings / J. Demetrovics, B. Thalheim, eds
ONLINE
1989
9783540461838 : Parle '89 - Parallel Architectures and Languages Europe : Volume I: Parallel Architectures, Eindhoven, the Netherlands, June 12-16, 1989 Proceedings
Parle '89 - Parallel Architectures and Languages Europe : Volume I: Parallel Architectures, Eindhoven, the Netherlands, June 12-16, 1989 Proceedings
ONLINE
1989
9783540461845 : Parle '89 - Parallel Architectures and Languages Europe : Volume Ii: Parallel Languages, Eindhoven, the Netherlands, June 12-16, 1989 Proceedings
Parle '89 - Parallel Architectures and Languages Europe : Volume Ii: Parallel Languages, Eindhoven, the Netherlands, June 12-16, 1989 Proceedings
ONLINE
1989
9783540461869 : Foundations of data organization and algorithms : 3rd international conference, FODO 1989, Paris, France, June 21-23, 1989 : proceedings / W. Litwin, H.-J. Schek, eds
Foundations of data organization and algorithms : 3rd international conference, FODO 1989, Paris, France, June 21-23, 1989 : proceedings / W. Litwin, H.-J. Schek, eds
ONLINE
1989
9783540461913 : Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, the Netherlands, June 26-30, 1989 : proceedings / J.L.A. van de Snepscheut (ed.)
Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, the Netherlands, June 26-30, 1989 : proceedings / J.L.A. van de Snepscheut (ed
ONLINE
1989
9783540461975 : Database machines : sixth international workshop, IWDM '89, Deauville, France, June 19-21, 1989 : proceedings / H. Boral, P. Faudemay, eds
Database machines : sixth international workshop, IWDM '89, Deauville, France, June 19-21, 1989 : proceedings / H. Boral, P. Faudemay, eds
ONLINE
1989
9783540461982 : Modified branching programs and their computational power / Christoph Meinel
Modified branching programs and their computational power / Christoph Meinel
ONLINE
1989
9783540462002 : Compiler compilers and high speed compilation : 2nd CCHSC Workshop, Berlin, GDR, October 10-14, 1988 : proceedings / D. Hammer, ed
Compiler compilers and high speed compilation : 2nd CCHSC Workshop, Berlin, GDR, October 10-14, 1988 : proceedings / D. Hammer, ed
ONLINE
1989
9783540462019 : Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings / edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca
Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings / edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca
ONLINE
1989
9783540462040 : Algorithms for parallel polygon rendering / T. Theoharis
Algorithms for parallel polygon rendering / T. Theoharis
ONLINE
1989
9783540462149 : Meshfree methods for partial differential equations III / Michael Griebel, Marc A. Schweitzer (eds.)
Meshfree methods for partial differential equations III / Michael Griebel, Marc A. Schweitzer (eds.)
ONLINE
2007
9783540462156 : Quantum mechanics : a modern and concise introductory course / Daniel R. Bes
Quantum mechanics : a modern and concise introductory course / Daniel R. Bes
ONLINE
2007
9783540462163 : Quantum mechanics : a modern and concise introductory course / Daniel R. Bes
Quantum mechanics : a modern and concise introductory course / Daniel R. Bes
ONLINE
2007
9783540462194 : Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings / Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.)
Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings / Elie Najm, Jean-Francois Pradat-Pe
ONLINE
2006
9783540462200 : Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings / Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.)
Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings / Elie Najm, Jean-Francois Pradat-Pe
ONLINE
2006
9783540462217 : Dynamics of fibre formation and processing : modelling and application in fibre and textile industry / Roland Beyreuther, Harald Brünig
Dynamics of fibre formation and processing : modelling and application in fibre and textile industry / Roland Beyreuther, Harald Brünig
ONLINE
2007
9783540462224 : Meshfree methods for partial differential equations III / Michael Griebel, Marc A. Schweitzer (eds.)
Meshfree methods for partial differential equations III / Michael Griebel, Marc A. Schweitzer (eds.)
ONLINE
2007
9783540462231 : Dynamics of fibre formation and processing : modelling and application in fibre and textile industry / Roland Beyreuther, Harald Brünig
Dynamics of fibre formation and processing : modelling and application in fibre and textile industry / Roland Beyreuther, Harald Brünig
ONLINE
2007
9783540462262 : A history of thermodynamics : the doctrine of energy and entropy / Ingo Müller
A history of thermodynamics : the doctrine of energy and entropy / Ingo Müller
ONLINE
2007
9783540462279 : A history of thermodynamics : the doctrine of energy and entropy / Ingo Müller
A history of thermodynamics : the doctrine of energy and entropy / Ingo Müller
ONLINE
2007
9783540462293 : Panoramic radiology : seminars on maxillofacial imaging and interpretation / Allan G. Farman (ed.)
Panoramic radiology : seminars on maxillofacial imaging and interpretation / Allan G. Farman (ed.)
ONLINE
2007
9783540462309 : Panoramic radiology : seminars on maxillofacial imaging and interpretation / Allan G. Farman (ed.)
Panoramic radiology : seminars on maxillofacial imaging and interpretation / Allan G. Farman (ed.)
ONLINE
2007
9783540462330 : Management of convergence networks and services : 9th Asia-Pacific Network Operations and Management Symposium, APNOMS 2006, Busan, Korea, September 27-29, 2006 : proceedings / Young-Tak Kim, Makoto Takano (eds.)
Management of convergence networks and services : 9th Asia-Pacific Network Operations and Management Symposium, APNOMS 2006, Busan, Korea, September 27-29, 2006 : proceedings / Young-Tak Kim, Makoto Ta
ONLINE
2006
9783540462347 : Innovative approaches for learning and knowledge sharing : First European Conference on Technology Enhanced Learning, EC-TEL 2006, Crete, Greece, October 1-4, 2006 : proceedings / Wolfgang Nejdl, Klaus Tochtermann (eds.)
Innovative approaches for learning and knowledge sharing : First European Conference on Technology Enhanced Learning, EC-TEL 2006, Crete, Greece, October 1-4, 2006 : proceedings / Wolfgang Nejdl, Klaus
ONLINE
