Showing 1 - 20
of 45
for search: '"Lecture notes in computer science. Tutorial."',
query time: 0.33s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
10
Formal methods (Computer science)
6
Knowledge representation (Information theory)
6
Ontology
6
Query languages (Computer science)
6
Semantic Web
5
Software engineering
more ...
4
Functional programming (Computer science)
4
Programming languages (Electronic computers)
3
Computer networks Security measures
3
Computer security
3
Computer software Development
3
Integrated circuits Verification
2
Component software
2
Computer logic
2
Generic programming (Computer science)
1
Ad hoc networks (Computer networks) Programming
1
Artificial intelligence
1
Automatic speech recognition
1
Biometric identification
1
Classification
1
Computational linguistics
1
Computer algorithms
1
Computer networks
1
Computer programming
1
Computer programs
1
Computer programs Verification
1
Computer science Mathematics
1
Computer software Reusability
1
Computer software Testing
1
Computer software Verification
see all ...
less ...
Author
43
SpringerLink (Online service)
7
International School on Formal Methods for the Design of Computer, Communication, and Software Systems
7
International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy)
6
Bernardo, Marco
6
Summer School on Reasoning Web
4
Aldini, Alessandro
more ...
3
Central European Functional Programming School
3
Gorrieri, Roberto
3
Horváth, Zoltán, 1962-
3
International School on Foundations of Security Analysis and Design
3
International School on Foundations of Security Analysis and Design Bertinoro, Italy)
2
GTTSE (Summer School)
2
GTTSE (Summer School) Braga, Portugal)
2
Gesellschaft für Informatik
2
ICTAC (Colloquium)
2
Liu, Zhiming, 1961-
2
Plasmeijer, M. J.
2
Woodcock, Jim
2
Zsók, Viktória
1
AFP 2004
1
AFP 2004 Tartu, Estonia)
1
Antoniou, G.
1
Backhouse, Roland C., 1948-
1
Barahona, P. 1954-
1
Baroglio, Cristina
1
Bartocci, Ezio (Computer scientist),
1
Bezhanishvili, Nick
1
Bigün, Josef
1
Boche, Holger
1
Boer, Frank S. de
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication