1
Model checking software [E-Book] : 15th international SPIN workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings /
“...Lecture notes in computer science ;...”

Full text 
Favorites
Saved in:
2
Distributed computing [E-Book] : 22nd international symposium, DISC 2008, Arcachon, France, September 22-24, 2008 : proceedings /
“...Lecture notes in computer science ;...”

Full text 
Favorites
Saved in:
3
Diagrammatic representation and inference [E-Book] : 5th international conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008 : proceedings /
“...Lecture notes in computer science ;...”

Full text 
Favorites
Saved in:
4
High performance computing and networking. 2. networking and tools : international conference and exhibition, proceedings : München, 18.04.94-20.04.94.
Book
“...Lecture notes in computer science ;...”
Loan/Reservation

Favorites
Saved in:
5
High performance computing and networking. 1. applications : international conference, proceedings and exhibition, proceedings : München, 18.04.94-20.04.94.
Book
“...Lecture notes in computer science ;...”
Loan/Reservation

Favorites
Saved in:
6
Advances in computing and information. 3, 1991 : international conference on computing and information, proceedings : ICCI, proceedings : Ottawa, 27.05.91-29.05.91 /
Book
“...Lecture notes in computer science ;...”
Loan/Reservation

Favorites
Saved in:
7
Stacs, proceedings. 1990, 7 : annual symposium on theoretical aspects of computer science, proceedings : Rouen, 22.02.90-24.02.90.
Book
“...Lecture notes in computer science ;...”
Loan/Reservation

Favorites
Saved in:
8
European symposium on programming, proceedings. 3, 1990 : ESOP : Köbenhavn, 15.05.90-18.05.90.
Book
Jones, N.
1990
“...Lecture notes in computer science ;...”
Loan/Reservation

Favorites
Saved in:
9
Foundations of software technology and theoretical computer science. 6 : proceedings : foundations of software technology and theoretical computer science, conference : New-Delhi, 18.12.1986-20.12.1986.
Book
“...Lecture notes in computer science ;...”
Loan/Reservation

Favorites
Saved in:
10
Automata, languages and programming. 7 : international colloquium : Noordwijkerhout, 14.07.80-18.07.80.
Book
“...Lecture notes in computer science ;...”
Loan/Reservation

Favorites
Saved in:
11
Programming. 4 : international symposium : colloque international : Paris, 22.04.80-24.04.80.
Book
“...Lecture notes in computer science ;...”
Loan/Reservation

Favorites
Saved in:
12
Mathematical foundations of computer science. 1978, 7 : Mathematical foundations of computer science : symposium : Zakopane, 04.09.78-08.09.78.
Book
“...Lecture notes in computer science ;...”
Loan/Reservation

Favorites
Saved in:
13
Natural language communication with computers.
Book
Bolc, L.
1978
“...Lecture notes in computer science ;...”
Loan/Reservation

Favorites
Saved in:
14
Language hierarchies and interfaces : international summer school : Marktoberdorf, 23.07.75-02.08.75.
Book
“...Lecture notes in computer science ;...”
Loan/Reservation

Favorites
Saved in:
15
Programming methodology. 4 : Informatiksymposium : Wildbad, 25.09.74-27.09.74.
Book
“...Lecture notes in computer science ;...”
Loan/Reservation

Favorites
Saved in:
16
Theory of program structures : schemes, semantics, verification.
Book
“...Lecture notes in computer science ;...”
Loan/Reservation

Favorites
Saved in:

Narrow Search Results