Formal aspects of computing

Formal aspects of computing

Λεπτομέρειες βιβλιογραφικής εγγραφής
Μορφή:	Επιστημονικό περιοδικό
Γλώσσα:	English
Έκδοση:	London Springer International

Παρόμοια τεκμήρια

Formal Aspects of Computing The International Journal of Formal Methods
Έκδοση: (1990)

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 /
Έκδοση: (2005)

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
ανά: Dimitrakos, Theo
Έκδοση: (2005)

Formal Aspects of Security First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers /
Έκδοση: (2003)

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Έκδοση: (2017)

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings /
Έκδοση: (2018)

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
Έκδοση: (2015)

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
Έκδοση: (2016)

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /
Έκδοση: (2014)

Formal Aspects of Component Software 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers /
Έκδοση: (2017)

Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /
Έκδοση: (2012)

Formal Aspects in Security and Trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers /
Έκδοση: (2009)

Formal Aspects of Security and Trust 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers /
Έκδοση: (2011)

Formal Aspects in Security and Trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers /
Έκδοση: (2010)

Formal Aspects in Security and Trust Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers /
Έκδοση: (2007)

Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
Έκδοση: (2012)

Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers /
Έκδοση: (2012)

Formal Aspects in Security and Trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
ανά: Degano, Pierpaolo
Έκδοση: (2010)

Formal Aspects in Security and Trust Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers /
Έκδοση: (2006)

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
Έκδοση: (2013)

Formal aspects of object base dynamics Dagstuhl-Seminar-Report; 62 26.04.-30.04.93(9317)

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures /
Έκδοση: (2010)

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
ανά: Aldini, Alessandro
Έκδοση: (2010)

Computational Aspects of VLSI
ανά: Ullman, Jeffrey D., 1942-
Έκδοση: (1984)

Formal and Natural Computing Essays Dedicated to Grzegorz Rozenberg /
Έκδοση: (2002)

Models of computation and formal languages R. Gregory Taylor
ανά: Taylor, R. Gregory
Έκδοση: (1998)

Aspects on aspect theory and applications of grammatical aspect in spanish
ανά: Gonzalez, Paz 1973-
Έκδοση: (2003)

Experimental Aspects of Quantum Computing
Έκδοση: (2005)

Experimental Aspects of Quantum Computing
ανά: Everitt, Henry O.
Έκδοση: (2005)

Experimental aspects of quantum computing /
ανά: Everitt, Henry O.
Έκδοση: (2005)

Formal Matrices
ανά: Krylov, Piotr, κ.ά.
Έκδοση: (2017)

Formal ontology /
Έκδοση: (1996)

Formal groups /
ανά: Fröhlich, A. (Albrecht), 1916-
Έκδοση: (1968)

Formal syntax
Έκδοση: (1977)

Formal Languages
ανά: Salomaa, Arto
Έκδοση: (1973)

Formal Languages
ανά: Book, Ronald V., κ.ά.
Έκδοση: (1973)

Formal Methods An Appetizer /
ανά: Nielson, Flemming, κ.ά.
Έκδοση: (2019)

Formal semantics : an introduction /
ανά: Cann, Ronnie
Έκδοση: (1993)

The Handbook of Formal Methods in Human-Computer Interaction
Έκδοση: (2017)

Theory of computation formal languages, automata, and complexity
ανά: Brookshear, J. Glenn
Έκδοση: (1989)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών