Lecture Notes in Computer Science

Integration of Software Specification Techniques for Applications in Engineering: Priority Program Softspez of the German Research Foundation (Dfg) Fi by

Integration of Software Specification Techniques for Applications in Engineering: Priority Program Softspez of the German Research Foundation (Dfg) Fi

Lecture Notes in Computer Science

630 pages • missing pub info (editions)

nonfiction computer science mathematics science
Public Key Cryptography: 5th International Workshop on Practice and Theory in Public Key Cryptosystems, Pkc 2002, Paris, France, February 12-14 by

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

Lecture Notes in Computer Science

384 pages • missing pub info (editions)

nonfiction computer science health challenging informative reflective medium-paced
Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings by

Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings

Lecture Notes in Computer Science

287 pages • missing pub info (editions)

nonfiction computer science design informative medium-paced
Software Reuse: Methods, Techniques, and Tools: 7th International Conference, Icsr-7, Austin, Tx, Usa, April 15-19, 2002. Proceedings by

Software Reuse: Methods, Techniques, and Tools: 7th International Conference, Icsr-7, Austin, Tx, Usa, April 15-19, 2002. Proceedings

Lecture Notes in Computer Science

356 pages • missing pub info (editions)

nonfiction computer science health technology informative medium-paced
Medical Data Analysis: First International Symposium, Ismda 2000 Frankfurt, Germany, September 29-30, 2000 Proceedings by

Medical Data Analysis: First International Symposium, Ismda 2000 Frankfurt, Germany, September 29-30, 2000 Proceedings

Lecture Notes in Computer Science

320 pages • missing pub info (editions)

nonfiction computer science health challenging informative medium-paced
Advances in Self-Organizing Maps: 7th International Workshop, WSOM 2009, St. Augustine, Florida, USA, June 8-10, 2009. Proceedings by

Advances in Self-Organizing Maps: 7th International Workshop, WSOM 2009, St. Augustine, Florida, USA, June 8-10, 2009. Proceedings

Lecture Notes in Computer Science

374 pages • missing pub info (editions)

nonfiction computer science science medium-paced
Inter-Domain Management: First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007 Oslo, Norway, June 21- by

Inter-Domain Management: First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007 Oslo, Norway, June 21-

Lecture Notes in Computer Science

228 pages • missing pub info (editions)

nonfiction computer science informative medium-paced
Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings by

Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

Lecture Notes in Computer Science

426 pages • missing pub info (editions)

nonfiction computer science design mathematics informative medium-paced
Latin '95: Theoretical Informatics: Second Latin American Symposium, Valparaiso, Chile, April 3 - 7, 1995. Proceedings by

Latin '95: Theoretical Informatics: Second Latin American Symposium, Valparaiso, Chile, April 3 - 7, 1995. Proceedings

Lecture Notes in Computer Science

530 pages • missing pub info (editions)

nonfiction computer science mathematics science medium-paced
Energy-Aware Communications: 17th International Workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011, Proceedings by

Energy-Aware Communications: 17th International Workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011, Proceedings

Lecture Notes in Computer Science

224 pages • missing pub info (editions)

nonfiction computer science technology medium-paced