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
-
UML by Example (Bog, Paperback / softback, Engelsk)
This systematic introduction to object-oriented software development is suitable for teaching as well as for practicing software engineers seeking to add rigour to their techniques. It... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Lectures in Parallel Computation (Bog, Paperback / softback, Engelsk)
The foundations of parallel computation are the concern of this book. Distinguished international researchers have contributed fifteen chapters which together form a... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Foundations of Parallel Programming (Bog, Paperback / softback, Engelsk)
This is the first comprehensive account of this new approach to the fundamentals of parallel programming. It presents a methodology for software construction that produces architecture-independent and intellectually abstract software.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
The B-Book: Assigning Programs to Meanings (Bog, Paperback / softback, Engelsk)
The long-awaited B-Book is the standard reference for everything concerning the B Method, written by its inventor, J.-R. Abrial. Formal methods practitioners,... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Communication Complexity (Bog, Paperback / softback, Engelsk)
This book surveys the mathematical theory of communication complexity, concentrating on the question of how much communication is necessary for any particular computing process. Applications of the theory include computer networks, VLSI circuits and data structures.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Deductive and Declarative Programming (Bog, Paperback / softback, Engelsk)
The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Understanding Z: A Specification Language and its Formal Semantics (Bog, Paperback / softback, Engelsk)
The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Information Systems Development and Data Modeling: Conceptual and Philosophical Foundations (Bog, Paperback / softback, Engelsk)
Data modelling was hypothesised to be the salvation of an organisation's data problems. This book aims to... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Theories of Programming Languages (Bog, Paperback / softback, Engelsk)
First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving program behaviour.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Information Systems Engineering: A Formal Approach (Bog, Paperback / softback, Engelsk)
In this textbook, Professor van Hee concentrates on discrete dynamic systems, e.g. computer hardware, and information and logistical systems. He develops an integrated formalism which can be used as a prototyping language.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory (Bog, Paperback / softback, Engelsk)
Many different structured methodologies exist, each employing a number of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Efficient Algorithms for Listing Combinatorial Structures (Bog, Paperback / softback, Engelsk)
First published in 1993, this thesis is concerned with the design of efficient algorithms for listing combinatorial structures. Some related... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
