Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Price: 188.00 CHF
Availability: OutOfStock
ISBN: 9783031787492

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

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

Livre (broché)env. 188.00 CHF

disponible dès mars 2025

Informations bibliographiques

mars 2025, env. 266 Pages, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-78749-2

Mots-clés

Informations bibliographiques

mars 2025, env. 266 Pages, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-78749-2

Mots-clés

Autres titres de la collection: Lecture Notes in Computer Science

Afficher tout

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

Optimization and Applications

15th International Conference, OPTIMA 2024, Petrovac, Montenegro, September 16–20, 2024, Revised Selected Papers

Olenev, Nicholas|Evtushenko, Yuri|Jaćimović, Milojica

Springer International Publishing, 2025

978-3-031-79118-5

env. 91.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

Human and Artificial Rationalities. Advances in Cognition, Computation, and ...

Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings

Baratgin, Jean|Jacquet, Baptiste|Brochier, Emmanuel

Springer International Publishing, 2025

978-3-031-84594-9

env. 102.00 CHF

disponible dès avril 2025

Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 ...

LDTM 2024, MMMI/ML4MHD 2024, ML-CDS 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6–10, 2024, Proceedings

Schroder, Anna|Oxtoby, Neil|Young, Alexandra

Springer International Publishing, 2025

978-3-031-84524-6

env. 81.00 CHF

disponible dès avril 2025

Secure IT Systems

29th Nordic Conference, NordSec 2024 Karlstad, Sweden, November 6–7, 2024 Proceedings

Horn Iwaya, Leonardo|Kamm, Liina|Martucci, Leonardo

Springer International Publishing, 2025

978-3-031-79006-5

env. 102.00 CHF

disponible dès avril 2025

Enterprise Design, Operations, and Computing

28th International Conference, EDOC 2024, Vienna, Austria, September 10–13, 2024, Revised Selected Papers

Borbinha, José|Prince Sales, Tiago|Da Silva, Miguel Mira

Springer International Publishing, 2025

978-3-031-78337-1

env. 91.00 CHF

disponible dès avril 2025

The Semantic Web: ESWC 2024 Satellite Events

Hersonissos, Crete, Greece, May 26–30, 2024, Proceedings, Part II

Meroño Peñuela, Albert|Corcho, Oscar|Groth, Paul

Springer International Publishing, 2025

978-3-031-78954-0

env. 81.00 CHF

disponible dès avril 2025

Advances in Visual Computing

19th International Symposium, ISVC 2024, Lake Tahoe, NV, USA, October 21–23, 2024, Proceedings, Part I

Bebis, George|Patel, Vishal|Gu, Jinwei

Springer International Publishing, 2025

978-3-031-77391-4

env. 102.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

Autres titres sur ce thème

Generative AI, Media and Society

Feher, Katalin

Taylor and Francis, 2025

978-1-032-96873-5

env. 65.00 CHF

disponible dès avril 2025

AI as Augmenting Intelligence

prAIority to Enhance Human judgement through Data and AI

Toscani, Giulio

Taylor and Francis, 2025

978-1-032-87534-7

env. 209.00 CHF

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

env. 127.00 CHF

disponible dès janvier 2026

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

How to Build a Talking Robot

Linguistics, Philosophy, and Artificial Intelligence

Hausser, Roland

Springer Nature EN, 2043

978-3-319-60611-8

env. 63.00 CHF

disponible dès mai 2043

Innovization

Discovering Innovative Solution Principles Through Optimization

Deb, Kalyanmoy

Springer Nature EN, 2100

978-3-540-73172-6

env. 76.00 CHF

disponible dès juin 2100

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

Protecting and Mitigating Against Advanced Threats

Deploying Artificial Intelligence and Machine Learning

Mohanty, Sachinandan|Satpathy, Suneeta|Cheng Ming

Wiley, 2028

978-1-394-30522-3

env. 279.00 CHF

disponible dès mai 2028

Optimizing Artificial Intelligence and Emerging Technologies for Sustainable ...

Bhatnagar, Roheet|Panda, Chandan Kumar|Shams, Mahmoud Yasin

Wiley, 2028

978-1-394-28723-9

env. 279.00 CHF

disponible dès juin 2028

Artificial Intelligence and IoT in Online Education Systems

Monitoring, Assessment, and Evaluation

Ramanujam, E.|Chakraborty Chandan

Wiley, 2027

978-1-394-30263-5

env. 285.00 CHF

disponible dès juin 2027

Artificially Intelligent Sensing

Advances and Applications

Koch, Wolfgang

De Gruyter, 2026

978-3-11-079509-7

env. 205.00 CHF

disponible dès février 2026

Applying Blockchain Technology

Concepts and Trends

Iqbal, Javaid|Bamhdi, Alwi|Pandow, Bilal Ahmad

Taylor and Francis, 2025

978-1-032-63703-7

env. 105.00 CHF

disponible dès mai 2025