PKK Library catalog › Results of search for 'su:{Software Engineering/Programming and Operating Systems.1}'

Refine your search

Availability
- Limit to currently available items.
Authors
- Acu�a, Silvia T. (1)
- Juristo, Natalia. (1)
- Moreno, Antonio. (1)
- Pav�n, Juan. (1)
- Scerri, Paul. (1)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (4)
Home libraries
- PK Kelkar Library, IIT Kanpur (3)
Item types
- EBK (4)
Series
- International Series in Software Engineering, (1)
- Whitestein Series in Software Agent Technologies and Autonomic Computing0 (1)
Topics
- Algorithm Analysis and Problem Complexity.2 (1)
- Algorithms.1 (1)
- Artificial intelligence.14 (1)
- Computation by Abstract Devices.2 (1)
- Computer programming. (1)
- Computer science. (3)
- Computer Science.2 (3)
- Computer Science.24 (1)
- Computers. (3)
- Mathematical logic. (1)
- Operating systems (Computers). (1)
- Programming languages (Electronic computers). (1)
- Programming Languages, Compilers, Interpreters.2 (1)
- Simulation and Modeling.2 (1)
- Software engineering. (3)
- Software engineering. 0 (1)
- Software Engineering/Programming and Operating Systems.1 (2)
- Software Engineering/Programming and Operating Systems.1 (1)
- System Performance and Evaluation.2 (1)
- Theory of Computation.2 (2)

	1.	Software Process Modeling : [electronic resource] / by Acu�a, Silvia T [editor.1 ] \| Juristo, Natalia [editor.2 ] \| SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format: electronic available online ; Literary form: not fiction Description: XXIV, 208 p. 59 illus. online resource.Boston, MA : Springer US, 2005. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	2.	Coordination of Large-Scale Multiagent Systems : [electronic resource] / by Scerri, Paul [editor.1] \| Vincent, R�gis [editor.1 ] \| Mailler, Roger [editor.2 ] \| SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format: electronic available online ; Literary form: not fiction Description: VIII, 352 p. 15 illus. online resource.Boston, MA : Springer US, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	3.	Introduction to Reliable Distributed Programming : [electronic resource] / by Guerraoui, Rachid [author.] \| Rodrigues, Lu�s [author.2 ] \| SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 300 p. 31 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	4.	Issues in Multi-Agent Systems : The AgentCities.ES Experience / : [electronic resource] : by Moreno, Antonio [editor.1 ] \| Pav�n, Juan [editor.2 ]. Material type: Book; Format: electronic available online ; Literary form: not fiction Description: IX, 229 p. online resource.Basel : Birkh�user Basel, 2008. Availability: Items available for loan: (1). Place hold Add to cart (remove)

PKK Library

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Refine your search

Authors

Item types

Series

Topics