Computer hardware.
Overview
| Works: | 132 works in 3 publications in 3 languages | |
|---|---|---|
Titles
Fundamentals of Logic and Computation = With Practical Automated Reasoning and Verification /
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings /
by:
(Language materials, printed)
Network and Parallel Computing = 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28–30, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings /
by:
(Language materials, printed)
Wahrheit und Fake im postfaktisch-digitalen Zeitalter = Distinktionen in den Geistes- und IT-Wissenschaften /
by:
(Language materials, printed)
Practical Arduino Engineering = End to End Development with the Arduino, Fusion 360, 3D Printing, and Eagle /
by:
(Language materials, printed)
Grundlagen der Elektrotechnik = Elektrisches und magnetisches Feld, Gleichstrom- und Wechselstromkreis, Drehstrom in der Antriebstechnik, Einführung mit Übungen /
by:
(Language materials, printed)
Algorithms and Architectures for Cryptography and Source Coding in Non-Volatile Flash Memories
by:
(Language materials, printed)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Grundlagen der Elektrotechnik = Einführung für Studierende der Ingenieur- und Naturwissenschaften /
by:
(Language materials, printed)
Embedded Systems – A Hardware-Software Co-Design Approach = Unleash the Power of Arduino! /
by:
(Language materials, printed)
Schutz Kritischer Infrastrukturen im Verkehr = Security Engineering als ganzheitlicher Ansatz /
by:
(Language materials, printed)
Smart Grid and Innovative Frontiers in Telecommunications = 5th EAI International Conference, SmartGIFT 2020, Chicago, USA, December 12, 2020, Proceedings /
by:
(Language materials, printed)
Euro-Par 2021: Parallel Processing = 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings /
by:
(Language materials, printed)
Energy-Efficient Modular Exponential Techniques for Public-Key Cryptography = Efficient Modular Exponential Techniques /
by:
(Language materials, printed)
Reinforcement Learning Aided Performance Optimization of Feedback Control Systems
by:
(Language materials, printed)
Die Technik der Starrflügler-Drohnen = Eine Einführung in die Elektronik von UAVs /
by:
(Language materials, printed)
Quantencomputer = Von der Quantenwelt zur Künstlichen Intelligenz /
by:
(Language materials, printed)
Reasoning Web. Declarative Artificial Intelligence = 16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures /
by:
(Language materials, printed)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings /
by:
(Language materials, printed)
Grundkurs Betriebssysteme = Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation, Virtualisierung /
by:
(Language materials, printed)
Wireless Sensor Networks = 14th China Conference, CWSN 2020, Dunhuang, China, September 18–21, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Software Engineering and Formal Methods = 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings /
by:
(Language materials, printed)
High Performance Computing = 35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22–25, 2020, Proceedings /
by:
(Language materials, printed)
Benchmarking, Measuring, and Optimizing = Second BenchCouncil International Symposium, Bench 2019, Denver, CO, USA, November 14–16, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Parallel Computational Technologies = 14th International Conference, PCT 2020, Perm, Russia, May 27–29, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Operating Systems / Betriebssysteme = Bilingual Edition: English – German / Zweisprachige Ausgabe: Englisch – Deutsch /
by:
(Language materials, printed)
Software Architecture = 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings /
by:
(Language materials, printed)
Computernetze kompakt = Eine an der Praxis orientierte Einführung für Studium und Berufspraxis /
by:
(Language materials, printed)
Optical Network Design and Modeling = 23rd IFIP WG 6.10 International Conference, ONDM 2019, Athens, Greece, May 13–16, 2019, Proceedings /
by:
(Language materials, printed)
Tools and Techniques for High Performance Computing = Selected Workshops, HUST, SE-HER and WIHPC, Held in Conjunction with SC 2019, Denver, CO, USA, November 17–18, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings /
by:
(Language materials, printed)
Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings /
by:
(Language materials, printed)
Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Der PC als Medienzentrale = Betriebssysteme, Fernsehen, Videos, Spiele, Office, Netzwerke, Datenbanken /
by:
(Language materials, printed)
Schutz Kritischer Infrastrukturen im Verkehr = Security Engineering als ganzheitlicher Ansatz /
by:
(Language materials, printed)
OpenMP = heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings /
by:
(Language materials, printed)
VLSI-SoC: internet of things foundations = 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014 : revised and extended selected papers /
by:
(Language materials, printed)
Beginning C for Arduino, Second Edition = Learn C Programming for the Arduino /
by:
(Language materials, printed)
Computational Intelligence in Digital and Network Designs and Applications
by:
(Language materials, printed)
OpenMP: Heterogenous Execution and Data Movements = 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings /
by:
(Language materials, printed)
Wireless-Netzwerke für den Nahbereich = Eingebettete Funksysteme: Vergleich von standardisierten und proprietären Verfahren /
by:
(Language materials, printed)
Applied Reconfigurable Computing = 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings /
by:
(Language materials, printed)
Formal Modeling and Verification of Cyber-Physical Systems = 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
by:
(Language materials, printed)
Masterkurs Parallele und Verteilte Systeme = Grundlagen und Programmierung von Multicore-Prozessoren, Multiprozessoren, Cluster, Grid und Cloud /
by:
(Language materials, printed)
Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio-Frequency (RF) Circuit Design
by:
(Language materials, printed)
VLSI-SoC: Internet of Things Foundations = 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014, Revised Selected Papers /
by:
(Language materials, printed)
High Performance Computing = Second Latin American Conference, CARLA 2015, Petrópolis, Brazil, August 26-28, 2015, Proceedings /
by:
(Language materials, printed)
VLSI-SoC: At the Crossroads of Emerging Trends = 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, Istanbul, Turkey, October 6-9, 2013, Revised Selected Papers /
by:
(Language materials, printed)
Applications and Usability of Interactive TV = Third Iberoamerican Conference, jAUTI 2014, and Third Workshop on Interactive Digital TV, Held as Part of Webmedia 2014, João Pessoa, PB, Brazil, November 18-21, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Applied Reconfigurable Computing = 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22–24, 2016 Proceedings /
by:
(Language materials, printed)
Cognitive Radio Oriented Wireless Networks = 11th International Conference, CROWNCOM 2016, Grenoble, France, May 30 - June 1, 2016, Proceedings /
by:
(Language materials, printed)
Languages, Design Methods, and Tools for Electronic System Design = Selected Contributions from FDL 2014 /
by:
(Language materials, printed)
Multiple Constant Multiplication Optimizations for Field Programmable Gate Arrays
by:
(Language materials, printed)
Building Arduino Projects for the Internet of Things = Experiments with Real-World Applications /
by:
(Language materials, printed)
Beginning Sensor Networks with XBee, Raspberry Pi, and Arduino = Sensing the World with Python and MicroPython /
by:
(Language materials, printed)
Supercomputing = Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers /
by:
(Language materials, printed)
History and Philosophy of Computing = Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Mobile Computing = Grundlagen – Prozesse und Plattformen – Branchen und Anwendungsszenarien /
by:
(Language materials, printed)
Game of Colors: Moderne Bewegtbildproduktion = Theorie und Praxis für Film, Video und Fernsehen /
by:
(Language materials, printed)
Complete Symbolic Simulation of SystemC Models = Efficient Formal Verification of Finite Non-Terminating Programs /
by:
(Language materials, printed)
VLSI-SoC: Design for Reliability, Security, and Low Power = 23rd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, Korea, October 5-7, 2015, Revised Selected Papers /
by:
(Language materials, printed)
OpenMP: Memory, Devices, and Tasks = 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /
by:
(Language materials, printed)
Cryptographic Hardware and Embedded Systems – CHES 2016 = 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings /
by:
(Language materials, printed)
Constructive Side-Channel Analysis and Secure Design = 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Robotics = 12th Latin American Robotics Symposium and Third Brazilian Symposium on Robotics, LARS 2015/SBR 2015, Uberlândia, Brazil, October 28 - November 1, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Cyber-Physical Attack Recovery Procedures = A Step-by-Step Preparation and Response Guide /
by:
(Language materials, printed)
The Innovation in Computing Companion = A Compendium of Select, Pivotal Inventions /
by:
(Language materials, printed)
Search-Based Software Engineering = 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings /
by:
(Language materials, printed)
Simulation, Image Processing, and Ultrasound Systems for Assisted Diagnosis and Navigation = International Workshops, POCUS 2018, BIVPCS 2018, CuRIOUS 2018, and CPM 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16–20, 2018, Proceedings /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security = SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings /
by:
(Language materials, printed)
Security, Privacy, and Applied Cryptography Engineering = 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings /
by:
(Language materials, printed)
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering = 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings /
by:
(Language materials, printed)
Principles of Modeling = Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Reliable Software Technologies – Ada-Europe 2018 = 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings /
by:
(Language materials, printed)
Learn Raspberry Pi Programming with Python = Learn to Program on the World's Most Popular Tiny Computer /
by:
(Language materials, printed)
Thread and Data Mapping for Multicore Systems = Improving Communication and Memory Accesses /
by:
(Language materials, printed)
Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 = 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part IV /
by:
(Language materials, printed)
Cloud Computing and Service Science = 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Programming Languages and Systems = 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /
by:
(Language materials, printed)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings /
by:
(Language materials, printed)
Progress in Cryptology – AFRICACRYPT 2018 = 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7–9, 2018, Proceedings /
by:
(Language materials, printed)
Software Engineering and Formal Methods = SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Augmented Cognition: Intelligent Technologies = 12th International Conference, AC 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Computational Topology in Image Context = 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings /
by:
(Language materials, printed)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings /
by:
(Language materials, printed)
Applied Reconfigurable Computing = 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Electromagnetic Information Leakage and Countermeasure Technique = Translated by Liu Jinming, Liu Ying, Zhang Zidong, Liu Tao /
by:
(Language materials, printed)
Cyber Physical Systems. Design, Modeling, and Evaluation = 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Engineering Psychology and Cognitive Ergonomics = 16th International Conference, EPCE 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings /
by:
(Language materials, printed)
VLSI Design and Test = 22nd International Symposium, VDAT 2018, Madurai, India, June 28-30, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Network and Parallel Computing = 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedings /
by:
(Language materials, printed)
High Performance Computing = ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Computer Vision – ACCV 2018 Workshops = 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Parallel Computing Technologies = 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings /
by:
(Language materials, printed)
Security, Privacy, and Applied Cryptography Engineering = 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings /
by:
(Language materials, printed)
High Performance Computing for Computational Science – VECPAR 2018 = 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Pattern Recognition = 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings /
by:
(Language materials, printed)
VLSI Design and Test = 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Supercomputing = 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Computational Methods and Clinical Applications for Spine Imaging = 5th International Workshop and Challenge, CSI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Raspberry Pi – Das technische Handbuch = Konfiguration, Hardware, Applikationsentwicklung /
by:
(Language materials, printed)
Show more
Fewer
Subjects