|
241.
|
Foundations of computer science: proceedings ...
: IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
by Annual Symposium on Foundations of Computer Science, California; 1975| 16th. Material type: Book; Format:
print
; Nature of contents: Description: v, 193p.Publisher: New York The Institute of Electrical and Electronics Engineers 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 An89 ] (1).
|
|
242.
|
Foundations of computer science: proceedings ...
: sponsored by The IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing
by Annual Symposium on Foundations of Computer Science, Houston, Texas; 1976| 17th | IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing. Material type: Book; Format:
print
; Nature of contents: Description: v, 276p.Publisher: California IEEE Computer Society 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 An89 ] (1).
|
|
243.
|
Concepts of chemical engineering for chemists
by Simons, Stefaan [ed.]. Edition: 2nd Description: xvi, 399p.Publisher: Cambridge Royal Society of Chemistry 2017Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 660 C744c2] (1).
|
|
244.
|
Broadband Satellite Comunication Systems and the Challenges of Mobility
: IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, France /
: [electronic resource] :
by Gayraud, Thierry [editor.] | Mazzella, Michel [editor.] | Boavida, Fernando [editor.] | Monteiro, Edmundo [editor.] | Orvalho, João [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 248 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).
|
|
245.
|
Architecture Description Languages
: IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France /
: [electronic resource] :
by Dissaux, Pierre [editor.] | Filali-Amine, Mamoun [editor.] | Michel, Pierre [editor.] | Vernadat, François [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 211 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).
|
|
246.
|
Security and Privacy in the Age of Ubiquitous Computing
: IFIP TC11 20th International Information Security Conference May 30 – June 1, 2005, Chiba, Japan /
: [electronic resource] :
by Sasaki, Ryoichi [editor.] | Qing, Sihan [editor.] | Okamoto, Eiji [editor.] | Yoshiura, Hiroshi [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 612 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).
|
|
247.
|
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).
|
|
248.
|
Future Generation Grids
: Proceedings of the Workshop on Future Generation Grids November 1–5, 2004, Dagstuhl, Germany /
: [electronic resource] :
by Getov, Vladimir [editor.] | Laforenza, Domenico [editor.] | Reinefeld, Alexander [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 308 p. 30 illus. online resource.Publisher: Boston, MA : Springer US, 2006.Other title: Proceedings of the Workshop on Future Generation Grids November 1-5, 2004, Dagstuhl, Germany.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
249.
|
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).
|
|
250.
|
Precision Assembly Technologies for Mini and Micro Products
: Proceedings of the IFIP TC5 WG5.5 Third International Precision Assembly Seminar (IPAS ’2006), 19–21 February 2006, Bad Hofgastein, Austria /
: [electronic resource] :
by Ratchev, Svetan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 336 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).
|
|
251.
|
Intelligence in Communication Systems
: IFIP International Conference on Intelligence in Communication Systems, INTELLCOMM 2005 Montreal, Canada, October 17–19, 2005 /
: [electronic resource] :
by Glitho, Roch [editor.] | Karmouch, Ahmed [editor.] | Pierre, Samuel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 312 p. 115 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).
|
|
252.
|
System Modeling and Optimization
: Proceedings of the 22nd IFIP TC7 Conference held from July 18–22, 2005, in Turin, Italy /
: [electronic resource] :
by Ceragioli, F [editor.] | Dontchev, A [editor.] | Futura, H [editor.] | Marti, K [editor.] | Pandolfi, L [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 300 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).
|
|
253.
|
Systems, Control, Modeling and Optimization
: Proceedings of the 22nd IFIP TC7 Conference held from July 18–22, 2005, in Turin, Italy /
: [electronic resource] :
by Ceragioli, F [editor.] | Dontchev, A [editor.] | Furuta, H [editor.] | Marti, K [editor.] | Pandolfi, L [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 328 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).
|
|
254.
|
Open Source Systems
: IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italy /
: [electronic resource] :
by Damiani, Ernesto [editor.] | Fitzgerald, Brian [editor.] | Scacchi, Walt [editor.] | Scotto, Marco [editor.] | Succi, Giancarlo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 351 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).
|
|
255.
|
Advanced Software Engineering: Expanding the Frontiers of Software Technology
: IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile /
: [electronic resource] :
by Ochoa, Sergio F [editor.] | Roman, Gruia-Catalin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 170 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).
|
|
256.
|
Information Technology For Balanced Manufacturing Systems
: IFIP TC5, WG 5.5 Seventh International Conference on lnformation Technology for Balanced Automation Systems in Manufacturing and Services, Niagara Falls, Ontario, Canada, September 4–6, 2006 /
: [electronic resource] :
by Shen, Weiming [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 500 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).
|
|
257.
|
Project E-Society: Building Bricks
: 6TH IFIP International Conference on e-Commerce, e-Business, and e-Government (13E 2006), October 11–13, 2006, Turku, Finland /
: [electronic resource] :
by Suomi, Reima [editor.] | Cabral, Regis [editor.] | Hampe, J. Felix [editor.] | Heikkilä, Arto [editor.] | Järveläinen, Jonna [editor.] | Koskivaara, Eija [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 454 p. 88 illus. 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).
|
|
258.
|
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).
|
|
259.
|
Interoperability of Enterprise Software and Applications
: [electronic resource] /
by Konstantas, Dimitri [editor.] | Bourrières, Jean-Paul [editor.] | Léonard, Michel [editor.] | Boudjlida, Nacer [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 466 p. 162 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).
|
|
260.
|
Mobile World
: Past, Present and Future /
: [electronic resource] :
by Sanger, Colston [author.] | Hamill, Lynne [editor.] | Lasen, Amparo [editor.] | Diaper, Dan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 218 p. 10 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).
|