Lecture notes in computer science
Gespeichert in:
Titel: | Lecture notes in computer science |
---|---|
Erscheinungsverlauf: | 1.1973 - |
veröffentlicht: |
Berlin, Heidelberg
Springer
1973-
|
Schlagwörter: | |
Beschreibung: | Gesehen am 28.02.20 |
ISSN: |
1611-3349
|
Format: | Elektronische Schriftenreihe Monographische Schriftenreihe |
Sprache: | Englisch |
Druckausg.: | Lecture notes in computer science, Berlin : Springer, 1973 |
Ergebnisse weiter eingrenzen
-
1
-
2
-
3
5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 (1980)
veröffentlicht 1980
In Bestand: Lecture notes in computer science -
4
6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (1982)
veröffentlicht 1982
In Bestand: Lecture notes in computer science -
5
7th International Conference on Automated Deduction: Proceedings (1984)
veröffentlicht 1984
In Bestand: Lecture notes in computer science -
6
-
7
-
8
-
9
-
10
Active Visual Inference of Surface Shape (1996)
veröffentlicht 1996
In Bestand: Lecture notes in computer science -
11
-
12
-
13
-
14
-
15
Ada Software Tools Interfaces: Workshop, Bath, July 13-15, 1983. Proceedings (1984)
veröffentlicht 1984
In Bestand: Lecture notes in computer science -
16
Ada: The Choice for '92: Ada-Europe International Conference Athens, Greece, May 13-17, 1991 (1991)
veröffentlicht 1991
In Bestand: Lecture notes in computer science -
17
-
18
The Adaption of Virtual Man-Computer Interfaces to User Requirements in Dialogs (1981)
veröffentlicht 1981
In Bestand: Lecture notes in computer science -
19
-
20