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

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. 363 Seiten, Lecture Notes in Computer Science, Englisch

Springer International Publishing

978-3-031-82669-6

Schlagworte

Bibliografische Angaben

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

Springer International Publishing

978-3-031-82669-6

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

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

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

The Hard Question of Art

Cognitive Futures

Metahaven

Pan macmillan Ltd., 2026

978-1-80429-194-8

ca. 29.90 CHF

erhältlich ab Februar 2026

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

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

ca. 78.00 CHF

erhältlich ab Dezember 2099

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

Computational Tools for Energy Harvesting Applications

Sharma Abhishek|Rajput, Shailendra|Averbukh, Moshe

Elsevier, 2025

978-0-443-16060-8

ca. 235.00 CHF

erhältlich ab November 2025

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

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

Innovization

Discovering Innovative Solution Principles Through Optimization

Deb, Kalyanmoy

Springer Nature EN, 2100

978-3-540-73172-6

ca. 76.00 CHF

erhältlich ab Juni 2100

Optimizing Artificial Intelligence and Emerging Technologies for Sustainable ...

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

Wiley, 2028

978-1-394-28723-9

ca. 279.00 CHF

erhältlich ab Juni 2028

Virtual Engineering

Ganzheitliche Prozess- und IT-Systemintegration

Ovtcharova, Jivka

Springer, 2029

978-3-540-79441-7

ca. 102.00 CHF

erhältlich ab Juni 2029

Handbuch Metaphilosophie

Lewin, Michael|Minkin, Daniel

Springer, 2026

978-3-662-69914-0

ca. 243.00 CHF

erhältlich ab August 2026