Browse Results

Showing 31,151 through 31,175 of 82,196 results
Title Author ISBN Copyright Features Action
Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers (Lecture Notes in Computer Science #3997) 4620287 Wolfgang Grieskamp Carsten Weise 9783540344551 2006
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 (Lecture Notes in Computer Science #2931) 4626021 Andreas Ulrich 9783540246176 2004
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers (Lecture Notes in Computer Science #4262) 4791390 Klaus Havelund Manuel Núnez Grigore Rosu Burkhart Wolff 9783540497035 2006
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers (Lecture Notes in Computer Science #5983) 4751881 Pierpaolo Degano Joshua D. Guttman 9783642124594 2010
Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers (Lecture Notes in Computer Science #5491) 4779172 Pierpaolo Degano Joshua D. Guttman Fabio Martinelli 9783642014659 2009
Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France (IFIP Advances in Information and Communication Technology #173) 3819326 Theo Dimitrakos Fabio Martinelli 9780387240985 2005
Formal Aspects in Security and Trust: Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers (Lecture Notes in Computer Science #3866) 4694991 Theo Dimitrakos Fabio Martinelli Peter Y. A. Ryan Steve Schneider 9783540326298 2006
Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers (Lecture Notes in Computer Science #4691) 4789704 Theo Dimitrakos Fabio Martinelli Peter Y. A. Ryan Steve Schneider 9783540752271 2007
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings (Lecture Notes in Computer Science #12018) 3101818 Farhad Arbab Sung-Shik Jongmans 9783030409142 2020 Contains images
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science #7253) 4731445 Farhad Arbab Peter Csaba Ölveczky 9783642357435 2012
Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, Proceedings (Lecture Notes in Computer Science #11222) 2241729 Kyungmin Bae Peter Csaba Ölveczky 9783030021467 2018 Contains images
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers (Lecture Notes in Computer Science #6921) 4805607 Luis Soares Barbosa Markus Lumpe 9783642272691 2012
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (Lecture Notes in Computer Science #9539) 2838906 Christiano Braga Peter Csaba Ölveczky 9783319289342 2016 Contains images
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers (Lecture Notes in Computer Science #14485) 5887803 Javier Cámara Sung-Shik Jongmans 9783031521836 2024 Contains images
Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Lecture Notes in Computer Science #8348) 2809316 José Luiz Fiadeiro Zhiming Liu Jinyun Xue 9783319076027 2014 Contains images
Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers (Lecture Notes in Computer Science #10231) 2243678 Olga Kouchnarenko Ramtin Khosravi 9783319576664 2017 Contains images
Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Lecture Notes in Computer Science #8997) 2826308 Ivan Lanese Eric Madelaine 9783319153179 2015 Contains images
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Lecture Notes in Computer Science #7684) 4813749 Corina S. Pasareanu Gwen Salaün 9783642358616 2013
Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings (Lecture Notes in Computer Science #10487) 2253042 José Proença Markus Lumpe 9783319680347 2017 Contains images
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings (Lecture Notes in Computer Science #13077) 4346785 Gwen Salaün Anton Wijs 9783030906368 2021 Contains images
Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings (Lecture Notes in Computer Science #13712) 4971634 Silvia Lizeth Tapia Tarifa José Proença 9783031208720 2022 Contains images
Formal Aspects of Context (Applied Logic Series #20) 4695968 Pierre Bonzon Marcos Cavalcanti Rolf Nossum 9789401593977 2000
Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 (Workshops in Computing) 3861564 Tim Denvir Rosalind Herman Robin Whitty 9781447132059 1992
Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers (Lecture Notes in Computer Science #2629) 4829130 Ali E. Abdallah Peter Ryan Steve Schneider 9783540409816 2003
Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers (Lecture Notes in Computer Science #7140) 4617238 Gilles Barthe Anupam Datta Sandro Etalle 9783642294204 2012

Refine Search

Showing 31,151 through 31,175 of 82,196 results