Showing 1 - 20
of 30
for search: '"System design"',
query time: 0.24s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
System design
28
System analysis
22
Computer software Verification
4
Computer software Development
3
Computer systems
1
Artificial intelligence
more ...
1
Computer programs Validation
1
Computer science
1
Computer software Validation
1
Formal languages
1
Logic, Symbolic and mathematical
1
Software engineering
see all ...
less ...
Author
TACAS (Conference)
29
ETAPS (Conference)
27
SpringerLink (Online service)
3
Beyer, Dirk, 1972-
3
Finkbeiner, Bernd,
3
Huisman, Marieke,
more ...
3
Kovács, Laura,
3
SpringerLink (Online Service)
3
TACAS (Conference) Luxembourg, Luxembourg)
3
TACAS (Conference) Prague, Czech Republic)
2
Biere, Armin,
2
Fisman, Dana
2
Groote, J. F. 1965-
2
Larsen, K. G. 1957-
2
Legay, Axel,
2
Margaria-Steffen, Tiziana, 1964-
2
Parker, David,
2
Roşu, Grigore
2
Sankaranarayanan, Sriram
2
Sharygina, Natasha
2
TACAS (Conference) Dublin, Ireland)
2
TACAS (Conference) Munich, Germany)
2
TACAS (Conference) Online)
2
TACAS (Conference) Paris, France)
2
TACAS (Conference) Thessalonikē, Greece)
2
TACAS (Conference) Uppsala, Sweden)
2
Vojnar, Tomáš,
2
Zhang, Lijun, 1979-
1
Abdulla, Parosh Aziz
1
Baier, Christel,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication