|
|
401.
|
Intelligent distributed computing III : proceedings of the 3rd International Symposium on Intelligent Distributed Computing - IDC 2009, Ayia Napa, Cyprus, October 2009
by Papadopoulos, G. A | Badica, Costin. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 006.3 PAP] (1).
|
|
|
402.
|
Systems and software verification : model-checking techniques and tools
by Berard, Beatrice. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 005.14 BER] (1).
|
|
|
403.
|
Tools and applications with artificial intelligence
by Koutsojannis, Constantinos | Sirmakessis, Spiros. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 006.3 KOU] (1).
|
|
|
404.
|
Agent-mediated electronic commerce and trading agent design and analysis
by Ketter, Wolfgang. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 658.872 KET] (1).
|
|
|
405.
|
Introduction to reliable and secure distributed programming
by Cachin, Christian. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2011Availability: Items available for loan: [Call number: 005.14 CAC] (1).
|
|
|
406.
|
Organizational principles for multi-agent architectures
by Aart, Chris Van. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Basel: Birkhauser Verlag, 2005Availability: Items available for loan: [Call number: 006 AAR] (1).
|
|
|
407.
|
Ontologies for agents : theory and experiences
by Tamma, Valentina | Cranefield, Stephen | Finin, Timothy W | Willmott, Steven. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Basel: Birkh�user, 2005Availability: Items available for loan: [Call number: 006.3 TAM] (1).
|
|
|
408.
|
Applications of agent technology in traffic and transportation
by Klugl, Franziska | Bazzan, Ana | Ossowski, Sascha. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Basel: Birkhauser, 2005Availability: Items available for loan: [Call number: 629.04028563 KLU] (1).
|
|
|
409.
|
Agent modeling language - AML
by Cervenka, Radovan | Trecansky, Ivan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Basel: Birkhauser Verlag, 2007Availability: Items available for loan: [Call number: 006.3 CER] (1).
|
|
|
410.
|
Issues in multi-agent systems : the AgentCities.ES experience
by Pavon, Juan | Moreno, Antonio. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Basel: Birkhauser, 2008Availability: Items available for loan: [Call number: 006.3 MOR] (1).
|
|
|
411.
|
Agent technology and e-health
by Annicchiarico, Roberta. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Basel: Birkhauser, 2008Availability: Items available for loan: [Call number: 610.28563 ANN] (1).
|
|
|
412.
|
Foundations of software technology and theoretical computer science : 28th conference, Bangalore, India, December 9-11, 2008 : proceedings
by Hariharan, Ramesh | Mukund, Madhavan | Vinay, V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chennai: Indian Association for Research in Computing Science, 2008Availability: Items available for loan: [Call number: 004.0151 HAR] (1).
|
|
|
413.
|
Foundations of Software Technology and Theoretical Computer Science : 29th conference, Kanpur, India, December 15-17, 2009 : proceedings
by Kannan, Ravi | Kumar, K. Narayan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chennai: Indian Association for Research in Computing Science, 2009Availability: Items available for loan: [Call number: 004.0151 KAN] (1).
|
|
|
414.
|
Embedded system design
by Chattopadhyay, Santanu. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: PHI Learning, 2010Availability: Items available for loan: [Call number: 004.21 CHA] (5).
|
|
|
415.
|
India's Silicon Plateau : development of information and communication technology in Bangalore
by Mascarenhas, R. C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Orient Blackswan, 2010Availability: Items available for loan: [Call number: 338.47005095487 MAS] (1).
|
|
|
416.
|
Effective methods for software testing
by Perry, William E. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Wiley-India, 2006Availability: Items available for loan: [Call number: 005.14 PER] (2).
|
|
|
417.
|
C and UNIX : tools for software design
by Barrett, Martin L | Wagner, Clifford H. Edition: Wiley student ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Wiley, 1996Availability: Items available for loan: [Call number: 005.133 BAR] (1).
|
|
|
418.
|
Object-Oriented Design and Patterns
by Horstmann, Cay S. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Wiley India, 2004Availability: Items available for loan: [Call number: 005.117 HOR] (1).
|
|
|
419.
|
Network Programming in .NET : with C# and Visual Basic .NET
by Reid, Fiach. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Burlington: Digital Press, 2004Availability: Items available for loan: [Call number: 004.6 REI] (1).
|
|
|
420.
|
Developing secure software
by Grembi, Jason. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Cengage Learning, 2008Availability: Items available for loan: [Call number: 005.8 GRE] (1).
|
