FEEDBACK Smiley face

Your search returned 9071 results. Subscribe to this search

|
1. Business process management workshops : BPM 2007 international workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007 : revised selected papers

by Ter Hofstede, Arthur | Benatallah, Boualem | Paik, Hye-Young | BPM 2007.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Berlin : Springer, ©2008Other title: BPM 2007.Online access: Publisher description Availability:
Items available for reference: IIITD [REF 658.05 HOF-B] (1).

2. Distributed computing and internet technology : third international conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006 : proceedings

by Madria, Sanjay Kumar | (3rd : International Conference on Distributed Computing and Internet Technology Bhubaneswar, India) 2006 :.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Berlin ; Springer, ©2006Other title: ICDCIT 2006.Online access: Publisher description Availability:
Items available for reference: IIITD [REF 004.36 MAD-D] (1).

3. Efficient checking of polynomials and proofs and the hardness of approximation problems

by Sudan, Madhu.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer₋Verlag, ©1995Dissertation note: Based on the author's Ph. D. thesis, University of California, Berkeley, 1993. Online access: Publisher description Availability: Items available for loan: IIITD [REF 005.14 SUD-E] (1).

4. The design of dynamic data structures

by Overmars, Mark H.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©1983Availability: Items available for loan: IIITD [REF 001.64 OVE-D] (1).

5. Automata, logics, and infinite games

by Gradel, Erich | Thomas, Wolfgang | Wilke, Thomas.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2002Online access: Publisher description Availability: Items available for loan: IIITD [REF 004.015 GRA-A] (1).

6. Information systems security : 4th international conference, ICISS 2008, Hyderabad, India, December 16-20, 2008 : proceedings

by Sekar, R | Pujari, Arun K.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Berlin : Springer, ©2008Availability: Items available for loan: IIITD [REF 005.8 SEK-I] (1).

7. Database Theory — ICDT '97 [electronic resource] :6th International Conference Delphi, Greece, January 8–10, 1997 Proceedings /

by Afrati, Foto [editor.] | Kolaitis, Phokion [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

8. Fuzzy Logic in Artificial Intelligence Towards Intelligent Systems [electronic resource] :IJCAI '95 Workshop Montréal, Canada, August 19–21, 1995 Selected Papers /

by Martin, Trevor P [editor.] | Ralescu, Anca L [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

9. Nonmonotonic Logics [electronic resource] :Basic Concepts, Results, and Techniques /

by Schlechta, Karl [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

10. Security Protocols [electronic resource] :International Workshop Cambridge, United Kingdom, April 10–12, 1996 Proceedings /

by Lomas, Mark [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

11. Graph Drawing [electronic resource] :Symposium on Graph Drawing, GD '96 Berkeley, California, USA, September 18–20, 1996 Proceedings /

by North, Stephen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

12. Analysis and Verification of Multiple-Agent Languages [electronic resource] :5th LOMAPS Workshop Stockholm, Sweden, June 24–26, 1996 Selected Papers /

by Dam, Mads [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

13. Intelligent Agents III Agent Theories, Architectures, and Languages [electronic resource] :ECAI'96 Workshop (ATAL) Budapest, Hungary, August 12–13, 1996 Proceedings /

by Müller, Jörg P [editor.] | Wooldridge, Michael J [editor.] | Jennings, Nicholas R [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

14. Graph-Theoretic Concepts in Computer Science [electronic resource] :22nd International Workshop, WG '96 Cadenabbia, Italy, June 12–14, 1996 Proceedings /

by d'Amore, Fabrizio [editor.] | Franciosa, Paolo Giulio [editor.] | Marchetti-Spaccamela, Alberto [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

15. Software Agents and Soft Computing Towards Enhancing Machine Intelligence [electronic resource] :Concepts and Applications /

by Nwana, Hyacinth S [editor.] | Azarmi, Nader [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

16. Communication and Architectural Support for Network-Based Parallel Computing [electronic resource] :First International Workshop, CANPC'97 San Antonio, Texas, USA, February 1–2, 1997 Proceedings /

by Panda, Dhabaleswar K [editor.] | Stunkel, Craig B [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

17. Cooperative Information Agents [electronic resource] :First International Workshop, CIA'97 Kiel, Germany, February 26–28, 1997 Proceedings /

by Kandzia, Peter [editor.] | Klusch, Matthias [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

18. Algorithms and Complexity [electronic resource] :Third Italian Conference, CIAC '97 Rome, Italy, March 12–14, 1997 Proceedings /

by Bongiovanni, Giancarlo [editor.] | Bovet, Daniel Pierre [editor.] | Battista, Giuseppe Di [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

19. Numerical Analysis and Its Applications [electronic resource] :First International Workshop, WNAA'96 Rousse, Bulgaria, June 24–26, 1996 Proceedings /

by Vulkov, Lubin [editor.] | Waśniewski, Jerzy [editor.] | Yalamov, Plamen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

20. Modular Programming Languages [electronic resource] :Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19–21, 1997 Proceedings /

by Mössenböck, Hanspeter [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in