Refine your search

Your search returned 17571 results.

Sort
Results
8801.
Architecture of Computing Systems - ARCS 2006 [electronic resource] : 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3894
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.

8802.
Computer Vision - ECCV 2008 [electronic resource] : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part III / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5304
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

8803.
Relational and Algebraic Methods in Computer Science [electronic resource] : 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7560
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.

8804.
8805.
Frontiers in Algorithms [electronic resource] : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6213
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.

8806.
8807.
ECOOP 2012 -- Object-Oriented Programming [electronic resource] : 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings / by Series: Programming and Software Engineering ; 7313
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.

8808.
8809.
Applied Cryptography and Network Security [electronic resource] : Third International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005, Proceedings / by Series: Security and Cryptology ; 3531
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.

8810.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3855
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.

8811.
8812.
Static Analysis [electronic resource] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings / by Series: Programming and Software Engineering ; 5079
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

8813.
Theoretical Aspects of Computing - ICTAC 2005 [electronic resource] : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3722
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.

8814.
8815.
Complex Motion [electronic resource] : First International Workshop, IWCM 2004, GĂĽnzburg, Germany, October 12-14, 2004, Revised Papers / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 3417
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.

8816.
Mathematical Foundations of Computer Science 2011 [electronic resource] : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6907
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

8817.
Automated Deduction in Geometry [electronic resource] : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers / by Series: Lecture Notes in Artificial Intelligence ; 6301
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

8818.
Advances in Grid and Pervasive Computing [electronic resource] : Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4459
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.

8819.
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings / by Series: Programming and Software Engineering ; 7613
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.

8820.
Web Information Systems and Mining [electronic resource] : International Conference, WISM 2010, Sanya, China, October 23-24, 2010, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6318
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.

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