Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

langage formel (logique)

Subject

Browse all works related to langage formel (logique).

Home
Subject
langage formel (logique)

"10" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Formal modeling and analysis of timed systems

Formal modeling and analysis of timed systems: 9th international conference, FORMATS 2011, Aalbo…

by Fahrenberg, Uli, Tripakis, Stavros, FORMATS 2011, Aalborg, DK)

fromLecture Notes in Computer Science

0 Type: Book

Formal techniques for distributed systems

Formal techniques for distributed systems: joint 13th IFIP WG 6.1 international conference, …

by Bruni, Roberto, Dingel, Juergen, IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, Reykjavik), IFIP International Conference on Formal Techniques for Networked and Distributed Systems, Reykjavik)

fromLecture Notes in Computer Science

0 Type: Book

Handbook of spatial logics

Handbook of spatial logics

0 Type: Book

Formal specification of programming languages

Formal specification of programming languages: a panoramic primer

by Pagan, Frank G.

fromPrentice Hall software series

0 Type: Book

Theory of formal languages with applications

Theory of formal languages with applications

by Simovici, Dan A., Tenney, Richard L.

0 Type: Book

Formal modeling and analysis of timed systems

Formal modeling and analysis of timed systems: 7th international conference, FORMATS 2009, Budap…

by Ouaknine, Joël, Vaandrager, Frits W., International Conference on Formal Modeling and Analysis of Timed Systems

fromLecture Notes in Computer Science

0 Type: Book

Quantifiers in language and logic

Quantifiers in language and logic

by Peters, Stanley, Westerståhl, Dag

0 Type: Book

Formal methods for concurrency

Formal methods for concurrency

by Fencott, Clive

0 Type: Book

Algebraic theory of automata and languages

Algebraic theory of automata and languages

by Itō, Masami

0 Type: Book

Introduction to languages, machines and logic

Introduction to languages, machines and logic: computable languages, abstract machines and forma…

by Parkes, Alan

0 Type: Book

Subjects

langage formel (logique) (10) Langages formels (4) automate (informatique) (4) Informatique (3) Machine Theory (3) logique formelle (3) théorie des langages (informa… (3) Automates temporels -- Congrès (2) Computer simulation -- Congre… (2) Formal languages (2) Formal methods (Computer scie… (2) Formal methods (Computer scie… (2) Langage (2) Logique temporelle -- Congrès (2) Méthodes formelles (Informati… (2) Méthodes formelles (informati… (2) Simulation par ordinateur -- … (2) Temporal automata (2) Temporal automata -- Congress… (2) Théorie des automates (2) computer simulation (2) langage de spécification (inf… (2) système en temps réel (2) Analyse spatiale (1) Automate (1) Automates mathématiques, Théo… (1) Automates mathématiques, Théo… (1) Automates temporisés (1) Computer Communication Networ… (1) Computer Science (1) Conception technique simultan… (1) Electronic Data Processing (1) Formale Sprache (1) Grammar, Comparative and gene… (1) Génie logiciel (1) Langage et logique (1) Langage formel (1) Langages de programmation (1) Language and logic (1) Logic design (1) Logique informatique (1) Logique symbolique et mathéma… (1) Logique temporelle (1) Machine theory -- Congresses (1) Programmation (1) Quantificateurs (Linguistique) (1) Quantifieurs (linguistique) (1) Réseaux d'ordinateurs (1) Software Engineering (1) Structure logique (1) Structure logique -- Congrès (1) Système informatique concurre… (1) Systèmes d'exploitation répar… (1) Sémantique (1) Théorie des automates -- Cong… (1) Traitement réparti (1) algèbre -- automate (informat… (1) analyse spatiale -- manuel. -… (1) automate (informatique) -- co… (1) calculabilité (1) data processing (1) informatique distribuée (1) langage de programmation (1) langage de programmation -- l… (1) langage formel (logique) -- c… (1) langage formel (logique) -- l… (1) langage formel (logique) -- m… (1) langage formelle (1) langage naturel (1) logique formelle -- congrès. … (1) multitraitement (1) quantification (logique) (1) réseau informatique (1) semantics (1) theorie de la machine (1) théorie algébrique (1) théorie groupe (1)

Contributor

Bruni, Roberto (1) Dingel, Juergen (1) FORMATS 2011, Aalborg, DK) (1) Fahrenberg, Uli (1) Fencott, Clive (1) IFIP International Conference… (1) IFIP International Conference… (1) International Conference on F… (1) Itō, Masami (1) Ouaknine, Joël (1) Pagan, Frank G. (1) Parkes, Alan (1) Peters, Stanley (1) Simovici, Dan A. (1) Tenney, Richard L. (1) Tripakis, Stavros (1) Vaandrager, Frits W. (1) Westerståhl, Dag (1)

Publisher

Springer (5) World Scientific (2) Clarendon Press (1) International Thomson Compute… (1) Oxford University Press (1) Prentice Hall (1)

Year

2011 (2) 2009 (1) 2007 (1) 2006 (1) 2004 (1) 2002 (1) 1999 (1) 1996 (1) 1981 (1)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type