Cargando…

Automatentheorie und formale Sprachen

Detalles Bibliográficos
Autores principales:	Hotz, Günter, Walter, Hermann
Lenguaje:	ger
Publicado:	Bibl. Inst. 1968
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/231830

Ejemplares similares

Fachseminar des German Chapter of the ACM über Intelligenztecnologie : Konzepte, Sprachen, Praktische Anwendungsmöglichkeiten
por: Collective
Publicado: (1983)

Wörterbuch des Bibliothekars in zwanzig Sprachen
por: Szily, Ernö, et al.
Publicado: (1970)

Introduction to formal grammars
por: Gross, Maurice, et al.
Publicado: (1970)

Adjektivische und verbale Farbausdrücke in den indogermanischen Sprachen mit *e-Verben : ein Beitrag zur Frage der Wortarten und zum Problem der übersetzbarkeit
por: Vermeer, Hans J. (Hans Josef), 1930-
Publicado: (1963)

An introduction to formal languages and automata
por: Linz, Peter
Publicado: (2017)

Formal languages and automata theory
por: Sunitha, K V N, et al.
Publicado: (2015)

Formal Verification of Neural Networks
por: Sommart, Thanapong
Publicado: (2023)

Formal models, languages and applications
por: Subramanian, K G, et al.
Publicado: (2006)

Formal languages and computation : models and their applications
por: Meduna, Alexander
Publicado: (2014)

Elsevier's Fachwörterbuch für Verstärkung, Modulation, Empfang und Senden in sechs Sprachen: Englisch-Amerikanisch, Französisch, Deutsch, Spanisch, Niederländisch und Italienisch
por: Clason, Willem E
Publicado: (1960)

Erkennung von Strukturen und Mustern: Grundlagen und Verfahren
por: Peipmann, Rolf
Publicado: (1976)

Algebraic formalization of smart systems: theory and practice
por: Serdyukova, Natalia, et al.
Publicado: (2018)

Introduction to automata theory, formal languages and computation
por: Kandar, Shyamalendu
Publicado: (2013)

Picture languages: formal models for picture recognition
por: Rosenfeld, Azriel
Publicado: (1979)

Interdisciplinary Conference in the Formal Aspects of Cognitive Processes
por: Storer, Thomas, et al.
Publicado: (1975)

A formal notation for hardware and software verification
por: Chapman, R, et al.
Publicado: (1986)

The handbook of formal methods in human-computer interaction
por: Weyers, Benjamin, et al.
Publicado: (2017)

SystemVerilog assertions handbook: for dynamic and formal verification
por: Cohen, Ben, et al.
Publicado: (2016)

Formal system verification: state-of the-art and future trends
por: Drechsler, Rolf
Publicado: (2017)

Subjective logic: a formalism for reasoning under uncertainty
por: Jøsang, Audun
Publicado: (2016)

IFIP Working Conference on Formal Description of Programming Concepts
por: Neuhold, Erich J
Publicado: (1978)

The automatic analysis of formal real-time system specifications
por: Quirk, W J
Publicado: (1978)

Mikroprozessoren: Grundlagen und Andwendungen
por: Judmann, K P
Publicado: (1978)

The formal description technique Estelle: results of the ESPRIT/SEDOS project
por: Díaz, Michel
Publicado: (1989)

The formal description technique LOTOS: results of the ESPRIT/SEDOS project
por: Van Eijk, Peter H J
Publicado: (1989)

IFIP Working Conference on Theoretical and Formal Aspects of Information Systems
por: Bubenko, Janis, et al.
Publicado: (1985)

PLC code generation based on a formal specification language
por: Darvas, Daniel, et al.
Publicado: (2017)

QED at large: a survey of engineering of formally verified software
por: Ringer, Talia, et al.
Publicado: (2019)

Informations- und Codierungstheorie: mathematische Grundlagen der Daten-Kompression und -Sicherung in diskreten Kommunikationssytemen
por: Heise, Werner, et al.
Publicado: (1983)

Adaptation und Lernen in kybernetischen Systemen
por: Tsypkin, Yakov Zalmanovich
Publicado: (1970)

Adaptive Prozesse und künstliche Intelligenz
por: Richard, Theodor
Publicado: (1972)

Theorie der Spulen und Uberträger
por: Feldtkeller, Richard
Publicado: (1958)

LATeX kurz und gut
por: Dalheimer, Matthias Kalle
Publicado: (1998)

Formal SQL tuning for Oracle databases: practical efficiency, efficient practice
por: Nossov, Leonid, et al.
Publicado: (2016)

Professional penetration testing: creating and operating a formal hacking lab
por: Wilhelm, Thomas
Publicado: (2009)

A formal development and validation methodology applied to agent- based systems
por: Di Marzo-Serugendo, G
Publicado: (2001)

Quantum mechanics, mathematics, cognition and action: proposals for a formalized epistemology
por: Mugur-Schächter, Mioara, et al.
Publicado: (2003)

Formal verification of floating-point hardware design: a mathematical approach
por: Russinoff, David M, et al.
Publicado: (2018)

Neue Normen und Schaltzeichen der digitalen Informationsverarbeitung: neue Normen DIN 407000 für Schaltzeichen und Symbole...
por: Bürgel, Erdmann
Publicado: (1978)

Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems
por: Darvas, Daniel
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_4sfnkhg5hbr382in9hrcb4mno1