PKK Library catalog › Results of search for 'su:{Models and Principles.}'

Refine your search

Availability
- Limit to currently available items.
Authors
- Del Toro, Vincent (4)
- Deutsch, Andreas. (3)
- Holtje,Hans-Dietev, Folkers,Gerd (2)
- Parker, Sydney R. (4)
- Tentzeris, Manos M. (2)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (146)
Home libraries
- PK Kelkar Library, IIT Kanpur (145)
Item types
- Books (54)
- E books (85)
- EBK (3)
- Text Books (3)
- Withdrawn (2)
- Show more
Series
Topics
- Application software. (8)
- Business. (9)
- Computer programming. (8)
- Computer science. (43)
- Computer Science. (40)
- Computer simulation. (10)
- Computers. (55)
- Database Management. (9)
- Database management. (9)
- Engineering. (6)
- Information Systems Applications (incl. Internet). (19)
- Mathematical Modeling and Industrial Mathematics. (10)
- Mathematical models. (11)
- Mathematics. (6)
- Models and Principles. (55)
- Programming Techniques. (8)
- Simulation and Modeling. (10)
- Software engineering. (18)
- Software Engineering. (15)
- Software Engineering/Programming and Operating Systems. (8)
Titles
- MATLAB. (1)

	41.	Technology Enhanced Learning : IFIP TC3 Technology Enhanced Learning Workshop (TeL’04), World Computer Congress, August 22–27, 2004, Toulouse, France / : [electronic resource] : by Courtiat, Jean-Pierre [editor.] \| Davarakis, Costas [editor.] \| Villemur, Thierry [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XI, 190 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). Place hold Add to cart (remove)
	42.	Formal Aspects in Security and Trust : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France / : [electronic resource] : by Dimitrakos, Theo [editor.] \| Martinelli, Fabio [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 246 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). Place hold Add to cart (remove)
	43.	Fuzzy Database Modeling with XML : [electronic resource] / by Ma, Zongmin [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXIV, 216 p. 74 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). Place hold Add to cart (remove)
	44.	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)
	45.	Stream Data Management : [electronic resource] / by Chaudhry, Nauman A [editor.] \| Shaw, Kevin [editor.] \| Abdelguerfi, Mahdi [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 170 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). Place hold Add to cart (remove)
	46.	A Software Process Model Handbook for Incorporating People’s Capabilities : [electronic resource] / by Acuña, Silvia Teresita [author.] \| Juristo, Natalia [author.] \| Moreno, Ana María [author.] \| Mon, Alicia [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXVIII, 324 p. 90 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). Place hold Add to cart (remove)
	47.	Adapting Proofs-as-Programs : The Curry-Howard Protocol / : [electronic resource] : by Poernomo, Iman Hafiz [author.] \| Wirsing, Martin [author.] \| Crossley, John Newsome [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 420 p. 54 illus. 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). Place hold Add to cart (remove)
	48.	Artificial Intelligence Applications and Innovations : IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7–9, 2005, Beijing, China / : [electronic resource] : by Li, Daoliang [editor.] \| Wang, Baoji [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XX, 882 p. 284 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). Place hold Add to cart (remove)
	49.	Collaborative Networks and Their Breeding Environments : IFIP TC5 WG 5.5 Sixth IFIP Working Conference on VIRTUAL ENTERPRISES, 26–28 September, 2005, Valencia, Spain / : [electronic resource] : by Camarinha-Matos, Luis M [editor.] \| Afsarmanesh, Hamideh [editor.] \| Ortiz, Angel [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 607 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). Place hold Add to cart (remove)
	50.	Knowledge Sharing in the Integrated Enterprise : Interoperability Strategies for the Enterprise Architect / : [electronic resource] : by Bernus, Peter [editor.] \| Fox, Mark [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 458 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). Place hold Add to cart (remove)
	51.	Security Management, Integrity, and Internal Control in Information Systems : IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference / : [electronic resource] : by Dowland, Paul [editor.] \| Furnell, Steve [editor.] \| Thuraisingham, Bhavani [editor.] \| Wang, X. Sean [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 372 p. 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). Place hold Add to cart (remove)
	52.	The Transfer and Diffusion of Information Technology for Organizational Resilience : IFIP TC8 WG 8.6 International Working Conference, June 7–10, 2006, Galway, Ireland / : [electronic resource] : by Donnellan, Brian [editor.] \| Larsen, Tor J [editor.] \| Levine, Linda [editor.] \| DeGross, Janice I [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XV, 365 p. 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). Place hold Add to cart (remove)
	53.	Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / : [electronic resource] : by Broy, Manfred [editor.] \| Grünbauer, Johannes [editor.] \| Harel, David [editor.] \| Hoare, Tony [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 404 p. online resource.Publisher: Dordrecht : Springer Netherlands, 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)
	54.	eLearning and Digital Publishing : [electronic resource] / by Ching, Hsianghoo Steve [editor.] \| Poon, Paul W. T [editor.] \| McNaught, Carmel [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 246 p. online resource.Publisher: Dordrecht : Springer Netherlands, 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)
	55.	Informing Digital Futures : Strategies for Citizen Engagement / : [electronic resource] : by Damodaran, Leela [author.] \| Olphert, Wendy [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 226 p. online resource.Publisher: Dordrecht : Springer Netherlands, 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)
	56.	Building an Enterprise Architecture Practice : Tools, Tips, Best Practices, Ready-to-Use Insights / : [electronic resource] : by Berg, Martin Van Den [author.] \| Steenbergen, Marlies Van [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 206 p. online resource.Publisher: Dordrecht : Springer Netherlands, 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)
	57.	Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective : [electronic resource] / by Besnard, Denis [editor.] \| Gacek, Cristina [editor.] \| Jones, Cliff B [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 306 p. 50 illus. online resource.Publisher: London : Springer London, 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)
	58.	Accessible Access 2003 : [electronic resource] / by Whitehorn, Mark [author.] \| Marklyn, Bill [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 378 p. 445 illus. online resource.Publisher: London : Springer London, 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)
	59.	Cognitive Engineering : A Distributed Approach to Machine Intelligence / : [electronic resource] : by Konar, Amit [author.] \| Jain, Lakhmi [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 354 p. 124 illus. online resource.Publisher: London : Springer London, 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)
	60.	Optimized Bayesian Dynamic Advising : Theory and Algorithms. : [electronic resource] : by SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVII, 529 p. online resource.Publisher: London : Springer London, 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)

PKK Library

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

Refine your search

Authors

Item types

Series

Topics

Titles