Refine your search

Your search returned 2583 results.

Sort
Results
1521.
Developments in Language Theory [electronic resource] : 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings / by Series: Theoretical Computer Science and General Issues ; 8633
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

1522.
Applications of Evolutionary Computation [electronic resource] : EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 6625
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.

1523.
Lectures on Logic and Computation [electronic resource] : ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / by Series: Theoretical Computer Science and General Issues ; 7388
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.

1524.
Principles and Practice of Constraint Programing-CP 2013 [electronic resource] : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings / by Series: Programming and Software Engineering ; 8124
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.

1525.
1526.
Foundations of Information and Knowledge Systems [electronic resource] : 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7153
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.

1527.
Sequences, Subsequences, and Consequences [electronic resource] : International Workshop, SSC 2007, Los Angeles, CA, USA, May 31 - June 2, 2007, Revised Invited Papers / by Series: Security and Cryptology ; 4893
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.

1528.
Algorithms and Computation [electronic resource] : 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8283
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.

1529.
Algorithms -- ESA 2011 [electronic resource] : 19th Annual European Symposium, Saarbrücken, Germany, September 5-9, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6942
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.

1530.
Graph Drawing [electronic resource] : 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007, Revised Papers / by Series: Theoretical Computer Science and General Issues ; 4875
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.

1531.
Combinatorial Optimization and Applications [electronic resource] : First International Conference, COCOA 2007, Xi'an, China, August 14-16, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4616
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.

1532.
Structural Information and Communication Complexity [electronic resource] : 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 9988
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.

1533.
Foundations of Information and Knowledge Systems [electronic resource] : 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3861
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.

1534.
Functional and Constraint Logic Programming [electronic resource] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6816
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.

1535.
Integer Programming and Combinatorial Optimization [electronic resource] : 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6080
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.

1536.
1537.
Experimental Algorithms [electronic resource] : 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9685
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.

1538.
CONCUR 2013 -- Concurrency Theory [electronic resource] : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8052
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.

1539.
Applied Cryptography and Network Security [electronic resource] : 8th International Conference, ACNS 2010, Beijing, China, June 22-25, 2010, Proceedings / by Series: Security and Cryptology ; 6123
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.

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