Refine your search

Your search returned 8415 results.

Sort
Results
1421.
1422.
Multiple Classifier Systems [electronic resource] : 5th International Workshop, MCS 2004, Cagliari, Italy, June 9-11, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3077
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

1423.
Interactive Theorem Proving [electronic resource] : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10499
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.

1424.
Software Engineering for Resilient Systems [electronic resource] : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings / by Series: Programming and Software Engineering ; 10479
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.

1425.
1426.
Search Based Software Engineering [electronic resource] : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings / by Series: Programming and Software Engineering ; 10452
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.

1427.
1428.
Artificial General Intelligence [electronic resource] : 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 10414
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.

1429.
1430.
1431.
1432.
1433.
Research in Computational Molecular Biology [electronic resource] : 21st Annual International Conference, RECOMB 2017, Hong Kong, China, May 3-7, 2017, Proceedings / by Series: Lecture Notes in Bioinformatics ; 10229
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.

1434.
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.

1435.
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.

1436.
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.

1437.
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.

1438.
1439.
Transactions on Computational Science XXXII [electronic resource] : Special Issue on Cybersecurity and Biometrics / by Series: Transactions on Computational Science ; 10830
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

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