Search alternatives:
"logiciel" » "logiciels"
Cover Image
Read Now

1
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... of Syntactic Control of Interference -- Temporal Logics and Games -- Optimal Complexity Bounds for Positive LTL...”
Cover Image
Read Now

2
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Logical View of Linear Type Isomorphisms -- Choice Logic Programs and Nash Equilibria in Strategic Games...”
Cover Image
Read Now

3
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Monadic Second-Order Logic -- Decidability of S1S and S2S -- The Complexity of Translating Logic to Finite...”
Cover Image
Read Now

4
Published 2024
Springer International Publishing
Table of Contents: “... theorem for provability logic (Johan van Benthem) -- Chapter 4. The Σ1-provability logic of HA revisited...”
Cover Image
Read Now

5
Published 1998
Springer Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

6
Published 2024
Springer Nature Switzerland
Table of Contents: “... Approach to Coalgebraic Fixpoint Logic -- Preorder-Constrained Simulations for Program Refinement...”
Cover Image
Read Now

7
Published 2024
Springer Nature Switzerland
Subjects: “...Mathematical logic...”
Cover Image
Read Now

8
by Dichone, Paulo
Published 2020
Packt Publishing
Subjects: “...Logiciels d'application / Développement / Logiciels...”
Cover Image
Read Now

9
by Nipkow, Tobias, Paulson, Lawrence C., Wenzel, Markus
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Programming -- 4. Presenting Theories -- Logic and Sets -- 5. The Rules of the Game -- 6. Sets, Functions...”
Cover Image
Read Now

10
by Wen, Robert, Ortiz, Alex, Gaile, Edward, Nissen, Rodney
Published 2024
Packt Publishing Ltd.
Subjects: “...Génie logiciel...”
Cover Image
Read Now

11
by Contieri, Maximiliano
Published 2024
dpunkt
Subjects: “...Génie logiciel...”
Cover Image
Read Now

12
by Hohpe, Gregor
Published 2024
O'Reilly Media, Inc.
Subjects: “...Génie logiciel...”
Cover Image
Read Now

13
by Hohpe, Gregor
Published 2024
O'Reilly Media, Inc.
Subjects: “...Génie logiciel...”
Cover Image
Read Now

14
by Hohpe, Gregor
Published 2024
O'Reilly Media, Inc.
Subjects: “...Génie logiciel...”
Cover Image
Read Now

15
by Hohpe, Gregor
Published 2024
O'Reilly Media, Inc.
Subjects: “...Génie logiciel...”
Cover Image
Read Now

16
by Hohpe, Gregor
Published 2024
O'Reilly Media, Inc.
Subjects: “...Génie logiciel...”
Cover Image
Read Now

17
by Hohpe, Gregor
Published 2024
O'Reilly Media, Inc.
Subjects: “...Génie logiciel...”
Cover Image
Read Now

18
by Sendłak, Maciej
Published 2024
Springer International Publishing
Subjects: “...Logic...”
Cover Image
Read Now

19
Published 2024
Springer Nature Switzerland
Table of Contents: “... Black-and-White to High Gloss Color. -- Deciding Conjugacy of a Rational Relation. -- Logic...”
Cover Image
Read Now

20
by Dolzhenko, Viktoria
Published 2024
Apress
Subjects: “...Logiciels d'application / Développement / Logiciels...”