Refine your search

Your search returned 8328 results.

Sort
Results
1341.
1342.
Artificial Neural Networks - ICANN 2006 [electronic resource] : 16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 4131
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.

1343.
Model-Driven Architecture - Foundations and Applications [electronic resource] : Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings / by Series: Programming and Software Engineering ; 4066
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.

1344.
Wireless Algorithms, Systems, and Applications [electronic resource] : 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5682
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.

1345.
DNA Computing and Molecular Programming [electronic resource] : 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings / by Series: Theoretical Computer Science and General Issues ; 9818
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.

1346.
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [electronic resource] : 9th European Conference, EvoBIO 2011, Torino, Italy, April 27-29, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6623
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.

1347.
Web Engineering [electronic resource] : 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4607
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.

1348.
Knowledge and Information Visualization [electronic resource] : Searching for Synergies / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3426
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.

1349.
1350.
Provable Security [electronic resource] : 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings / by Series: Security and Cryptology ; 10592
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.

1351.
Practical Aspects of Declarative Languages [electronic resource] : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings / by Series: Programming and Software Engineering ; 10702
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.

1352.
Topics in Cryptology – CT-RSA 2018 [electronic resource] : The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings / by Series: Security and Cryptology ; 10808
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.

1353.
Runtime Verification [electronic resource] : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings / by Series: Programming and Software Engineering ; 11237
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.

1354.
Algorithms and Architectures for Parallel Processing [electronic resource] : ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11338
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.

1355.
Digital Forensics and Watermarking [electronic resource] : 17th International Workshop, IWDW 2018, Jeju Island, Korea, October 22-24, 2018, Proceedings / by Series: Security and Cryptology ; 11378
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

1356.
1357.
Combinatorial Algorithms [electronic resource] : 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11638
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

1358.
Formal Methods [electronic resource] : An Appetizer / by
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

1359.
Representation Theorems in Computer Science [electronic resource] : A Treatment in Logic Engineering / by
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

1360.
Artificial Intelligence and Security [electronic resource] : 5th International Conference, ICAIS 2019, New York, NY, USA, July 26–28, 2019, Proceedings, Part IV / by Series: Security and Cryptology ; 11635
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

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