Search alternatives:
going infinite » using infinite, doing indefinite, proving infinite
Cover Image
Read Now

1
by Vivien, Vladimir
Published 2016
Packt
Table of Contents: “...Chapter 10: Data IO in Go -- IO with readers and writers -- The io.Reader interface -- Chaining...”
Cover Image
Read Now

2
by Ryer, Mat
Published 2016
Packt Publishing
Table of Contents: “... -- Exposing functionality via an HTTP API -- HTTP routing in Go -- Context in Google App Engine -- Decoding...”
Cover Image
Read Now

3
by Zachary, Joseph L.
Published 1996
Springer New York
Table of Contents: “... Infinite Ramp without Friction -- 12.2 An Infinite Ramp with Friction -- 12.3 A Finite Ramp with Friction...”
Cover Image
Read Now

4
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...An universal termination condition for solving goals in equational languages -- Constrained...”
Cover Image
Read Now

5
by Hetland, Magnus Lie
Published 2010
Apress
Table of Contents: “...; Reduction + Contraposition = Hardness Proof; Problem Solving Advice; Summary; If You're Curious...”
Cover Image
Read Now

6
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...: Complexity and Heuristics -- A Speculative Strategy -- An Adversarial Planning Approach to Go -- Learning...”
Cover Image
Read Now

7
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) -- Automata and Logics...”
Cover Image
Read Now

8
Published 2020
Springer International Publishing
Table of Contents: “... appeal to infinit -- Sequences in partitions, double q-series and the Mock Theta Function -- Refine q...”
Cover Image
Read Now

9
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... and Database Theory -- Constraint Satisfaction Problems with Infinite Templates -- Partial Polymorphisms...”
Cover Image
Read Now

10
by Lopes, Cristina Videira
Published 2014
CRC Press, Taylor and Francis Group
Table of Contents: “...Historical; Good Old Times; Go Forth Basic Styles; Monolithic; Cookbook; Pipeline; Code Golf...”
Cover Image
Read Now

11
Published 1982
Springer Berlin Heidelberg
Table of Contents: “...Solving open questions with an automated theorem-proving program -- STP: A mechanized logic...”
Cover Image
Read Now

12
by Hromkovič, Juraj
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... to Infinity, or Why Infinity Is Infinitely Important in Computer Science -- Limits of Computability or Why Do...”
Cover Image
Read Now

13
by Serrano Mena, Alejandro
Published 2022
Apress
Table of Contents: “...Part I: First Steps -- 1. Going Functional -- 2. Declaring the Data Model -- 3. Increasing Code...”
Cover Image
Read Now

14
by Serrano Mena, Alejandro
Published 2019
Apress
Table of Contents: “...Part I: First Steps -- 1. Going Functional -- 2. Declaring the Data Model -- 3. Increasing Code...”
Cover Image
Read Now

15
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...FLoC Plenary Talk -- Formal Verification of Infinite State Systems Using Boolean Methods -- Session...”
Cover Image
Read Now

16
by McMillan, Mike
Published 2012
Infinite Skills
“... of the Java programming language before going through this tutorial. Some of the advanced topics that you...”
Cover Image
Read Now

17
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... and infinite words -- The implication problem for functional and multivalued dependencies : An algebraic...”
Cover Image
Read Now

18
Published 2018
Springer International Publishing
Table of Contents: “... Framework for WMN Routing Protocols -- IsaK-Static: A Complete Static Semantics of K -- Solving...”
Cover Image
Read Now

19
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Design Automation -- Invited Tutorial: Verification of Infinite-state and Parameterized Systems...”
Cover Image
Read Now

20
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...PAT: Towards Flexible Verification under Fairness -- A Concurrent Portfolio Approach to SMT Solving...”