Search alternatives:
logical technical » ecological technical, clinical technical, social technical
reviewer » reviewers, reviewed, review
Cover Image
Read Now

1
by Morrissey, Sean
Published 2010
[Apress]
Table of Contents: “..., and incident response -- iPhone logical acquisition -- Logical data analysis -- Mac and Windows artifacts...”
Cover Image
Read Now

2
by Bennett, Gary
Published 2011
Apress
“... in programming terms, how to use Objective-C to construct program logic, and how to synthesize it all...”
Cover Image
Read Now

3
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

4
Published 2002
Springer US
Table of Contents: “...6 Technology-based Transformations -- 6.1 Introduction -- 6.2 Gate Delay Models -- 6.3 Logic...”
Cover Image
Read Now

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

6
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... deductive databases: The statelog approach -- Active-U-Datalog: Integrating active rules in a logical update...”
Cover Image
Read Now

7
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Versioning Competition Workflow Compiler -- A Sequential Model of Bargaining Reasoning in Logic Programming...”
Cover Image
Read Now

8
by Fitting, Melvin, Mendelsohn, Richard L.
Published 2023
Springer International Publishing
Table of Contents: “...Preface -- Acknowledgments -- Part I. Background: Propositional Classical Logic. 1. Background...”
Cover Image
Read Now

9
by Polkowski, Lech T.
Published 2023
Springer Nature Switzerland
Table of Contents: “...Introduction: Prerequisites -- Sentential Logic -- Rudiments of First-order Logic -- Modal...”
Cover Image
Read Now

10
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Actions with Failures in Interval Temporal Logic -- A Logic for Reasoning about Rational Agents -- Formal...”
Cover Image
Read Now

11
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic -- A Generic Network on Chip...”
Cover Image
Read Now

12
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Error Analysis of Digital Filters Using Theorem Proving -- Verifying Uniqueness in a Logical...”
Cover Image
Read Now

13
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Proof Terms for Simply Typed Higher Order Logic -- Routing Information Protocol in HOL/SPIN -- Recursive...”
Cover Image
Read Now

14
by Armstrong, Jeff
Published 2021
Packt Publishing
Table of Contents: “...Table of Contents Benefits and Capabilities Reviewing Stakeholder Objectives Planning your Call...”
Cover Image
Read Now

15
by Masini, Luca
Published 2012
Packt Pub.
Table of Contents: “...Chapter 3: Java EE Security with WebLogicSetting up an Enterprise Maven project; Creating...”
Cover Image
Read Now

16
by Halsey, Mike
Published 2019
Apress
Table of Contents: “...Intro; Table of Contents; About the Author; About the Technical Reviewer; Acknowledgments; Part I...”
Cover Image
Read Now

17
Published 1998
Springer US
Table of Contents: “... to Combinatorial Optimization: A Logic Programming Approach -- 3 Disjunctive Programming and Cooperating Solvers...”
Cover Image
Read Now

18
by McKeon, Richard T.
Published 2018
Apress
Table of Contents: “...Intro; Table of Contents; About the Author; About the Technical Reviewer; Preface; Chapter 1...”
Cover Image
Read Now

20
by Lewis, William E.
Published 2009
Auerbach Publications
Table of Contents: “... -- part SECTION 2: WATERFALL TESTING REVIEW -- chapter 6 Overview -- chapter 7 Static Testing...”