QR-Code

Katalogkunde. Formalkataloge und formale Ordnungsmethoden /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Haller, Klaus
Format:	Buch
Sprache:	Deutsch
Veröffentlicht:	München : K. G. Saur, 1980
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Formale Sprachen /
von: Salomaa, Arto K.
Veröffentlicht: (1978)

Mikroarchitekturen und Mikroprogrammierung. Formale Beschreibung und Optimierung /
von: Bode, Arnolt
Veröffentlicht: (1984)

Theory of formal systems /
von: Smullyan, Raymond M.
Veröffentlicht: (1961)

Formalization of natural languages /
von: Kümmel, Peter
Veröffentlicht: (1979)

Introduction to Formal Philosophy
Veröffentlicht: (2018)

Thermodynamic formalism : the mathematical structures of classical equilibrium, statistical mechanics /
von: Ruelle, David
Veröffentlicht: (1978)

AN INTRODUCTION TO FORMAL LANGUAGE THEORY /
von: Moll, Robert N.
Veröffentlicht: (1988)

A FORMALISM FOR CONCURENT PROCESSES /
von: Kaldewaij, Anne
Veröffentlicht: (1986)

Connecting informal and formal mathematics /
von: Elbers, Hugo Johannes
Veröffentlicht: (1998)

Formal foundations of correct programming /
von: Novitzká, Valerie
Veröffentlicht: (1999)

Formal semantics of programming languages /
Veröffentlicht: (1972)

Automata theory and formal languages /
Veröffentlicht: (1975)

Einführung in die theoretische Informatik. Formale Sprachen und Automatentheorie /
von: Hedtstück, Ulrich
Veröffentlicht: (2000)

Formal System Verification State-of the-Art and Future Trends /
Veröffentlicht: (2018)

Algebraische Theorie abstrakter Automaten, formaler Sprachen und Halbgruppen /
Veröffentlicht: (1973)

Formal techniques in artificial intelligence : A sourcebook /
von: Avenhaus, J.
Veröffentlicht: (1990)

Algebraic Formalization of Smart Systems Theory and Practice /
von: Serdyukova, Natalia
Veröffentlicht: (2018)

Towards a formal description of ADA /
von: Bundgaard, Jorgen
Veröffentlicht: (1980)

A formal approach to hardware design /
von: Staunstrup, Jorgen
Veröffentlicht: (1994)

Formal specification and analysis of industrial systems /
von: Bos, Victor
Veröffentlicht: (2002)

Simple program schemes and formal languages /
von: Engelfriet, Joost
Veröffentlicht: (1974)

Elementary computability, formal languages, and automata /
von: MacNaughton, Robert
Veröffentlicht: (1982)

Swarm Robotics: A Formal Approach
von: Hamann, Heiko
Veröffentlicht: (2018)

Formal Approach to the Metaphysics of Perspectives Points of View as Access /
von: Colomina-Almiñana, Juan J.
Veröffentlicht: (2018)

Formal Methods for Safety and Security Case Studies for Aerospace Applications /
Veröffentlicht: (2018)

Formalization of programming concepts : international colloquium, proceedings, Penisola, Spain, April 19-25, 1981 /
von: Backus, John
Veröffentlicht: (1981)

Mathematical logic and formalized theories : a survey of basic concepts and results /
von: Rogers, Robert
Veröffentlicht: (1974)

Über eine deterministische theorie formaler sprachen /
von: Henke, F. W. v.
Veröffentlicht: (1972)

Formal aspects of cognitive processes : interdisciplinary conference Ann Arbor, March 1972 /
von: Storer, Thomas
Veröffentlicht: (1975)

Formal language theory. Perspectives and open problems /
von: Ginsburg, Seymour
Veröffentlicht: (1980)

Mural. A formal development support system /
von: Jones, Clifford Bryn
Veröffentlicht: (1991)

Recognising non-formal and informal learning : outcomes, policies and practices /
von: Werquin, Patrick
Veröffentlicht: (2010)

Formale modello für Informationssysteme : GI - Fachtagung, 24. - 26. Mai 1979, Tutzing /
von: Bauknecht, K.
Veröffentlicht: (1979)

Software engineering and formal methods : SEFM 2003, Brisbane, Australia, Sept. 22 to 27, 2003 /
von: Dromey, R. G.
Veröffentlicht: (2003)

Formal description of programming concepts Proceedings of the IFFP working conference on Formal description of programming concepts : St. Andrews, N. B., Canada Aug. 1-5, 1977 /
von: Paul, Manfred
Veröffentlicht: (1978)

Anforderungsorientierte Planung von Gebäuden mit heiz- und raumlufttechnischen Anlagen /
von: Haller, Raphael
Veröffentlicht: (2004)

FORMAL ASPECTS VLSI DESIGN : Proceedings of the 1985 Edinburgh workshop on VLSI, Edinburgh, Scotland, U. K., /
von: Milne, George J.
Veröffentlicht: (1986)

Stochastic processes. Formalism and applications : Proceedings of the Winter school, Univ. of Hyderabad, India, Dec. 15 - 24, 1982 /
von: Vasudevan, R.
Veröffentlicht: (1983)

Formal models in programming : Proceedings of the IFIP TC2 working conf. on the role of abstracts models in information pocessing, Vienna, Austria, 30 Jan. - 1 Febr., 1985 /
von: Neuhold, Erich J.
Veröffentlicht: (1985)

Formal techniques for verification of complex real-time systems /
von: Geilen, Marc Constantijn Willem
Veröffentlicht: (2002)