Refine your search

Your search returned 7935 results.

Sort
Results
6461.
Computing and Combinatorics [electronic resource] : 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9198
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

6462.
6463.
6464.
Formal Modeling: Actors; Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / by Series: Programming and Software Engineering ; 7000
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.

6465.
Theory and Practice of Model Transformations [electronic resource] : First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings / by Series: Programming and Software Engineering ; 5063
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.

6466.
Algorithms and Data Structures [electronic resource] : 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6844
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.

6467.
Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / by Series: Programming and Software Engineering ; 7740
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.

6468.
6469.
Quantum Interaction [electronic resource] : 6th International Symposium, QI 2012, Paris, June 27-29, 2012, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7620
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.

6470.
6471.
6472.
6473.
Theory and Practice of Natural Computing [electronic resource] : Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings / by Series: Theoretical Computer Science and General Issues ; 8890
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.

6474.
Language and Automata Theory and Applications [electronic resource] : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10792
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

6475.
6476.
6477.
From Lambda Calculus to Cybersecurity Through Program Analysis [electronic resource] : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / by Series: Theoretical Computer Science and General Issues ; 12065
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

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