खोज परिणाम - "Computer logic"
प्रस्तावित विषय : खोज निहित
प्रस्तावित विषय : खोज निहित
- Computer programming / software development 12
- Mathematical theory of computation 12
- Software Engineering 12
- Artificial intelligence 10
- Algorithms & data structures 6
- Computer modelling & simulation 6
- Information technology: general issues 6
- Systems analysis & design 6
- Computer architecture & logic design 2
-
1
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
प्रकाशित 2018विषय: “…Computer logic…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
2
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
प्रकाशित 2018विषय: “…Computer logic…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
3
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
प्रकाशित 2018विषय: “…Computer logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
4
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
प्रकाशित 2018विषय: “…Computer logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
5
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 o...
प्रकाशित 2019विषय: “…Computer logic…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
6
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 o...
प्रकाशित 2019विषय: “…Computer logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
7
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 o...
प्रकाशित 2019विषय: “…Computer logic…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
8
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
प्रकाशित 2019विषय: “…Computer logic…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
9
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
प्रकाशित 2019विषय: “…Computer logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
10
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 o...
प्रकाशित 2019विषय: “…Computer logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
11
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
प्रकाशित 2019विषय: “…Computer logic…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
12
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
प्रकाशित 2019विषय: “…Computer logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय