Search alternatives:
classical type » classical types, classical time, classical test
type library » tape library, type libraries, maple library

1
by DiCosmo, Roberto
Published 1995
Birkhäuser
Table of Contents: ... -- 4.1 Rewriting types -- 4.2 From ?1???? to the classical ?1?? -- 4.3 Using finite hereditary...

2
by Toft, Robert
Published 2019
Focal Press
...Recording Classical Music presents the fundamental principles of digitally recording and editing...

3
by Farmer, William M.
Published 2023
Birkhäuser
... is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first...

4
by Gennaro, Davide Di
Published 2015
Apress, Distributed to the Book trade worldwide by Springer+Business Media New York
Table of Contents: .... Interfaces -- 6. Algorithms -- 7. Code Generators -- 8. Functors -- 9. Opaque Type Principle -- 10...

5
by Fitting, M.
Published 2002
Springer Netherlands
Table of Contents: ...I Classical Logic -- Classical Logic-Syntax -- Classical Logic-Semantics -- Classical Logic-Basic...

6
by Sitnikovski, Boro
Published 2023
Apress
Table of Contents: ...Formal systems -- Classical mathematical logic -- Type theory -- Programming in idris -- Proving...

7
by Freeman, Adam
Published 2023
Manning Publications
Table of Contents: ...Understanding TypeScript -- Your first TypeScript application -- JavaScript primer, part 1...

8
by Kopec, David
Published 2019
Manning Publications
Table of Contents: ...Introduction. Why Python? -- What is a classic computer science problem? -- What kinds of problems...

9
by Kopec, David
Published 2019
Manning Publications
... for everyone." James Watson, Adaptive Classic Computer Science Problems in Python deepens your knowledge...

10
Published 2004
Springer Netherlands
Table of Contents: ... of supertasks of higher type...

11
by Marcja, Annalisa, Toffalori, Carlo
Published 2003
Springer Netherlands
Table of Contents: ...8.2 Algebraic varieties, ideals, types -- 8.3 Dimension and Morley rank -- 8.4 Morphisms...

12
by Despoudis, Theo
Published 2021
Packt Publishing
Table of Contents: ... -- Preface -- Section 1: Getting Started with TypeScript 4 -- Chapter 1: Getting Started with Typescript 4...

13
Published 2010
Springer Netherlands
Table of Contents: ..., Fourth Century B.C. to Tenth Century A.D. -- Sanskrit Scientific Libraries and Their Uses: Examples...

14
by Haslam, Andrew
Published 2011
Laurence King Pub.
Subjects: ...Type and type-founding / fast...

15
Published 1973
Springer Netherlands
Table of Contents: ...A. General Works about the History of the Printed Book and Library -- General, 24; Bulgaria, 26...

16
by Hager, Willi H.
Published 1992
Springer Netherlands
Table of Contents: ...1 Introduction -- 2 Classical Hydraulic Jump -- 3 Sloping Jump -- 4 Hydraulic Jump in Non...

17
Published 1986
Springer Netherlands
...Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science...

18
by Tavares, Chris
Published 2006
Addison-Wesley
Table of Contents: ...Hello, ATL -- Strings and text -- ATL smart types -- Objects in ATL -- COM servers -- Interface...

19
by Debois, J.M.
Published 2000
Springer Netherlands
.... In this book, Dr.Debois, a retired radiation oncologist, describes a selected group of cancer types, some...

20
by O'Dwyer, Arthur
Published 2017
Packt Publishing
...Mastering C plus plus seventeen Standard Template Library...