Connaissez-vous déjà notre
service clients professionnels ?
Nous nous ferons un plaisir de vous conseiller
.
Focus
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisés
LOKI
Semaphor
DE
|
FR
Se connecter
S’enregistrer
LEXIA
Revues
Livres spécialisés
LOKI
Semaphor
DE
|
FR
Focus
Domaines
Étudier le droit
Droit du travail
Études
Droit de la famille
Droit des assurances sociales
Droit pénal
Publications
Littérature
Modules en ligne LEXIA
Livres
Collections
Revues
Bases de données
recht.ch
Littérature pour les études
Services
Services pour
Corporate Books
Solutions d'édition
Actualités
Professionnels
Corporate Publishing
Content solutions
Librairies
Événements
Presse
Enseignants
Étudiants
Annonceurs
Newsletter
Blog
Auteurs
Nos Auteurs
Aide
Liste
Espace des auteurs
Publier chez nous
Témoignages
Éditions
Qui sommes-nous?
Thèmes
En savoir plus
Collaborateurs
Durabilité
Newsletter
Histoire
Open Access
Vision et mission
Carrière
Notre magazine
Culture d'entreprise
Partenaires
Contact
Shop
Droit suisse
Droit étranger
À propos de notre boutique
Nouveautés
Nouveautés
Assortiment et recherche
À paraître
À paraître
Par domaine juridique
Commentaires
Se connecter
S’enregistrer
Télécharger la couverture
Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and Indexes
Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Publié par:
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
, et al.
Livre (broché)
env. 102.00 CHF
disponible dès mars 2026
Ajouter au panier
Informations bibliographiques
mars 2026
,
Lecture Notes in Computer Science
,
Anglais
Springer International Publishing
978-3-031-83734-0
Mots-clés
Informations bibliographiques
mars 2026
,
Lecture Notes in Computer Science
,
Anglais
Springer International Publishing
978-3-031-83734-0
Mots-clés
Autres titres de la collection: Lecture Notes in Computer Science
Afficher tout
Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2026
978-3-031-83730-2
env. 103.00 CHF
disponible dès mars 2026
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and ...
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
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
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
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part IV
Piskac, Ruzica
|
Rakamarić, Zvonimir
Springer International Publishing
,
2025
978-3-031-98684-0
env. 55.90 CHF
disponible dès août 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part II
Piskac, Ruzica
|
Rakamarić, Zvonimir
Springer International Publishing
,
2025
978-3-031-98678-9
env. 55.90 CHF
disponible dès août 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part I
Piskac, Ruzica
|
Rakamarić, Zvonimir
Springer International Publishing
,
2025
978-3-031-98667-3
env. 55.90 CHF
disponible dès août 2025
Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 21–25, 2025, Proceedings, Part III
Piskac, Ruzica
|
Rakamarić, Zvonimir
Springer International Publishing
,
2025
978-3-031-98681-9
env. 55.90 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part I
Cristea, Alexandra I.
|
Walker, Erin
|
Lu, Yu
Springer International Publishing
,
2025
978-3-031-98413-6
env. 102.00 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part V
Cristea, Alexandra I.
|
Walker, Erin
|
Lu, Yu
Springer International Publishing
,
2025
978-3-031-98461-7
env. 102.00 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part VI
Cristea, Alexandra I.
|
Walker, Erin
|
Lu, Yu
Springer International Publishing
,
2025
978-3-031-98464-8
env. 102.00 CHF
disponible dès août 2025
Artificial Intelligence in Education
26th International Conference, AIED 2025, Palermo, Italy, July 22–26, 2025, Proceedings, Part IV
Cristea, Alexandra I.
|
Walker, Erin
|
Lu, Yu
Springer International Publishing
,
2025
978-3-031-98458-7
env. 102.00 CHF
disponible dès août 2025
Combinatorial Algorithms
36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21–24, 2025, Proceedings
Fernau, Henning
|
Zhu, Binhai
Springer International Publishing
,
2025
978-3-031-98739-7
env. 188.00 CHF
disponible dès août 2025
Autres titres sur ce thème
Emerging Trends in Computer Science and Its Application
Tiwari, Anurag
|
Darbari Manuj
Taylor and Francis
,
2025
978-1-032-99900-5
266.00 CHF
livrable dans env. 10-20 jours
Post-Quantum Cryptography Algorithms and Approaches for IoT and Blockchain ...
Elsevier
,
2025
978-0-323-91478-9
206.00 CHF
livrable dans env. 10-20 jours
Methods and Applications of Autonomous Experimentation
Noack, Marcus
|
Ushizima, Daniela
Taylor and Francis
,
2025
978-1-03-241753-0
env. 85.00 CHF
disponible dès juillet 2025
Consensus
Fueling Blockchain Innovation and DApp Expansion
Ahmadian, Ali
|
Ashok Kumar Yadav
|
Pal, Om
Elsevier
,
2026
978-0-443-40439-9
env. 235.00 CHF
disponible dès janvier 2026
Springer Handbook of Reliability
Pham, Hoang
Springer International Publishing
,
2026
978-3-031-78051-6
env. 392.00 CHF
disponible dès mars 2026
The Garbage Collection Handbook
The Art of Automatic Memory Management
Jones, Richard
|
Hosking Antony
|
Moss Eliot
Taylor and Francis
,
2026
978-1-03-223178-5
env. 75.00 CHF
disponible dès février 2026
Sustainable Electronics
The Future Ahead
Ana, Farkhanda
|
Arya, Sandeep
|
Mehraj, Haider
Taylor and Francis
,
2025
978-1-032-74484-1
env. 239.00 CHF
disponible dès juillet 2025
Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Taft, S. Tucker
|
Duff, Robert A.
|
Brukardt, Randall L.
Springer International Publishing
,
2026
978-3-031-83730-2
env. 103.00 CHF
disponible dès mars 2026
Developing Web Sites with HTML, CSS and JavaScript
Mallach Efrem G.
Taylor and Francis
,
2025
978-1-03-274128-4
env. 255.00 CHF
disponible dès avril 2025
Challenges and Solutions in Internet of Things-Based Smart Applications
Shekokar, Narendra
|
Shinde, Subhash K.
|
Ambarkar, Smita Sanjay
Taylor and Francis
,
2025
978-1-032-55657-4
240.00 CHF
livrable dans env. 10-20 jours
Quantum Computing
Principles and Paradigms
Buyya Rajkumar
|
Sukhpal Singh Gill
Elsevier
,
2025
978-0-443-29096-1
env. 235.00 CHF
disponible dès juillet 2025
Lehrbuch der Softwaretechnik
Balzert, Helmut
|
Ebert, Christof
Springer
,
2026
978-3-662-67655-4
env. 71.00 CHF
disponible dès février 2026