Suchergebnisse für temporal logic

Suche verfeinern

Omni badge Interval Temporal Logic

Propositional calculus, First-order logic, Temporal logic

Allgemeine und Vergleichende Sprachwissenschaft

Dign Press (12.10.2011) - ISBN-13: 978-613-7-38990-4

34,00 €
Omni badge Inductive Temporal Logic Programming

Learning Temporal Logic Programs from Examples

Programmiersprachen

Südwestdeutscher Verlag für Hochschulschriften (31.10.2010) - ISBN-13: 978-3-8381-2149-9

Omni badge Temporal Logic Mathematik

Betascript Publishing (07.06.2010) - ISBN-13: 978-613-0-34970-7

29,00 €
Omni badge Temporal Logic from the Chronicles Paradigm:

learning and reasoning problems, and its applications in Distributed Systems

Informatik, EDV

LAP LAMBERT Academic Publishing (28.09.2011) - ISBN-13: 978-3-8465-0663-9

49,00 €
Omni badge Extending Temporal Logic with Omega-automata

The Automata Theoretic Techniques behind PSL Model Checking

Informatik

LAP LAMBERT Academic Publishing (21.10.2009) - ISBN-13: 978-3-8383-2206-3

49,00 €
Omni badge Temporal Muscle

Muscles of mastication, Temporal fossa, Temporal fascia, Zygomatic arch, Human mandible

Biologie

SaluPress (31.12.2011) - ISBN-13: 978-613-9-28782-6

29,00 €
Omni badge Infinitary Logic

Statement (logic), Mathematical proof, First-order logic

Naturwissenschaften allgemein

Claud Press (26.08.2011) - ISBN-13: 978-613-6-80915-1

29,00 €
Omni badge Logic Optimization

Logic synthesis, Logic gate, Electronic design automation, Netlist, Circuit minimization

Elektronik, Elektrotechnik, Nachrichtentechnik

Duc (11.01.2012) - ISBN-13: 978-620-0-30401-8

29,00 €
Omni badge Separation Logic

Hoare Logic, John C. Reynolds

Informatik, EDV

Tort (10.01.2012) - ISBN-13: 978-613-9-07077-0

29,00 €
Omni badge Sequential Logic

Combinational logic, Finite-state machine, Moore machine

Technik

Secut Press (07.01.2012) - ISBN-13: 978-613-9-12849-5

39,00 €
Omni badge Temporal Processing of News

Annotation of Temporal Expressions, Verbal Events and Temporal Relations

Allgemeine und Vergleichende Sprachwissenschaft

LAP LAMBERT Academic Publishing (26.12.2013) - ISBN-13: 978-3-659-49761-2

93,90 €
Omni badge Modeling Spatio-Temporal Databases

Approaches for Modeling and Indexing Spatial and Spatio-Temporal Databases

Informatik, EDV

VDM Verlag Dr. Müller (10.07.2009) - ISBN-13: 978-3-639-17867-8

49,00 €
Omni badge Logic and Set Theory

Propositional Logic and Set Theory

Mathematik

LAP LAMBERT Academic Publishing (26.03.2021) - ISBN-13: 978-620-3-47206-6

39,90 €
Omni badge Temporal run-length encoding

Temporal coherence in rendering time-varying volume data

Informatik, EDV

VDM Verlag Dr. Müller (18.05.2010) - ISBN-13: 978-3-639-24659-9

68,00 €
Omni badge Digital Logic Design

Basic of Digital Logic Design

Informatik, EDV

LAP LAMBERT Academic Publishing (21.02.2020) - ISBN-13: 978-620-0-65163-1

39,90 €

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Adyen::paypal Paypal Überweisung

  0 Produkte im Warenkorb
Warenkorb bearbeiten
Loading frontend
LOADING