Suggested Topics within your search.
Showing 1 - 20 results of 29 for search '"computer science"', query time: 0.57s Refine Results
  1. 1
    Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
    Published 2019
    Subjects: “...Computer science...”
    Get fulltext
    eBook
  2. 2
    Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
    Published 2019
    Subjects: “...Computer science bicssc...”
    Get fulltext
    eBook
  3. 3
    Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
    Published 2019
    Subjects: “...Computer science bicssc...”
    Get fulltext
    eBook
  4. 4
    Automated Machine Learning : Methods, Systems, Challenges
    Published 2019
    Subjects: “...Computer science...”
    Get fulltext
    eBook
  5. 5
    Proceedings of the International Seminar on Safety and Security of Autonomous Vessels (ISSAV) and European STAMP Workshop and Conference (ESWC) 2019
    Published 2020
    Subjects: “...Computer science bicssc...”
    Get fulltext
    eBook
  6. 6
    Entity-Oriented Search
    by Balog, Krisztian
    Published 2018
    Subjects: “...Computer science...”
    Get fulltext
    eBook
  7. 7
    Making AI Intelligible : Philosophical Foundations
    by Cappelen, Herman
    Published 2021
    Subjects: “...Computer science bicssc...”
    Get fulltext
    eBook
  8. 8
    Handbook on Craniofacial Superimposition : The MEPROCS Project
    by Damas, Sergio
    Published 2020
    Subjects: “...Computer science...”
    Get fulltext
    eBook
  9. 9
    Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
    Published 2020
    Subjects: “...Computer science bicssc...”
    Get fulltext
    eBook
  10. 10
    How AI Impacts Urban Living and Public Health : 17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019, Proceedings
    Published 2019
    Subjects: “...Computer science...”
    Get fulltext
    eBook
  11. 11
    Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
    Published 2018
    Subjects: “...Computer science...”
    Get fulltext
    eBook
  12. 12
    Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
    Published 2018
    Subjects: “...Computer science...”
    Get fulltext
    eBook
  13. 13
    Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II
    Published 2019
    Subjects: “...Computer science...”
    Get fulltext
    eBook
  14. 14
    Enhanced Living Environments : Algorithms, Architectures, Platforms, and Systems
    Published 2019
    Subjects: “...Computer science...”
    Get fulltext
    eBook
  15. 15
    Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
    Published 2019
    Subjects: “...Computer science...”
    Get fulltext
    eBook
  16. 16
    Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I
    Published 2019
    Subjects: “...Computer science...”
    Get fulltext
    eBook
  17. 17
    Internet of Things. Information Processing in an Increasingly Connected World : First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers
    Published 2019
    Subjects: “...Computer science...”
    Get fulltext
    eBook
  18. 18
    Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
    Published 2021
    Subjects: “...Computer science bicssc...”
    Get fulltext
    eBook
  19. 19
    Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
    Published 2021
    Subjects: “...Computer science bicssc...”
    Get fulltext
    eBook
  20. 20
    Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
    Published 2020
    Subjects: “...Computer science bicssc...”
    Get fulltext
    eBook
Search Tools: Get RSS Feed — Email this Search