|
|
181.
|
A concise introduction to languages and machines
by Parkes, Alan P. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: vii, 343p.Publisher: London Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005 P229c] (1).
|
|
|
182.
|
Multiagent systems
: algorithmic, game-theoretic and logical foundations
by Shoham, Yoav | Leyton-Brown, Kevin. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 483 p.Publisher: Cambridge Cambridge University Press 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 Sh73m] (1).
|
|
|
183.
|
Hardware-dependent software
: principles and practice
by Ecker, Wolfgang [ed.] | Muller, Wolfgang [ed.] | Domer, Rainer [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 299p.Publisher: New York Springer Science+Business Media 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 H222] (1).
|
|
|
184.
|
Software architecture
: foundations, theory and practice
by Taylor, Richard N | Medvidovic, Nenad. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiv, 712p.Publisher: New Jersey John Wiley & Sons 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.11 T217s] (1).
|
|
|
185.
|
Process improvement and CMMI for systems and software
by Kenett, Ron S | Baker, Emanuel R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiv, 411p.Publisher: Boca Raton Crc Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 K355p] (1).
|
|
|
186.
|
Enterprise cloud computing
: technology, architecture, applications
by Shroff, Gautam. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 273p.Publisher: Cambridge Cambridge University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.36 Sh87e] (2).
|
|
|
187.
|
Software modeling and design
: UML, use cases, patterns, and software architectures
by Gomaa, Hassan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxv, 550p.Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003.3 G584s] (1).
|
|
|
188.
|
Specification of software systems
by Alagar, V.S | Periyasamy, K. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxv, 644p.Publisher: London Springer-Verlag 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 Al11s2] (1).
|
|
|
189.
|
Rigorous software development
: an introduction to program verification
by Almeida, Jose Bacelar | Frade, Maria João | Pinto, Jorge Sousa | Melo de Sousa, Simão. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 263p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.14 R449] (1).
|
|
|
190.
|
Agile software development
: the cooperative game
by Cockburn, Alistair. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxxiv, 467p.Publisher: New Jersey Addison-Wesley 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 C64a2] (1).
|
|
|
191.
|
Practical software testing
: a process-oriented appoach
by Burnstein, Ilene. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi, 709p.Publisher: New Delhi Springer 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.14 B937p] (1).
|
|
|
192.
|
Aspect-oriented, model-driven software product lines
: the AMPLE way
by | Rashid, Awais, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 464p.Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 As63] (1).
|
|
|
193.
|
Modern software tools for scientific computing
by | Arge Erlend, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 380p.Publisher: Boston Birkhauser 1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 502.855 M72] (1).
|
|
|
194.
|
Spyware and adware
by Aycock, John. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 145p.Publisher: New York Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.8 Ay18s] (1).
|
|
|
195.
|
New software engineering paradigm based on complexity science
: an introduction to NSE
by Xiong, Jay. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxxv, 746p.Publisher: New York Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 X47n] (1).
|
|
|
196.
|
Process assessment and improvement
: a practical guide
by Loon, Han Van. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 293p.Publisher: New York Springer 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005 L873p2] (1).
|
|
|
197.
|
Introduction to reliable and secure distributed programming
by Cachin, Christian | Guerraoui, Rachid. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xix, 367p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.39 C113i2] (1).
|
|
|
198.
|
Global software and IT
: a guide to distributed development, projects and outsourcing
by Ebert, Christof. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 352p.Publisher: New Jersey John Wiley & Sons 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 Eb39g] (1).
|
|
|
199.
|
Advances on practical applications of agents and multiagent systems
: proceedings...
by | 9th International Conference on Partical Applications of Agents and Multiagent Systems Salamanca, Spain 2011 | Demazeau, Yves, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 318p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 In8a] (1).
|
|
|
200.
|
Software performability: from concepts to applications
by Tai, Ann T | Meyer, John F. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 201p.Publisher: Boston Kluwer Academic 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005 T131s] (1).
|
