Program design calculi /
| Corporate Authors: | NATO Advanced Study Institute on Program Design Calculi, North Atlantic Treaty Organization. Scientific Affairs Division |
|---|---|
| Other Authors: | Broy, M., 1949- |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1993]
|
| Series: | NATO ASI series. Computer and systems sciences ;
no. 118. |
| Subjects: |
Similar Items
Program design calculi /
Published: (1993)
Published: (1993)
Logic of Programming and Calculi of Discrete Design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1987)
by: Broy, Manfred
Published: (1987)
Domain knowledge for interactive system design : proceedings of the TC8/WG8.2 Conference on Domain Knowledge in Interactive System Design, Switzerland, May 1996 /
Published: (1996)
Published: (1996)
Programming languages and system design : proceedings of the IFIP TC 2 Working Conference on Programming Languages and System Design, Dresden, GDR, 7-10 March, 1983 /
Published: (1983)
Published: (1983)
Methodologies for computer system design : proceedings for the IFIP WG 10.1 Working Conference on Methodologies for Computer System Design, Lille, France, 15-17 September, 1983 /
Published: (1985)
Published: (1985)
Hardware/software co-design : principles and practice /
Published: (1997)
Published: (1997)
Internationalization, design and global development : 4th International Conference, IDGD 2011, Held as part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings /
Published: (2011)
Published: (2011)
Cooperative systems design : scenario-based design of collaborative systems /
Published: (2004)
Published: (2004)
Thoughtful interaction design : a design perspective on information technology /
by: Löwgren, Jonas
Published: (2004)
by: Löwgren, Jonas
Published: (2004)
Participatory IT design : designing for business and workplace realities /
by: Bødker, Keld
Published: (2004)
by: Bødker, Keld
Published: (2004)
Designing cooperative systems : the use of theories and models : proceedings of the 5th International Conference on the Design of Cooperative Systems (COOP'2000) /
Published: (2000)
Published: (2000)
Interactive design for screen : 100 graphic design solutions /
Published: (2019)
Published: (2019)
Activity-centered design : an ecological approach to designing smart tools and usable systems /
by: Gay, Geri
Published: (2004)
by: Gay, Geri
Published: (2004)
Activity-centered design : an ecological approach to designing smart tools and usable systems /
by: Gay, Geri
Published: (2004)
by: Gay, Geri
Published: (2004)
Principles of computer system design : an introduction /
by: Saltzer, J. H., 1939-
Published: (2009)
by: Saltzer, J. H., 1939-
Published: (2009)
Principles of computer system design : an introduction /
by: Saltzer, J. H., 1939-
Published: (2009)
by: Saltzer, J. H., 1939-
Published: (2009)
Designing for interaction : creating innovative applications and devices /
by: Saffer, Dan
Published: (2010)
by: Saffer, Dan
Published: (2010)
Use-designed computing : free-enterprise application design /
by: Schlueter, Louis
Published: (1982)
by: Schlueter, Louis
Published: (1982)
User experience design : an introduction to creating interactive digital spaces /
by: Wells, Mark
Published: (2023)
by: Wells, Mark
Published: (2023)
Systematic program design : from clarity to efficiency /
by: Liu, Yanhong Annie, 1965-
Published: (2013)
by: Liu, Yanhong Annie, 1965-
Published: (2013)
Activity-centered design : an ecological approach to designing smart tools and usable systems /
by: Gay, Geri
Published: (2004)
by: Gay, Geri
Published: (2004)
Cooperating expert systems in mechanical design /
by: Huang, Guo Q. (Guo Quan), 1962-
Published: (1993)
by: Huang, Guo Q. (Guo Quan), 1962-
Published: (1993)
Software design and development /
by: Gilbert, Philip, 1933-
Published: (1983)
by: Gilbert, Philip, 1933-
Published: (1983)
Computers and design in context /
Published: (1997)
Published: (1997)
Designing human interface in speech technology /
by: Chen, Fang
Published: (2006)
by: Chen, Fang
Published: (2006)
Design concepts with code : a developer approach /
by: Carey, Kelly
Published: (2003)
by: Carey, Kelly
Published: (2003)
Application design for wearable computing /
by: Siewiorek, Daniel P.
Published: (2008)
by: Siewiorek, Daniel P.
Published: (2008)
Design theory and computer science : processes and methodology of computer systems design /
by: Dasgupta, Subrata
Published: (1991)
by: Dasgupta, Subrata
Published: (1991)
Proceedings of the ... International Symposium on System Synthesis /
Published: (1995)
Published: (1995)
Computer systems design and architecture /
by: Heuring, Vincent P.
Published: (2004)
by: Heuring, Vincent P.
Published: (2004)
System architecture and system design /
by: Chorafas, Dimitris N.
Published: (1989)
by: Chorafas, Dimitris N.
Published: (1989)
The design and description of computer architectures /
by: Dasgupta, Subrata
Published: (1984)
by: Dasgupta, Subrata
Published: (1984)
The elements of friendly software design /
by: Heckel, Paul
Published: (1984)
by: Heckel, Paul
Published: (1984)
Computer-aided design of user interfaces : proceedings of the ... International Conference on Computer-Aided Design of User Interfaces.
Published: (1999)
Published: (1999)
Programming system methodologies /
by: Ziegler, Carol A.
Published: (1983)
by: Ziegler, Carol A.
Published: (1983)
Advanced CICS design techniques, concepts, and guidelines /
by: Summerville, Joseph E.
Published: (1987)
by: Summerville, Joseph E.
Published: (1987)
Interactive design : an introduction to the theory and application of user-centered design /
by: Pratt, Andy, 1977-
Published: (2012)
by: Pratt, Andy, 1977-
Published: (2012)
Systems analysis design /
by: Dennis, Alan
Published: (2003)
by: Dennis, Alan
Published: (2003)
System analysis and design /
by: Dennis, Alan
Published: (2009)
by: Dennis, Alan
Published: (2009)
Tutorial on software system design : description and analysis /
Published: (1980)
Published: (1980)