Software Engineering and Formal Methods

Taft, S. Tucker|Duff, Robert A.|Brukardt, Randall L.

Springer International Publishing, 2026

978-3-031-83730-2

103.00 CHF

livrable dans env. 20-45 jours

Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing

Taft, S. Tucker|Duff, Robert A.|Brukardt, Randall L.

Springer International Publishing, 2026

978-3-031-83731-9

env. 102.00 CHF

disponible dès mars 2026

Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and ...

Taft, S. Tucker|Duff, Robert A.|Brukardt, Randall L.

Springer International Publishing, 2026

978-3-031-83734-0

env. 102.00 CHF

disponible dès mars 2026

Lectures on Parallel Computing

Träff, Jesper Larsson

Springer International Publishing, 2025

978-3-031-86577-0

env. 91.00 CHF

disponible dès octobre 2025

6th International Conference, AI-HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part IV

Springer International Publishing, 2025

978-3-031-93428-5

env. 102.00 CHF

disponible dès août 2025

6th International Conference, AI-HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II

Springer International Publishing, 2025

978-3-031-93414-8

env. 112.00 CHF

disponible dès août 2025

6th International Conference, AI-HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part I

Springer International Publishing, 2025

978-3-031-93411-7

env. 112.00 CHF

disponible dès août 2025

6th International Conference, AI-HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part III

Springer International Publishing, 2025

978-3-031-93417-9

env. 112.00 CHF

disponible dès août 2025

14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part VI

Springer International Publishing, 2025

978-3-031-93235-9

env. 102.00 CHF

disponible dès juin 2025

14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part V

Springer International Publishing, 2025

978-3-031-93232-8

env. 102.00 CHF

disponible dès juin 2025

14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part III

Springer International Publishing, 2025

978-3-031-93226-7

env. 102.00 CHF

disponible dès juin 2025

14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part IV

Ada 2022 Reference Manual. Volume 1 - Core Language

Springer International Publishing, 2025

978-3-031-93229-8

env. 102.00 CHF

disponible dès juin 2025

Autres titres sur ce thème

Taft, S. Tucker|Duff, Robert A.|Brukardt, Randall L.

Springer International Publishing, 2026

978-3-031-83730-2

103.00 CHF

livrable dans env. 20-45 jours

Intelligent Data-Driven Techniques for Security of Digital Assets

Kumar Rana, Arun|Kumar Rana, Sumit|Sharma Vishnu

Taylor and Francis, 2025

978-1-032-74488-9

env. 195.00 CHF

disponible dès mars 2025

What Every Engineer Should Know About Python

Madachy, Raymond J.

Taylor and Francis, 2025

978-1-032-35562-7

env. 195.00 CHF

disponible dès mai 2025

Modern Cryptography

From RSA to Zero-Knowledge and Beyond

Beutelspacher, Albrecht|Schwenk, Jörg|Wolfenstetter, Klaus-Dieter

Springer, 2026

978-3-662-67442-0

env. 96.00 CHF

disponible dès mars 2026

Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and ...