PKK Library catalog › Results of search for 'su:{Engineering and state}'

Refine your search

Availability
- Limit to currently available items.
Authors
- Bhushan, Bharat. (4)
- Brisson, Pierre. (4)
- Desai, C. S. (5)
- Jain, Lakhmi C. (6)
- Resch, Michael. (6)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (962)
Home libraries
- PK Kelkar Library, IIT Kanpur (950)
Item types
- Books (141)
- E books (746)
- EBK (27)
- EBK (49)
- Technical Report (62)
- Show more
Locations
- General Stacks (1)
Series
Topics
- Appl.Mathematics/Computational Methods of Engineering. (102)
- Applied mathematics. (136)
- Artificial Intelligence (incl. Robotics). (108)
- Artificial intelligence. (108)
- Communications Engineering, Networks. (71)
- Computer science. (102)
- Computer Science. (94)
- Control engineering. (103)
- Control, Robotics, Mechatronics. (88)
- Electrical engineering. (119)
- Electronics and Microelectronics, Instrumentation. (71)
- Electronics. (71)
- Engineering mathematics. (138)
- Engineering, general. (77)
- Engineering. (434)
- Mathematics. (49)
- Mechatronics. (88)
- Microelectronics. (71)
- Physics. (88)
- Robotics. (91)
Titles
- MATLAB. (1)

	281.	Temporal Logic and State Systems : [electronic resource] / by Kr�ger, Fred [author.1] \| Merz, Stephan [author.2 ] \| SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 436 p. 34 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	282.	Objects, Components, Models and Patterns : 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings / : [electronic resource] : by Paige, Richard F [editor.] \| Meyer, Bertrand [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: X, 413 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	283.	Software and Data Technologies : First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers / : [electronic resource] : by Filipe, Joaquim [editor.] \| Shishkov, Boris [editor.] \| Helfert, Markus [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIII, 389 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	284.	Dissemination of Information in Optical Networks : From Technology to Algorithms In Cooperation with Ralf Klasing / : [electronic resource] : by Bandyopadhyay, Subir [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 310 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Other title: In Cooperation with Ralf Klasing.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	285.	Logics of Specification Languages : [electronic resource] / by Bjørner, Dines [editor.] \| Henson, Martin C [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXII, 624 p. 69 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	286.	Design by Evolution : Advances in Evolutionary Design / : [electronic resource] : by Hingston, Philip F [editor.] \| Barone, Luigi C [editor.] \| Michalewicz, Zbigniew [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 352 p. 146 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	287.	Software Evolution : [electronic resource] / by Mens, Tom [author.] \| Demeyer, Serge [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 347 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	288.	Countering Counterfeit Trade : Illicit Market Insights, Best-Practice Strategies, and Management Toolbox / : [electronic resource] : by Staake, Thorsten [author.] \| Fleisch, Elgar [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 232 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	289.	Unfoldings : A Partial-Order Approach to Model Checking / : [electronic resource] : by Esparza, Javier [author.] \| Heljanko, Keijo [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 172 p. 51 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	290.	Semantic Service Provisioning : [electronic resource] / by Kuropka, Dominik [editor.] \| Staab, Steffen [editor.] \| Tröger, Peter [editor.] \| Weske, Mathias [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 226 p. 71 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	291.	Information Systems and e-Business Technologies : 2nd International United Information Systems Conference UNISCON 2008 Klagenfurt, Austria, April 22–25, 2008 Proceedings / : [electronic resource] : by Kaschek, Roland [editor.] \| Kop, Christian [editor.] \| Steinberger, Claudia [editor.] \| Fliedl, Günther [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XV, 592 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	292.	Active Knowledge Modeling of Enterprises : [electronic resource] / by Lillehagen, Frank [author.] \| Krogstie, John [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XX, 436 p. 148 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	293.	Advanced Autonomic Networking and Communication : [electronic resource] / by Calisti, Monique [editor.1] \| Meer, Sven van der [editor.1] \| Strassner, John [editor.2] \| SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format: electronic available online ; Literary form: not fiction Description: IX, 190 p. online resource.Publisher: Basel : Birkh�user Basel, 2008. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	294.	Contributions to Simulation Speed-Up : Rare Event Simulation and Short-Term Dynamic Simulation for Mobile Network Planning / : [electronic resource] : by Lamers, Eugen [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXI, 148 p. online resource.Publisher: Wiesbaden : Vieweg+Teubner, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	295.	Modelling and Applications in Mathematics Education : The 14th ICMI Study / : [electronic resource] : by Blum, Werner [editor.] \| Galbraith, Peter L [editor.] \| Henn, Hans-Wolfgang [editor.] \| Niss, Mogens [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 524 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	296.	Collective Beings : [electronic resource] / by Minati, Gianfranco [author.] \| Pessa, Eliano [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 462 p. 26 illus. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	297.	Living Off the Land in Space : Green Roads to the Cosmos / : [electronic resource] : by Matloff, Gregory L [author.] \| Johnson, Les [author.] \| Bangs, C [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 247 p. online resource.Publisher: New York, NY : Springer New York, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	298.	Molecular Sensors for Cardiovascular Homeostasis : [electronic resource] / by Wang, Donna H [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: VIII, 212 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	299.	Engineering of Functional Skeletal Tissues : [electronic resource] / by Bronner, Felix [editor.] \| Farach-Carson, Mary C [editor.] \| Mikos, Antonios G [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVIII, 178 p. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	300.	Intervening in the Brain : Changing Psyche and Society / : [electronic resource] : by Merkel, Reinhard [author.] \| Boer, G [author.] \| Fegert, J [author.] \| Galert, T [author.] \| Hartmann, D [author.] \| Nuttin, B [author.] \| Rosahl, S [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XXII, 536 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.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

Locations

Series

Topics

Titles