-
1Book
Συγγραφείς: Myklebust, Thor, Stålhane, Tor, Vatn, Dorthea Mathilde Kristin
Πηγή: SpringerBriefs in Computer Science ISBN: 9783031805035
Θεματικοί όροι: safety-critical systems, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, safety documents, thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPQ Decision theory: general::GPQD Risk assessment, thema EDItEUR::U Computing and Information Technology::UR Computer security, thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications::UTN Network security, functional safety, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, software verification and validation, risk management, software safety
Περιγραφή αρχείου: image/jpeg; application/pdf
-
2
Συνεισφορές: Inoue, Isao H.
Θεματικοί όροι: Open Access, Neuromorphic Computing, Edge Computing, Reservoir Computing, Slow Electronics, Spiking Neural Networks, Realtime Learning, Low-Frequency Signals, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics::PBWH Mathematical modelling, thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences, thema EDItEUR::M Medicine and Nursing::MQ Nursing and ancillary services::MQW Biomedical engineering
Περιγραφή αρχείου: image/jpeg
Relation: Computer Science; Computer Science (R0); ONIX_20251128T131701_9789819683833_54; https://library.oapen.org/handle/20.500.12657/108718; https://library.oapen.org/bitstream/20.500.12657/108718/1/9789819683833.pdf
-
3
Συγγραφείς: Xu, Jin
Θεματικοί όροι: Biocomputing, DNA computing, RNA computing, Protein computing, Probe Machine, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design, thema EDItEUR::U Computing and Information Technology::UK Computer hardware
Περιγραφή αρχείου: image/jpeg
Relation: ONIX_20250414_9789819638703_25; https://library.oapen.org/handle/20.500.12657/100770; https://library.oapen.org/bitstream/20.500.12657/100770/1/9789819638703.pdf
-
4
Συνεισφορές: Garatti, Simone
Θεματικοί όροι: Electronics, Computer Engineering, Bioengineering, DEIB, Politecnico di Milano, Information Technology, thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering, thema EDItEUR::M Medicine and Nursing::MQ Nursing and ancillary services::MQW Biomedical engineering, thema EDItEUR::U Computing and Information Technology::UK Computer hardware
Περιγραφή αρχείου: image/jpeg
Relation: SpringerBriefs in Applied Sciences and Technology; PoliMI SpringerBriefs; ONIX_20250414_9783031802683_39; https://library.oapen.org/handle/20.500.12657/100789; https://library.oapen.org/bitstream/20.500.12657/100789/1/9783031802683.pdf
-
5Book
Συγγραφείς: Reinders, James, Ashbaugh, Ben, Brodman, James, Kinsner, Michael, Pennycook, John, Tian, Xinmin
Πηγή: 2021_Book_DataParallelC.pdf
Θεματικοί όροι: SYCL, Data parallelism, Intel One API, Maker, Programming & scripting languages: general, Programming Languages, Compilers, Interpreters, Parallel programming, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, Computer hardware, GPU programming, FPGA programming, heterogenous, Lenguajes de programación (Computadores electrónicos), Compilers, Interpreters, C (Lenguaje de programación de computadores), Programming Languages, Hardware and Maker, Compilers & interpreters, Lenguas artificiales, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
Περιγραφή αρχείου: image/jpeg; application/pdf; 548 páginas
Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/30305
https://library.oapen.org/bitstream/20.500.12657/42917/1/2021_Book_DataParallelC.pdf
https://library.oapen.org/handle/20.500.12657/42917
https://www.springer.com/9781484255742
https://library.oapen.org/handle/20.500.12657/42917 -
6
Συνεισφορές: Platzer, Andre, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
Θεματικοί όροι: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science; ONIX_20240913_9783031711770_29
-
7
Συνεισφορές: Benzmüller, Christoph, Heule, Marijn J.H., Schmidt, Renate A.
Θεματικοί όροι: Automated reasoning, Logic, Logic and verification, Modal and temporal logics, Proof theory, Interactive proof systems, Description logics, Equational logic and rewriting, First-order logic, Higher order logic, Programming logic, Separation logic, Intuitionistic Logics, Deontic Logic, Non-classical Logics, Theorem Proving, Satisfiability Solving, Modal Logics, Rewriting, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence, thema EDItEUR::U Computing and Information Technology::UK Computer hardware
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; ONIX_20240716_9783031634987_32
-
8
Συνεισφορές: Niggemann, Oliver, Beyerer, Jürgen, Krantz, Maria, Kühnert, Christian
Θεματικοί όροι: Cyber-physical systems, Neural networks, Computer Science, Network architecture, Automatic validation, Machine learning, thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering, thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory::GPFC Cybernetics and systems theory, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics::PBWH Mathematical modelling
Περιγραφή αρχείου: application/pdf
Relation: Technologien für die intelligente Automation; ONIX_20240716_9783031470622_2
-
9
Συνεισφορές: Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
Θεματικοί όροι: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science; ONIX_20240913_9783031711626_28
-
10
Συνεισφορές: Benzmüller, Christoph, Heule, Marijn J.H., Schmidt, Renate A.
Θεματικοί όροι: Automated reasoning, Logic, Logic and verification, Modal and temporal logics, Proof theory, Interactive proof systems, Description logics, Equational logic and rewriting, First-order logic, Higher order logic, Programming logic, Separation logic, Intuitionistic Logics, Deontic Logic, Non-classical Logics, Theorem Proving, Satisfiability Solving, Modal Logics, Rewriting, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UK Computer hardware
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; ONIX_20240716_9783031635014_33
-
11
Συνεισφορές: Beyer, Dirk, Cavalcanti, Ana
Θεματικοί όροι: software engineering, requirements, design, architecture, modeling, applications of AI to software engineering, software engineering of AI-based systems, software quality, model-driven engineering, processes, software evolution, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UL Operating systems, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation
Περιγραφή αρχείου: image/jpeg
Relation: Lecture Notes in Computer Science; ONIX_20240416_9783031572593_20; OCN: 1429288556; https://library.oapen.org/handle/20.500.12657/89913
-
12
Συνεισφορές: Finkbeiner, Bernd, Kovács, Laura
Θεματικοί όροι: TACAS, formal verification, software systems, hardware systems, static analysis, probabilistic programming, program synthesis, oncurrency, testing, simulations, verification of machine, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
Περιγραφή αρχείου: image/jpeg
Relation: Lecture Notes in Computer Science; ONIX_20240416_9783031572562_18; OCN: 1429305811; https://library.oapen.org/handle/20.500.12657/89911
-
13
Συνεισφορές: Akerkar, Rajendra
Θεματικοί όροι: data, big data, artificial intelligence, ethical AI, causal effects, mobile data, geolocation data, social data, machine learning, knowledge graphs, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures, thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory, Information and Interdisciplinary subjects::GP Research and information: general::GPJ Coding theory and cryptology
Περιγραφή αρχείου: image/jpeg
Relation: Communications in Computer and Information Science; ONIX_20240416_9783031537707_49; OCN: 1427385045; https://library.oapen.org/handle/20.500.12657/89957
-
14
Συνεισφορές: Niggemann, Oliver, Beyerer, Jürgen, Krantz, Maria, Kühnert, Christian
Θεματικοί όροι: Cyber-physical systems, Neural networks, Computer Science, Network architecture, Automatic validation, Machine learning, thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering, thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory::GPFC Cybernetics and systems theory, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence, thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics::PBWH Mathematical modelling
Περιγραφή αρχείου: image/jpeg
Relation: Technologien für die intelligente Automation; ONIX_20240716_9783031470622_2; https://library.oapen.org/handle/20.500.12657/92296
-
15
Συνεισφορές: Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
Θεματικοί όροι: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation
Περιγραφή αρχείου: image/png; image/jpeg
Relation: Lecture Notes in Computer Science; ONIX_20240913_9783031711626_28; https://library.oapen.org/handle/20.500.12657/93254
-
16
Συνεισφορές: Benzmüller, Christoph, Heule, Marijn J.H., Schmidt, Renate A.
Θεματικοί όροι: Automated reasoning, Logic, Logic and verification, Modal and temporal logics, Proof theory, Interactive proof systems, Description logics, Equational logic and rewriting, First-order logic, Higher order logic, Programming logic, Separation logic, Intuitionistic Logics, Deontic Logic, Non-classical Logics, Theorem Proving, Satisfiability Solving, Modal Logics, Rewriting, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UK Computer hardware
Περιγραφή αρχείου: image/jpeg
Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; ONIX_20240716_9783031635014_33; https://library.oapen.org/handle/20.500.12657/92348
-
17
Συνεισφορές: Schmiedchen, Frank, Peter Kratzer, Klaus, Link, Jasmin S. A., Stapf-Finé, Heinz
Θεματικοί όροι: Digitalisation, Digital Networks, Artificial Intelligence, Transhumanism, Industry 4.0, thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCT Media studies, thema EDItEUR::U Computing and Information Technology::UD Digital Lifestyle and online world: consumer and user guides, thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJG Business ethics and social responsibility, Business and Management::KN Industry and industrial studies, thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues, thema EDItEUR::U Computing and Information Technology::UK Computer hardware
Περιγραφή αρχείου: image/jpeg
Relation: ONIX_20220916_9783832553654_159
-
18
Συγγραφείς: Reinders, James, Ashbaugh, Ben, Brodman, James, Kinsner, Michael, Pennycook, John, Tian, Xinmin
Θεματικοί όροι: Programming Languages, Compilers, Interpreters, Hardware and Maker, Maker, heterogenous, FPGA programming, GPU programming, Parallel programming, Data parallelism, SYCL, Intel One API, Programming & scripting languages: general, Compilers & interpreters, Computer hardware, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general, thema EDItEUR::U Computing and Information Technology::UK Computer hardware
Περιγραφή αρχείου: image/jpeg
Relation: ONIX_20201113_9781484255742_23; OCN: 1204226016; https://library.oapen.org/handle/20.500.12657/42917; https://library.oapen.org/bitstream/20.500.12657/42917/1/2021_Book_DataParallelC.pdf