Search Results - thema EDItEUR::U Computing AND Information Technology::UK Computer hardware
-
1
Authors:
Source: SpringerBriefs in Computer Science ISBN: 9783031805035
Subject Terms: 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
File Description: image/jpeg; application/pdf
-
2
Authors: Xu, Jin
Subject Terms: 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
File Description: 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
-
3
Contributors: Garatti, Simone
Subject Terms: 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
File Description: 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
-
4
Authors: et al.
Source: 2021_Book_DataParallelC.pdf
Subject Terms: 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
File Description: image/jpeg; application/pdf; 548 páginas
-
5
Authors: Zhang, Yan
Source: Simula SpringerBriefs on Computing ISBN: 9783031518188
Subject Terms: 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
File Description: image/jpeg; application/pdf
-
6
Authors: Huawei Technologies Co., Ltd.
Subject Terms: Textbook, operation and maintenance, certification, Huawei, thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware, network system, Computer networks
File Description: image/jpeg; application/pdf
-
7
Authors: Huawei Technologies Co., Ltd.
Subject Terms: Huawei, Certification, Data Communications, IP, Switching, thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware, Computer Networks, TCP, Routing, HCIA
File Description: image/jpeg; application/pdf
-
8
Authors: et al.
Source: Wireless Networks ISBN: 9789811989216
Subject Terms: 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
File Description: image/jpeg; application/pdf
-
9
Authors:
Subject Terms: 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
File Description: image/jpeg; application/pdf
-
10
Authors: Scargall, Steve
Subject Terms: 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
File Description: image/jpeg; application/pdf
Access URL: 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 -
11
Authors: Alemi, Mario
Source: SpringerBriefs in Computer Science ISBN: 9783030259617
Subject Terms: 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
File Description: image/jpeg; application/pdf; Springer Nature
-
12
Authors: et al.
Subject Terms: 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
File Description: image/jpeg; application/pdf; 515 páginas
Access URL: 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 -
13
Contributors: Akerkar, Rajendra
Subject Terms: 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
File Description: 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
Contributors:
Subject Terms: 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
File Description: image/jpeg
Relation: Lecture Notes in Computer Science; ONIX_20240416_9783031572562_18; OCN: 1429305811; https://library.oapen.org/handle/20.500.12657/89911
-
15
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
Relation: Lecture Notes in Computer Science; ONIX_20240913_9783031711770_29
-
16
Contributors:
Subject Terms: 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
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; ONIX_20240716_9783031634987_32
-
17
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
Relation: Lecture Notes in Computer Science; ONIX_20240913_9783031711626_28
-
18
Contributors:
Subject Terms: 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
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; ONIX_20240716_9783031635014_33
-
19
Contributors:
Subject Terms: 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
File Description: image/jpeg
Relation: Lecture Notes in Computer Science; ONIX_20240416_9783031572593_20; OCN: 1429288556; https://library.oapen.org/handle/20.500.12657/89913
-
20
Contributors: et al.
Subject Terms: 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
File Description: image/png; image/jpeg
Relation: Lecture Notes in Computer Science; ONIX_20240913_9783031711626_28; https://library.oapen.org/handle/20.500.12657/93254
Nájsť tento článok vo Web of Science