Verification and Evaluation of Computer and Communication Systems | Lecture Notes in Computer Science

Fokusthemen

Publikationen

Services

Autorinnen/Autoren

Verlag

Shop

LEXIA

Zeitschriften

Sachbuch LOKI Semaphor

LEXIA

Zeitschriften

Fokusthemen

Thema

Recht studieren

Sozialversicherungsrecht

Publikationen

Literatur

Onlinemodule LEXIA

Datenbanken

Studienliteratur

Services

Dienstleistungen für

Corporate Books

Publishing Lösungen

Aktuelles

Geschäftskunden

Corporate Publishing

Content solutions

Veranstaltungen

Autorinnen/Autoren

Unsere Schreibenden

Hilfe

Unsere Autorinnen und Autoren

Bei uns publizieren

Verlag

Über uns

Themen

Mehr wissen

Vision und Mission

Unternehmenskultur

Shop

Schweizer Recht

Ausländisches Recht

Über unseren Shop

Neuerscheinungen

Neuerscheinungen

Sortiment und Funktionen

Vorankündigungen

Vorankündigungen

Nach Rechtsgebiet

Osteraktion: Bis zum 30.4.2025 von 20% Rabatt auf folgende Produkte profitieren. Code: NEST25

cover

Verification and Evaluation of Computer and Communication Systems

17th International Conference, VECoS 2024, Djerba, Tunisia, October 16–18, 2024, Proceedings

Herausgegeben von:Ben Hedia, Belgacem|Ghazel, Mohamed|Monsuez, Bruno

Buch (broschiert)ca. 81.00 CHF

erhältlich ab Mai 2025

Bibliografische Angaben

Mai 2025, ca. 250 Seiten, Lecture Notes in Computer Science, Englisch

Springer International Publishing

978-3-031-85355-5

Schlagworte

Bibliografische Angaben

Mai 2025, ca. 250 Seiten, Lecture Notes in Computer Science, Englisch

Springer International Publishing

978-3-031-85355-5

Schlagworte

Weitere Titel der Reihe: Lecture Notes in Computer Science

Ada 2022 Reference Manual. Volume 1 - Core Language

International Standard ISO/IEC 8652:2023 (E)

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

Springer International Publishing, 2026

978-3-031-83730-2

103.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

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

International Standard ISO/IEC 8652:2023 (E)

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

Springer International Publishing, 2026

978-3-031-83731-9

ca. 102.00 CHF

erhältlich ab März 2026

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

International Standard ISO/IEC 8652:2023 (E)

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

Springer International Publishing, 2026

978-3-031-83734-0

ca. 102.00 CHF

erhältlich ab März 2026

Lectures on Parallel Computing

Träff, Jesper Larsson

Springer International Publishing, 2025

978-3-031-86577-0

ca. 91.00 CHF

erhältlich ab Oktober 2025

Artificial Intelligence in HCI

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

Degen, Helmut|Ntoa, Stavroula

Springer International Publishing, 2025

978-3-031-93428-5

ca. 102.00 CHF

erhältlich ab August 2025

Artificial Intelligence in HCI

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

Degen, Helmut|Ntoa, Stavroula

Springer International Publishing, 2025

978-3-031-93414-8

ca. 112.00 CHF

erhältlich ab August 2025

Artificial Intelligence in HCI

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

Degen, Helmut|Ntoa, Stavroula

Springer International Publishing, 2025

978-3-031-93411-7

ca. 112.00 CHF

erhältlich ab August 2025

Artificial Intelligence in HCI

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

Degen, Helmut|Ntoa, Stavroula

Springer International Publishing, 2025

978-3-031-93417-9

ca. 112.00 CHF

erhältlich ab August 2025

Design, User Experience, and Usability

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

Schrepp, Martin

Springer International Publishing, 2025

978-3-031-93235-9

ca. 102.00 CHF

erhältlich ab Juni 2025

Design, User Experience, and Usability

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

Schrepp, Martin

Springer International Publishing, 2025

978-3-031-93232-8

ca. 102.00 CHF

erhältlich ab Juni 2025

Design, User Experience, and Usability

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

Schrepp, Martin

Springer International Publishing, 2025

978-3-031-93226-7

ca. 102.00 CHF

erhältlich ab Juni 2025

Design, User Experience, and Usability

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

Schrepp, Martin

Springer International Publishing, 2025

978-3-031-93229-8

ca. 102.00 CHF

erhältlich ab Juni 2025

Weitere Titel zum Thema

Verzauberte Vorbestimmung (Signierte Ausgabe)

Lüscher, Jonas

Hanser C., 2025

978-3-446-70067-3

ca. 35.50 CHF

erhältlich ab Januar 2025

Leading Enterprise AI Programs

Optimize AI Teams for Value Creation

Bangert Patrick

Kogan Page, 2026

978-1-3986-2319-4

ca. 55.90 CHF

erhältlich ab Februar 2026

Synaptic Shadows - Moonbreak

BL Friends to Enemies | Seoul | Urban Fantasy

Burke, Vinachia|May, Juliet

WunderZeilen Verlag, 2026

978-3-98867-059-5

ca. 25.50 CHF

erhältlich ab März 2026

AI Risk Management: Insights and Approaches to Man age Risks in the Machine ...

Wiley, 2025

978-1-394-16585-8

ca. 65.00 CHF

erhältlich ab Mai 2025

Künftige Informatik

Technologischer Um- und Ausbau der traditionellen Informatik als logische und praktische Konsequenz der Digitalisierung und Kognitivierung zukünftiger Lebenswelten

Springer, 2026

978-3-662-64759-2

ca. 71.00 CHF

erhältlich ab Februar 2026

Political Automation

An Introduction to AI in Government and Its Impact on Citizens

Albrecht, Eduardo

Oxford Academic, 2025

978-0-19-769695-8

ca. 33.50 CHF

erhältlich ab Mai 2025

Global Digital Divides in the COVID-19 Era

Purposeful Use of the Internet and Technologies

Pick, James|Sarkar, Avijit

De Gruyter, 2026

978-3-11-079377-2

ca. 127.00 CHF

erhältlich ab Januar 2026

Leading Enterprise AI Programs

Optimize AI Teams for Value Creation

Bangert Patrick

Kogan Page, 2026

978-1-3986-2321-7

ca. 159.00 CHF

erhältlich ab Februar 2026

Quantum Computing and Machine Learning for 6G

Sapkale, Pallavi|Mehta Shilpa|Balamurugan, S.

Wiley, 2026

978-1-394-23808-8

ca. 275.00 CHF

erhältlich ab März 2026

Artificial Intelligence and Data Science in Agriculture

Specialty Crops and Climate Change Modeling

Vuppalapati, Chandrasekar

De Gruyter, 2026

978-3-11-143841-2

ca. 196.00 CHF

erhältlich ab Januar 2026

Encyclopedia of Optimization

Pardalos, Panos M.|Prokopyev, Oleg A.

Springer International Publishing, 2026

978-3-031-73357-4

ca. 3547.00 CHF

erhältlich ab April 2026

Handbook of Nature Inspired Algorithms

Models and Applications

Chatterjee, Prasenjit|Pamucar, Dragan|Yazdani, Morteza

Wiley, 2025

978-1-394-16644-2

270.00 CHF

lieferbar in ca. 10-20 Arbeitstagen