Showing 1 - 7
of 7
for search: '',
query time: 0.05s
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
Format: eBook
Institution: Colorado Mesa University
Subject: Computer networks
Subject: Computer science
Subject: Programming languages (Electronic computers)
Institution
Collection
Format
Subject
Computer networks
Computer science
Programming languages (Electronic computers)
7
Software engineering
5
Computer logic
3
Computer programming
more ...
3
Logic, Symbolic and mathematical
2
Algorithms
2
Artificial intelligence
2
Computers, Special purpose
2
Management information systems
1
Computer programs Verification
1
Computer simulation
1
Computer software Testing
1
Computer software Verification
1
Computer system failures
1
Computer systems Evaluation
1
Computer systems Reliability
1
Computer systems Testing
1
Domain-specific programming languages
1
Fault-tolerant computing
1
Software architecture
see all ...
less ...
Author
7
SpringerLink (Online service)
2
International Haifa Verification Conference
2
International Haifa Verification Conference Haifa, Israel)
1
Arbel, Eli,
1
Barlas, Gerassimos,
1
Bloem, Roderick P.,
more ...
1
Bodei, Chiara,
1
Butler, Michael, 1967-
1
Cheng, Betty H. C.,
1
Combemale, Benoit,
1
Conchon, Sylvain,
1
El-Fakih, Khaled,
1
Ferrari, Gian-Luigi,
1
France, Robert
1
Globalizing Domain-Specific Languages (Seminar)
1
Globalizing Domain-Specific Languages (Seminar) Dagstuhl, Wadern, Germany)
1
Haverkort, Boudewijn R.,
1
ICTSS (Conference)
1
ICTSS (Conference) Sharjah and Dubai, United Arab Emirates)
1
Jézéquel, Jean-Marc, 1964-
1
Piterman, Nir,
1
Priami, Corrado,
1
Remke, Anne, 1980-
1
Rumpe, Bernhard,
1
Yevtushenko, Nina,
1
Zaïdi, Fatiha,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication