Refine your search

Your search returned 2406 results.

Sort
Results
1001.
DNA Computing [electronic resource] : 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 3384
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.

1002.
Mathematical Software - ICMS 2006 [electronic resource] : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4151
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.

1003.
1004.
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday / by Series: Theoretical Computer Science and General Issues ; 7860
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.

1005.
Developments in Language Theory [electronic resource] : 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. / by Series: Theoretical Computer Science and General Issues ; 9168
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.

1006.
Model-Based Safety and Assessment [electronic resource] : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings / by Series: Programming and Software Engineering ; 10437
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.

1007.
Theory and Applications of Models of Computation [electronic resource] : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10185
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.

1008.
Hybrid Artificial Intelligent Systems [electronic resource] : 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part I / by Series: Lecture Notes in Artificial Intelligence ; 6678
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.

1009.
1010.
Artificial Intelligence and Soft Computing – ICAISC 2008 [electronic resource] : 9th International Conference Zakopane, Poland, June 22-26, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5097
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.

1011.
Mathematical Foundations of Computer Science 2015 [electronic resource] : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 9235
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.

1012.
1013.
Applications of Evolutionary Computation [electronic resource] : 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8602
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

1014.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009, Revised Papers / by Series: Theoretical Computer Science and General Issues ; 5911
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.

1015.
Trusted Systems [electronic resource] : First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Proceedings / by Series: Security and Cryptology ; 6163
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.

1016.
1017.
Secure IT Systems [electronic resource] : 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016. Proceedings / by Series: Security and Cryptology ; 10014
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.

1018.
Systems Biology and Computational Proteomics [electronic resource] : Joint RECOMB 2006 Satellite Workshops on Systems Biology, and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers / by Series: Lecture Notes in Bioinformatics ; 4532
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.

1019.
Public Key Cryptography – PKC 2008 [electronic resource] : 11th International Workshop on Practice and Theory in Public-Key Cryptography, Barcelona, Spain, March 9-12, 2008, Proceedings / by Series: Security and Cryptology ; 4939
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.

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