Practical Aspects of Declarative Languages

Name: Practical Aspects of Declarative Languages
Price: 81.00 CHF
Availability: OutOfStock
ISBN: 9783031849237

27th International Symposium, PADL 2025, Denver, CO, USA, January 20–21, 2025, Proceedings

Herausgegeben von:Erdem, Esra|Vidal, Germán

Buch (broschiert)ca. 81.00 CHF

erhältlich ab März 2025

Bibliografische Angaben

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

Springer International Publishing

978-3-031-84923-7

Schlagworte

Bibliografische Angaben

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

Springer International Publishing

978-3-031-84923-7

Schlagworte

Weitere Titel der Reihe: Lecture Notes in Computer Science

Alle anzeigen

The Song of Rebeca: Quarter of Century of Research in Actor-Based Languages

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

Mousavi, Mohammad Reza|Lee, Edward A.|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

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

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

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

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

ca. 102.00 CHF

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

ca. 81.00 CHF

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

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

ca. 91.00 CHF

erhältlich ab April 2025

Weitere Titel zum Thema

Intelligent Systems and Pattern Recognition

4th International Conference, ISPR 2024, Istanbul, Turkey, June 26-28, 2024, Revised Selected Papers, Part-I

Bennour, Akram|Bouridane, Ahmed|Almaadeed, Somaya

Springer International Publishing, 2025

978-3-031-82149-3

ca. 103.00 CHF

erhältlich ab März 2025

Computer Science and Education in Computer Science

20th EAI International Conference, CSECS 2024, Sofia, Bulgaria, June 28–30, 2024, Proceedings

Zlateva, Tanya|Tuparov, Georgi

Springer International Publishing, 2025

978-3-031-84311-2

ca. 103.00 CHF

erhältlich ab März 2025

Experience as Skill: The Somatic Turn in Human-Computer Interaction

Schiphorst, Thecla|Loke, Lian

Springer Nature EN, 2026

978-3-030-06196-8

ca. 157.00 CHF

erhältlich ab Juni 2026

Tableau at Work

Young Cathy

Taylor and Francis, 2025

978-1-032-93418-1

ca. 79.00 CHF

erhältlich ab Mai 2025

Petrinetze

Modellierungstechnik, Analysemethoden, Fallstudien

Reisig, Wolfgang

Springer Fachmedien Wiesbaden GmbH, 2025

978-3-8348-1935-2

49.90 CHF

lieferbar in ca. 20-45 Arbeitstagen

Coherence-Targeted Text Summarization

Zhang, Renxian

Springer Nature ENTongji University Press, 2051

978-981-10-7943-6

ca. 116.00 CHF

erhältlich ab Januar 2051

Applying Blockchain Technology

Concepts and Trends

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

Taylor and Francis, 2025

978-1-032-63703-7

ca. 105.00 CHF

erhältlich ab Mai 2025

Object-based Programming with Go

Maurer, Christian

Springer Fachmedien Wiesbaden GmbH, 2025

978-3-658-44703-8

ca. 52.90 CHF

erhältlich ab März 2025

Combining Expert Knowledge and Deep Learning with Case-Based Reasoning for ...

Klein, Patrick

Springer Fachmedien Wiesbaden GmbH, 2025

978-3-658-46985-6

ca. 134.00 CHF

erhältlich ab Februar 2025

Trends in Functional Programming

25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers

Hemann, Jason|Chang, Stephen

Springer International Publishing, 2025

978-3-031-74557-7

158.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

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

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

Springer International Publishing, 2025

978-3-031-82669-6

ca. 91.00 CHF

erhältlich ab März 2025

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