Der er 18+ underkategorier
for at udvide
kategorilisten.
- Agil programmering
- Algoritmer og datastrukturer
- Aspektorienteret programmering
- Databaseprogrammering
- Extreme programming (XP)
- Funktionel programmering
- Grafisk programmering
- Kompilatorer og fortolkere
- Mobile og håndholdte enheders programmering. Programmering af apps
- Netværksprogrammering
- Objektorienteret programmering
- Programmering: Macintosh
- Programmering: Microsoft
- Programmeringssprog og scriptsprog
- Programmeringsteknikker
- Softwareudvikling
- Spiludvikling og spilprogrammering
- Webprogrammering
Programmering / softwareudvikling
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
The Clausal Theory of Types (Bog, Paperback / softback, Engelsk)
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Paradigms for Fast Parallel Approximability (Bog, Paperback / softback, Engelsk)
This is a survey of the basic techniques for approximating combinatorial problems using parallel algorithms. Its core is a collection of techniques that can... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Principles of Constraint Programming (Bog, Paperback / softback, Engelsk)
Upper-division textbook covering foundations of constraint programming and applications to scheduling, optimisation etc.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Foundations of Component-Based Systems (Bog, Paperback / softback, Engelsk)
This 2000 collection of articles by well-known experts moves from theoretical frameworks, models, and systems of notation to case studies by researchers. The... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches (Bog, Paperback / softback, Engelsk)
This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Bog, Paperback / softback, Engelsk)
This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
UNIX and Perl to the Rescue!: A Field Guide for the Life Sciences (and Other Data-rich Pursuits) (Bog, Paperback / softback, Engelsk)
Written in a fun, accessible style, this step-by-step guide teaches non-programmers the key aspects of Unix... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Curve and Surface Reconstruction: Algorithms with Mathematical Analysis (Bog, Paperback / softback, Engelsk)
After developing the basics of a sampling theory and its connections to various geometric and topological properties, the author... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Nonmonotonic Reasoning: Logical Foundations of Commonsense (Bog, Paperback / softback, Engelsk)
This 1991 book gives an overview of different areas of research in nonmonotonic reasoning. The guiding principles are: clarification of the... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Illustrating BASIC (Bog, Paperback / softback, Engelsk)
To make a computer do a calculation, however simple, you must describe every step of that calculation in a language the computer can understand: this description is called a program.... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Recursion via Pascal (Bog, Paperback / softback, Engelsk)Levering: Print on Demand (forvent 14 - 30 hverdage)
-
Introduction to Functional Programming Systems Using Haskell (Bog, Paperback / softback, Engelsk)
An introduction to functional programming and its associated systems. A unique feature is its use of the language Haskell for teaching both... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage)
