Listing 1 - 10 of 85 << page
of 9
>>
Sort by

Book
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen.
Author:
ISBN: 3540088695 Year: 1978 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Recursiveness
Authors: ---
ISBN: 0122340507 9780122340505 Year: 1970 Publisher: New York

Loading...
Export citation

Choose an application

Bookmark

Abstract


Multi
Formalising exact arithmetic : representations, algorithms and proofs
Authors: ---
ISBN: 9090183337 Year: 2004 Publisher: Enschede PrintPartners Ipskamp

Loading...
Export citation

Choose an application

Bookmark

Abstract

The metrical theory of Jacobi-Perron algorithm
Author:
ISBN: 3540063889 0387063889 3540470107 Year: 1973 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Les algorithmes
Author:
ISBN: 2130531806 9782130531807 Year: 2002 Volume: 2928 Publisher: Paris PUF


Book
Introduction to discrete mathematics for software engineering
Author:
ISBN: 0333407369 0333407377 1349184969 Year: 1986 Publisher: Basingstoke Macmillan

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Algorithmic barriers falling : P=NP?
Authors: --- ---
ISBN: 9789491386046 9491386042 Year: 2014 Publisher: Belgium Lonely Scholar Scientific Books

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Maple : wiskunde in berekenbaar perspectief
Authors: --- ---
ISBN: 9043006351 Year: 2002 Publisher: Amsterdam Addison-Wesley

Loading...
Export citation

Choose an application

Bookmark

Abstract

Dit boek bestaat uit drie delen. Het eerste deel bevat een kennismaking met Maple 7. Het tweede deel behandelt een inleiding in de interne structuur van Maple en in het gebruik van Maple als programmeertaal. In het derde (en omvangrijkste) deel staan de wiskundige vraagstellingen centraal. Aan de hand van wiskundig geformuleerde problemen wordt besproken hoe Maple gebruikt kan worden om ze op te lossen.

Algorithmics: theory and practice
Authors: ---
ISBN: 0130232432 013023169X 9780130232434 9780130231697 Year: 1988 Publisher: Englewood Cliffs, N.J. Prentice Hall

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Machines algorithmiques
Authors: --- ---
ISBN: 2880740150 9782880740153 Publisher: Lausanne Presses polytechniques romandes

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 10 of 85 << page
of 9
>>
Sort by