Search alternatives:
logiciel » logiciels
logicals » logicas, logiciels, logically
Cover Image
Read Now

1
Published 2022
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

2
Published 2023
Springer Nature Switzerland
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

3
Published 2015
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

4
Published 2016
Springer International Publishing
Table of Contents: “... of Resource-Bounded Logics -- Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets have Marked...”
Cover Image
Read Now

5
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Verification of Directory-Based Consistency Protocols -- On Yen’s Path Logic for Petri Nets -- Probabilistic...”
Cover Image
Read Now

6
Published 2018
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

7
Published 2017
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

8
Published 2012
Springer Berlin Heidelberg
Table of Contents: “...Reachability problems in algebraic structures, computational models, hybrid systems, logic...”
Cover Image
Read Now

9
Published 2013
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

10
Published 2011
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

11
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... and Compositional Reachability for Timed Automata -- Temporal Logics over Linear Time Domains Are in PSPACE -- Lossy...”
Cover Image
Read Now

12
Published 2019
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

13
Published 2014
Springer International Publishing
Table of Contents: “... -- On the Expressiveness of Metric Temporal Logic over Bounded Timed Words -- Trace Inclusion for One-Counter Nets...”
Cover Image
Read Now

14
Published 2015
Springer International Publishing
Table of Contents: “... Logic -- Complexity Bounds of Constant-Space Quantum Computation...”