Showing 1 - 13
of 13
for search: '',
query time: 0.07s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Call Number: Q - Science
Author: SpringerLink (Online service)
Subject: Computer software Development
Subject: System design
Institution
Collection
Format
Subject
Computer software Development
System design
2
Formal methods (Computer science)
2
System analysis
1
Artificial intelligence
1
Computer engineering
more ...
1
Human-computer interaction
1
Instructional systems Design
1
Intelligent agents (Computer software)
1
Mobile communication systems
1
Mobile computing
1
Model-driven software architecture
1
Object-oriented programming (Computer science)
1
System design Mathematics
1
Systems on a chip
see all ...
less ...
Author
SpringerLink (Online service)
4
ETAPS (Conference)
4
TACAS (Conference)
1
Bernardo, Marco
1
Beydeda, Sami
1
Bogliolo, Alessandro
more ...
1
Book, Matthias
1
Bordini, Rafael H.
1
Dony, Christophe
1
Fitzgerald, John, 1965-
1
Forbrig, Peter, 1954-
1
Gruhn, Volker
1
Grumberg, Orna
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
Palsberg, Jens
1
Ramakrishnan, C. R.
1
Rehof, Jakob
1
Seffah, Ahmed,
1
TACAS (Conference) Braga, Portugal)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication