Refine your search

Your search returned 7478 results.

Sort
Results
4041.
Integer Programming and Combinatorial Optimization [electronic resource] : 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3509
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.

4042.
4043.
4044.
CONCUR 2011 -- Concurrency Theory [electronic resource] : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6901
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.

4045.
Cyberspace Safety and Security [electronic resource] : 4th International Symposium, CSS 2012, Melbourne, Australia, December 12-13, 2012, Proceedings / by Series: Security and Cryptology ; 7672
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.

4046.
Algorithms and Complexity [electronic resource] : 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3998
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.

4047.
Wireless Access Flexibility [electronic resource] : First International Workshop, WiFlex 2013, Kaliningrad, Russia, September 4-6, 2013, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 8072
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

4048.
4049.
Advanced Information Systems Engineering [electronic resource] : 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7908
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

4050.
Constraint Databases and Applications [electronic resource] : First International Symposium, CDB 2004, Paris, France, June 12-13, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3074
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.

4051.
Pattern Recognition in Bioinformatics [electronic resource] : International Workshop, PRIB 2006, Hong Kong, China, August 20, 2006, Proceedings / by Series: Lecture Notes in Bioinformatics ; 4146
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.

4052.
Principles of Security and Trust [electronic resource] : 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / by Series: Security and Cryptology ; 9036
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.

4053.
Trends in Functional Programming [electronic resource] : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7193
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.

4054.
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6622
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.

4055.
Fast Software Encryption [electronic resource] : 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers / by Series: Security and Cryptology ; 9783
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

4056.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 32nd International Workshop, WG 2006, Bergen, Norway, June 22-23, 2006, Revised Papers / by Series: Theoretical Computer Science and General Issues ; 4271
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.

4057.
Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings / by Series: Programming and Software Engineering ; 5311
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.

4058.
4059.
Information Systems Security [electronic resource] : 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010 / by Series: Security and Cryptology ; 6503
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.

4060.
Bio-Inspired Computing and Applications [electronic resource] : 7th International Conference on Intelligent Computing, ICIC2011, Zhengzhou, China, August 11-14. 2011, Revised Papers / by Series: Lecture Notes in Bioinformatics ; 6840
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.

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