Cargando…

Formal languages and computation : models and their applications

Detalles Bibliográficos
Autor principal:	Meduna, Alexander
Lenguaje:	eng
Publicado:	CRC Press 2014
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/1749187

Ejemplares similares

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

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)

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)

Models of computation and formal languages /
por: Taylor, Ralph Gregory
Publicado: (1998)

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

Joint Conference of the 8th Asian Conference on Language, Information and Computation and the 2nd Pacific Asia Conference on Formal and Computational Linguistics
Publicado: (1994)

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

PhD/Young Researcher Workshop on Natural Language Generation : Formal Elegance and Natural Complexity in Morphology
Publicado: (1997)

Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
por: Boldo, Sylvie, et al.
Publicado: (2017)

Natural language processing and computational linguistics 2: semantics, discourse and applications
por: Kurdi, Mohamed Zakaria
Publicado: (2017)

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

5th IFIP International Conference on Computer Hardware Description Languages and their Applications
por: Breuer, Melvin A, et al.
Publicado: (1981)

7th IFIP International Conference on Computer Hardware Description Languages and their Applications
por: Koomen, Cees Jan, et al.
Publicado: (1985)

Services computing for language resources
por: Murakami, Yohei, et al.
Publicado: (2018)

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

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

Workshop on Languages and Compilers for Parallel Computing
por: Gelernter, David, et al.
Publicado: (1990)

Seminar on Computing as a Language of Physics
por: Collective
Publicado: (1972)

Meeting on Computational Natural Language Learning
Publicado: (1997)

Introduction to automata theory, languages, and computation
por: Hopcroft, John E, et al.
Publicado: (2007)

Computational methods for integrating vision and language
por: Barnard, Kobus, et al.
Publicado: (2011)

Foundations of computational linguistics, human-computer communication in natural language
por: Hausser, Roland
Publicado: (2001)

IFIP Working Conference on Formal Models and Practical Tools for Information Systems Design
por: Schneider, H J
Publicado: (1979)

Speech and language processing: an introduction to natural language processing, computational linguistics, and speech recognition
por: Jurafsky, Daniel, et al.
Publicado: (2000)

Computer programming: a mixed language approach
por: Stein, Marvin L, et al.
Publicado: (1964)

Code: the hidden language of computer hardware and software
por: Petzold, Charles
Publicado: (2000)

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

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)

Natural language understanding and intelligent applications: 5th CCF conference on natural language processing and chinese computing, NKPCC 2016, and 24th international conference on computer processing of oriental languages, ICCPOL 2016, Kunming, China, December 2-6, 2016, proceedings
por: Lin, Chin-Yew, et al.
Publicado: (2016)

High-level languages and software applications
por: Hayfield, Nancy, et al.
Publicado: (1989)

Object-oriented languages, systems and applications
por: Gallagher, John S, et al.
Publicado: (1991)

15th Workshop on Languages and Compilers for Parallel Computing
por: Pugh, Bill, et al.
Publicado: (2005)

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)

Cannot write session to /tmp/vufind_sessions/sess_r52690bv11j31qj9o0jl3hhfpm