| 7241 |
Formal Methods and Software Engineering electronic resource : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings / edited by Chris George, Huaikou Miao
|
China) International Conference on Formal Engineering Methods Shanghai
|
uuuu-uuuu |
Okänt |
| 7242 |
Formal Methods and Software Engineering electronic resource : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / edited by Jin Song Dong, Jim Woodcock
|
International Conference on Formal Engineering Methods Singapore) 2003 : (5th
|
uuuu-uuuu |
Okänt |
| 7243 |
Formal Grammar electronic resource : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers / edited by Philippe de Groote, Markus Egg, Laura Kallmeyer
|
France) 2009 : (14th International Conference on Formal Grammar Bordeaux
|
uuuu-uuuu |
Okänt |
| 7244 |
Formal Techniques for Distributed Systems electronic resource : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / edited by John Hatcliff, Elena Zucca
|
Netherlands) 2010 : (12th International Conference on Formal Methods for Open Object-Based Distributed Systems Amsterdam
|
uuuu-uuuu |
Okänt |
| 7245 |
Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings / Martin Steffen, Gianluigi Zavattaro (eds.)
|
Greece) 2005 : (7th International Conference on Formal Methods for Open Object-Based Distributed Systems Athens
|
uuuu-uuuu |
Okänt |
| 7246 |
Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings / Roberto Gorrieri, Heike Wehrheim (eds.)
|
Italy) 2006 : (8th International Conference on Formal Methods for Open Object-Based Distributed Systems Bologna
|
uuuu-uuuu |
Okänt |
| 7247 |
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 / edited by Bart Jacobs, Arend Rensink
|
Netherlands) 2002 : (5th International Conference on Formal Methods for Open Object-Based Distributed Systems Enschede
|
uuuu-uuuu |
Okänt |
| 7248 |
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 / edited by Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri
|
Italy) 1999 : (3rd International Conference on Formal Methods for Open Object-Based Distributed Systems Florence
|
uuuu-uuuu |
Okänt |
| 7249 |
"Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings"
|
International Conference on Formal Methods for Open Object-Based Distributed Systems
|
2007 |
Okänt |
| 7250 |
"Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings"
|
International Conference on Formal Methods for Open Object-Based Distributed Systems
|
2006 |
Okänt |
| 7251 |
"Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6. 1 International Conference FMOODS 2009 and 29th IFIP WG 6. 1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings"
|
International Conference on Formal Methods for Open Object-Based Distributed Systems
|
2009 |
Okänt |
| 7252 |
"Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6. 1 International Conference, FMOODS 2012 and 32nd IFIP WG 6. 1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings"
|
International Conference on Formal Methods for Open Object-Based Distributed Systems
|
2012 |
Okänt |
| 7253 |
Formal Techniques for Distributed Systems electronic resource : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings / edited by David Lee, Antonia Lopes, Arnd Poetzsch-Heffter
|
Portugal) 2009 : (11th International Conference on Formal Methods for Open Object-Based Distributed Systems Lisbon
|
uuuu-uuuu |
Okänt |
| 7254 |
Formal Methods for Open Object-Based Distributed Systems electronic resource : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / edited by Gilles Barthe
|
Norway) 2008 : (10th International Conference on Formal Methods for Open Object-Based Distributed Systems Oslo
|
uuuu-uuuu |
Okänt |
| 7255 |
Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, 06-08.06.2007 : proceedings / edited by Marcello M. Bonsangue, Einar Broch Johnsen
|
Cyprus) 2007 : (9th International Conference on Formal Methods for Open Object-Based Distributed Systems Paphos
|
uuuu-uuuu |
Okänt |
| 7256 |
Formal Methods for Open Object-Based Distributed Systems electronic resource : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings / edited by Elie Najm, Uwe Nestmann, Perdita Stevens
|
France) 2003 : (6th International Conference on Formal Methods for Open Object-Based Distributed Systems Paris
|
uuuu-uuuu |
Okänt |
| 7257 |
Formal Techniques for Distributed Systems electronic resource : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings / edited by Roberto Bruni, Juergen Dingel
|
Iceland) 2011 : (31st International Conference on Formal Methods for Open Object-Based Distributed Systems Reykjavík
|
uuuu-uuuu |
Okänt |
| 7258 |
Formal Techniques for Distributed Systems electronic resource : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings / edited by Holger Giese, Grigore Rosu
|
Sweden) 2012 : (14th International Conference on Formal Methods for Open Object-Based Distributed Systems Stockholm
|
uuuu-uuuu |
Okänt |
| 7259 |
Formal ontology in information systems : collected papers from the second International Conference, October 17th-19th, 2001, the Cliff House, Ogunquit, Maine, USA
|
Me.) 2001 : (2nd International Conference on Formal Ontology in Information Systems Ogunquit
|
uuuu-uuuu |
Okänt |
| 7260 |
Formal Power Series and Algebraic Combinatorics : 12th International Conference, FPSAC’00, Moscow, Russia, June 2000, Proceedings / edited by Daniel Krob, Alexander A. Mikhalev, Alexander V. Mikhalev
|
Russia) 2000 : (12th International Conference on Formal Power Series and Algebraic Combinatorics Moscow
|
uuuu-uuuu |
Okänt |