Showing 1 - 11
of 11
for search: '',
query time: 0.06s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: *-*
Call Number: Q - Science
Subject: Computer logic
Subject: Computer networks
Subject: Software engineering
Institution
Collection
Format
Subject
Computer logic
Computer networks
Software engineering
6
Computer science
6
Programming languages (Electronic computers)
5
Artificial intelligence
more ...
3
Computer programming
3
Logic, Symbolic and mathematical
2
Computer science Mathematics
2
Computers, Special purpose
2
Management information systems
1
Algorithms
1
Application software Security measures
1
Computer architecture
1
Computer organization
1
Computer programs Verification
1
Computer security
1
Computer software Testing
1
Computer software Verification
1
Data protection
1
Domain-specific programming languages
1
Logic design
1
Reasoning
1
Reversible computing
1
Software architecture
1
Uncertainty (Information theory)
see all ...
less ...
Author
11
SpringerLink (Online service)
2
DaLí (International Workshop)
2
DaLí (International Workshop) Online)
2
International Haifa Verification Conference
2
International Haifa Verification Conference Haifa, Israel)
1
Antonucci, Alessandro,
more ...
1
Arbel, Eli,
1
Areces, Carlos,
1
Barlas, Gerassimos,
1
Bitsch, Friedemann,
1
Bloem, Roderick P.,
1
Bodei, Chiara,
1
Cheng, Betty H. C.,
1
Cholvy, Laurence,
1
Combemale, Benoit,
1
Costa, Diana,
1
El-Fakih, Khaled,
1
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
1
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty Lugano, Switzerland)
1
Ferrari, Gian-Luigi,
1
France, Robert
1
Gallina, Barbara,
1
Globalizing Domain-Specific Languages (Seminar)
1
Globalizing Domain-Specific Languages (Seminar) Dagstuhl, Wadern, Germany)
1
ICTSS (Conference)
1
ICTSS (Conference) Sharjah and Dubai, United Arab Emirates)
1
Jézéquel, Jean-Marc, 1964-
1
Kari, J.
1
Martins, Manuel A.,
1
Papini, Odile,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication