Bearbmagovva

Trends in Functional Programming 24th International Symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023, Revised Selected Papers /

This book constitutes revised selected papers from the 24th International Symposium on Trends in Functional Programming, TFP 2023, held in Boston, MA, USA, during January 12–15, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 14 submissions. They span a wid...

Furkejuvvon:

Bibliográfalaš dieđut
Searvvušdahkki:	SpringerLink (Online service)
Eará dahkkit:	Chang, Stephen (Doaimmaheaddji)
Materiálatiipa:	Elektrovnnalaš E-girji
Giella:	eaŋgalasgiella
Almmustuhtton:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Preanttus:	1st ed. 2023.
Ráidu:	Lecture Notes in Computer Science, 13868
Fáttát:	Computer programming. Natural language processing (Computer science). Computer systems. Microprogramming . Programming languages (Electronic computers). Programming Techniques. Natural Language Processing (NLP). Computer System Implementation. Control Structures and Microprogramming. Programming Language.
Liŋkkat:	https://doi.org/10.1007/978-3-031-38938-2
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Geahča maid

Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers /
Almmustuhtton: (2025)

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings /
Almmustuhtton: (2023)

Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers /
Almmustuhtton: (2023)

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29–31, 2024, Revised Selected Papers /
Almmustuhtton: (2025)

Genetic Programming 26th European Conference, EuroGP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023, Proceedings /
Almmustuhtton: (2023)

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities 17th International Conference, NooJ 2023, Zadar, Croatia, May 31–June 2, 2023, Revised Selected Papers /
Almmustuhtton: (2024)

Genetic Programming 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings /
Almmustuhtton: (2024)

Genetic Programming 28th European Conference, EuroGP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23–25, 2025, Proceedings /
Almmustuhtton: (2025)

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities 18th International Conference, NooJ 2024, Bergamo, Italy, June 5–7, 2024, Revised Selected Papers /
Almmustuhtton: (2025)

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings /
Almmustuhtton: (2023)

Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12–16, 2024, Proceedings /
Almmustuhtton: (2024)

Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
Almmustuhtton: (2023)

Formal Analysis for Natural Language Processing: A Handbook
Dahkki: Feng, Zhiwei
Almmustuhtton: (2023)

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures /
Almmustuhtton: (2025)

Languages and Compilers for Parallel Computing 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12–14, 2022, Revised Selected Papers /
Almmustuhtton: (2023)

Fortran-77
Dahkki: Khurmi, R. S.
Almmustuhtton: (1988)

Software Technologies 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11–13, 2022, Revised Selected Papers /
Almmustuhtton: (2023)

Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings /
Almmustuhtton: (2023)

The Python Workbook A Brief Introduction with Exercises and Solutions /
Dahkki: Stephenson, Ben
Almmustuhtton: (2025)

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /
Almmustuhtton: (2024)

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings /
Almmustuhtton: (2024)

Programming in C /
Dahkki: Kochan, Stephen G.
Almmustuhtton: (1987)

Let us C /
Dahkki: Kanetkar, Yashavant

Programming with C and C++
Dahkki: Rahman, L.
Almmustuhtton: (1998)

C++
Dahkki: Balagurusamy, E.
Almmustuhtton: (1995)

C: The Complete Reference
Dahkki: Schildt, Herbert
Almmustuhtton: (1995)

Programming in ANSI C
Dahkki: Schildt, Herbert
Almmustuhtton: (1994)

Programming with C
Dahkki: Gottfried, Byron S.
Almmustuhtton: (1996)

C-Programming
Dahkki: Liton, Kamruzzaman
Almmustuhtton: (2000)

C-Programming
Dahkki: Giasuddin, M.
Almmustuhtton: (2001)

Teach Yourself C
Dahkki: Schildt, Herbert
Almmustuhtton: (1994)

কম্পিউটার প্রোগ্রামিং গাইড
Dahkki: Kibriya, Golam
Almmustuhtton: (1994)

Arabic Language Processing: From Theory to Practice 8th International Conference, ICALP 2023, Rabat, Morocco, April 19–20, 2024, Proceedings, Part I /
Almmustuhtton: (2025)

Arabic Language Processing: From Theory to Practice 8th International Conference, ICALP 2023, Rabat, Morocco, April 19–20, 2024, Proceedings, Part II /
Almmustuhtton: (2025)

Programming with C/
Dahkki: Gottfried, Byron S.
Almmustuhtton: (2011)

Programming with C.
Dahkki: Gottfried, Byron S.
Almmustuhtton: (2011)

Programming with C
Dahkki: Gottfried, Byron S
Almmustuhtton: (2011)

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings /
Almmustuhtton: (2024)

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10–12, 2023, Revised Selected Papers /
Almmustuhtton: (2024)

Pascal An introduction to methodical programming
Dahkki: Findlay, William
Almmustuhtton: (1985)