941- 960 of 2874 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I, Author: Jeannette M. Wing
QUICK ADD
FM'99 - Formal Methods: World…
by Jeannette M. Wing (Editor), Jim Woodcook (Editor), Jim Davies (Editor)
#1708 in Series
Paperback $109.99
Title: FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II, Author: Jeannette M. Wing
QUICK ADD
FM'99 - Formal Methods: World…
by Jeannette M. Wing (Editor), Jim Woodcook (Editor), Jim Davies (Editor)
#1709 in Series
Paperback $109.99
Title: FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings, Author: James C.P. Woodcock
QUICK ADD
FME '93: Industrial-Strength…
by James C.P. Woodcock (Editor), Peter G. Larsen (Editor)
#670 in Series
Paperback $109.99
Title: FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings., Author: Marie-Claude Gaudel
QUICK ADD
FME '96: Industrial Benefit…
by Marie-Claude Gaudel (Editor), James Woodcock (Editor)
#1051 in Series
Paperback $109.99
Title: FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, Author: Jose N. Oliveira
QUICK ADD
FME 2001: Formal Methods for…
by Jose N. Oliveira (Editor), Pamela Zave (Editor)
#2021 in Series
Paperback $109.99
Title: FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings, Author: Lars-Henrik Eriksson
QUICK ADD
FME 2002: Formal Methods -…
by Lars-Henrik Eriksson (Editor), Peter A. Lindsay (Editor)
#2391 in Series
Paperback $109.99
Title: FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings, Author: Keijiro Araki
QUICK ADD
FME 2003: Formal Methods:…
by Keijiro Araki (Editor), Stefania Gnesi (Editor), Dion Mandrioli (Editor)
#2805 in Series
Paperback $109.99
Title: Focus on Scientific Visualization, Author: Hans Hagen
QUICK ADD
Focus on Scientific…
by Hans Hagen (Editor), Heinrich Mïller (Editor), Gregory M. Nielson (Editor)
Explore Series
Paperback $54.99
Title: Form and Function of Mammalian Lung: Analysis by Scientific Computing, Author: Andres Kriete
QUICK ADD
Form and Function of Mammalian…
by Andres Kriete
#145 in Series
Paperback $109.99
Title: Form-Oriented Analysis: A New Methodology to Model Form-Based Applications, Author: Dirk Draheim
QUICK ADD
Form-Oriented Analysis: A New…
by Dirk Draheim, Gerald Weber
Paperback $109.99
Title: Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers, Author: James L. Rash
QUICK ADD
Formal Approaches to…
by James L. Rash (Editor), Christopher A. Rouff (Editor), Walter Truszkowski (Editor), Diana Gordon (Editor), Michael G. Hinchey (Editor)
#1871 in Series
Paperback $54.99
Title: Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers, Author: Michael G. Hinchey
QUICK ADD
Formal Approaches to…
by Michael G. Hinchey (Editor), James L. Rash (Editor), Walter F. Truszkowski (Editor), Christopher Rouff (Editor), Diana Gordon-Spears (Editor)
#2699 in Series
Paperback $54.99
Title: Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers, Author: Michael G. Hinchey
QUICK ADD
Formal Approaches to…
by Michael G. Hinchey (Editor), James L. Rash (Editor), Walter F. Truszkowski (Editor), Christopher A. Rouff (Editor)
#3228 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, Author: José Luiz Fiadeiro
QUICK ADD
Formal Aspects of Component…
by José Luiz Fiadeiro (Editor), Zhiming Liu (Editor), Jinyun Xue (Editor)
#8348 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, Author: Ivan Lanese
QUICK ADD
Formal Aspects of Component…
by Ivan Lanese (Editor), Eric Madelaine (Editor)
#8997 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, Author: Christiano Braga
QUICK ADD
Formal Aspects of Component…
by Christiano Braga (Editor), Peter Csaba Ölveczky (Editor)
#9539 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, Author: Olga Kouchnarenko
QUICK ADD
Formal Aspects of Component…
by Olga Kouchnarenko (Editor), Ramtin Khosravi (Editor)
#10231 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings, Author: José Proença
QUICK ADD
Formal Aspects of Component…
by José Proença (Editor), Markus Lumpe (Editor)
#10487 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings, Author: Kyungmin Bae
QUICK ADD
Formal Aspects of Component…
by Kyungmin Bae (Editor), Peter Csaba ïlveczky (Editor)
#11222 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, Author: Farhad Arbab
QUICK ADD
Formal Aspects of Component…
by Farhad Arbab (Editor), Sung-Shik Jongmans (Editor)
#12018 in Series
Paperback $54.99

Pagination Links