921- 940 of 2181 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, Author: Elie Najm
QUICK ADD
Formal Methods for Open Object…
by Elie Najm (Editor), Perdita Stevens (Editor), Uwe Nestmann (Editor)
#2884 in Series
Paperback $54.99
Title: Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, Author: Martin Steffen
QUICK ADD
Formal Methods for Open Object…
by Martin Steffen (Editor), Gianluigi Zavattaro (Editor)
#3535 in Series
Paperback $54.99
Title: Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings, Author: Roberto Gorrieri
QUICK ADD
Formal Methods for Open Object…
by Roberto Gorrieri (Editor), Heike Wehrheim (Editor)
#4037 in Series
Paperback $54.99
Title: Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy, Author: Paolo Ciancarini
QUICK ADD
Formal Methods for Open Object…
by Paolo Ciancarini (Editor), Alessandro Fantechi (Editor), Roberto Gorrieri (Editor)
#10 in Series
Hardcover $219.99
Title: Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99, Author: Jianping Wu
QUICK ADD
Formal Methods for Protocol…
by Jianping Wu (Editor), Samuel T. Chanson (Editor), Quiang Gao (Editor)
#28 in Series
Hardcover $219.99
Title: Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic, Author: Benedikt Bollig
QUICK ADD
Formal Models of Communicating…
by Benedikt Bollig
Hardcover $54.99
Title: Formal Systems Specification: The RPC-Memory Specification Case Study, Author: Manfred Broy
QUICK ADD
Formal Systems Specification:…
by Manfred Broy (Editor), Stephan Merz (Editor), Katharina Spies (Editor)
#1169 in Series
Paperback $54.99
Title: Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings, Author: Doron A. Peled
QUICK ADD
Formal Techniques for…
by Doron A. Peled (Editor), Moshe Y. Vardi (Editor)
#2529 in Series
Paperback $54.99
Title: Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003, Author: Hartmut Kïnig
QUICK ADD
Formal Techniques for…
by Hartmut Kïnig (Editor), Monika Heiner (Editor), Adam Wolisz (Editor)
#2767 in Series
Paperback $54.99
Title: Formal Techniques for Networked and Distributed Systems - FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings, Author: David de Frutos-Escrig
QUICK ADD
Formal Techniques for…
by David de Frutos-Escrig (Editor), Manuel Nunez (Editor)
#3235 in Series
Paperback $54.99
Title: Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, Author: Farn Wang
QUICK ADD
Formal Techniques for…
by Farn Wang (Editor)
#3731 in Series
Paperback $109.99
Title: Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings, Author: Elie Najm
QUICK ADD
Formal Techniques for…
by Elie Najm (Editor), Jean-Francois Pradat-Peyre (Editor), Véronique Viguié Donzeau-Gouge (Editor)
#4229 in Series
Paperback $109.99
Title: Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings, Author: Kenji Suzuki
QUICK ADD
Formal Techniques for…
by Kenji Suzuki (Editor), Teruo Higashino (Editor), Keiichi Yasumoto (Editor), Khaled El-Fakih (Editor)
#5048 in Series
Paperback $54.99
Title: Formal Techniques for Networked and Distributed Systems: FORTE 2001, Author: Myungchul Kim
QUICK ADD
Formal Techniques for…
by Myungchul Kim (Editor), Byoungmoon Chin (Editor), Sungwon Kang (Editor), Danhyung Lee (Editor)
#69 in Series
Hardcover $219.99
Title: Foundations of Distributed Artificial Intelligence, Author: G. M. P. O'Hare
QUICK ADD
Foundations of Distributed…
by G. M. P. O'Hare (Editor), N. R. Jennings (Editor)
#9 in Series
Hardcover $263.95
Title: Foundations of Jini 2 Programming, Author: Jan Newmarch
QUICK ADD
Foundations of Jini 2…
by Jan Newmarch
Hardcover $59.99
Title: Foundations of Parallel Programming, Author: D. B. Skillicorn
QUICK ADD
Foundations of Parallel…
by D. B. Skillicorn
#6 in Series
Paperback $50.00
Title: Foundations of Scalable Systems: Designing Distributed Architectures, Author: Ian Gorton
QUICK ADD
Foundations of Scalable…
by Ian Gorton
eBook $56.99
Title: Foundations of Scalable Systems: Designing Distributed Architectures, Author: Ian Gorton
QUICK ADD
Foundations of Scalable…
by Ian Gorton
Paperback $65.99
Title: From Distributed Quantum Computing to Quantum Internet Computing: An Introduction, Author: Seng W. Loke
QUICK ADD
From Distributed Quantum…
by Seng W. Loke
eBook $104.00

Pagination Links