Your search returned 2382 results.

Sort
Results
841.
842.
Term Rewriting and Applications [electronic resource] : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3467
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.

843.
Algorithms and Discrete Applied Mathematics [electronic resource] : Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9602
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.

844.
Rewriting and Typed Lambda Calculi [electronic resource] : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8560
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.

845.
Advances in Swarm Intelligence [electronic resource] : First International Conference, ICSI 2010, Beijing, China, June 12-15, 2010, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 6145
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.

846.
847.
Internet and Network Economics [electronic resource] : 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6484
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.

848.
Distributed Computing [electronic resource] : 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3724
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.

849.
Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7294
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.

850.
Graph Transformation [electronic resource] : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9761
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.

851.
Advances in Swarm Intelligence, Part II [electronic resource] : Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 6729
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.

852.
Robust and Online Large-Scale Optimization [electronic resource] : Models and Techniques for Transportation Systems / by Series: Theoretical Computer Science and General Issues ; 5868
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.

853.
CONCUR 2005 - Concurrency Theory [electronic resource] : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3653
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.

854.
Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 10426
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

855.
Euro-Par 2010 - Parallel Processing [electronic resource] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 6272
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.

856.
Unconventional Computation [electronic resource] : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings / by Series: Theoretical Computer Science and General Issues ; 6714
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.

857.
Principles of Distributed Systems [electronic resource] : 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings / by Series: Theoretical Computer Science and General Issues ; 5923
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.

858.
Combinatorics on Words [electronic resource] : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8079
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.

859.
860.
Implementation and Application of Automata [electronic resource] : 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 4783
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.

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