|
|
1081.
|
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE - TVER `92
by Nerode, A | Taitslin, M | . Description: ix,514.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1082.
|
META PROGRAMMING IN LOGIC
by Pettorossi, A. Description: xii,351.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1083.
|
ALOGRITHMS AND COMPUTATION
by Ibaraki, T. Description: xi,510.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1084.
|
COMPUTER SCIENCE LOGIC
by Borger, E. Description: viii,428.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1085.
|
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1992
by Havel, I. M | Koubek, V | . Description: ix,521.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1086.
|
CONCUR'92
by Cleaveland, W. R. Description: 580.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1087.
|
PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRMMING
by Bruynooghe, M | Wirsing, M | . Description: xi,492.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1088.
|
ALGEBRAIC AND LOGIC PROGRAMMING
by Kirchner, H | Levi, G | . Description: ix,457.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1089.
|
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
by Shyamasundar, R. Description: xiii,403.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1090.
|
Lecture Notes In Computer Science [v.1800] PARALLEL AND DISTRIBUTED PROCESSING
by Jose No Rolim | Rolim,Jose. Description: xxiii,1311.Publisher: Springer-Verlag, Berlin c2000Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1091.
|
LECTURE NOTES IN COMPUTER SCIENCE ; V.2461
: ALGORITHMS -- ESA 2002
by Rolf Mohring,Rajeev Raman | Mohring,Rolf | | Raman,Rajeev | . Description: xiv,917.Publisher: Springer-Verlag, Berlin c2002Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1092.
|
LECTURE NOTES IN COMPUTER SCIENCE
by Sajal K. Das,Swapan Bhattacharya | Das,Sajal K | | Goos,G.,Hartmanis,J | | Bhattacharya,Swapan | | Leeuwen,J. Van | . Description: xiv,354.Publisher: Springer-Verlag,Berlin 2002Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1093.
|
LECTURE NOTES IN COMPUTER SCIENCE (2573)
by Ludek Kucera,No | Kucera,Ludek | . Description: xi,422.Publisher: Springer-Verlag,Berlin 2002Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1094.
|
LECTURE NOTES IN COMPUTER SCIENCE (VOL. 2367)
by Juha Fagerholm,No | Fagerholm,Juha | . Description: xiv,612.Publisher: Springer-Verlag,Berlin 2002Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1095.
|
LECTURE NOTES IN COMPUTER SCIENCE ; V.2221
: JOB SCHEDULING STRATEGIES FOR PARALLEL PROCESSING
by Feitelson,Dror G | | Rudolph,Larry | | Dror G Feitelson,Larry Rudolph | . Description: 205.Publisher: Springer-Verlag, Berlin c2001Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1096.
|
LECTURE NOTES IN COMPUTER SCIENCE ;V.2420
: MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2002
by Diks,Krzysztof | | Rytter,Wojciech | | Krzysztof Diks,Wojciech Rytter | . Description: xii,649.Publisher: Springer-Verlag, Berlin 2002Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1097.
|
LECTURE NOTES IN COMPUTER SCIENCE (VOL. 2380)
by Peter Widmayer,No | Widmayer,Peter | . Description: xi,1065.Publisher: Springer-Verlag,Berlin 2002Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1098.
|
LECTURE NOTES IN COMPUTER SCIENCE (VOL. 2286)
by Sergio Rajsbaum,No | Rajsbaum,Sergio | . Description: xiii,630.Publisher: Springer-Verlag,Berlin 2002Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1099.
|
LECTURE NOTES IN COMPUTER SCIENCE (VOL. 2368)
by Penttonen,Martti | | Schmidt,Erik Meineche | | Martti Penttonen,Erik Meineche Schmidt | . Description: xiv,450.Publisher: Springer-Verlag,Berlin 2002Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1100.
|
LECTURE NOTES IN COMPUTER SCIENCE (VOL. 2328)
by Roman Wyrzykoski,No | Wyrzykoski,Roman | . Description: xix,915.Publisher: Springer-Verlag,Berlin 2002Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
