Výsledky vyhľadávania - "thema EDItEUR::U Computing and Information Technology::UK Computer hardware"

The AI Act and The Agile Safety Plan

Autori: Myklebust, Thor Stålhane, Tor Vatn, Dorthea Mathilde Kristin

Zdroj: SpringerBriefs in Computer Science ISBN: 9783031805035

Predmety: 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

Popis súboru: image/jpeg; application/pdf

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/98581
https://library.oapen.org/bitstream/20.500.12657/98581/1/9783031805042.pdf
https://directory.doabooks.org/handle/20.500.12854/151345
https://library.oapen.org/handle/20.500.12657/98581
https://link.springer.com/978-3-031-80504-2

Biological Computing

Autori: Xu, Jin

Predmety: 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

Popis súboru: 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

Dostupnosť: https://library.oapen.org/handle/20.500.12657/100770
https://hdl.handle.net/20.500.12657/100770
https://directory.doabooks.org/handle/20.500.12854/158430
https://hdl.handle.net/20.500.12854/158430
https://library.oapen.org/bitstream/20.500.12657/100770/1/9789819638703.pdf

Special Topics in Information Technology

Prispievatelia: Garatti, Simone

Predmety: 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

Popis súboru: 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

Dostupnosť: https://library.oapen.org/handle/20.500.12657/100789
https://hdl.handle.net/20.500.12657/100789
https://directory.doabooks.org/handle/20.500.12854/158425
https://hdl.handle.net/20.500.12854/158425
https://library.oapen.org/bitstream/20.500.12657/100789/1/9783031802683.pdf

Data Parallel C++: Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL

Autori: Reinders, James Ashbaugh, Ben Brodman, James a ďalší

Zdroj: 2021_Book_DataParallelC.pdf

Predmety: 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

Popis súboru: image/jpeg; application/pdf; 548 páginas

Prístupová URL adresa: 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

Formal Methods ; 978-3-031-71177-0.pdf

Prispievatelia: Platzer, Andre Rozier, Kristin Yvonne Pradella, Matteo a ďalší

Predmety: 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

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; ONIX_20240913_9783031711770_29

Dostupnosť: https://library.oapen.org/handle/20.500.12657/93255
https://hdl.handle.net/20.500.12657/93255
https://link.springer.com/978-3-031-71177-0

Automated Reasoning ; 978-3-031-63498-7.pdf

Prispievatelia: Benzmüller, Christoph Heule, Marijn J.H. Schmidt, Renate A.

Predmety: 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

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; ONIX_20240716_9783031634987_32

Dostupnosť: https://library.oapen.org/handle/20.500.12657/92347
https://hdl.handle.net/20.500.12657/92347
https://link.springer.com/978-3-031-63498-7

Machine Learning for Cyber-Physical Systems ; 978-3-031-47062-2.pdf

Prispievatelia: Niggemann, Oliver Beyerer, Jürgen Krantz, Maria a ďalší

Predmety: 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

Popis súboru: application/pdf

Relation: Technologien für die intelligente Automation; ONIX_20240716_9783031470622_2

Dostupnosť: https://library.oapen.org/handle/20.500.12657/92296
https://hdl.handle.net/20.500.12657/92296
https://link.springer.com/978-3-031-47062-2

Formal Methods ; 978-3-031-71162-6.pdf

Prispievatelia: Platzer, André Rozier, Kristin Yvonne Pradella, Matteo a ďalší

Predmety: 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

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; ONIX_20240913_9783031711626_28

Dostupnosť: https://library.oapen.org/handle/20.500.12657/93254
https://hdl.handle.net/20.500.12657/93254
https://link.springer.com/978-3-031-71162-6

Automated Reasoning ; 978-3-031-63501-4.pdf

Prispievatelia: Benzmüller, Christoph Heule, Marijn J.H. Schmidt, Renate A.

Predmety: 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

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; ONIX_20240716_9783031635014_33

Dostupnosť: https://library.oapen.org/handle/20.500.12657/92348
https://hdl.handle.net/20.500.12657/92348
https://link.springer.com/978-3-031-63501-4

Fundamental Approaches to Software Engineering

Prispievatelia: Beyer, Dirk Cavalcanti, Ana

Predmety: 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

Popis súboru: image/jpeg

Relation: Lecture Notes in Computer Science; ONIX_20240416_9783031572593_20; OCN: 1429288556; https://library.oapen.org/handle/20.500.12657/89913

