Výsledky vyhledávání - thema EDItEUR::U Computing AND Information Technology::UK Computer hardware

The AI Act and The Agile Safety Plan

Autoři: Myklebust, Thor Stålhane, Tor Vatn, Dorthea Mathilde Kristin

Zdroj: SpringerBriefs in Computer Science ISBN: 9783031805035

Témata: 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 souboru: image/jpeg; application/pdf

Pří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

Autoři: Xu, Jin

Témata: 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 souboru: 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

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

Slow Electronics with Reservoir Computing

Přispěvatelé: Inoue, Isao H.

Témata: 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

Popis souboru: 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

Dostupnost: https://library.oapen.org/handle/20.500.12657/108718
https://hdl.handle.net/20.500.12657/108718
https://directory.doabooks.org/handle/20.500.12854/169576
https://hdl.handle.net/20.500.12854/169576
https://library.oapen.org/bitstream/20.500.12657/108718/1/9789819683833.pdf

Special Topics in Information Technology

Přispěvatelé: Garatti, Simone

Témata: 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 souboru: 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

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

Autoři: Reinders, James Ashbaugh, Ben Brodman, James a další

Zdroj: 2021_Book_DataParallelC.pdf

Témata: 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 souboru: image/jpeg; application/pdf; 548 páginas

Pří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

Digital Twin: Architectures, Networks, and Applications

Autoři: Zhang, Yan

Zdroj: Simula SpringerBriefs on Computing ISBN: 9783031518188

Témata: Machine Learning, Digital Twin, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning, Internet of Things, Edge Computing, thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications::TJKW WAP (wireless) technology, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence, thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware, thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers, thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications, 6G

Popis souboru: image/jpeg; application/pdf

Přístupová URL adresa: https://directory.doabooks.org/handle/20.500.12854/134100
https://library.oapen.org/handle/20.500.12657/87638
https://library.oapen.org/bitstream/20.500.12657/87638/1/978-3-031-51819-5.pdf
https://link.springer.com/978-3-031-51819-5
https://library.oapen.org/handle/20.500.12657/87638

Construction, Operation and Maintenance of Network System(Junior Level)

Autoři: Huawei Technologies Co., Ltd.

Témata: Textbook, operation and maintenance, certification, Huawei, thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware, network system, Computer networks

Popis souboru: image/jpeg; application/pdf

Přístupová URL adresa: https://library.oapen.org/bitstream/20.500.12657/59332/1/978-981-19-3069-0.pdf
https://directory.doabooks.org/handle/20.500.12854/93934
https://library.oapen.org/handle/20.500.12657/59332
https://link.springer.com/978-981-19-3069-0
https://library.oapen.org/handle/20.500.12657/59332

Data Communications and Network Technologies

Autoři: Huawei Technologies Co., Ltd.

Témata: Huawei, Certification, Data Communications, IP, Switching, thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware, Computer Networks, TCP, Routing, HCIA

Popis souboru: image/jpeg; application/pdf

Přístupová URL adresa: https://library.oapen.org/bitstream/20.500.12657/59330/1/978-981-19-3029-4.pdf
https://library.oapen.org/handle/20.500.12657/59330
https://directory.doabooks.org/handle/20.500.12854/93994
https://library.oapen.org/handle/20.500.12657/59330
https://link.springer.com/978-981-19-3029-4

Mixed-Criticality Industrial Wireless Networks

Autoři: Jin, Xi Xia, Changqing Xu, Chi a další

Zdroj: Wireless Networks ISBN: 9789811989216

Témata: Industrial wireless networks, thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFC Electronics: circuits and components, scheduling algorithm, thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications::TJKW WAP (wireless) technology, thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware, thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering, schedulability analysis, Mixed criticality, 5G, Wireless sensor network

Popis souboru: image/jpeg; application/pdf

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/62447
https://library.oapen.org/bitstream/20.500.12657/62447/1/978-981-19-8922-3.pdf
https://directory.doabooks.org/handle/20.500.12854/99168
https://link.springer.com/978-981-19-8922-3
https://library.oapen.org/handle/20.500.12657/62447

Co-governed Sovereignty Network: Legal Basis and Its Prototype & Applications with MIN Architecture

Autoři: Hui Li Xin Yang

Témata: Blockchain, Sovereignty Network, thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications::UTN Network security, thema EDItEUR::U Computing and Information Technology, Computer Network Applications, thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware, Cyber Space Management and Network security, Cyberspace Legal theory

