Browse Results

Showing 32,726 through 32,750 of 85,064 results
Title Author ISBN Copyright Features Action
Formal Techniques for Distributed Objects, Components, and Systems: 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings (Lecture Notes in Computer Science #14678) 6058482 Valentina Castiglioni Adrian Francalanza 9783031626456 2024 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings (Lecture Notes in Computer Science #12136) 3558536 Alexey Gotsman Ana Sokolova 9783030500863 2020 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings (Lecture Notes in Computer Science #9039) 2828683 Susanne Graf Mahesh Viswanathan 9783319191959 2015
Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings (Lecture Notes in Computer Science #13910) 5386409 Marieke Huisman António Ravara 9783031353550 2023 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings (Lecture Notes in Computer Science #13273) 4793565 Mohammad Reza Mousavi Anna Philippou 9783031086793 2022 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings (Lecture Notes in Computer Science #11535) 2791902 Jorge A. Pérez Nobuko Yoshida 9783030217594 2019 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings (Lecture Notes in Computer Science #12719) 4147060 Kirstin Peters Tim A. C. Willemse 9783030780890 2021 Contains images
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings (Lecture Notes in Computer Science #7892) 4614906 Dirk Beyer Michele Boreale 9783642385926 2013
Formal Techniques for Distributed Systems: 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 (Lecture Notes in Computer Science #6722) 4731099 Roberto Bruni Juergen Dingel 9783642214615 2011
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 (Lecture Notes in Computer Science #7273) 4771368 Holger Giese Grigore Rosu 9783642307935 2012
Formal Techniques for Distributed Systems: 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 (Lecture Notes in Computer Science #6117) 4812761 John Hatcliff Elena Zucca 9783642134647 2010
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 (Lecture Notes in Computer Science #5522) 4770906 David Lee Antonia Lopes Arnd Poetzsch-Heffter 9783642021381 2009
Formal Techniques for Networked and Distributed Systems: FORTE 2001 (IFIP Advances in Information and Communication Technology #69) 3715817 Myungchul Myungchul Kim Byoungmoon Byoungmoon Chin Sungwon Sungwon Kang Danhyung Danhyung Lee 9780306470035 2001
Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings (Lecture Notes in Computer Science #5048) 4666190 Kenji Suzuki Teruo Higashino Keiichi Yasumoto Khaled El-Fakih 9783540688556 2008
Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings (Lecture Notes in Computer Science #2529) 4804386 Doron A. Peled Moshe Y. Vardi 9783540361350 2002
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 (Lecture Notes in Computer Science #2767) 4615321 Hartmut König Monika Heiner Adam Wolisz 9783540399797 2003
Formal Techniques for Networked and Distributed Systems - FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings (Lecture Notes in Computer Science #3235) 4832282 David De Frutos-Escrig Manuel Nunez 9783540302322 2004
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings (Lecture Notes in Computer Science #3731) 4728287 Farn Wang 9783540320845 2005
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings (Lecture Notes in Computer Science #4229) 4811738 Elie Najm Jean-Francois Pradat-Peyre Véronique Viguié Donzeau-Gouge 9783540462200 2006
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science #4574) 4779560 John Derrick Jüri Vain 9783540731962 2007
Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Communications in Computer and Information Science #694) 2240430 Cyrille Artho Peter Csaba Ölveczky 9783319539461 2017 Contains images
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers (Communications in Computer and Information Science #1008) 2483717 Cyrille Artho Peter Csaba Ölveczky 9783030129880 2019 Contains images
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers (Communications in Computer and Information Science #419) 2803428 Cyrille Artho Peter Csaba Ölveczky 9783319054162 2014 Contains images
Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers (Communications in Computer and Information Science #476) 2827661 Cyrille Artho Peter Csaba Ölveczky 9783319175812 2015 Contains images
Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers (Communications in Computer and Information Science #596) 2839216 Cyrille Artho Peter Csaba Ölveczky 9783319295107 2016 Contains images

Refine Search

Showing 32,726 through 32,750 of 85,064 results