|
5541.
|
Software engineering: proceedings ...
:
by National Conference on Software Engineering. Material type: Book; Format:
print
; Nature of contents: Description: x, 465p.Publisher: Institute of Electrical and Electronics Engineers Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 N213 ] (1).
|
|
5542.
|
Foundations of computer science: proceedings ...
: sponsored by The IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing
by Annual Symposium on Foundations of Computer Science, Houston, Texas; 1976| 17th | IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing. Material type: Book; Format:
print
; Nature of contents: Description: v, 276p.Publisher: California IEEE Computer Society 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 An89 ] (1).
|
|
5543.
|
Computer hardware description languages and their applications: proceedings ...
:
by International Symposium on Computer Hardware Description Languages and their Applications. Material type: Book; Format:
print
; Nature of contents: Description: v, 276p.Publisher: Institute of Electrical and Electronics Engineers Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64044 In8 ] (1).
|
|
5544.
|
Computers in cardiology
: Material type: Book; Format:
print
; Nature of contents: Description: x, 286p.Publisher: United States of America Institute of Electrical and Electronics Engineers 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 616.120285 C739 ] (1).
|
|
5545.
|
Computer architecture: proceedings...
: Institute of Electrical and Electronics Engineers
by Annual Symposium on Computer Architecture. Material type: Book; Format:
print
; Nature of contents: Description: x, 286p.Publisher: IEEE Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381952 An78 ] (1).
|
|
5546.
|
Expert systems and intelligent manufacturing
: proceedings
by 2nd: 1988: University of South Carolina, carolina International Conference on Expert Systems and the Leading Edge in Production Planning and Control Charleston, Carolina 3 - 5 May, 1988 | Oliff, Michael D [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 477p.Publisher: New York North Holland 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.5030285 Ex71s] (1).
|
|
5547.
|
Guide to latex [Electronic resource]
by Kopka, Helmut | Daly, Patrick W. Edition: 4thMaterial type: Visual material; Type of visual material: Publisher: Boston Addison-Wesley 2004Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: A164336 GA3.2] (1).
|
|
5548.
|
NASA Technical Note : COHORT II - MONTE CARLO GENERAL PURPOSE SHIELDING COMPUTER CODE
by SOFFER, LEONARD | CLEMONS, LESTER. Material type: Book Description: 77p.Publisher: WASHINGTON, D.C. NASA, 1971Availability: Items available for reference: PK Kelkar Library, IIT Kanpur (1).
|
|
5549.
|
Computer-aided experimentation
: interfacing to minicomputers
by Finkel, Jules. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 422 p.Publisher: New York : Wiley, [1975]Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 F495] (1).
|
|
5550.
|
Digital imaging primer
by Parkin, Alan. Description: xxix, 721p.Publisher: Heidelberg Springer 2016Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.686 P229d] (1).
|
|
5551.
|
Computer, electronics and electrical engineering
: proceedings...
by 2nd Research Submit on Computer, Electronics and Electrical Engineering Arunachal Pradesh 3-4 June, 2016 | Chakraborty, Pinaki [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 325p.Publisher: New Delhi Excel India 2016Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 004.6 In8 2016] (1).
|
|
5552.
|
Optimal networked control systems with MATLAB
by Sarangapani, Jagannathan | Xu, Hao. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix, 335p.Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.86553 Sa71o] (1).
|
|
5553.
|
Wireless sensor networks
: concepts, applications, experimentation and analysis
by Fahmy, Hossam Mahmoud Ahmad. Description: xxxi, 614p.Publisher: Singapore Springer 2016Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.6 F142w] (1).
|
|
5554.
|
Hidden markov models for time series
: an introduction using R
by Zucchini, Walter | MacDonald, Iain L | Langrock, Roland. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxviii, 370p.Publisher: New York CRC Press 2016Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.55 Z82h2] (1).
|
|
5555.
|
Processing declarative knowledge :
: international workshop, PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings /
by PDK '91 Kaiserslautern, Germany) (1991 : | Boley, H.,(ed.) | Richter, Michael M.,(ed.). Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 427 p.Publisher: Berlin ; New York : Springer-Verlag, c1991Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 v.567] (1).
|
|
5556.
|
The global cybercrime industry
: economic, institutional and strategic perspectives
by Kshetri, Nir. Description: xxi, 251p.Publisher: Berlin Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 364.168 K949g] (1).
|
|
5557.
|
CIM systems
: an interoduction to computer integrated manufacturing
by Mitchell, F. H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 542p.Publisher: New Jersey Prentice-Hall 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 670.427 M693c] (1).
|
|
5558.
|
Recent Advances in Design and Decision Support Systems in Architecture and Urban Planning
: [electronic resource] /
by Leeuwen, Jos P. Van [editor.] | Timmermans, Harry J. P [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 358 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
5559.
|
Computer-Aided Architectural Design Futures (CAADFutures) 2007
: Proceedings of the 12th International CAADFutures Conference /
: [electronic resource] :
by Dong, Andy [editor.1 ] | Moere, Andrew Vande [editor.1 ] | Gero, John S [editor.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 602 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
5560.
|
System-Level Design Techniques for Energy-Efficient Embedded Systems
: [electronic resource] /
by Schmitz, Marcus T [author.] | Al-Hashimi, Bashir M [author.] | Eles, Petru [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVII, 194 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|