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

Focus

Publications

Services

Auteurs

Éditions

Shop

LEXIA

Revues

Livres spécialisés LOKI Semaphor

S’enregistrer

LEXIA

Revues

Livres spécialisés

Focus

Domaines

Étudier le droit

Droit du travail

Droit de la famille

Droit des assurances sociales

Publications

Littérature

Modules en ligne LEXIA

Bases de données

Littérature pour les études

Services

Services pour

Corporate Books

Solutions d'édition

Actualités

Corporate Publishing

Content solutions

Auteurs

Nos Auteurs

Aide

Espace des auteurs

Publier chez nous

Éditions

Qui sommes-nous?

Thèmes

En savoir plus

Vision et mission

Culture d'entreprise

Shop

Droit suisse

Droit étranger

À propos de notre boutique

Assortiment et recherche

Par domaine juridique

S’enregistrer

Promotion de Pâques : Jusqu’au 30.4.2025, profitez d'une réduction de 20 % sur les produits suivants. Code: NEST25

cover

Verification and Evaluation of Computer and Communication Systems

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

Publié par:Ben Hedia, Belgacem|Ghazel, Mohamed|Monsuez, Bruno

Livre (broché)env. 81.00 CHF

disponible dès mai 2025

Informations bibliographiques

mai 2025, env. 250 pages, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-85355-5

Mots-clés

Informations bibliographiques

mai 2025, env. 250 pages, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-85355-5

Mots-clés

Autres titres de la collection: 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

livrable dans env. 20-45 jours

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

env. 102.00 CHF

disponible dès mars 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

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

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

env. 102.00 CHF

disponible dès août 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

env. 112.00 CHF

disponible dès août 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

env. 112.00 CHF

disponible dès août 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

env. 112.00 CHF

disponible dès août 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

env. 102.00 CHF

disponible dès juin 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

env. 102.00 CHF

disponible dès juin 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

env. 102.00 CHF

disponible dès juin 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

env. 102.00 CHF

disponible dès juin 2025

Autres titres sur ce thème

Management in der Radiologie

Controlling, Qualitätsmanagement, Digitalisierung

Teichgräber, Ulf|Güttler, Felix

Springer, 2026

978-3-662-64779-0

env. 127.00 CHF

disponible dès mars 2026

Safer Agentic AI

Principles and Responsible Practices

Watson Nell|Hessami, Ali

Kogan Page, 2026

978-1-3986-2545-7

env. 159.00 CHF

disponible dès janvier 2026

Sensors in Medical Applications

Noninvasive Diagnosis and Digital Insole

Kousalya, C. Gnana|Rohini, G.

Wiley, 2025

978-1-119-76880-7

240.00 CHF

livrable dans env. 10-20 jours

Mastering Machine Learning and Deep Learning

Foundations to Advanced Applications

Singh Krishna Kant|Singh, Akansha

Wiley, 2025

978-1-394-23844-6

env. 245.00 CHF

disponible dès avril 2025

Some Body Like Me

A story of unexpected love at the end of the world

2026

978-1-3996-2304-9

env. 18.50 CHF

disponible dès février 2026

AI Art, Machine Learning and the Stakes for Art Criticism

Lund Humphries, 2026

978-1-84822-528-2

env. 51.50 CHF

disponible dès février 2026

Data Science and Interactive Visualization Tools for the Analysis of ...

Manuel González Canché

Elsevier, 2025

978-0-443-21961-0

env. 199.00 CHF

disponible dès décembre 2025

Safer Agentic AI

Principles and Responsible Practices

Watson Nell|Hessami, Ali

Kogan Page, 2026

978-1-3986-2543-3

env. 55.90 CHF

disponible dès janvier 2026

Intelligente Verfahren

Identifikation und Regelung nichtlinearer Systeme

Schröder, Dierk|Buss, Martin

Springer, 2026

978-3-662-59768-2

env. 138.00 CHF

disponible dès mars 2026

Postartifizielle Literatur

Lesen im Zeitalter künstlicher Intelligenz

Suhrkamp, 2026

978-3-518-12826-8

env. 22.50 CHF

disponible dès janvier 2026

Encyclopedia of Optimization

Pardalos, Panos M.|Prokopyev, Oleg A.

Springer International Publishing, 2026

978-3-031-73357-4

env. 3547.00 CHF

disponible dès avril 2026

Minds, Machines, and Misinformation

Decoding Bias, Algorithms, and Trust

Don Donghee Shin

Elsevier, 2026

978-0-443-16104-9

env. 189.00 CHF

disponible dès mars 2026