Showing 1 - 20
of 22
for search: '',
query time: 0.09s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Genre: Festschriften
Institution: Colorado Mesa University
Subject: Software engineering
Institution
Collection
Format
Subject
Software engineering
7
Computer logic
6
Computer programming
6
Computer science
4
Computer science Mathematics
3
Formal methods (Computer science)
more ...
3
Logic design
2
Computer networks
2
Logic, Symbolic and mathematical
2
Programming languages (Electronic computers)
1
Abstract data types (Computer science)
1
Algorithms
1
Business Data processing
1
Computer algorithms
1
Computer multitasking
1
Computer programs
1
Computer simulation
1
Computer software Verification
1
Computer systems Verification
1
Database management
1
Electronic commerce Computer programs
1
Electronic data processing
1
Expert systems (Computer science)
1
Formal languages
1
Game theory
1
Graph grammars
1
Logic
1
Management information systems
1
Model-driven software architecture
1
Parallel processing (Electronic computers)
see all ...
less ...
Author
21
SpringerLink (Online service)
2
Blass, Andreas, 1947-
2
De Nicola, Rocco,
1
Beek, Maurice H. ter,
1
Beklemishev, Lev Dmitrievich, 1967-
1
Bodei, Chiara,
more ...
1
Boreale, Michele,
1
Breitman, K. K.
1
Börger, E. 1946-
1
Coecke, Bob
1
Corradini, Flavio,
1
Cégielski, Patrick, 1954-
1
De Nicola, Rocco
1
Degano, Pierpaolo, 1950-
1
Dershowitz, Nachum
1
Dershowitz, Nachum,
1
Droste, Manfred, 1956-
1
Fantechi, Alessandro,
1
Ferrari, Gian-Luigi,
1
Finkbeiner, Bernd
1
Finkbeiner, Bernd,
1
Futatsugi, Kokichi,
1
Gnesi, Stefania, 1954-
1
Grumberg, Orna
1
Gurevich, Yuri,
1
He, Jifeng, 1943-
1
Heisel, Maritta
1
Hennicker, Rolf, 1952-
1
Horspool, R. Nigel, 1948-
1
Iida, Shusaku,
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication