|
|
2341.
|
Java software development with event B :
: a practical guide /
by Cataño Collazos, Nestor 1975- [author.]. Material type:  Book; Format:
available online
 ; Literary form:
not fiction
Description: 1 PDF (x, 89 pages) : illustrations (some color).Publisher: [San Rafael, California] : Morgan & Claypool, [2020]Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
2342.
|
Study of the modifications needed for effective operation of nastran on ibm virtual storage computers. [NASA CR-2527]
by McCormick, C. W | Redner, K. H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 55p.Publisher: Washington, D. C NASA 1975Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: NASA CR-2527] (1).
|
|
|
2343.
|
Computational Geometry [Perpetual]
: an Introduction
by Preparata, Franco P | Shamos, Michael Ian. Description: xiv, 400p.Publisher: New York 9781461210986 1985Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
2344.
|
Decision Procedures [2nd ed.] [Perpetual]
: an algorithmic point of view
by Kroening, Daniel | Strichman, Ofer. Edition: 2nd ed. Description: xxi, 356p.Publisher: Berlin Springer-Verlag 2016Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.542 K913d2] (1).
|
|
|
2345.
|
An introduction to parallel programming [Perpetual access]
by Pacheco, Peter S. Publisher: Amsterdam Elsevier 2011Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.275 P115i] (1).
|
|
|
2346.
|
Data structures & algorithms in Java [6th ed.] [Subscription for 2022-23]
by Goodrich, Michael T | Tamassia, Roberto | Goldwasser, Michael H. Edition: 6th ed. Description: xii, 720p.Publisher: New Delhi Wiley India 2014Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.73 G625d6] (3).
|
|
|
2347.
|
Data mining [Perpetual access till February 2028]
by Pudi, Vikram | Krishna, P. Radha. Description: xii, 238p.Publisher: New Delhi Oxford University Press Online access: Click here to access online | Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.312 P962d] (1).
|
|
|
2348.
|
Data structures using Python [Perpetual access till February 2028]
by Vasudevan, Shriram K | Nagarajan, Abhishek S | Nanmaran, Karthick. Description: xii, 362p.Publisher: New Delhi Oxford University Press 2020Online access: Click here to access online | Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.73 V449d] (1).
|
|
|
2349.
|
Statistical programming in R [Perpetual access till February 2028]
by Srinivasa, K.G | Siddesh, G. M | Shetty, Chetan | Sowmya, B. J. Description: xii, 266p.Publisher: New Delhi Oxford University Press 2017Online access: Click here to access online | Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.502855133 Sr3s] (1).
|
|
|
2350.
|
Science and engineering of casting solidification [3rd ed.] [perpetual access]
by Doru Stefanescu. Edition: 3rd ed. Publisher: Springer 2015Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 671.2 St3s3] (1).
|
|
|
2351.
|
DATA STRUCTURES USING C
by Tenenbaum,Aaron M., Langsam,Yedidyah | Augenstein,Moshe J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,662.Publisher: New Delhi Prentice Hall Of India 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.73 T253D] (1).
|
|
|
2352.
|
Natural language understanding and cognitive robotics
by Yokota, Masao. Description: iv, 204p.Publisher: Boca Raton CRC Press 2020Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.35 Y77n] (1).
|
|
|
2353.
|
Neuromorphic and brain-based robots
by Krichmar, Jeffrey L. [ed.] | Wagatsuma, Hiroaki [ed.]. Description: ix, 364p.Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.32 N398] (1).
|
|
|
2354.
|
Fundamentals of computational fluid dynamics [Perpetual access]
by Lomax, H | Pulliam, T. H | Zingg, D. W. Description: xiv, 250p.Publisher: Berlin Springer 2001Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 532 L837f] (1).
|
|
|
2355.
|
The design and analysis of algorithms [Perpetual access]
by Kozen, Dexter C. Description: x, 322p.Publisher: New York Springer 1992Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 K849d] (1).
|
|
|
2356.
|
Timing channels in cryptography [Perpetual access]
: a micro-architectural perspective
by Rebeiro, Chester | Mukhopadhyay, Debdeep | Bhattacharya, Sarani. Description: xvii, 152p.Publisher: Switzerland Springer 2015Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.82 R241t] (1).
|
|
|
2357.
|
Computational modelling of bifurcations and instabilities in fluid dynamics
by Gelfgat, Alexander [ed.]. Description: viii, 527p.Publisher: Switzerland Springer 2019Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 532 C739] (1).
|
|
|
2358.
|
Analyzing neural time series data
: theory and practice
by Cohen, Mike X. Description: xviii, 578p.Publisher: Cambridge MIT Press 2014Availability: No items available Checked out (1).
|
|
|
2359.
|
Machine learning and big data with kdb+/q
by Novotny, Jan | Bilokon, Paul A | Galiotos, Aris | Deleze, Frederic. Description: xxiv, 613p.Publisher: Chichester Wiley 2020Availability: No items available Checked out (1).
|
|
|
2360.
|
Hardware security [Perpetual access]
: design, threats, and safeguards
by Mukhopadhyay, Debdeep | Chakraborty, Rajat Subhra. Description: xxxi, 535p.Publisher: Boca Raton CRC Press 2015Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.8 M896h] (1).
|
