Refine your search

Your search returned 8328 results.

Sort
Results
3601.
3602.
Practical Aspects of Declarative Languages [electronic resource] : 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings / by Series: Programming and Software Engineering ; 7149
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

3603.
Neural Information Processing [electronic resource] : 22nd International Conference, ICONIP 2015, November 9-12, 2015, Proceedings, Part IV / by Series: Theoretical Computer Science and General Issues ; 9492
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

3604.
Theory and Practice of Formal Methods [electronic resource] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / by Series: Theoretical Computer Science and General Issues ; 9660
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

3605.
Automata, Languages and Programming [electronic resource] : 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4596
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

3606.
3607.
3608.
Descriptional Complexity of Formal Systems [electronic resource] : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10952
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

3609.
Algorithms and Computation [electronic resource] : 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3341
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

3610.
Fast Software Encryption [electronic resource] : 11th International Workshop, FSE 2004, Delhi, India, February 5-7, 2004, Revised Papers / by Series: Lecture Notes in Computer Science ; 3017
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

3611.
Grid and Cooperative Computing [electronic resource] : Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II / by Series: Lecture Notes in Computer Science ; 3033
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

3612.
Progress in Cryptology - INDOCRYPT 2004 [electronic resource] : 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3348
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

3613.
3614.
E-Commerce and Web Technologies [electronic resource] : 5th International Conference, EC-Web 2004, Zaragoza, Spain, August 31-September 3, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3182
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

3615.
Database Programming Languages [electronic resource] : 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2921
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

3616.
Innovative Internet Community Systems [electronic resource] : 4th International Workshop, IICS 2004, Guadalajara, Mexico, June 21-23, 2004. Revised Papers / by Series: Lecture Notes in Computer Science ; 3473
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

3617.
Integrated Formal Methods [electronic resource] : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2999
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

3618.
Foundations of Information and Knowledge Systems [electronic resource] : Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2942
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

3619.
Information and Communications Security [electronic resource] : 6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004. Proceedings / by Series: Lecture Notes in Computer Science ; 3269
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

3620.
Grid and Cooperative Computing - GCC 2004 [electronic resource] : Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings / by Series: Lecture Notes in Computer Science ; 3251
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

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