搜索结果为 temporal logic

精确搜索

Omni badge Interval Temporal Logic

Propositional calculus, First-order logic, Temporal logic

普通和比较语言学

Dign Press (2011-10-12) - ISBN-13: 978-613-7-38990-4

34.00 €
Omni badge Inductive Temporal Logic Programming

Learning Temporal Logic Programs from Examples

编程语言

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

Omni badge Temporal Logic 数学

Betascript Publishing (2010-06-07) - 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

信息学,信息技术

LAP LAMBERT Academic Publishing (2011-09-28) - 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

信息学

LAP LAMBERT Academic Publishing (2009-10-21) - ISBN-13: 978-3-8383-2206-3

49.00 €
Omni badge Temporal Muscle

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

生物学

SaluPress (2011-12-31) - ISBN-13: 978-613-9-28782-6

29.00 €
Omni badge Infinitary Logic

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

普通自然科学

Claud Press (2011-08-26) - ISBN-13: 978-613-6-80915-1

29.00 €
Omni badge Logic Optimization

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

电子学,电子-技术,通信技术

Duc (2012-01-11) - ISBN-13: 978-620-0-30401-8

29.00 €
Omni badge Separation Logic

Hoare Logic, John C. Reynolds

信息学,信息技术

Tort (2012-01-10) - ISBN-13: 978-613-9-07077-0

29.00 €
Omni badge Sequential Logic

Combinational logic, Finite-state machine, Moore machine

技术

Secut Press (2012-01-07) - ISBN-13: 978-613-9-12849-5

39.00 €
Omni badge Temporal Processing of News

Annotation of Temporal Expressions, Verbal Events and Temporal Relations

普通和比较语言学

LAP LAMBERT Academic Publishing (2013-12-26) - 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

信息学,信息技术

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

49.00 €
Omni badge Logic and Set Theory

Propositional Logic and Set Theory

数学

LAP LAMBERT Academic Publishing (2021-03-26) - ISBN-13: 978-620-3-47206-6

39.90 €
Omni badge Temporal run-length encoding

Temporal coherence in rendering time-varying volume data

信息学,信息技术

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

68.00 €
Omni badge Digital Logic Design

Basic of Digital Logic Design

信息学,信息技术

LAP LAMBERT Academic Publishing (2020-02-21) - 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 银行转帐

LOGIN
  0产品在购物车内
编辑购物车
Loading frontend
LOADING