Your search returned 2382 results.

Sort
Results
1481.
Swarm Intelligence Based Optimization [electronic resource] : Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10103
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.

1482.
1483.
Languages and Compilers for Parallel Computing [electronic resource] : 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers / by Series: Theoretical Computer Science and General Issues ; 2481
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.

1484.
Computational Linguistics and Intelligent Text Processing [electronic resource] : 12th International Conference, CICLing 2011, Tokyo, Japan, February 20-26, 2011. Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 6609
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.

1485.
Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7399
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.

1486.
Algebraic and Numeric Biology [electronic resource] : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 6479
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.

1487.
Programming Logics [electronic resource] : Essays in Memory of Harald Ganzinger / by Series: Theoretical Computer Science and General Issues ; 7797
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.

1488.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010, Revised Papers / by Series: Theoretical Computer Science and General Issues ; 6410
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.

1489.
Learning and Intelligent Optimization [electronic resource] : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers / by Series: Theoretical Computer Science and General Issues ; 5313
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.

1490.
1491.
Computer Science Logic [electronic resource] : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4207
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.

1492.
1493.
Algorithm Theory - SWAT 2010 [electronic resource] : 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings / by Series: Theoretical Computer Science and General Issues ; 6139
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.

1494.
1495.
1496.
General Theory of Information Transfer and Combinatorics [electronic resource] / by Series: Theoretical Computer Science and General Issues ; 4123
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.

1497.
Computer Aided Verification [electronic resource] : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8559
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.

1498.
Principles of Distributed Systems [electronic resource] : 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings / by Series: Theoretical Computer Science and General Issues ; 5401
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.

1499.
Unconventional Computation and Natural Computation [electronic resource] : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7956
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.

1500.
Language and Automata Theory and Applications [electronic resource] : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6031
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