Showing 1 - 19
of 19
for search: '',
query time: 0.08s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Literary Form: Non fiction
Subject: Computer software Development
Subject: System design
Institution
Format
Subject
Computer software Development
System design
3
Human-computer interaction
2
Computer science
2
Formal methods (Computer science)
2
System analysis
more ...
1
Artificial intelligence
1
Computer engineering
1
Computer networks
1
Computer networks Design
1
Computer security
1
Computers Social aspects
1
Groupware (Computer software)
1
Information technology Management
1
Instructional systems Design
1
Intelligent agents (Computer software)
1
Management information systems
1
Medical informatics
1
Medical telematics
1
Mobile communication systems
1
Mobile computing
1
Model-driven software architecture
1
Object-oriented programming (Computer science)
1
Science Computer simulation
1
Software architecture
1
System design Mathematics
1
Systems on a chip
1
Teams in the workplace Data processing
1
User interfaces (Computer systems)
see all ...
less ...
Author
14
SpringerLink (Online service)
4
ETAPS (Conference)
4
TACAS (Conference)
3
ScienceDirect (Online service)
1
Bernardo, Marco
1
Beydeda, Sami
more ...
1
Bogliolo, Alessandro
1
Book, Matthias
1
Bordini, Rafael H.
1
Bruaset, A. M.
1
Dony, Christophe
1
Fitzgerald, John, 1965-
1
Forbrig, Peter, 1954-
1
Gruhn, Volker
1
Grumberg, Orna
1
Guttman, Michael
1
Ha, Soonhoi,
1
Halbwachs, Nicolas
1
Hayes, Ian
1
Hermanns, Holger, 1967-
1
Huth, Michael, 1962-
1
International Conference on Information Systems and Development: Methods and Tools, Theory and Practice
1
International Conference on Information Systems and Development: Methods and Tools, Theory and Practice Vilnius, Lithuania)
1
International School on Formal Methods for the Design of Computer, Communication, and Software Systems
1
International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy)
1
International Symposium of Formal Methods Europe
1
International Symposium of Formal Methods Europe Newcastle upon Tyne, England)
1
Kurki-Suonio, Reino
1
McGraw, Gary, 1966-
1
Palsberg, Jens
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication