Name: Automated Technology for Verification and Analysis
Price: 168.00 CHF
Availability: OutOfStock
ISBN: 9783031787089

Thèmes principaux

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

Thèmes principaux

Sujet

É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

Bases de données

Littérature pour les études

Services

Services pour

Corporate Books

Solutions d'édition

Actualités

Auteurs

Nos Auteurs

Aide

Éditions

Qui sommes-nous?

Thèmes

Shop

Droit suisse

Droit étranger

A propos de notre boutique

Nouveautés

Infos, conseils et astuces

Préavis

Par domaine juridique

Commentaires

Se connecter

S’enregistrer

Automated Technology for Verification and Analysis

22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I

Publié par:Akshay, S.|Niemetz, Aina|Sankaranarayanan, Sriram

Livre (broché)env. 168.00 CHF

disponible dès avril 2025

Informations bibliographiques

avril 2025, env. 299 Pages, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-78708-9

Mots-clés

Informations bibliographiques

avril 2025, env. 299 Pages, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-78708-9

Mots-clés

Autres titres de la collection: Lecture Notes in Computer Science

Afficher tout

Rebeca for Actor Analysis in Action

Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

Lee, Edward A.|Mousavi, Mohammad Reza|Talcott, Carolyn

Springer International Publishing, 2025

978-3-031-85133-9

env. 91.00 CHF

disponible dès juin 2025

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, 2025

978-3-031-83730-2

env. 102.00 CHF

disponible dès juin 2025

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, 2025

978-3-031-83731-9

env. 102.00 CHF

disponible dès juin 2025

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, 2025

978-3-031-83734-0

env. 102.00 CHF

disponible dès juin 2025

Verification and Evaluation of Computer and Communication Systems

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

Ben Hedia, Belgacem|Ghazel, Mohamed|Monsuez, Bruno

Springer International Publishing, 2025

978-3-031-85355-5

env. 81.00 CHF

disponible dès mai 2025

RoboCup 2024: Robot World Cup XXVII

Barros, Edna|Hanna, Josiah P.|Okada, Hiroyuki

Springer International Publishing, 2025

978-3-031-85858-1

env. 112.00 CHF

disponible dès mai 2025

Value Engineering in Artificial Intelligence

Second International Workshop, VALE 2024, Santiago de Compostela, Spain, October 19–24, 2024, Revised Selected Papers

Steels, Luc|Osman, Nardine

Springer International Publishing, 2025

978-3-031-85462-0

env. 69.00 CHF

disponible dès mai 2025

Socio-Technical Aspects in Security and Trust

12th International Workshop, STAST 2022, Copenhagen, Denmark, September 26, 2022, Revised Selected Papers

Mehrnezhad, Maryam|Parkin, Simon

Springer International Publishing, 2025

978-3-031-83071-6

env. 69.00 CHF

disponible dès mai 2025

Automated Technology for Verification and Analysis

22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II

Akshay, S.|Niemetz, Aina|Sankaranarayanan, Sriram

Springer International Publishing, 2025

978-3-031-78749-2

env. 188.00 CHF

disponible dès avril 2025

Financial Cryptography and Data Security

28th International Conference, FC 2024, Willemstad, Curaçao, March 4–8, 2024, Revised Selected Papers, Part I

Clark, Jeremy|Shi, Elaine

Springer International Publishing, 2025

978-3-031-78675-4

env. 91.00 CHF

disponible dès avril 2025

Financial Cryptography and Data Security

28th International Conference, FC 2024, Willemstad, Curaçao, March 4–8, 2024, Revised Selected Papers, Part II

Clark, Jeremy|Shi, Elaine

Springer International Publishing, 2025

978-3-031-78678-5

env. 91.00 CHF

disponible dès avril 2025

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic

19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures

Console, Marco|Konev, Boris

Springer International Publishing, 2025

978-3-031-80282-9

env. 81.00 CHF

disponible dès avril 2025

Autres titres sur ce thème

Model-Based Systems Engineering with the SPES Modeling Language

A SysML Workbench for the SPES Methodology

Böhm, Wolfgang|Broy, Manfred|Koch, Walter

Springer International Publishing, 2026

978-3-031-57294-4

env. 55.50 CHF

disponible dès février 2026

Coherence-Targeted Text Summarization

Zhang, Renxian

Springer Nature ENTongji University Press, 2051

978-981-10-7943-6

env. 116.00 CHF

disponible dès janvier 2051

Intelligent Data Analytics for Solar Energy Prediction and Forecasting

Advances in Resource Assessment and Pv Systems Optimization

Amit Kumar Yadav|Malik, Hasmat|Majed A. Alotaibi

Elsevier, 2025

978-0-443-13482-1

env. 203.00 CHF

disponible dès mai 2025

Evolution and Applications of Quantum Computing

Mohanty,

Wiley, 2025

978-1-119-90517-2

env. 295.00 CHF

disponible dès juillet 2025

Medical Imaging Application in Health Assessment and Disease Management

Dilber Uzun Ozsahin|Ozsahin, Ilker|Leena R David

Elsevier, 2026

978-0-443-28967-5

env. 235.00 CHF

disponible dès janvier 2026

Nonlinear Dynamics Approach to Robotic Capsule Endoscopy

Liu Yang

Elsevier, 2025

978-0-443-28832-6

env. 235.00 CHF

disponible dès septembre 2025

Mechanism Design for Robotic Systems

Ceccarelli Marco|Russo, Matteo

Elsevier, 2025

978-0-443-14110-2

env. 199.00 CHF

disponible dès décembre 2025

AI for Design and Optimization of Cellular Networks

Ramiro-Moreno Juan|Inam, Rafia|Hu, Wenfeng

Wiley, 2025

978-1-394-17575-8

166.00 CHF

livrable dans env. 10-20 jours

Tableau at Work

Young Cathy

Taylor and Francis, 2025

978-1-032-93418-1

env. 79.00 CHF

disponible dès mai 2025

Computational Methods for Affect Detection from Natural Language

Balahur-Dobrescu, Alexandra|Taboada, Maite|Schuller, Björn W.

Springer Nature EN, 2100

978-3-319-00601-7

env. 123.00 CHF

disponible dès avril 2100

Artificial Intelligence in Medical Robotics

Tounsi, Mohamed

Elsevier, 2028

978-0-443-21530-8

env. 225.00 CHF

disponible dès décembre 2028

Tableau at Work

Young Cathy

Taylor and Francis, 2025

978-1-032-93564-5

env. 205.00 CHF

disponible dès mai 2025