Cover Image
Read Now

1
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... History Preserving Bisimulation Is Decidable for Trace-Labelled Systems -- Lower Bounds for Embedding...”
Cover Image
Read Now

2
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
Cover Image
Read Now

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

4
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...: Hypotheses, and Correctness Approximations -- The Natural History of Bugs: Using Formal Methods to Analyse...”
Cover Image
Read Now

5
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Rewriting for Symbolic Execution of State Machine Models -- Using Timestamping and History...”
Cover Image
Read Now

6
Published 2014
Springer International Publishing
Table of Contents: “... in Logic with Equality -- Quati: An Automated Tool for Proving Permutation Lemmas -- A History-Based...”
Cover Image
Read Now

7
Published 2014
Springer International Publishing
Table of Contents: “... Study of Auto-GCAS Engineers and Developmental History -- Adaptive Warning Strategies from Multiple...”
Cover Image
Read Now

8
Published 2022
Springer International Publishing
Table of Contents: “...1 Introduction -- Section 1: Global Perspectives in Heritage Science and Technology -- 2 A. Aguerre...”
Cover Image
Read Now

9
by Winnie, Doug
Published 2021
Apress
Table of Contents: “... Github -- Sprint 04: Programming Languages -- Sprint 05: History And Uses Of Java -- Sprint 06: How Java...”
Cover Image
Read Now

10
by Winnie, Doug
Published 2021
Apress
Table of Contents: “... Github -- Sprint 04: Programming Languages -- Sprint 05: History And Uses Of Java -- Sprint 06: How Java...”
Cover Image
Read Now

11
by Diffenderfer, Paul M., El-Assal, Samir
Published 2004
Vieweg+Teubner Verlag
Table of Contents: “... Microsoft Navision-Datenbank -- 2.1 Login -- 2.2 Einrichten einer Testdatenbank -- 3 Die Desktop Umgebung...”
Cover Image
Read Now

12
by Brecht, Werner
Published 1993
Vieweg+Teubner Verlag
Table of Contents: “...1 Systemcharakteristika -- 1.1 Historie -- 1.2 Standardisierung -- 1.3 Eigenschaften des UNIX...”
Cover Image
Read Now

13
by Samek, Miro
Published 2009
Newnes/Elsevier
Table of Contents: “... Component -- 6.5 Transition to History -- 6.6 Summary -- PART II EVENT-DRIVEN FRAMEWORK -- Chapter 7 QF: A...”
Cover Image
Read Now

14
by Grässle, Patrick
Published 2005
Packt Pub.
Table of Contents: “... and Background; 2.1 Introduction to the Case Study; 2.2 Models, Views, and Diagrams; 2.2.1 What is a Model...”
Cover Image
Read Now

15
by Chen, Chaomei
Published 2003
Springer London
Table of Contents: “... -- 2.2 Terrestrial Maps -- 2.3 Celestial Maps -- 2.4 Biological Maps -- 3 Mapping the Mind -- 3.1...”
Cover Image
Read Now

16
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”
Cover Image
Read Now

17
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Histories -- 6.6 Related Work -- 6.7 Conclusion -- References -- 7 Description Logics for Modeling Dynamic...”
Cover Image
Read Now

18
Published 1998
Springer US
Subjects: “...Computer science / Mathematics...”
Cover Image
Read Now

19
by Drescher, Daniel
Published 2017
Apress
Table of Contents: “... -- Step 19: Choosing a Transaction History -- Step 20: Paying for Integrity -- Step 21: Bringing...”
Cover Image
Read Now

20
by Cai, Liang, Li, Qilei, Liang, Xiubo
Published 2022
Springer Nature Singapore
Subjects: “...Data encryption (Computer science)...”