|
1.
|
DATA STRUCTURES AND ALGORITHMS
by Mehlhorn, Kurt. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 3 v.Publisher: Berlin Springer-Verlag 1984Availability: No items available Withdrawn (1).
|
|
2.
|
Fundamentals of algebraic specification 1
: equations and initial semantics
by Ehrig, H | Mahr, B., ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 321p.Publisher: Berlin Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 Eh88f] (2).
|
|
3.
|
PRODUCTS OF AUTOMATA
by Gecseg, Ferenc. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,107.Publisher: Berlin Springer-Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 G266p] (1).
|
|
4.
|
COMPUTABILITY
by Weihrauch, Klous. Material type: Book Description: x,517.Publisher: Berlin Springer-Verlag c1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515.25 W428c] (1).
|
|
5.
|
Data structures and algorithms [vol1 and 3]
by Mehlhorn, Kurt. Material type: Book; Format:
print
; Literary form:
not fiction
Description: various pagings.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6443 M473d v.1 cop.2] (3).
|
|
6.
|
Temporal logic of programs
by Kroger, Fred. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 148p.Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 K914t] (1).
|
|
7.
|
CONFLUENT STRING REWRITING
by Jantzen, Matthias. Material type: Book Description: viii,126.Publisher: Berlin Springer-Verlag c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 J268c] (1).
|
|
8.
|
RELATIONS AND GRAPHS
by Schmidt,Gunther, Strohlein,Thomas. Material type: Book Description: viii 301.Publisher: Springer-Verlag, Berlin c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.5 SCH53R] (1).
|
|
9.
|
Specification and analysis of concurrent systems
: the COSY approach
by Janicki, Ryszard | Lauer. Peter E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 480p.Publisher: Berlin Springer-Verlag 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.12 J254s] (1).
|
|
10.
|
ALGORITHMS IN COMBINATORIAL GEOMETRY
by Edelsbrunner, Herbert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,423.Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 516.13 Ed27a] (1).
|
|
11.
|
ALGORITHMS IN COMBINATORIAL GEOMETRY
by Edelsbrunner, Herbert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,423.Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 516.13 Ed27a] (1).
|
|
12.
|
STRUCTURE OF THE RELATIONAL DATABASE MODEL
by Paredaens, Jan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,231.Publisher: Berlin Springer-Verlag 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6442 St89] (1).
|