embeddedsystems | Akateeminen Kirjakauppa

Formal Methods for Industrial Critical Systems : 30th International Conference, FMICS 2025, Aarhus, Denmark, August

Remke, Anne; Steffen, Bernhard
Springer
2025
Pehmeäkantinen kirja

82,80 €

Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY

Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Embedded Systems – A Hardware-Software Co-Design Approach - Unleash the Power of Arduino!

Morshed, Bashir I
Springer Nature Switzerland AG
2022
Pehmeäkantinen kirja

51,10 €

ICCCE 2020 - Proceedings of the 3rd International Conference on Communications and Cyber Physical Engineering

Kumar, Amit; Mozar, Stefan
Springer Verlag, Singapore
2020
Kovakantinen kirja

182,70 €

OpenMP: Portable Multi-Level Parallelism on Modern Systems - 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA,

Milfeld, Kent; de Supinski, Bronis R.; Koesterke, Lars; Klinkenberg, Jannis
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

76,00 €

Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September

Simonis, Helmut
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

137,30 €

Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3,

Gribaudo, Marco; Jansen, David N.; Remke, Anne
Springer
2020
Pehmeäkantinen kirja

51,10 €

Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Pro

Pun, Violet Ka I; Stolz, Volker; Simao, Adenilso
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, Oct

Ben Hedia, Belgacem; Chen, Yu-Fang; Liu, Gaiyun; Yu, Zhenhua
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vien

Klein, Gerwin; Gamboa, Ruben
Springer International Publishing AG
2014
Pehmeäkantinen kirja

51,10 €

Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revise

Mazzara, Manuel; Ober, Iulian; Salaün, Gwen
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja

51,10 €

VLSI-SoC: New Technology Enabler : 27th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration,

Metzler, Carolina; Gaillardon, Pierre-Emmanuel; De Micheli, Giovanni; Silva-Cardenas, Carlos; Reis, Ricardo
Springer
2020
Kovakantinen kirja

51,10 €

Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 20

Bruel, Jean-Michel; Capozucca, Alfredo; Mazzara, Manuel; Meyer, Bertrand; Naumchev, Alexandr; Sadovykh, Andrey
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Advances in Communication, Signal Processing, VLSI, and Embedded Systems : Select Proceedings of VSPICE 2019

Kalya, Shubhakar; Kulkarni, Muralidhar; Shivaprakasha, K.S.
Springer
2020
Pehmeäkantinen kirja

137,30 €

Embedded Software Timing : Methodology, Analysis and Practical Tips with a Focus on Automotive

Gliwa, Peter
Springer
2021
Kovakantinen kirja

110,90 €

Model-Based Engineering of Collaborative Embedded Systems - Extensions of the SPES Methodology

Böhm, Wolfgang; Broy, Manfred; Klein, Cornel; Pohl, Klaus; Rumpe, Bernhard; Schröck, Sebastian
Springer Nature Switzerland AG
2020
Kovakantinen kirja

51,10 €

VLSI-SoC: Design Trends : 28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020,

Calimera, Andrea; Gaillardon, Pierre-Emmanuel; Korgaonkar, Kunal; Kvatinsky, Shahar; Reis, Ricardo
Springer
2022
Pehmeäkantinen kirja

130,80 €

Advances in Signal and Data Processing : Select Proceedings of ICSDP 2019

Merchant, S. N.; Warhade, Krishna; Adhikari, Debashis
Springer
2021
Kovakantinen kirja

182,70 €

Job Scheduling Strategies for Parallel Processing - 23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020,

Klusáček, Dalibor; Cirne, Walfredo; Desai, Narayan
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Critical Infrastructure Protection XIII : 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA,

Staggs, Jason; Shenoi, Sujeet
Springer
2020
Pehmeäkantinen kirja

51,10 €