PKK Library

Your cart is empty.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 12 results. Subscribe to this search

Unhighlight Highlight
|
1.
DATA STRUCTURES AND ALGORITHMS

by Mehlhorn, Kurt.

Material type: book Book; Format: print ; Literary form: not fiction Description: 3 v.Publisher: Berlin Springer-Verlag 1984Availability: No items available Withdrawn (1).

Add to cart
2.
Fundamentals of algebraic specification 1 : equations and initial semantics

by Ehrig, H | Mahr, B., ed.

Material type: book 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).

Place hold Add to cart
3.
PRODUCTS OF AUTOMATA

by Gecseg, Ferenc.

Material type: book 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).

Place hold Add to cart
4.
COMPUTABILITY

by Weihrauch, Klous.

Material type: book Book Description: x,517.Publisher: Berlin Springer-Verlag c1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515.25 W428c] (1).

Place hold Add to cart
5.
Data structures and algorithms [vol1 and 3]

by Mehlhorn, Kurt.

Material type: book 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).

Place hold Add to cart
6.
Temporal logic of programs

by Kroger, Fred.

Material type: book 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).

Place hold Add to cart
7.
CONFLUENT STRING REWRITING

by Jantzen, Matthias.

Material type: book Book Description: viii,126.Publisher: Berlin Springer-Verlag c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 J268c] (1).

Place hold Add to cart
8.
RELATIONS AND GRAPHS

by Schmidt,Gunther, Strohlein,Thomas.

Material type: book Book Description: viii 301.Publisher: Springer-Verlag, Berlin c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.5 SCH53R] (1).

Place hold Add to cart
9.
Specification and analysis of concurrent systems : the COSY approach

by Janicki, Ryszard | Lauer. Peter E.

Material type: book 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).

Place hold Add to cart
10.
ALGORITHMS IN COMBINATORIAL GEOMETRY

by Edelsbrunner, Herbert.

Material type: book 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).

Place hold Add to cart
11.
ALGORITHMS IN COMBINATORIAL GEOMETRY

by Edelsbrunner, Herbert.

Material type: book 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).

Place hold Add to cart
12.
STRUCTURE OF THE RELATIONAL DATABASE MODEL

by Paredaens, Jan.

Material type: book 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).

Place hold Add to cart

Powered by Koha