Trends in Functional Programming

Name: Trends in Functional Programming
Price: 158.00 CHF
Availability: InStock
ISBN: 9783031745577

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

Publié par:Hemann, Jason|Chang, Stephen

Livre (broché)158.00 CHF

livrable dans env. 20-45 jours

Contenu

This book constitutes the refereed proceedings of the 25th International Symposium on Trends in Functional Programming, TFP 2024, held in South Orange, NJ, USA, during January 10-12, 2024. The 10 full papers included in this book were carefully reviewed and selected from 14 submissions. Topical sections as follows: dependent type systems; compiler optimizations; and DSL design and implementation.

Informations bibliographiques

janvier 2025, 241 Pages, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-74557-7

Sommaire

Mots-clés

Contenu

Informations bibliographiques

janvier 2025, 241 Pages, Lecture Notes in Computer Science, Anglais

Springer International Publishing

978-3-031-74557-7

Sommaire

Mots-clés

Autres titres de la collection: Lecture Notes in Computer Science

Afficher tout

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

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

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

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

Autres titres sur ce thème

Practical Aspects of Declarative Languages

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

Erdem, Esra|Vidal, Germán

Springer International Publishing, 2025

978-3-031-84923-7

env. 81.00 CHF

disponible dès mars 2025

Computer-Human Interaction Research and Applications

8th International Conference, CHIRA 2024, Porto, Portugal, November 21–22, 2024, Proceedings, Part I

da Silva, Hugo Plácido|Cipresso, Pietro

Springer International Publishing, 2025

978-3-031-82632-0

env. 123.00 CHF

disponible dès mars 2025

Advances in Computer Graphics

41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1–5, 2024, Proceedings, Part I

Magnenat-Thalmann, Nadia|Kim, Jinman|Sheng, Bin

Springer International Publishing, 2025

978-3-031-81805-9

env. 91.00 CHF

disponible dès février 2025

Compiler Construction

Fundamentals and Applications

Mössenböck, Hanspeter

Springer International Publishing, 2025

978-3-031-84812-4

env. 76.00 CHF

disponible dès septembre 2025

Economics of Grids, Clouds, Systems, and Services

20th International Conference, GECON 2024, Rome, Italy, September 26–27, 2024 Proceedings

Naldi, Maurizio|Djemame, Karim|Altmann, Jörn

Springer International Publishing, 2025

978-3-031-81225-5

env. 81.00 CHF

disponible dès mars 2025

Open Source TCAD/EDA for Compact Modeling

Grabinski, Wladyslaw|Tomaszewski, Daniel

Springer Nature EN, 2025

978-94-024-1089-1

env. 134.00 CHF

disponible dès avril 2025

Human Information Processing in Speech Quality Assessment

Uhrig, Stefan

Springer International Publishing, 2025

978-3-031-77645-8

168.00 CHF

livrable dans env. 20-45 jours

Pathways in Software Engineering

On the Development and Operations of Large-Scale Software Systems

Draheim, Dirk

Springer, 3000

978-3-642-17739-2

env. 83.00 CHF

disponible dès juin 3000

Julia Programming for Physics Applications

Türeci, R. Gökhan|Dağıstanlı, Hamdi|Türk Çakır, İlkay

Springer International Publishing, 2025

978-3-031-84715-8

env. 236.00 CHF

disponible dès avril 2025

Computer-Human Interaction Research and Applications

8th International Conference, CHIRA 2024, Porto, Portugal, November 21–22, 2024, Proceedings, Part II

da Silva, Hugo Plácido|Cipresso, Pietro

Springer International Publishing, 2025

978-3-031-83844-6

env. 123.00 CHF

disponible dès mars 2025

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

Verification, Model Checking, and Abstract Interpretation

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I

Shankaranarayanan, Krishna|Sankaranarayanan, Sriram|Trivedi, Ashutosh

Springer International Publishing, 2025

978-3-031-82699-3

env. 81.00 CHF

disponible dès février 2025