खोज परिणाम - "logic"
प्रस्तावित विषय : खोज निहित
प्रस्तावित विषय : खोज निहित
- Artificial intelligence 76
- Software Engineering 69
- Computer science 62
- Philosophy: logic 51
- History of engineering & technology 48
- Computer programming / software development 42
- Mathematical theory of computation 42
- Computer architecture & logic design 36
- Technology: general issues 36
- Computer networking & communications 32
- Philosophy 32
- Algorithms & data structures 28
- Research & information: general 28
- Logic 24
- Systems analysis & design 20
- Philosophy of science 19
- Software engineering 19
- Computer Science Logic and Foundations of Programming 17
- Mathematics & science 16
- Philosophy: epistemology & theory of knowledge 16
- Artificial Intelligence 14
- Formal Languages and Automata Theory 14
- Machine theory 14
- Mathematical foundations 14
- Analytical philosophy & Logical Positivism 13
- Computer modelling & simulation 12
- Network hardware 12
- Philosophy of language 12
- Western philosophy, from c 1900 - 11
- Circuits & components 10
-
281
Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
प्रकाशित 2021विषय: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
282
Logical Modeling of Cellular Processes: From Software Development to Network Dynamics
प्रकाशित 2019विषय: “…Logical Models…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
283
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
प्रकाशित 2018विषय: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
इलेक्ट्रोनिक ई-पुस्तक -
284
Doing the Right Thing A Value Based Economy
प्रकाशित 2017विषय: “…Logic…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
285
Dynamic Modeling and Simulation for Control Systems
प्रकाशित 2023विषय: “…fuzzy logic…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
286
Doing the Right Thing A Value Based Economy
प्रकाशित 2017विषय: “…Logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
287
Language Between God and the Poets maʿnā in the eleventh century
प्रकाशित 2018विषय: “…Logic…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
288
Language Between God and the Poets maʿnā in the eleventh century
प्रकाशित 2018विषय: “…Logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
289
Otto Neurath et le Cercle de Vienne de gauche
प्रकाशित 2022विषय: “…Analytical philosophy & Logical Positivism bicssc…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
290
The Constitution of Consciousness
प्रकाशित 2005विषय: “…logical…”
DOAB: download the publication
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
291
The Constitution of Consciousness
प्रकाशित 2005विषय: “…logical…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
292
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
प्रकाशित 2023विषय: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
293
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
प्रकाशित 2020विषय: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
294
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
प्रकाशित 2021विषय: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
295
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
प्रकाशित 2020विषय: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
296
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
प्रकाशित 2021विषय: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
297
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
प्रकाशित 2023विषय: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
298
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
प्रकाशित 2023विषय: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
299
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
प्रकाशित 2023विषय: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
300
The Amazing Journey of Reason from DNA to Artificial Intelligence
प्रकाशित 2020विषय: “…Mathematical logic…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय