?
1
Meta-level control for deductive database systems
Lecture notes in computer science ; 479
Exemplar:
Zentrale:Magazin 01.p.0239
?
2
Temporally distributed symptoms in technical diagnosis
Lecture notes in computer science ; 517, Lecture notes in artificial intelligence
Exemplar:
Zentrale:Magazin 01.p.0353
?
3
Conclog: a methodological approach to concurrent logic prog..
Lecture notes in computer science ; 556
Exemplar:
Zentrale:Magazin 01.p.0399
?
4
Efficient query processing in geographic information system
Lecture notes in computer science ; 471
Exemplar:
Zentrale:Magazin 01.p.0194
?
5
Combinatorics on traces
Lecture notes in computer science ; 454
Exemplar:
Zentrale:Magazin 01.p.0060
?
6
On the shape of mathematical arguments
Lecture notes in computer science ; 445
Exemplar:
Zentrale:Magazin 01.p.0069
?
7
Finite representations of CCS and TCSP programs by automata..
Lecture notes in computer science ; 369
Exemplar:
Zentrale:Magazin 01.j.9879
?
8
Concepts, design, and performance analysis of a parallel Pr..
Lecture notes in computer science ; 404
Exemplar:
Zentrale:Magazin 01.p.0032
?
9
Computational aspects of an order-sorted logic with term de..
Lecture notes in computer science ; 395, Lecture notes in artificial intelligence
Exemplar:
Zentrale:Magazin 01.p.0026
?
10
Modified branching programs and their computational power
Lecture notes in computer science ; 370
Exemplar:
Zentrale:Magazin 01.j.9871
?
11
Concrete and abstract Voronoi diagrams
Lecture notes in computer science ; 400
Exemplar:
Zentrale:Magazin 01.p.0033
?
12
Grundlagen der Datenverarbeitung
[212 Übungsaufgaben]
De-Gruyter-Lehrbuch
Exemplar:
Zentrale:Magazin 01.n.2043