1
door Hazrat, Roozbeh., Hazrat, Roozbeh.
Gepubliceerd in 2015
Inhoudsopgave: ...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...
Volledige tekst
Elektronisch E-boek
2
door Kalicharan, Noel., Kalicharan, Noel.
Gepubliceerd in 2013
Onderwerpen: ...Programming languages (Electronic computers)....
Volledige tekst
Elektronisch E-boek
3
door Horstmann, Cay S.
Gepubliceerd in 2013
Onderwerpen: ...Java (Computer program language)....
Cover image
Boek
4
door Hazrat, Roozbeh., Hazrat, Roozbeh.
Gepubliceerd in 2010
Inhoudsopgave: ...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2008
Inhoudsopgave: ... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...
Volledige tekst
Elektronisch E-boek
6
door Kalicharan, Noel., Kalicharan, Noel.
Gepubliceerd in 2014
Onderwerpen: ...Java (Computer program language)....
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2005
Inhoudsopgave: ... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2015
Inhoudsopgave: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2008
Inhoudsopgave: ... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2005
Inhoudsopgave: ... Algorithms for Two-Dimensional Rectangular Arrays -- Register Complexity of LOOP-, WHILE-, and GOTO-Programs...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2005
Inhoudsopgave: ... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2010
Inhoudsopgave: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Volledige tekst
Elektronisch E-boek