|
|
1781.
|
Symbolic and algebraic computation by computers
by 2nd RIKEN International Symposium Wako-shi,Japan 1984 | Inada, N [ed.] Soma, T [ed.]. Description: viii, 246p.Publisher: Singapore World Scientific 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.140285 R449s] (1).
|
|
|
1782.
|
REWRITING TECHNIQUES AND APPLICATIONS
by KIRCHNER, CLAUDE. Description: xi,487.Publisher: Berlin Springer-Verlag c1993Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1783.
|
KALMAN FILTERING
by GREWAL,MOHINDER S | ANDREWS,ANGUS P. Description: xviii 375.Publisher: Prentice-Hall,Englewood Cliffs c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003.5 G869K] (1).
|
|
|
1784.
|
Digital image processing
: an algorithmic introduction using Java
by Burger, Wilhelm | Burge, Mark J. Edition: 2ndMaterial type:  Book; Format:
print
; Literary form:
not fiction
Description: xxiii, 811p.Publisher: London Springer 2016Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.6633 B911d2] (1).
|
|
|
1785.
|
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).
|
|
|
1786.
|
Alternative Breast Imaging
: Four Model-Based Approaches /
: [electronic resource] :
by Paulsen, Keith D [author.] | Meaney, Paul M [author.] | Gilman, Larry C [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XVI, 254 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).
|
|
|
1787.
|
QoS in Packet Networks
: [electronic resource] /
by Park, Kun I [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 243 p. 164 illus. 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).
|
|
|
1788.
|
Privacy, Security and Trust within the Context of Pervasive Computing
: [electronic resource] /
by Robinson, Philip [editor.] | Vogt, Harald [editor.] | Wagealla, Waleed [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 171 p. 16 illus. 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).
|
|
|
1789.
|
The Next Wave in Computing, Optimization, and Decision Technologies
: [electronic resource] /
by Golden, Bruce [editor.] | Raghavan, S [editor.] | Wasil, Edward [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 396 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).
|
|
|
1790.
|
Reverse Engineering of Object Oriented Code
: [electronic resource] /
by Tonella, Paolo [author.] | Potrich, Alessandra [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 208 p. 80 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1791.
|
Evolutionary Synthesis of Pattern Recognition Systems
: [electronic resource] /
by Bhanu, Bir [author.] | Lin, Yingqiang [author.] | Krawiec, Krzysztof [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 296 p. 95 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1792.
|
Certification and Security in Inter-Organizational E-Service
: [electronic resource] /
by Nardelli, Enrico [editor.] | Talamo, Maurizio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VII, 149 p. online resource.Publisher: Boston, MA : Springer US : Imprint: Springer, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1793.
|
Super-Recursive Algorithms
: [electronic resource] /
by Burgin, Mark [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 304 p. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1794.
|
Abstraction, Refinement and Proof for Probabilistic Systems
: [electronic resource] /
by McIver, Annabelle [author.] | Morgan, Carroll [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 388 p. 63 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1795.
|
Introduction to Assembly Language Programming
: For Pentium and RISC Processors /
: [electronic resource] :
by Dandamudi, Sivarama P [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 692 p. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1796.
|
Geometric Fundamentals of Robotics
: [electronic resource] /
by Selig, J. M [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 398 p. 32 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1797.
|
Nearest Neighbor Search
: A Database Perspective /
: [electronic resource] :
by Papadopoulos, Apostolos N [author.] | Manolopoulos, Yannis [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 170 p. 77 illus. 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).
|
|
|
1798.
|
From Specification to Embedded Systems Application
: [electronic resource] /
by Rettberg, Achim [editor.] | Zanella, Mauro C [editor.] | Rammig, Franz J [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 320 p. online resource.Publisher: Boston, MA : Springer US : Imprint: Springer, 2005.Other title: IFIP TC10 Working Conference: Internationall Embedded Systems Symposium (IESS), August 15-17, 2005, Manaus, Brazil.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1799.
|
An Integrated Approach to Software Engineering
: [electronic resource] /
by Jalote, Pankaj [author.] | SpringerLink (Online service). Edition: Third Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 566 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).
|
|
|
1800.
|
Soft Real-Time Systems
: Predictability vs. Efficiency /
: [electronic resource] :
by Buttazzo, Giorgio [author.] | Lipari, Giuseppe [author.] | Abeni, Luca [author.] | Caccamo, Marco [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 275 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).
|
