|
|
1461.
|
Steps in scala
: an introduction to object-functional programming
by Loverdos, Christos K. K | Syropoulos, Apostolos. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xvii, 485p.Publisher: Cambridge Cambridge University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 L945s] (2).
|
|
|
1462.
|
Computational semantics with functional programming
by Eijck, Jan Van | Unger, Christina. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 405p.Publisher: Cambridge Cambridge University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 Ei47c] (1).
|
|
|
1463.
|
Explorations in quantum computing
by Williams, Colin P. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxii, 717p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 W67q2] (1).
|
|
|
1464.
|
Algorithms and parallel computing
by Gebali, Fayez. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi, 341p.Publisher: New York John Wiley & Sons 2011Availability: No items available Checked out (1).
|
|
|
1465.
|
Group policy
: fundamentals, security and the managed desktop
by Moskowitz, Jeremy. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxv, 903p.Publisher: New York John Wiley & Sons 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.446 M853g] (1).
|
|
|
1466.
|
New horizons of parallel and distributed computing
by Guo, Minyi [ed.] | Yang, Laurence Tianruo [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 333p.Publisher: New York Springer 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 N42] (1).
|
|
|
1467.
|
Organic computing
: a paradigm shift for complex systems
by | Muller-Schloer, Christian, Ed | Schmeck, Hartmut, Ed | Ungerer, Theo, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxx, 627p.Publisher: Basel Birkhauser 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.22 Or3] (1).
|
|
|
1468.
|
Universal algebra
: fundamentals and selected topics
by Bergman, Clifford. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 308p.Publisher: Boca Raton Crc Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512 B454u] (1).
|
|
|
1469.
|
Systems self-assembly
: multidisciplinary snapshots
by | Krasnogor, Natalio, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 310p.Publisher: Amsterdam Elsevier 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003.7 Sy87] (1).
|
|
|
1470.
|
Scheduling in distributed computing systems
: analysis, design and models (a research monograph)
by | Vidyarthi, Deo Prakash. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 295p.Publisher: New York Springer 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.36 Sch22] (1).
|
|
|
1471.
|
Software engineering, artificial intelligence, networking and parallel/distributed computing
by | Roger Lee, Ed | 12th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing Sydney, N.S.W 2011. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 183p.Publisher: Berlin Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 So23] (1).
|
|
|
1472.
|
Stochastically-based semantic analysis
by Minker, Wolfgang | Waibel, Alex. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 221p.Publisher: Boston Kluwer Academic Publishers 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.35 M665s] (1).
|
|
|
1473.
|
Innovations in hybrid intelligent systems
by | Corchado, Emilio, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 497p.Publisher: Berlin Springer 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 In6] (1).
|
|
|
1474.
|
Advanced computer performance modeling and simulation
by | Bagchi, Kallol, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 337p.Publisher: Australia Gordon And Breach Science Publishers 1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.21 Ad95] (1).
|
|
|
1475.
|
3D graphics for game programming
by Han, Junghyun. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 318p.Publisher: Boca Raton Crc Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 794.81526 H19t] (1).
|
|
|
1476.
|
Symbolic model checking
by Mcmillan, Kenneth L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 194p.Publisher: Boston Kluwer Academic 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.392 M459s] (1).
|
|
|
1477.
|
Concurrency theory
: calculi and automata for modelling untimed and timed concurrent systems
by Bowman, Howard | Gomez, Rodolfo. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiv, 435p.Publisher: London Springer 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.35 B684c] (1).
|
|
|
1478.
|
Parallel algorithms for irregular problems
: state of the art
by | Ferreira, Afonso, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 338p.Publisher: Dordrecht Kluwer Academic Publishers 1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.2 P212] (1).
|
|
|
1479.
|
Emerging practices in cyberculture and social networking
by | Riha, Daniel, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 195p.Publisher: Amsterdam Rodopi 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 303.4834 Em32] (1).
|
|
|
1480.
|
Fully abstract models of programming languages
by Stoughton, Allen. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 123p.Publisher: London Pitman Publishing 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 St76f] (1).
|
