Your search returned 7426 results.

Sort
Results
2521.
Logic-Based Program Synthesis and Transformation [electronic resource] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 4915
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.

2522.
2523.
Economics of Grids, Clouds, Systems, and Services [electronic resource] : 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 6296
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.

2524.
Euro-Par 2012 Parallel Processing [electronic resource] : 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings / by Series: Theoretical Computer Science and General Issues ; 7484
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.

2525.
Fast Software Encryption [electronic resource] : 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers / by Series: Security and Cryptology ; 4593
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.

2526.
Formal Aspects of Security and Trust [electronic resource] : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers / by Series: Security and Cryptology ; 7140
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.

2527.
Computational Methods in Systems Biology [electronic resource] : 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings / by Series: Lecture Notes in Bioinformatics ; 5307
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.

2528.
Similarity Search and Applications [electronic resource] : 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7404
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.

2529.
Network-Based Information Systems [electronic resource] : 2nd Internatonal Conference, NBiS 2008, Turin, Italy, September 1-5, 2008, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5186
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.

2530.
Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers / by Series: Programming and Software Engineering ; 4383
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.

2531.
Computational Linguistics and Intelligent Text Processing [electronic resource] : 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4919
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.

2532.
2533.
Transactions on Data Hiding and Multimedia Security IX [electronic resource] : Special Issue on Visual Cryptography / by Series: Transactions on Data Hiding and Multimedia Security ; 8363
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

2534.
Transactions on Computational Collective Intelligence XVIII [electronic resource] / by Series: Transactions on Computational Collective Intelligence ; 9240
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

2535.
Database and XML Technologies [electronic resource] : 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5679
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

2536.
On the Move to Meaningful Internet Systems: OTM 2008 [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008 Proceedings, Part II / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5332
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.

2537.
Progress in Cryptology - AFRICACRYPT 2008 [electronic resource] : First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008, Proceedings / by Series: Security and Cryptology ; 5023
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.

2538.
Towards Digital Optical Networks [electronic resource] : COST Action 291 Final Report / by Series: Computer Communication Networks and Telecommunications ; 5412
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

2539.
2540.
Multi-Agent-Based Simulation X [electronic resource] : International Workshop, MABS 2009, Budapest, Hungary, May10-15, 2009. Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 5683
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