Showing 1 - 20
of 22
for search: '',
query time: 0.11s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: SpringerLink (Online service)
Subject: Computer programming
Subject: Programming languages (Electronic computers)
Subject: Software engineering
Institution
Collection
Format
Subject
Computer programming
Programming languages (Electronic computers)
Software engineering
12
Computer science
8
Computer logic
8
Logic, Symbolic and mathematical
more ...
6
Artificial intelligence
3
Computer networks
2
Algorithms
2
C++ (Computer program language)
2
Computer architecture
2
Logic programming
1
Application software
1
C++/CLI (Computer program language)
1
Coding theory
1
Computer software Evaluation
1
Computer software Verification
1
Computer system failures
1
Computers
1
Computers, Special purpose
1
Domain-specific programming languages
1
Formal methods (Computer science)
1
Functional programming (Computer science)
1
Information theory
1
ML (Computer program language)
1
Management information systems
1
Rule-based programming
1
Semantic Web
1
Source code (Computer science)
1
User interfaces (Computer systems)
see all ...
less ...
Author
SpringerLink (Online service)
2
Dmitrović, Slobodan,
2
ETAPS (Conference)
2
European Symposium on Programming
2
Voronkov, Andrei, 1959-
1
APLAS (Symposium)
more ...
1
APLAS (Symposium) Seoul, Korea)
1
Ali, Raian,
1
Anjorin, Anthony,
1
Barthe, Gilles, 1967-
1
Blasband, Darius,
1
Bodei, Chiara,
1
Butler, Michael, 1967-
1
Carullo, Giuliana
1
Cheng, Betty H. C.,
1
Combemale, Benoit,
1
Conchon, Sylvain,
1
Costantini, Stefania,
1
Damaševičius, Robertas
1
Davis, Martin,
1
ECMFA (Conference)
1
ECMFA (Conference) Marburg, Germany)
1
ENASE (Conference)
1
ENASE (Conference) Online)
1
Espinoza, Huáscar,
1
European Symposium on Programming Saarbrücken, Germany)
1
European Symposium on Programming Tallinn, Estonia)
1
Fehnker, Ansgar,
1
Ferrari, Gian-Luigi,
1
France, Robert
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication