Design Theory and Computer Science
Dasgupta, Subrata
Produseres på bestilling
Leveringstid: 3-10 dager
Handlinger
Beskrivelse
Omtale
The logic and methodology of design is examined in this book from the perspective of computer science. Computers provide the context for this both by discussion of the design process for hardware and software systems and by consideration of the role of computers in design in general. The question is whether we can construct a theory of design.
-
Utgivelsesdato:
06.08.2009
-
ISBN/Varenr:
9780521118156
-
Språk:
Engelsk
-
Forlag:
Cambridge University Press
-
Innbinding:
Heftet
-
Fagtema:
Data- og informasjonsteknologi
-
Serie:
Cambridge Tracts in Theoretical Computer Science
-
Litteraturtype:
Faglitteratur
-
Sider:
452
-
Høyde:
24.4 cm
-
Bredde:
17 cm
Andre bøker i samme serie
Nonmonotonic Reasoning : Logical Foundations of Commonsense
Brewka, Gerhard
9780521181303 Heftet
29.03.2012
Engelsk
Produseres på bestilling
Concurrency Verification : Introduction to Compositional and Non-compositional Methods
Boer, Frank de • Lakhnech, Yassine • Roever, Willem-Paul de • Hanneman, Ulrich • Poel, Mannes • Hooman, Jozef • Zwiers, Job
9780521169325 Heftet
26.01.2012
Engelsk
Produseres på bestilling
Hybrid Graph Theory and Network Analysis
Gibbons, Alan • Novak, Ladislav
9780521106597 Heftet
03.09.2009
Engelsk
Produseres på bestilling
A Unifying Framework for Structured Analysis and Design Models : An Approach Using Initial Algebra Semantics and Category Theory
Tse, T. H.
9780521117876 Heftet
30.07.2009
Engelsk
Produseres på bestilling
The Clausal Theory of Types
Wolfram, D. A.
9780521117906 Heftet
30.07.2009
Engelsk
Produseres på bestilling
Higher Order Logic and Hardware Verification
Melham, T. F.
9780521115322 Heftet
02.07.2009
Engelsk
Produseres på bestilling
Lambda-calculus, Combinators and Functional Programming
Revesz, G. E.
9780521114295 Heftet
25.06.2009
Engelsk
Produseres på bestilling
Data Refinement : Model-Oriented Proof Methods and their Comparison
Engelhardt, Kai • de Roever, Willem-Paul
9780521103503 Heftet
18.12.2008
Engelsk
Produseres på bestilling
Algebraic Specification of Communication Protocols
9780521088121 Heftet
11.12.2008
Engelsk
Produseres på bestilling
Andre bøker av samme forfatter
Reconciling Art and Technology : A Shared Cognitive History
Dasgupta, Subrata
9781032673363 Innbundet
14.05.2024
Engelsk
Produseres på bestilling
The Renaissance Considered as a Creative Phenomenon : Explorations in Cognitive History
Dasgupta, Subrata
9781032146829 Innbundet
31.12.2021
Engelsk
Produseres på bestilling
The Renaissance Considered as a Creative Phenomenon : Explorations in Cognitive History
Dasgupta, Subrata
9781032146843 Heftet
31.12.2021
Engelsk
Produseres på bestilling
A Cognitive-Historical Approach to Creativity
Dasgupta, Subrata
9780367145699 Innbundet
02.04.2019
Engelsk
Produseres på bestilling
A Cognitive-Historical Approach to Creativity
Dasgupta, Subrata
9780367145712 Heftet
27.03.2019
Engelsk
I salg
Computer Science : A Very Short Introduction
Dasgupta, Subrata
9780198733461 Heftet
24.03.2016
Engelsk
I salg
Creativity in Invention and Design
Dasgupta, Subrata
9780521068895 Heftet
10.07.2008
Engelsk
Produseres på bestilling
Design Theory and Computer Science
Dasgupta, Subrata
9780521390217 Innbundet
16.05.1991
Engelsk
Produseres på bestilling