Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Ցուցադրվում են 1 - 10 արդյունքները 10 այս փնտրման համար '"Science"', հարցման ժամանակը: 0.04s Հստակեցնել արդյունքները
  1. 1
    Making AI Intelligible : Philosophical Foundations
    Cappelen, Herman
    Հրապարակվել է 2021
    Խորագրեր: “…Philosophy of science bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Գրքի գլուխ
    Պահել ցուցակում
    Պահպանված է:
  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
    Հրապարակվել է 2019
    Խորագրեր: “…Computer science bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Գրքի գլուխ
    Պահել ցուցակում
    Պահպանված է:
  3. 3
    Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
    Հրապարակվել է 2019
    Խորագրեր: “…Computer science bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Գրքի գլուխ
    Պահել ցուցակում
    Պահպանված է:
  4. 4
    Proceedings of the International Seminar on Safety and Security of Autonomous Vessels (ISSAV) and European STAMP Workshop and Conference (ESWC) 2019
    Հրապարակվել է 2020
    Խորագրեր: “…Computer science bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Գրքի գլուխ
    Պահել ցուցակում
    Պահպանված է:
  5. 5
    Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
    Հրապարակվել է 2020
    Խորագրեր: “…Computer science bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Գրքի գլուխ
    Պահել ցուցակում
    Պահպանված է:
  6. 6
    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
    Հրապարակվել է 2021
    Խորագրեր: “…Computer science bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Գրքի գլուխ
    Պահել ցուցակում
    Պահպանված է:
  7. 7
    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
    Հրապարակվել է 2021
    Խորագրեր: “…Computer science bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Գրքի գլուխ
    Պահել ցուցակում
    Պահպանված է:
  8. 8
    Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
    Հրապարակվել է 2020
    Խորագրեր: “…Computer science bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Գրքի գլուխ
    Պահել ցուցակում
    Պահպանված է:
  9. 9
    Fundamental Approaches to Software Engineering : 24th International Conference, FASE 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
    Հրապարակվել է 2021
    Խորագրեր: “…Computer science bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Գրքի գլուխ
    Պահել ցուցակում
    Պահպանված է:
  10. 10
    Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
    Հրապարակվել է 2021
    Խորագրեր: “…Computer science bicssc…”
    Get Fullteks
    DOAB: description of the publication
    Գրքի գլուխ
    Պահել ցուցակում
    Պահպանված է:
Որոնման գործիքներ: Ստացեք RSS հոսք – Էլփոստով ուղարկեք այս փնտրումը – Պահպանել որոնումը