Your search returned 2533 results.

Sort
Results
1.
Business process management workshops : BPM 2007 international workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007 : revised selected papers by Series: Lecture notes in computer science ; 4928
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer, ©2008
Other title:
  • BPM 2007
Online access:
Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 658.05 HOF-B.

2.
Distributed computing and internet technology : third international conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006 : proceedings by Series: Lecture notes in computer science ; 4317
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; Springer, ©2006
Other title:
  • ICDCIT 2006
Online access:
Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 004.36 MAD-D.

3.
Efficient checking of polynomials and proofs and the hardness of approximation problems by Series: Lecture notes in computer science ; 1001
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer₋Verlag, ©1995
Dissertation note: Based on the author's Ph. D. thesis, University of California, Berkeley, 1993.
Online access:
Availability: Items available for loan: IIITD (1)Call number: REF 005.14 SUD-E.

4.
The design of dynamic data structures by Series: Lecture notes in computer science ; 156
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, ©1983
Availability: Items available for loan: IIITD (1)Call number: REF 001.64 OVE-D.

5.
Automata, logics, and infinite games by Series: Lecture notes in computer science ; 2500
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, ©2002
Online access:
Availability: Items available for loan: IIITD (1)Call number: REF 004.015 GRA-A.

6.
Information systems security : 4th international conference, ICISS 2008, Hyderabad, India, December 16-20, 2008 : proceedings by Series: Lecture notes in computer science ; 5352
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer, ©2008
Availability: Items available for loan: IIITD (1)Call number: REF 005.8 SEK-I.

7.
Neural networks : tricks of the trade by Series:
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Heidelberg : Springer, ©1998
Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 006.32 MON-N.

8.
The Complexity of Simple Computer Architectures [electronic resource] / by Series: Lecture Notes in Computer Science ; 995
Edition: 1st ed. 1995.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook
Availability: No items available.

9.
Advances in Databases [electronic resource] : 19th British National Conference on Databases, BNCOD 19, Sheffield, UK, July 17-19, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2405
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

10.
11.
Advances in Petri Nets 1992 [electronic resource] / by Series: Lecture Notes in Computer Science ; 609
Edition: 1st ed. 1992.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook
Availability: No items available.

12.
Self-Organizing Architectures [electronic resource] : First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers / by Series: Lecture Notes in Computer Science ; 6090
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

13.
COTS-Based Software Systems [electronic resource] : First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2255
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

14.
Logic Based Program Synthesis and Transformation [electronic resource] : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / by Series: Lecture Notes in Computer Science ; 2372
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

15.
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers / by Series: Lecture Notes in Computer Science ; 1956
Edition: 1st ed. 2000.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook
Availability: No items available.

16.
17.
Descriptional Complexity of Formal Systems [electronic resource] : 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13439
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

18.
Human-Centered Software Engineering [electronic resource] : 9th IFIP WG 13.2 International Working Conference, HCSE 2022, Eindhoven, The Netherlands, August 24–26, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13482
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

19.
Algorithms and Complexity [electronic resource] : 4th Italian Conference, CIAC 2000 Rome, Italy, March 1-3, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1767
Edition: 1st ed. 2000.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook
Availability: No items available.

20.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in

Powered by Koha