Call Number (LC) Title Results
TK7895.D3 -- I26 2003eb IBM Tape Solutions for Storage Area Networks and FICON / 1
TK7895.D3 I26 2003eb IBM tape solutions for storage area networks and FICON / 1
TK7895.D3 I26 2013 IBM Linear Tape File System Enterprise Edition V1.1 : installation and configuration guide / 1
TK7895.D4 IBM Linear Tape File System Enterprise Edition V1.1.1.2 installation and configuration guide / 1
TK7895 .E42 Software-Test für Embedded Systems : Ein Praxishandbuch für Entwickler, Tester und technische Projektleiter.
Software-Test für Embedded Systems : ein Praxishandbuch für Entwickler, Tester und technische Projektleiter /
Exploring BeagleBone : Tools and Techniques for Building with Embedded Linux.
Time-Predictable Architectures /
The Definitive Guide to the ARM Cortex-M3.
Embedded C Programming : Techniques and Applications of C and PIC MCUS.
Embedded C Programming Techniques and Applications of C and PIC MCUS. 		7
TK7895.E42 Fast and effective embedded systems design : applying the ARM mbed /
Functional safety for embedded systems /
Sensor networks in theory and practice : successfully realize embedded systems projects /
Cyber-physical systems foundations, principles and applications /
On-chip training NPU -- algorithm, architecture and SoC design /
Rugged embedded systems : computing in harsh environments /
Internet of Unmanned Things (IoUT) and mission-based networking /
Simulation Engineering : Build Better Embedded Systems Faster /
System level design with .NET technology /
Dependable embedded systems /
Arduino-Based Embedded Systems : Interfacing, Simulation, and LabVIEW GUI /
Real-time embedded systems : open-source operating systems perspective /
Embedded systems handbook
Smart embedded systems : advances and applications /
Zephyr RTOS embedded C programming : using embedded RTOS POSIX API /
Engineering secure devices : a practical guide for embedded system architects and developers /
Embedded systems : hardware, design, and implementation /
Smart and secure embedded and mobile systems : selected papers from the First International Conference on Embedded and Mobile Systems (ICTA-EMOS), 24-25th November 2022, Arusha, Tanzania /
Artificial intelligence tools and applications in embedded and mobile systems : selected papers from the First International Conference on Embedded and Mobile Systems (ICTA-EMOS), 24-25 November 2022, Arusha, Tanzania /
Embedded machine learning for cyber-physical, IoT, and edge computing : use cases and emerging challenges /
Architecting High-Performance Embedded Systems Design and Build High-Performance Real-time Digital Systems Based on FPGAs and Custom Circuits.
Embedded systems architecture : discover software programming on embedded devices to build safe and secure connected systems /
Jian li qian ru shi xi tong : jie chu ruan ti de she ji mo shi = Making embedded systems /
Embedded computing for high performance : efficient mapping of computations using customization, code transformations and compilation /
The definitive guide to ARM Cortex-M0 and Cortex-M0+ processors /
Embedded SoPC design with NIOS II processor and Verilog examples /
Creative DIY Microcontroller Projects with TinyGo and WebAssembly : a Practical Guide to Building Embedded Applications for Low-Powered Devices, IoT, and Home Automation.
Embedded systems architecture : explore architectural concepts, pragmatic design patterns, and best practices to produce robust systems /
Building embedded systems : programmable hardware /
Dark silicon and future on-chip systems /
Embedded software system testing : automatic testing solution based on formal method /
CYBER-PHYSICAL SYSTEMS ai and covid-19, 1.
Embedded systems : an integrated approach /
Dynamic data driven applications systems : 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6-10, 2022, Proceedings /
The Global Positioning System for the Geosciences : Summary and Proceedings of a Workshop on Improving the GPS Reference Station Infrastructure for Earth, Oceanic, and Atmospheric Science Applications.
Embedded Systems mit RISC-V und ESP32-C3 Eine praktische Einführung in Architektur, Peripherie und eingebettete Programmierung /
Embedded Analytics : integrating analysis with the business workflow /
Applied embedded electronics : design essentials for robust systems /
Making embedded systems /
Patterns in the machine : a software engineering guide to embedded development /
The hardware hacking handbook : breaking embedded security with hardware attacks /
Crash course on Embedded C programming.
Embedded RTOS design : insights and implementation /
Introductory programs with the 32-Bit PIC microcontroller : a line-by line code analysis and reference guide for embedded programming in C /
Embedded systems : ARM programming and optimization /
Energy autonomy of real-time systems
Embedded computer systems: architectures, modeling, and simulation : 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, proceedings /
Embedded artificial intelligence : devices, embedded systems, and industrial applications /
Embedded Systems : ARM Programming and Optimization /
Essential Techniques for Medical and Life Scientists.
Arduino Meets MATLAB : interfacing, programs and simulink.
Embedded software timing : methodology, analysis and practical tips with a focus on automotive /
Embedded systems design using the MSP430FR2355 LaunchPad™
Fast and effective embedded systems design applying the ARM mbed /
Security of cyber-physical systems vulnerability and impact /
Secure smart embedded devices, platforms and applications /
Security of biochip cyberphysical systems
The Definitive Guide to the ARM Cortex-M3.
Digital Design (Verilog) : an Embedded Systems Approach Using Verilog.
The definitive guide to ARM Cortex-M3 and Cortex-M4 processors /
Multiple Models Approach in Automation : Takagi-Sugeno Fuzzy Systems.
Advanced Production Testing of RF, SoC, and SiP Devices.
Verification Techniques for System-Level Design.
Interim report on 21st century cyber-physical systems education /
Dynamic memory management for embedded systems /
Advanced multicore systems-on-chip : architecture, on-chip network, design /
Model-based engineering of collaborative embedded systems extensions of the SPES methodology /
Towards ubiquitous low-power image processing platforms
Cyber-physical systems : digital technologies and applications /
Embedded systems -- a hardware-software co-design approach unleash the power of Arduino! /
Technical foundations of embedded systems : electronics, system theory, components and analysis /
Side-channel analysis of embedded systems an efficient algorithmic approach /
Embedded system design : embedded systems foundations of cyber-physical systems, and the Internet of Things /
SoC physical design a comprehensive guide /
Designing embedded systems and the internet of things (IoT) with the ARM Mbed /
System level design from HW/SW to memory for embedded systems : 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings /
Embedded Systems : Design, Programming and Applications.
Cyber security for cyber physical systems /
Embedded systems analysis and modeling with SysML, UML and AADL /
Machine learning for embedded system security /
Memory allocation problems in embedded systems optimization methods /
Intelligent embedded systems : select proceedings of ICNETS2.
Microcontroller theory and applications with the PIC18F /
Embedded systems architecture for agile development : a layers-based model /
Intelligent cyber physical systems and internet of things : ICoICI 2022 /
Analysis, estimations, and applications of embedded systems : 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised selected papers /
Embedded systems design using the MSP430FR2355 LaunchPad™ /
Real-time embedded systems open-source operating systems perspective /
Cyber-physical systems security /
Out-of-order parallel discrete event simulation for electronic system-level design /
Embedded systems design for high-speed data acquisition and control /
Model-driven design using IEC 61499 : a synchronous approach for embedded and automation systems /
Trusted computing for embedded systems /
Security policy in system-on-chip designs : specification, implementation and verification /
Resilience of cyber-physical systems : from risk modelling to threat counteraction /
Ultra low power ECG processing system for IoT devices /
Managing More-than-Moore Integration Technology development : a story of an advanced technology program in the semiconductor industry /
Secure and trusted cyber physical systems : recent approaches and future directions /
Technology advancement on SoC design : 29th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021, Singapore, October 4-8, 2021, revised and extended selected papers /
Embedded systems technology : 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised selected papers /
Embedded computer systems : architectures, modeling, and simulation : 22nd International Conference, SAMOS 2022, Samos, Greece, July 3-7, 2022, proceedings /
Foundations of embedded systems /
Embedded system interfacing : design for the internet-of-things (IOT) and cyber-physical systems (CPS) /
A journey of embedded and cyber-physical systems essays dedicated to Peter Marwedel on the occasion of his 70th birthday /
Simplicity is complex : foundations of cyber-physical system design /
Designing modern embedded systems: software, hardware, and applications : 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, proceedings /
Embedded, Cyber-Physical, and IoT Systems Essays Dedicated to Marilyn Wolf on the Occasion of Her 60th Birthday /
Logic synthesis and SOC prototyping RTL design using VHDL /
System-on-chip security validation and verification /
Smart Technologies Scope and Applications /
Embedded computer systems : architectures, modeling, and simulation : 19th International Conference, SAMOS 2019, Samos, Greece, July 7-11, 2019, Proceedings /
Embedded mechatronic systems.
Embedded system technology : 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015, Revised selected papers /
System-scenario-based design principles and applications
System on chip interfaces for low power design /
MAC protocols for cyber-physical systems /
Models, methods, and tools for complex chip design : selected contributions from FDL 2012 /
Distributed embedded smart cameras : architectures, design and applications /
Embedded systems development from functional models to implementations /
Memory controllers for mixed-time-criticality systems : architectures, methodologies and trade-offs /
Correct-by-construction approaches for SoC design /
Cryptographic hardware and embedded systems -- CHES 2014 : 16th International Workshop, Busan, South Korea, September 23-26, 2014. Proceedings /
Introduction to embedded systems : using microcontrollers and the MSP430 /
Fuzzy logic based power-efficient real-time multi-core system /
Communication in critical embedded systems : first Workshop, WoCCES 2013, Brasília, Brazil, May, 10, 2013, second Workshop, WoCCES 2014, Florianópolis, Brazil, May 9, 2014, third Workshop, WoCCES 2015, Vitória, Brazil, May 22, 2015, 4th Workshop, WoCCES 2016, Salvador, Brazil, June 3, 2016, Revised selected papers /
High-level estimation and exploration of reliability for multi-processor system-on-chip /
Distributed embedded controller development with petri nets : application to globally-asynchronous locally-synchronous systems /
Collaborative design for embedded systems : co-modelling and co-simulation /
The Art of Software Thermal Management for Embedded Systems /
Gain-cell embedded DRAMs for low-power VLSI systems-on-chip /
Techniques for building timing-predictable embedded systems /
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems /
High performance embedded architectures and compilers 5th international conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010 : proceedings /
Software technologies for embedded and ubiquitous systems 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010 : proceedings /
Software frameworks and embedded control systems
Model-based engineering of embedded real-time systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers /
Enhancing embedded systems simulation : a chip-hardware-in-the-loop simulation framework /
The 2021 International Conference on Smart Technologies and Systems for Internet of Things : STS-IoT 2021 /
Programming heterogeneous MPSoCs : tool flows to close the software productivity gap /
Algorithm & SoC design for automotive vision systems : for smart safe driving system /
Pipelined multiprocessor system-on-chip for multimedia /
Embedded Systems and Artificial Intelligence Proceedings of ESAI 2019, Fez, Morocco /
Nano-chips 2030 AI on-chip and autonomous chip systems /
Modelling, analysis, and control of networked dynamical systems /
Microcontroller theory and applications with the PIC18F
Designing embedded systems and the internet of things (IoT) with the ARM Mbed
Smart embedded systems and applications /
Multi-processor system-on-chip.
Embedded systems : analysis and modeling with SysML, UML and AADL /
Assembly Language Programming ARM Cortex-M3.
Fast and effective embedded systems design from bits and bytes to IoT, with the ARM mbed.
SIGBED review
Journal of embedded computing
EURASIP journal on embedded systems
Leibniz transactions on embedded systems
Embedded Software Design A Practical Approach to Architecture, Processes, and Coding Techniques /
Quality-of-service aware design and management of embedded mixed-criticality systems /
Embedded machine learning for cyber-physical, IoT, and edge computing : software optimizations and hardware/software codesign /
Real-Time Embedded Systems.
Assembly Language Programming : ARM Cortex-M3.
Embedded artificial intelligence : principles, platforms and practices / 		206
TK7895.E42 A23 2010eb Multicore systems on-chip practical software/hardware design / 1
TK7895.E42 A29 ACM transactions on embedded computing systems 1
TK7895.E42 A33 2013eb Adaptable embedded systems 1
TK7895.E42 A38 1998 Advanced techniques for embedded systems design and test / 1
TK7895.E42 A3848 2014eb Intelligence for embedded systems : a methodological approach / 1
TK7895.E42 A385 2003 Ambient intelligence : impact on embedded system design / 1
TK7895.E42 A385 2003eb Ambient intelligence : impact on embedded system design / 2
TK7895.E42 A387 2010 Communicating embedded systems : software and design : formal methods / 4
TK7895.E42 A388 2008 Ambient intelligence with microsystems : augmented materials and smart objects / 1
TK7895.E42 A388 2008eb Ambient intelligence with microsystems augmented materials and smart objects / 1
TK7895.E42 A39 2001eb Embedded controller hardware design 1
TK7895.E42 A44 2011eb Algorithm-architecture matching for signal and image processing best papers from Design and architectures for signal and image processing 2007 & 2008 & 2009 / 1
TK7895.E42 .A53 2013eb The inverse method : parametric verification of real-time embedded systems /
The inverse method parametric verification of real-time embedded systems / 		2
TK7895.E42 A64 2005eb Designer's guide to the Cypress PSoC / 2