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

Books

7 works - Books.

Home
Books

"7" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

On the sea battle tomorrow that may not happen

On the sea battle tomorrow that may not happen: a logical and philosophical analysis of the maste…

by Jarmużek, Tomasz

0 Type: Book

On the sea battle tomorrow that may not happen

On the sea battle tomorrow that may not happen: a logical and philosophical analysis of the maste…

by Jarmużek, Tomasz

0 Type: Book

Papers on time and tense

Papers on time and tense

by Prior, Arthur N., Hasle, Per, (Hasle, Per F. V.), Braüner, Torben

0 Type: Book

Formal methods and software engineering

Formal methods and software engineering: 12th International Conference on Formal Engineeri…

by International Conference on Formal Engineering Methods. <12, 2010, Shanghai>

fromLecture Notes in Computer Science

0 Type: Book

Handbook of automata theory

Handbook of automata theory

0 Type: Book

Parameterized complexity in the polynomial hierarchy

Parameterized complexity in the polynomial hierarchy: extending parameterized complexity theory to high…

by Haan, Ronald de

fromLecture Notes in Computer Science

0 Type: Book

Temporal Logic

Temporal Logic

by Rescher, Nicholas, Urquhart, Alasdair

fromLEP Library of Exact Philosophy

0 Type: Book

Subjects

temporal logic (7) Logic (3) Time (3) (Produktform)Hardback (2) (Produktform)Paperback / soft… (2) (Springer Nature Marketing Cl… (2) (Zielgruppe)Fachpublikum/ Wis… (2) Analysis (2) Argument (2) Aristoteles (2) Battle (2) Determinism (2) Diodorus Cronus (2) Fight (2) Future contigents (2) Gałecki (2) Happen (2) Jarmuzek (2) Juchacz (2) Logical (2) Master (2) Master Argument (2) Meisterargument (2) Model Checking (2) Philosophical (2) Philosophie ancienne (2) Philosophy, Ancient (2) Piotr (2) Sea-Battle Tomorrow (2) Structure of time (2) Temps (2) Tomasz (2) Tomorrow (2) semantics (2) timed automata (2) Łukasz (2) (Springer Nature Subject Code… (1) (Springer Nature Subject Code… (1) (Springer Nature Subject Coll… (1) (Springer Nature Subject Coll… (1) (VLB-WN)1510: Hardcover, Soft… (1) (VLB-WN)1520: Hardcover, Soft… (1) (VLB-WN)1621: Hardcover, Soft… (1) (VLB-WN)1632: Hardcover, Soft… (1) (Zielgruppe)Researchers and g… (1) 1520: Hardcover, Softcover / … (1) BPEL (1) Boolean circuits (1) COMPUTER PROGRAMS (1) Church's problem (1) Cobham's theorem (1) Complexity classes (1) Computational complexity (1) Computer Communication Networ… (1) Computer Science (1) Computer software (1) Descriptional Complexity (1) Descriptive set theory (1) Electronic Data Processing (1) Entscheidungsverfahren (1) Erfüllbarkeitsproblem (1) Fachpublikum/ Wissenschaft (1) Finite model theory (1) First-order logic (1) Fixed-parameter tractability (1) Formale Methode (1) Fpt-reductions (1) Free groups (1) Génie logiciel (1) HBLA: Ancient history: to c 5… (1) HIS000000: HISTORY / General (1) HIS002010: HISTORY / Ancient … (1) HIS002020: HISTORY / Ancient … (1) HP: Philosophy (1) Hardback (1) Hopcroft's algorithm (1) Identity (1) Informatique (1) Komplexitätsklasse (1) Leistungsbewertung (1) Logiciels (1) Markov Decision Processes (1) Maude (1) Megarians (1) Megarians (Greek philosophy) (1) Mégariques (1) Natural Language Processing (1) Necessity (1) Necessity (Philosophy) (1) Nécessité (Philosophie) (1) OWL (1) PHI000000 (1) Paperback / softback (1) Parametrisierte Komplexität (1) Performance analysis (1) Polynomial Hierarchy (1) Polynomialzeitalgorithmus (1) Programmanalyse (1) Programmverifikation (1) Proof (1) REL102000: RELIGION / Theology (1) Research (1) SAT solving (1) Semantic Web (1) Service composition (1) Serviceorientierte Architektur (1) Software Engineering (1) Softwareentwicklung (1) Softwaretest (1) Stallings automata (1) Subexponential-time complexity (1) Symbolic dynamics (1) Symbolic logic (1) Web services (1) algebraic specification (1) algorithmic learning (1) answer-set programming (1) automata (1) automata on infinite words (1) automata on trees (1) automated reasoning (1) automated verification (1) automatic groups (1) automatic sequences (1) automatic translation (1) behavioral specification (1) bounded model checking (1) branching time logic (1) case analysis (1) combined domain (1) communicating automata (1) component-based sysetms (1) constraint automata (1) data processing (1) decision procedure (1) deklarative Programmierung (1) distributed synthesis (1) equational theories (1) equational theory (1) finite automata (1) finite transducers (1) forest algebras (1) formatl verification (1) fractal image generation (1) infinite-state systems (1) language equations (1) lightweight formal methods (1) modal logic (1) numeration systems (1) open systems (1) parameterised verification (1) parameterized complexity (1) philosophical logic (1) picture languages (1) process algebra (1) profinite topology (1) program analysis (1) program verificationq (1) quantum finite automata (1) recursion schemes (1) regular expressions (1) regular languages (1) rewrite theory (1) road colouring problem (1) safety-critical systems (1) satisfiability (1) self-similar groups (1) software (1) software maintenance (1) software quality (1) statis program analysis (1) structural induction (1) symmetry reduction (1) synchronizing automata (1) synchronous automata (1) varieties of languages (1) verification (1) weighted automata (1)

Contributor

Jarmużek, Tomasz (2) Braüner, Torben (1) Haan, Ronald de (1) Hasle, Per, (Hasle, Per F. V.) (1) International Conference on F… (1) Prior, Arthur N. (1) Rescher, Nicholas (1) Urquhart, Alasdair (1)

Publisher

Springer (3) Peter Lang (2) Peter Lang GmbH (2) EMS Press (1) European Mathematical Society… (1) Oxford University Press (1) Springer Wien (1) Springer-Verlag (1) Springer-Verlag GmbH (1)

Year

2021 (1) 2019 (1) 2018 (2) 2010 (1) 2002 (1) 1972 (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