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

Herausgegeben von:Královič, Rastislav|Kůrková, Věra

Buch (broschiert)ca. 91.00 CHF

erhältlich ab März 2025

Bibliografische Angaben

März 2025, ca. 350 Seiten, Lecture Notes in Computer Science, Englisch

Springer International Publishing

978-3-031-82696-2

Schlagworte

Bibliografische Angaben

März 2025, ca. 350 Seiten, Lecture Notes in Computer Science, Englisch

Springer International Publishing

978-3-031-82696-2

Schlagworte

Weitere Titel der Reihe: Lecture Notes in Computer Science

Alle anzeigen

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

ca. 91.00 CHF

erhältlich ab Juni 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

ca. 102.00 CHF

erhältlich ab Juni 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

ca. 102.00 CHF

erhältlich ab Juni 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

ca. 102.00 CHF

erhältlich ab Juni 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

ca. 81.00 CHF

erhältlich ab Mai 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

ca. 91.00 CHF

erhältlich ab 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

ca. 91.00 CHF

erhältlich ab 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

ca. 69.00 CHF

erhältlich ab 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

ca. 102.00 CHF

erhältlich ab April 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

ca. 91.00 CHF

erhältlich ab April 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

ca. 102.00 CHF

erhältlich ab April 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

ca. 91.00 CHF

erhältlich ab April 2025

Weitere Titel zum Thema

Springer Handbook of Reliability

Pham, Hoang

Springer International Publishing, 2026

978-3-031-78051-6

ca. 390.00 CHF

erhältlich ab März 2026

Lean Innovative Connected Vessels

The LINCOLN Project

Ramundo, Lucia|Terzi, Sergio

Springer International Publishing, 2026

978-3-030-35705-4

ca. 69.00 CHF

erhältlich ab April 2026

Less-supervised Segmentation with CNNs

Scenarios, Models and Optimization

Dolz, Jose|Ben Ayed Ismail|Desrosiers, Christian

Elsevier, 2028

978-0-323-95674-1

156.00 CHF

lieferbar in ca. 10-20 Arbeitstagen

Metaverse and Blockchain Use Cases and Applications

Kumar Murala, Dileep|Panda Sandeep|Dash, Sujata Priyambada

Taylor and Francis, 2027

978-1-032-90693-5

ca. 85.00 CHF

erhältlich ab Juli 2027

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

ca. 195.00 CHF

erhältlich ab April 2030

Zeroing Dynamics, Gradient Dynamics, and Newton Iterations

Zhang Yunong|Xiao Lin|Xiao Zhengli

Taylor and Francis, 2026

978-1-138-89408-2

ca. 99.00 CHF

erhältlich ab Januar 2026

Generative AI, Media and Society

Feher, Katalin

Taylor and Francis, 2025

978-1-032-96875-9

ca. 235.00 CHF

erhältlich ab April 2025

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

Obsolete

Power, Profit, And The Race For Machine Superintelligence

Lovely, Garrison

Ingram Publishers Services, 2026

978-1-68219-630-4

ca. 26.90 CHF

erhältlich ab April 2026

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

lieferbar in ca. 10-20 Arbeitstagen

Statistics for Scientists

A Concise Guide for Data-driven Research

Michelucci, Umberto

Springer International Publishing, 2026

978-3-031-78146-9

ca. 96.00 CHF

erhältlich ab Juni 2026

Artificially Intelligent Sensing

Advances and Applications

Koch, Wolfgang

De Gruyter, 2026

978-3-11-079509-7

ca. 205.00 CHF

erhältlich ab Februar 2026