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 |
|
|
Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers (Lecture Notes in Computer Science #6561)
4739461
|
Pierpaolo Degano
Sandro Etalle
Joshua Guttman
|
9783642197512 |
2011 |
|
|
The Formal Complexity of Natural Language (Studies in Linguistics and Philosophy #33)
4718432
|
W. J. Savitch
E. Bach
W. E. Marsh
Gila Safran-Naveh
|
9789400934016 |
1987 |
|
|
Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings (Lecture Notes in Computer Science #9113)
2828873
|
Jaume Baixeries
Christian Sacarea
Manuel Ojeda-Aciego
|
9783319195452 |
2015 |
Contains images
|
|
Formal Concept Analysis: 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021, Proceedings (Lecture Notes in Computer Science #12733)
4133992
|
Agnès Braud
Aleksey Buzmakov
Tom Hanika
Florence Le Ber
|
9783030778675 |
2021 |
Contains images
|
|
Formal Concept Analysis: 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings (Lecture Notes in Computer Science #7880)
4737337
|
Peggy Cellier
Felix Distel
Bernhard Ganter
|
9783642383175 |
2013 |
|
|
Formal Concept Analysis: 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, Proceedings (Lecture Notes in Computer Science #11511)
5926253
|
Diana Cristea
Florence Le Ber
Baris Sertkaya
|
9783030214623 |
2019 |
Contains images
|
|
Formal Concept Analysis: 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings (Lecture Notes in Computer Science #7278)
4674107
|
Florent Domenach
Dmitry Ignatov
Jonas Poelmans
|
9783642298929 |
2012 |
|
|
Formal Concept Analysis: 17th International Conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023, Proceedings (Lecture Notes in Computer Science #13934)
5925913
|
Dominik Dürrschnabel
Domingo López Rodríguez
|
9783031359491 |
2023 |
Contains images
|
|
Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings (Lecture Notes in Computer Science #5548)
4705368
|
Sébastien Ferré
Sebastian Rudolph
|
9783642018152 |
2009 |
|
|
Formal Concept Analysis: Foundations and Applications (Lecture Notes in Computer Science #3626)
4807303
|
Bernhard Ganter
Gerd Stumme
Rudolf Wille
|
9783540318811 |
2005 |
|
|