Name: SOFSEM 2025: Theory and Practice of Computer Science
Price: 91.00 CHF
Availability: OutOfStock
ISBN: 9783031826696

SOFSEM 2025: Theory and Practice of Computer Science

50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20–23, 2025, Proceedings, Part I

Publié par:Královič, Rastislav|Kůrková, Věra

Livre (broché)env. 91.00 CHF

disponible dès mars 2025

Informations bibliographiques

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

Springer International Publishing

978-3-031-82669-6

Mots-clés

Informations bibliographiques

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

Springer International Publishing

978-3-031-82669-6

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

Pattern Recognition

46th DAGM German Conference, DAGM GCPR 2024, Munich, Germany, September 10–13, 2024, Proceedings, Part II

Cremers, Daniel|Lähner, Zorah|Moeller, Michael

Springer International Publishing, 2025

978-3-031-85186-5

env. 91.00 CHF

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

Pattern Recognition

46th DAGM German Conference, DAGM GCPR 2024, Munich, Germany, September 10–13, 2024, Proceedings, Part I

Cremers, Daniel|Lähner, Zorah|Moeller, Michael

Springer International Publishing, 2025

978-3-031-85180-3

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

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

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

Intelligent Systems

34th Brazilian Conference, BRACIS 2024, Belém do Pará, Brazil, November 17–21, 2024, Proceedings, Part I

Paes, Aline|Verri, Filipe A. N.

Springer International Publishing, 2025

978-3-031-79028-7

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 II

Clark, Jeremy|Shi, Elaine

Springer International Publishing, 2025

978-3-031-78678-5

env. 91.00 CHF

disponible dès avril 2025

Autres titres sur ce thème

Constrained Markov Sequence Generation

Applications to Music and Text

Pachet, François|Papadopoulos, Alexandre|Roy, Pierre

Springer Nature EN, 2099

978-3-319-43496-4

env. 78.00 CHF

disponible dès décembre 2099

Handbuch Metaphilosophie

Lewin, Michael|Minkin, Daniel

Springer, 2026

978-3-662-69914-0

env. 243.00 CHF

disponible dès août 2026

Artificial Intelligence in Medical Robotics

Tounsi, Mohamed

Elsevier, 2028

978-0-443-21530-8

env. 225.00 CHF

disponible dès décembre 2028

Generative Artificial Intelligence Empowered Learning

A New Frontier in Educational Technology

Elkhodr, Mahmoud|Gide, Ergun

Taylor and Francis, 2025

978-1-032-72752-3

env. 109.00 CHF

disponible dès juin 2025

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

Artificial Intelligence and Data Science in Agriculture

Specialty Crops and Climate Change Modeling

Vuppalapati, Chandrasekar

De Gruyter, 2026

978-3-11-143841-2

env. 196.00 CHF

disponible dès janvier 2026

Qualität durch Digitalisierung

Qualitätsmanagement mit KI, Data Mining, Chatbots und Co

Zeller, Elmar

Hanser Fachbuch, 2099

978-3-446-46699-9

env. 65.00 CHF

disponible dès janvier 2099

Virtual Engineering

Ganzheitliche Prozess- und IT-Systemintegration

Ovtcharova, Jivka

Springer, 2029

978-3-540-79441-7

env. 102.00 CHF

disponible dès juin 2029

Intelligent Data Driven Techniques for Security of Digital Assets

Kumar Rana, Arun|Kumar Rana, Sumit|Sharma Vishnu

Taylor and Francis, 2030

978-1-032-74488-9

env. 195.00 CHF

disponible dès avril 2030

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

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

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