Popis souboru: image/jpeg; application/pdf

Přístupová URL adresa: https://directory.doabooks.org/handle/20.500.12854/71642
https://library.oapen.org/handle/20.500.12657/50440
https://library.oapen.org/bitstream/20.500.12657/50440/1/978-981-16-2670-8.pdf
https://www.springer.com/9789811626708
https://library.oapen.org/handle/20.500.12657/50440

Programming Persistent Memory: A Comprehensive Guide for Developers

Autoři: Scargall, Steve

Témata: Big data, thema EDItEUR::U Computing and Information Technology::UN Databases, Computer communication systems, thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware, Computer science

Popis souboru: image/jpeg; application/pdf

Přístupová URL adresa: https://library.oapen.org/bitstream/20.500.12657/22836/1/1007325.pdf
https://directory.doabooks.org/handle/20.500.12854/26322
https://library.oapen.org/bitstream/20.500.12657/22836/1/1007325.pdf
http://library.oapen.org/handle/20.500.12657/22836
https://www.springer.com/9781484249321
http://library.oapen.org/handle/20.500.12657/22836

The Amazing Journey of Reason: from DNA to Artificial Intelligence

Autoři: Alemi, Mario

Zdroj: SpringerBriefs in Computer Science ISBN: 9783030259617

Témata: Sistemas expertos (Computadores), Adquisición de conocimiento (Sistemas expertos), Input-output equipment (Computers), thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware, Computer science, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures, Aprendizaje automático (Inteligencia artificial), thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists, thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications, Operating systems (Computers), Mathematical logic, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, Computer science—Mathematics, Computer communication systems, thema EDItEUR::U Computing and Information Technology::UL Operating systems, Algorithms

Popis souboru: image/jpeg; application/pdf; Springer Nature

Přístupová URL adresa: https://directory.doabooks.org/handle/20.500.12854/30721
http://library.oapen.org/handle/20.500.12657/23086
https://library.oapen.org/bitstream/20.500.12657/23086/1/1007072.pdf
https://www.springer.com/9783030259624
http://library.oapen.org/handle/20.500.12657/23086

Demystifying Internet of Things Security: Successful IoT Device/Edge and Platform Security Deployment

Autoři: Cheruvu, Sunil Kumar, Anil Smith, Ned a další

Témata: Computer security, thema EDItEUR::U Computing and Information Technology::UR Computer security, Protección de datos, Seguridad informática - Normas, Computer communication systems, Demystifying internet, Information technology, thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems, thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware, Platform security, Computer science, Economía, Business—Data processing

Popis souboru: image/jpeg; application/pdf; 515 páginas

Přístupová URL adresa: https://library.oapen.org/bitstream/20.500.12657/22840/1/1007321.pdf
https://library.oapen.org/bitstream/20.500.12657/22840/1/1007321.pdf
http://library.oapen.org/handle/20.500.12657/22840
https://directory.doabooks.org/handle/20.500.12854/39473
http://library.oapen.org/handle/20.500.12657/22840
https://www.springer.com/9781484228968

AI, Data, and Digitalization

Přispěvatelé: Akerkar, Rajendra

Témata: 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 souboru: image/jpeg

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

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

Tools and Algorithms for the Construction and Analysis of Systems

Přispěvatelé: Finkbeiner, Bernd Kovács, Laura

Témata: 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 souboru: image/jpeg

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

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

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

Přispěvatelé: Platzer, Andre Rozier, Kristin Yvonne Pradella, Matteo a další

Témata: 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 souboru: application/pdf

Relation: Lecture Notes in Computer Science; ONIX_20240913_9783031711770_29

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

Přispěvatelé: Benzmüller, Christoph Heule, Marijn J.H. Schmidt, Renate A.

Témata: 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 souboru: application/pdf

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

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

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

Přispěvatelé: Platzer, André Rozier, Kristin Yvonne Pradella, Matteo a další

Témata: 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 souboru: application/pdf

Relation: Lecture Notes in Computer Science; ONIX_20240913_9783031711626_28

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

Přispěvatelé: Benzmüller, Christoph Heule, Marijn J.H. Schmidt, Renate A.

Témata: 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 souboru: application/pdf

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

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

Přispěvatelé: Beyer, Dirk Cavalcanti, Ana

Témata: 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 souboru: image/jpeg

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

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