Search Results - Functional programming languages

Programming Languages and Systems by Robbert Krebbers

View this record in EBSCOhost

Beyond Horizons – The Rise of the Edge AI Processing Paradigm by Ovidiu Vermesan, Marcello Coppola, Fabian Chersi

View this record in EBSCOhost

Formal Methods by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

View this record in EBSCOhost

Engines of Order : A Mechanology of Algorithmic Techniques by Bernhard Rieder

View this record in EBSCOhost

Sixty Years of Swedish Computational Lexicography by Dana Dannélls, Kristian Blensenius, Lars Borin

View this record in EBSCOhost

Tools and Algorithms for the Construction and Analysis of Systems by Arie Gurfinkel, Marijn Heule

View this record in EBSCOhost

Automated Reasoning with Analytic Tableaux and Related Methods by Gian Luca Pozzato, Tarmo Uustalu

View this record in EBSCOhost

Programming Languages and Systems by Viktor Vafeiadis

View this record in EBSCOhost

Foundations of Software Science and Computation Structures by Naoki Kobayashi, James Worrell

View this record in EBSCOhost

Health Care in the Information Society : Volume 2 - From Anarchy of Transition to Programme for Reform by David Ingram

View this record in EBSCOhost

Health Care in the Information Society : Volume 1 - From Adventure of Ideas to Anarchy of Transition by David Ingram

View this record in EBSCOhost

International Handbook of Engineering Education Research by Aditya Johri

View this record in EBSCOhost

Digital Humanities and Libraries and Archives in Religious Studies : An Introduction by Clifford B. Anderson

View this record in EBSCOhost

Protective Forests As Ecosystem-based Solution for Disaster Risk Reduction (Eco-DRR) by Michaela Teich, Cristian Accastello, Frank Perzl, Karl Kleemayr

View this record in EBSCOhost

Academic Entrepreneurship in Theory and Practice by Hanna Nowak-Mizgalska, Aleksandra Szulczewska-Remi (eds.)

View this record in EBSCOhost

Soft Computing : Techniques in Engineering Sciences by Mangey Ram, Suraj B. Singh

View this record in EBSCOhost

Principles of Security and Trust by Flemming Nielson, David Sands

View this record in EBSCOhost

Tools and Algorithms for the Construction and Analysis of Systems by Dirk Beyer, Marieke Huisman

View this record in EBSCOhost

The Huawei and Snowden Questions : Can Electronic Equipment From Untrusted Vendors Be Verified? Can an Untrusted Vendor Build Trust Into Electronic Equipment? by Olav Lysne

View this record in EBSCOhost

Behavioural Types : From Theory to Tools by Simon Gay, António Ravara

View this record in EBSCOhost