Browse Results

Showing 32,601 through 32,625 of 85,016 results
Title Author ISBN Copyright Features Action
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture Notes in Computer Science #6371) 4708288 Stefan Kowalewski Marco Roveri 9783642158988 2010
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Lecture Notes in Computer Science #12863) 4239066 Alberto Lluch Lafuente Anastasia Mavridou 9783030852481 2021 Contains images
Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Lecture Notes in Computer Science #8718) 2814444 Édéric Lang Francesco Flammini 9783319107028 2014
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science #11687) 4773439 Kim Guldstrand Larsen Tim Willemse 9783030270087 2019 Contains images
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (Lecture Notes in Computer Science #4916) 4687727 Stefan Leue Pedro Merino 9783540797074 2008
Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings (Lecture Notes in Computer Science #12327) 5886184 Maurice H. ter Beek Dejan Ničković 9783030582982 2020 Contains images
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science #9128) 2828828 Manuel Nunez Matthias Güdemann 9783319194585 2015
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes in Computer Science #6959) 4783347 Gwen Salaün Bernhard Schätz 9783642244315 2011
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science #7437) 4589896 Mariëlle Stoelinga Ralf Pinger 9783642324697 2012
Formal Methods for Mining Structured Objects (Studies in Computational Intelligence #475) 4628648 Gemma C Garriga 9783642366819 2013
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (Lecture Notes in Computer Science #3465) 4735210 Marco Bernardo Alessandro Bogliolo 9783540320210 2005
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures (Lecture Notes in Computer Science #7320) 4675209 Marco Bernardo Vittorio Cortellessa Alfonso Pierantonio 9783642309823 2012
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures (Lecture Notes in Computer Science #9104) 2828554 Marco Bernardo Einar Broch Johnsen 9783319189413 2015 Contains images
Formal Methods for Nonmonotonic and Related Logics 2296991 Karl Schlechta 9783319896502 2018
Formal Methods for Nonmonotonic and Related Logics 2296992 Karl Schlechta 9783319896533 2018
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings (Lecture Notes in Computer Science #5051) 4808023 Gilles Barthe 9783540688631 2008
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science #4468) 4678184 Marcello M. Bonsangue Einar Broch Johnsen 9783540729525 2007
Formal Methods for Open Object-based Distributed Systems: Volume 2 (IFIP Advances in Information and Communication Technology) 3821622 Howard Bowman John Derrick 9780387352619 1997
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 (IFIP Advances in Information and Communication Technology #10) 3726689 Paolo Ciancarini Alessandro Fantechi Roberto Gorrieri 9780387355627 1999
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Lecture Notes in Computer Science #4037) 4772696 Roberto Gorrieri Heike Wehrheim 9783540348955 2006
Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings (Lecture Notes in Computer Science #2884) 4656382 Elie Najm Uwe Nestmann Perdita Stevens 9783540399582 2003
Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology) 3726682 Elie Najm Jean-Bernard Stefani 9780387350820 1997
Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings (Lecture Notes in Computer Science #3535) 4801531 Martin Steffen Gianluigi Zavattaro 9783540315568 2005
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA (IFIP Advances in Information and Communication Technology #49) 3821789 Scott F. Smith Carolyn L. Talcott 9780387355207 2000
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands (IFIP Advances in Information and Communication Technology #81) 3821753 Bart Jacobs Arend Rensink 9780387354965 2002

Refine Search

Showing 32,601 through 32,625 of 85,016 results