|
|
1.
|
Application and theory of Petri nets
by Workshop on Application and theory of Petri Nets Strasbourg 23-26 Seopt. 1980 | Girault, Claude [ed.] | Reisig, Wolfgang [ed.]. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: ix, 337p.Publisher: Berlin Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 514.223 Ap58] (1).
|
|
|
2.
|
BIBLIOGRAPHY ON ABSTRACT DATA TYPES
by Kutzler, B | Lichtenberger, F. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 192.Publisher: Berlin Springer-Verlag 1983Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642016 K969b] (1).
|
|
|
3.
|
USE OF FORMAL SPECIFICATION OF SOFTWARE, JUNE 25-27, 1979, BERLIN
by Berg, H. K | Giloi, W. K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: iv,388.Publisher: Berlin Springer-Verlag 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Us2] (1).
|
|
|
4.
|
APPLICATION AND THEORY OF PETRINETS, SEPTEMBER, 1981
by Girault, Claude | Reisig, Wolfgang. Material type: Book; Format:
print
; Literary form:
not fiction
Description: iv,337.Publisher: Berlin Springer-Verlag 1982Availability: No items available Withdrawn (1).
|
|
|
5.
|
APPLICATION AND THEORY OF PETRINETS, SEPTEMBER, 1981
by Girault, Claude | Reisig, Wolfgang. Material type: Book; Format:
print
; Literary form:
not fiction
Description: iv,337.Publisher: Berlin Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 514.223 Ap58] (1).
|
|
|
6.
|
DATA NETWORKS WITH SATELLITES
by Majus, Joachim | Spaniol, Otto. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi,251.Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.384156 D262] (1).
|
|
|
7.
|
GWAI-83
: proceedings...
by | German Workshop on Artificial Intelligence Dassel/Solling 1983 | Neumann, Bernd, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 240p.Publisher: Berlin Springer 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 G317g] (1).
|
|
|
8.
|
Recent trends in data type specification
: proceedings...
by Kreowski, H E [ed.]. Description: 253p.Publisher: Berlin Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 W892r] (1).
|
|
|
9.
|
APPLICATIONS AND THEORY OF PETRI NETS
by PAGNONI, AMASTASIA | ROZENBERG, GRZEGORZ. Description: vi,315.Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511 Eu74a] (1).
|