Dostupnosť: https://library.oapen.org/handle/20.500.12657/89913
https://hdl.handle.net/20.500.12657/89913
https://directory.doabooks.org/handle/20.500.12854/136476
https://hdl.handle.net/20.500.12854/136476
https://library.oapen.org/bitstream/20.500.12657/89913/1/978-3-031-57259-3.pdf

Tools and Algorithms for the Construction and Analysis of Systems

Prispievatelia: Finkbeiner, Bernd Kovács, Laura

Predmety: 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

Popis súboru: image/jpeg

Relation: Lecture Notes in Computer Science; ONIX_20240416_9783031572562_18; OCN: 1429305811; https://library.oapen.org/handle/20.500.12657/89911

Dostupnosť: https://library.oapen.org/handle/20.500.12657/89911
https://hdl.handle.net/20.500.12657/89911
https://directory.doabooks.org/handle/20.500.12854/137106
https://hdl.handle.net/20.500.12854/137106
https://library.oapen.org/bitstream/20.500.12657/89911/1/978-3-031-57256-2.pdf

AI, Data, and Digitalization

Prispievatelia: Akerkar, Rajendra

Predmety: 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

Popis súboru: image/jpeg

Relation: Communications in Computer and Information Science; ONIX_20240416_9783031537707_49; OCN: 1427385045; https://library.oapen.org/handle/20.500.12657/89957

Dostupnosť: https://library.oapen.org/handle/20.500.12657/89957
https://hdl.handle.net/20.500.12657/89957
https://directory.doabooks.org/handle/20.500.12854/137170
https://hdl.handle.net/20.500.12854/137170
https://library.oapen.org/bitstream/20.500.12657/89957/1/978-3-031-53770-7.pdf

Machine Learning for Cyber-Physical Systems

Prispievatelia: Niggemann, Oliver Beyerer, Jürgen Krantz, Maria a ďalší

Predmety: 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

Popis súboru: image/jpeg

Relation: Technologien für die intelligente Automation; ONIX_20240716_9783031470622_2; https://library.oapen.org/handle/20.500.12657/92296

Dostupnosť: https://library.oapen.org/handle/20.500.12657/92296
https://hdl.handle.net/20.500.12657/92296
https://directory.doabooks.org/handle/20.500.12854/142439
https://hdl.handle.net/20.500.12854/142439
https://library.oapen.org/bitstream/20.500.12657/92296/1/978-3-031-47062-2.pdf

Formal Methods

Prispievatelia: Platzer, André Rozier, Kristin Yvonne Pradella, Matteo a ďalší

Predmety: 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

Popis súboru: image/png; image/jpeg

Relation: Lecture Notes in Computer Science; ONIX_20240913_9783031711626_28; https://library.oapen.org/handle/20.500.12657/93254

Dostupnosť: https://library.oapen.org/handle/20.500.12657/93254
https://hdl.handle.net/20.500.12657/93254
https://directory.doabooks.org/handle/20.500.12854/144754
https://hdl.handle.net/20.500.12854/144754
https://library.oapen.org/bitstream/20.500.12657/93254/1/978-3-031-71162-6.pdf

Automated Reasoning

Prispievatelia: Benzmüller, Christoph Heule, Marijn J.H. Schmidt, Renate A.

Predmety: 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

Popis súboru: 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

Dostupnosť: https://library.oapen.org/handle/20.500.12657/92348
https://hdl.handle.net/20.500.12657/92348
https://directory.doabooks.org/handle/20.500.12854/142350
https://hdl.handle.net/20.500.12854/142350
https://library.oapen.org/bitstream/20.500.12657/92348/1/978-3-031-63501-4.pdf

The World We Want to Live in

Prispievatelia: Schmiedchen, Frank Peter Kratzer, Klaus Link, Jasmin S. A. a ďalší

Predmety: 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

Popis súboru: image/jpeg

Relation: ONIX_20220916_9783832553654_159

Dostupnosť: https://directory.doabooks.org/handle/20.500.12854/92173
https://hdl.handle.net/20.500.12854/92173
https://www.logos-verlag.de/cgi-bin/engbuchmid?isbn=5365&lng=eng&id=
https://www.logos-verlag.de/ebooks/OA/978-3-8325-5365-4.pdf

Data Parallel C++

Autori: Reinders, James Ashbaugh, Ben Brodman, James a ďalší

Predmety: 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

Popis súboru: 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

Dostupnosť: https://library.oapen.org/handle/20.500.12657/42917
https://hdl.handle.net/20.500.12657/42917
https://directory.doabooks.org/handle/20.500.12854/30305
https://hdl.handle.net/20.500.12854/30305
https://library.oapen.org/bitstream/20.500.12657/42917/1/2021_Book_DataParallelC.pdf