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

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 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
ανά: Aldini, Alessandro
Έκδοση: (2010)

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

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

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

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

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

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

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

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

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

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

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

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

Formal logic its scope and limits
ανά: Jeffrey, Richard
Έκδοση: (1991)

Phenomenology and the formal science
Έκδοση: (1991)

The formal theory of grammar
ανά: Kimball, John P.
Έκδοση: (1973)

Introduction to Formal languages
ανά: Revesz, Gyorgy E.
Έκδοση: (1985)

Commutative formal groups /
ανά: Lazard, Michel, 1924-
Έκδοση: (1975)

Formal groups and applications /
ανά: Hazewinkel, Michiel
Έκδοση: (1978)

Handbook of formal languages
Έκδοση: (1997)

Hanbook of formal languages
Έκδοση: (1997)

Handbook of formal languages
Έκδοση: (1997)

Formal and transcedental logic
ανά: Husserl, Edmund, 1859-1938
Έκδοση: (1969)

Ancient formal logic /
ανά: Bochenski, Joseph M., 1902-1995
Έκδοση: (1963)

The elements of formal logic /
ανά: Hughes, G. E.
Έκδοση: (1965)

Practical Aspects of Computational Chemistry Methods, Concepts and Applications
ανά: Leszczynski, Jerzy
Έκδοση: (2010)

Formalism in ethics and non-formal ethics of values : a new attempt toward the foundation of an ethical personalism /
ανά: Scheler, Max 1874-1928
Έκδοση: (1973)

Thermodynamic formalism : the mathematical structures of classical equilibrium statistical mechanics /
ανά: Ruelle, David
Έκδοση: (1978)

Formal causes : definition, explanation, and primacy in Socratic and Aristotelian thought /
ανά: Ferejohn, Michael T., 1945-

Formal concept analysis mathematical foundations
ανά: Ganter, Bernhard
Έκδοση: (1999)

Introduction to formal grammars : with 75 figures /
ανά: Gross, Maurice, 1934-
Έκδοση: (1970)

Aspect an introduction to the study of verbal aspect and related problems
ανά: Comrie, Bernard (1947-)
Έκδοση: (1976)

Elementary formal logic a programmed course
ανά: Hamblin, C.L. (Charles Leonard) 1922-1985
Έκδοση: (1966)

Linguistics and the formal sciences : the origins of generative grammar /
ανά: Tomalin, Marcus
Έκδοση: (2006)

Formal hardware verification : methods and systems in comparison /
Έκδοση: (1997)

Theory of formal systems / Smullyan Raymond M.
ανά: Smullyan, Raymond M.
Έκδοση: (1961)

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