|
3841.
|
A Modular Calculus for the Average Cost of Data Structuring
: [electronic resource] /
by Schellekens, Michel [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 245 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3842.
|
Micro-Assembly Technologies and Applications
: IFIP TC5 WG5.5 Fourth International Precision Assembly Seminar (IPAS’2008) Chamonix, France February 10–13, 2008 /
: [electronic resource] :
by Ratchev, Svetan [editor.] | Koelemeijer, Sandra [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 416 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3843.
|
Programming Languages
: An Active Learning Approach /
: [electronic resource] :
by Lee, Kent [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 282 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3844.
|
Automatic Program Development
: A Tribute to Robert Paige /
: [electronic resource] :
by Danvy, Olivier [editor.] | Mairson, Harry [editor.] | Henglein, Fritz [editor.] | Pettorossi, Alberto [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 272 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3845.
|
Principles of the Spin Model Checker
: [electronic resource] /
by Ben-Ari, Mordechai [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 220 p. 17 illus. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3846.
|
Network Performance Analysis
: Using the J Programming Language /
: [electronic resource] :
by Holt, Alan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 216 p. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3847.
|
Object-Oriented Programming and Java
: [electronic resource] /
by Poo, Danny [author.] | Kiong, Derek [author.] | Ashok, Swarnalatha [author.] | SpringerLink (Online service). Edition: Second edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIX, 322 p. 86 illus. online resource.Publisher: London : Springer London : Imprint: Springer, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3848.
|
Value-Range Analysis of C Programs
: Towards Proving the Absence of Buffer Overflow Vulnerabilities /
: [electronic resource] :
by Simon, Axel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 302 p. 119 illus. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3849.
|
A Concise Introduction to Languages and Machines
: [electronic resource] /
by Parkes, Alan P [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 346 p. 196 illus. online resource.Publisher: London : Springer London : Imprint: Springer, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3850.
|
Introduction to PHP for Scientists and Engineers
: Beyond JavaScript /
: [electronic resource] :
by Brooks, David R [author.] | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 141 p. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3851.
|
A Concise Introduction to Software Engineering
: [electronic resource] /
by Jalote, Pankaj [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 288 p. 67 illus. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3852.
|
Temporal Logic and State Systems
: [electronic resource] /
by Kr�ger, Fred [author.1] | Merz, Stephan [author.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 436 p. 34 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3853.
|
Software and Data Technologies
: First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers /
: [electronic resource] :
by Filipe, Joaquim [editor.] | Shishkov, Boris [editor.] | Helfert, Markus [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 389 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3854.
|
Solvent Systems and Their Selection in Pharmaceutics and Biopharmaceutics
: [electronic resource] /
by Augustijns, Patrick [editor.] | Brewster, Marcus E [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 462 p. 119 illus., 9 illus. in color. online resource.Publisher: New York, NY : Springer New York, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3855.
|
Developing Statistical Software in Fortran 95
: [electronic resource] /
by Lemmon, David R [author.] | Schafer, Joseph L [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 324 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).
|
|
3856.
|
Advances in Control, Communication Networks, and Transportation Systems
: In Honor of Pravin Varaiya /
: [electronic resource] :
by Abed, E. H [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXV, 358 p. 80 illus. online resource.Publisher: Boston, MA : Birkhäuser Boston, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3857.
|
Introduction to Focused Ion Beams
: Instrumentation, Theory, Techniques and Practice /
: [electronic resource] :
by Giannuzzi, Lucille A [editor.] | Stevie, Fred A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 358 p. 193 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).
|
|
3858.
|
Field Emission in Vacuum Microelectronics
: [electronic resource] /
by Fursey, George [author.] | Brodie, Ivor [editor.] | Schwoebel, Paul [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 205 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).
|
|
3859.
|
Modern Ferrite Technology
: [electronic resource] /
by Goldman, Alex [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 438 p. 25 illus. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3860.
|
Semiconductor Physical Electronics
: [electronic resource] /
by Li, Sheng S [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 697 p. online resource.Publisher: New York, NY : Springer New York, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|