Refine your search

Your search returned 9091 results.

Sort
Results
1821.
Logic-Based Program Synthesis and Transformation [electronic resource] : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8981
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.

1822.
1823.
1824.
Software Engineering for Collective Autonomic Systems [electronic resource] : The ASCENS Approach / by Series: Programming and Software Engineering ; 8998
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.

1825.
Rewriting Logic and Its Applications [electronic resource] : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8663
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.

1826.
Information Security and Cryptology [electronic resource] : 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers / by Series: Security and Cryptology ; 8957
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.

1827.
Progress in Cryptology -- LATINCRYPT 2015 [electronic resource] : 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings / by Series: Security and Cryptology ; 9230
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.

1828.
Algorithms and Computation [electronic resource] : 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8889
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.

1829.
DNA Computing and Molecular Programming [electronic resource] : 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings / by Series: Theoretical Computer Science and General Issues ; 8727
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.

1830.
1831.
Data Science [electronic resource] : 30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9147
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.

1832.
1833.
Sequences and Their Applications - SETA 2008 [electronic resource] : 5th International Conference Lexington, KY, USA, September 14-18, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5203
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.

1834.
Adaptive and Intelligent Systems [electronic resource] : Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-9, 2014. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8779
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.

1835.
Rapid Integration of Software Engineering Techniques [electronic resource] : Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers / by Series: Programming and Software Engineering ; 3943
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.

1836.
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10703
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.

1837.
1838.
Artificial Neural Networks in Pattern Recognition [electronic resource] : 8th IAPR TC3 Workshop, ANNPR 2018, Siena, Italy, September 19–21, 2018, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11081
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.

1839.
Searchable Storage in Cloud Computing [electronic resource] / by
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

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