Cover Image
Read Now

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Approach for Auto-Vectorization in the Spade Compiler -- Portable Just-in-Time Specialization...”
Cover Image
Read Now

2
Published 1985
Springer US
Table of Contents: “... for Distributed Computing Systems -- 17. The GCP Language and its Implementation -- 18. A Language...”
Cover Image
Read Now

3
by Iannucci, Robert A.
Published 1990
Springer US
Table of Contents: “... Architectures -- 2.2 Dataflow Architectures -- 2.3 Comparison of Approaches -- 2.4 Summary -- Three: A Dataflow...”
Cover Image
Read Now

4
by Bauer, F.L., Wössner, H.
Published 1982
Springer Berlin Heidelberg
Table of Contents: “... Computational Structures -- 3.6 Changing Abstract Types and Object Structures -- Addendum: Notations -- 4...”
Cover Image
Read Now

5
Published 2017
Springer Berlin Heidelberg
Table of Contents: “...Partial Derivatives for Context-Free Languages -- Dynamic Complexity of the Dyck Reachability...”
Cover Image
Read Now

6
by Olsson, Mikael
Published 2020
Apress
Table of Contents: “...1. Hello World -- 2. Compile and Run -- 3. Variables -- 4. Operators -- 5. Pointers -- 6...”
Cover Image
Read Now

7
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... of TypeScript Declaration Files -- Explicit Connection Actions in Multiparty Session Types -- Change and Delay...”
Cover Image
Read Now

8 Table of Contents: “.... Mapping Expressions to Input Ports -- 21. The New Character Set -- 22. Identifier Generalization -- 23...”
Cover Image
Read Now

9
Published 2019
Springer International Publishing
Table of Contents: “... -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra...”
Cover Image
Read Now

10
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages...”
Cover Image
Read Now

11
Published 2010
Springer Berlin Heidelberg
Subjects: “...Programming Languages, Compilers, Interpreters...”
Cover Image
Read Now

12
by Hazrat, Roozbeh
Published 2010
Springer London
Table of Contents: “...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...”
Cover Image
Read Now

13
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Bounded Degree Instances of NP-Hard Problems -- Universal Algebra and Computer Science -- Quantum...”
Cover Image
Read Now

14
by Nait Abdallah, Areski
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... Propositional Logic -- 3 Syntax of the Language of Partial Information Ions -- 3.1 The Language of Partial...”
Cover Image
Read Now

15
by Müller, Michael
Published 2018
Apress
Table of Contents: “.... Expression Language -- 5. HTML Friendly Markup -- 6. Configuration files -- 7. Testing with Selenium -- 8...”
Cover Image
Read Now

16
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... Rationale for MMS -- 2.2 The OSI reference model -- 2.3 MAP and CNMA -- 2.4 Mini-MAP -- 2.5 Profibus -- 2.6...”
Cover Image
Read Now

17
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Constraint Programs Transparently -- MiniZinc: Towards a Standard CP Modelling Language -- Propagation = Lazy...”
Cover Image
Read Now

18
by Grätzer, George
Published 2000
Birkhäuser
Table of Contents: “... -- C.1 A short history -- C.1.2 Recent developments -- C.2.1 The layers -- C.2.2 Typesetting -- C.2.3...”
Cover Image
Read Now

19
Published 1997
Springer Netherlands
Table of Contents: “... and Education -- 22. Teacher Research Methods in Language and Education -- 23. Research Methods for Studying...”
Cover Image
Read Now

20
by Schuster, Richard, Trippner, Dietmar, Endres, Michael
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... -- 2.1. Requirements for the Development of the Drafting Model -- 2.2. Systematical Approach...”