Showing 1 - 9
of 9
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
Genre: Conference papers and proceedings
Genre: Festschriften
Subject: Software engineering
Call Number: Q - Science
Institution
Collection
Format
Subject
Software engineering
2
Computer logic
2
Computer science
2
Computer science Mathematics
2
Formal methods (Computer science)
1
Abstract data types (Computer science)
more ...
1
Business Data processing
1
Computer algorithms
1
Computer networks
1
Computer programs
1
Computer systems Verification
1
Database management
1
Electronic commerce Computer programs
1
Electronic data processing
1
Formal languages
1
Game theory
1
Logic
1
Logic design
1
Logic, Symbolic and mathematical
1
Management information systems
1
Model-driven software architecture
1
Parallel processing (Electronic computers)
1
Systems engineering
see all ...
less ...
Author
9
SpringerLink (Online service)
1
Beek, Maurice H. ter,
1
Beklemishev, Lev Dmitrievich, 1967-
1
Blass, Andreas, 1947-
1
Coecke, Bob
1
De Nicola, Rocco,
more ...
1
Dershowitz, Nachum,
1
Fantechi, Alessandro,
1
Finkbeiner, Bernd,
1
Gnesi, Stefania, 1954-
1
Grumberg, Orna
1
Gurevich, Yuri,
1
Hennicker, Rolf, 1952-
1
International Andrei Ershov Memorial Conference
1
International Andrei Ershov Memorial Conference Kazanʹ and Innopolis, Russia)
1
International Conference on Algorithms and Architectures for Parallel Processing
1
International Conference on Algorithms and Architectures for Parallel Processing Zhangjiajie Shi, China)
1
Jones, Cliff,
1
Kaschek, Roland H., 1955-
1
Li, Kenli,
1
Martinez Pérez, Gregorio,
1
Mazzara, Manuel,
1
Ong, Luke
1
Panangaden, P.
1
Schulte, Wolfram,
1
Semini, Laura,
1
United Information Systems Conference
1
United Information Systems Conference Klagenfurt, Austria)
1
Veith, Helmut
1
Veith, Helmut,
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication