Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 70
- History of engineering & technology 59
- Philosophy 57
- Society & social sciences 55
- Software Engineering 55
- Philosophy: logic 51
- Computer science 50
- Technology: general issues 48
- Mathematical theory of computation 47
- Computer programming / software development 46
- Humanities 43
- Computer networking & communications 38
- Research & information: general 38
- Computer architecture & logic design 36
- Algorithms & data structures 34
- Social & cultural anthropology, ethnography 34
- Media studies 32
- Neurosciences 30
- Politics & government 28
- Sociology 28
- Systems analysis & design 27
- Philosophy: epistemology & theory of knowledge 26
- Anthropology 24
- Philosophy of science 24
- Education 23
- linguistics 23
- Literature: history & criticism 21
- Mathematics & science 20
- Political science & theory 20
- History 18
-
441
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Published 2021Subjects: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
442
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Published 2023Subjects: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
443
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
444
Langage, discours, pensée Leçon inaugurale prononcée le jeudi 12 décembre 2019
Published 2020Subjects: “…Analytical philosophy & Logical Positivism bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
445
-
446
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 o...
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
447
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 o...
Published 2021Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
448
The Amazing Journey of Reason from DNA to Artificial Intelligence
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
449
The Amazing Journey of Reason from DNA to Artificial Intelligence
Published 2020Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
450
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 Sof...
Published 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
451
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 Sof...
Published 2019Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
452
Urban Operating Systems Producing the Computational City
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
453
Nucleic Acid Architectures for Therapeutics, Diagnostics, Devices and Materials
Published 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
454
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
455
-
456
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
457
Die Schönheit des Denkens Mathematisierung der Wahrnehmung am Beispiel der Computational Neurosciences
Published 2022Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
458
-
459
Die Schönheit des Denkens Mathematisierung der Wahrnehmung am Beispiel der Computational Neurosciences
Published 2022Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
460