|
1881.
|
Lecture notes in computer science (v.425) Proceedings
by Algebraic Logic and Universal Algebra in Computer Science Conference Ames, Iowa) (1988 : | Bergman, C. H | Maddux, R. D | Pigozzi, Don. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 292 p.Publisher: New York : Springer-Verlag, 1990Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.425] (1).
|
|
1882.
|
Patterns in permutations and words
by Kitaev, Sergey. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii, 494p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.6 K646p] (1).
|
|
1883.
|
Lecture notes in computer science (v.416) Parallel computing, 1988
by Shell Conference Amsterdam, Netherlands 1988 | Zee, G. A. van | Vorst, J. G. G. van de. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 135 p.Publisher: New York : Springer-Verlag, c1989Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.416] (1).
|
|
1884.
|
Lecture notes in computer science (v.384)Parallel computing, 1988
by Shell Conference Amsterdam, Netherlands 1988 | Zee, G. A. van | Vorst, J. G. G. van de. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 135 p.Publisher: New York Springer-Verlag 1989Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.384] (1).
|
|
1885.
|
Lecture notes in computer science ESEC '89
: 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings
by (2nd : European Software Engineering Conference University of Warwick) 1989 : | Ghezzi, Carlo | McDermid, John. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 496 p.Publisher: Berlin ; Springer-Verlag, c1989Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.387] (1).
|
|
1886.
|
A formal model of visualization in computer graphics systems
by Onodera, Tamiya | Kawai, Satoru. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 100 p.Publisher: Berlin ; New York : Springer-Verlag, 1990Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.421] (1).
|
|
1887.
|
Lecture notes in computer science CSL '88
: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
by (2nd Workshop on Computer Science Logic Duisburg, Germany) 1988 | Börger, E | Kleine Büning, H | Richter, Michael M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 399 p.Publisher: Berlin ; New York : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.385] (1).
|
|
1888.
|
Mathematical methods for wave phenomena
by Bleistein, Norman. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 341 p.Publisher: New York Academic Press 1984Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 531.1133 B616m] (1).
|
|
1889.
|
Computer structures
: principles and examples
by Siewiorek, Daniel P | Bell, C. Gordon | Newell, Allen. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 926 p.Publisher: New York McGraw-Hill 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 621.38195 C739s] (1).
|
|
1890.
|
Lecture notes in computer science and lecture notes in artificial intelligence [vol. 11103] : rough sets
by International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam August 20-24, 2018 | Nguyen, Hung Son [ed.] | Ha, Quang-Thuy [ed.] | Li, Tianrui [ed.] | Przybyła-Kasperek, Małgorzata [ed.]. Material type: Visual material; Format:
electronic
; Type of visual material: Description: CD-ROM.Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1891.
|
Image processing and analysis
: a primer
by Gimel'farb, Georgy | Delmas, Patrice. Description: xvi, 229p.Publisher: New Jersey World Scientific 2019Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.367 G429i cop.1] (4).
|
|
1892.
|
The theory of timed I/O automata
: [electronic resource] /
by Kaynar, Dilsun K. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xi, 101 p. : ill.) : digital file.Publisher: San Rafael, Calif (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, 2006Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1893.
|
Analysis and design of substrate integrated waveguide using efficient 2D hybrid method
: [electronic resource] /
by Wu, Xuan Hui | Kishk, Ahmed A. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (x, 82 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2010Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1894.
|
Broadband quantum cryptography
: [electronic resource] /
by Rogers, Daniel J. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (ix, 83 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2010Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1895.
|
Data integration
: the relational logic approach /
: [electronic resource] :
by Genesereth, Michael R 1948-. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xi, 97 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2010Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1896.
|
Experience-centered design
: designers, users, and communities in dialogue /
: [electronic resource] :
by Wright, Peter | McCarthy, John. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xiv, 107 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2010Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1897.
|
The graph theoretical approach in brain functional networks
: theory and applications /
: [electronic resource] :
by De Vico Fallani, Fabrizio | Babiloni, Fabio. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (x, 78 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2010Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1898.
|
An introduction to duplicate detection
: [electronic resource] /
by Naumann, Felix | Herschel, Melanie. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (ix, 77 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2010Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1899.
|
Access control in data management systems
: [electronic resource] /
by Ferrari, Elena 1968-. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xiv, 103 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2010Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
1900.
|
Automated grammatical error detection for language learners
: [electronic resource] /
by Leacock, Claudia. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (ix, 122 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2010Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|