Cargando…

Introduction to formal grammars

Detalles Bibliográficos
Autores principales:	Gross, Maurice, Lentin, André
Lenguaje:	eng
Publicado:	Springer 1970
Materias:	Computing and Computers
Acceso en línea:	https://dx.doi.org/10.1007/978-3-642-87129-0 http://cds.cern.ch/record/112103

Ejemplares similares

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

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

Types & grammar
por: Simpson, Kyle
Publicado: (2015)

Logic as grammar
por: Hornstein, Norbert
Publicado: (1984)

Robot operating system for absolute beginners: robotics programming made easy
por: Lentin, Joseph
Publicado: (2018)

ROS robotics projects: build a variety of awesome robots that can see, sense, move, and do a lot more using the powerful Robot Operating System
por: Joseph, Lentin
Publicado: (2017)

Learning robotics using Python: design, simulate, program, and prototype an autonomous mobile robot using ROS, OpenCV, PCL, and Python
por: Joseph, Lentin
Publicado: (2018)

Mastering ROS for robotics programming: design, build, and simulate complex robots using Robot Operating System and master its out-of-the-box functionalities
por: Joseph, Lentin
Publicado: (2015)

Learning robotics using Python
por: Joseph, Lentin
Publicado: (2015)

Handbook of graph grammars and computing by graph transformation
por: Ehrig, H, et al.
Publicado: (1999)

Handbook of graph grammars and computing by graph transformation
por: Rozenberg, G
Publicado: (1997)

Mastering ROS for robotics programming: design, build, and simulate complex robots using Robot Operating System
por: Joseph, Lentin, et al.
Publicado: (2018)

International Lexical Functional Grammar Conference : LFG '98
Publicado: (1998)

Workshop on Computational Environments for Grammar Development and Linguistic Engineering
Publicado: (1997)

Parsing with Perl 6 regexes and grammars: a recursive descent into parsing
por: Lenz, Moritz
Publicado: (2017)

FileMaker 12: developer reference : functions, scripts, commands, and grammars
por: Bowers, Bob
Publicado: (2013)

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)

Automatentheorie und formale Sprachen
por: Hotz, Günter, et al.
Publicado: (1968)

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

ROS programming: build powerful robots : design, build, and simulate complex robots using the Robot Operating System
por: Mahtani, Anil, et al.
Publicado: (2018)

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

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)

FileMaker 9 developer reference: functions, scripts, commands, and grammars, with extensive custom function examples
por: Bowers, Bob, et al.
Publicado: (2007)

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)

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)

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)

Cannot write session to /tmp/vufind_sessions/sess_eoijda5bcbm8miekrun9qv445o