Cover Image

QR Code

Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /

This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional Programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised full papers included in this volume were carefully and selected from 49 submissions a...

Full description

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Loidl, Hans-Wolfgang. (Editor), Peą, Ricardo. (Editor)
Format:	Electronic
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Series:	Lecture Notes in Computer Science, 7829
Subjects:	Computer science. Computer Science. Programming Techniques. Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages.
Online Access:	https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-40447-4

Similar Items

Game design workshop : a playcentric approach to creating innovative games /
by: Fullerton, Tracy,
Published: (2019)

Programming Arduino : getting started with Sketches /
by: Monk, Simon,
Published: (2016)

Basics of game design /
by: Moore, Michael E.
Published: (2016)

The impact of service oriented architecture adoption on organizations /
by: Niknejad, Naghmeh,, et al.
Published: (2019)

Error analysis : perspectives on second language acquisition /
Published: (2014)

Medicinal and aromatic plants. /
Published: (2020)

Internet infrastructure : networking, web services, and cloud computing /
by: Fox, Richard, 1964-, et al.
Published: (2018)

An introduction to sociolinguistics /
by: Holmes, Janet, 1947-, et al.
Published: (2017)

Thermodynamics problem solving in physical chemistry : study guide and map /
by: Murphy, Kathleen E., Ph. D.,
Published: (2020)

Malware analysis and detection engineering : a comprehensive approach to detect and analyze modern malware /
by: Mohanta, Abhijit,, et al.
Published: (2020)

Learning malware analysis : explore the concepts, tools, and techniques to analyze and investigate Windows malware /
by: Monnappa K A,
Published: (2018)

Computer and communication engineering : first International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018, proceedings /
Published: (2019)

E-learning and the science of instruction : proven guidelines for consumers and designers of multimedia learning /
by: Clark, Ruth Colvin,, et al.
Published: (2016)

Insects and society /
by: Schowalter, Timothy Duane, 1952-
Published: (2019)

The Routledge Handbook of Social Work Ethics and Values /
Published: (2019)

Communication systems principles using MATLAB /
by: Leis, John W.,
Published: (2018)

Hands-on cryptography with python : leverage the power of python to encrypt and decrypt data. /
by: Bowne, Samuel,
Published: (2018)

Statistics for engineers and scientists /
by: Navidi, William Cyrus,
Published: (2020)

Office 2019 all-in-one for dummies /
by: Weverka, Peter,
Published: (2019)

Hands-on network forensics : investigate network attacks and find evidence using common network forensic tools /
by: Jaswal, Nipun,
Published: (2019)

Mastering malware analysis : the complete malware analyst's guide to combating malicious software, APT, cybercrime, and loT attacks /
by: Kleymenov, Alexey,, et al.
Published: (2019)

Software Tools for the Simulation of Electrical Systems : Theory and Practice /
by: Kumar, L. Ashok,, et al.
Published: (2020)

Digital business and e-commerce management /
by: Chaffey, Dave, 1963-, et al.
Published: (2019)

Biomechanical Evaluation of Movement in Sport and Exercise : The British Association of Sport and Exercise Sciences Guide /
Published: (2018)

Internet of things for architects : architecting IoT solutions by implementing sensors, communication infrastructure, edge computing, analytics, and security /
by: Lea, Perry,
Published: (2018)

Designing Computer-Based Learning Materials /
by: Clarke, Alan,
Published: (2018)

Power systems analysis illustrated with MATLAB and ETAP /
by: Madhusudan, Shertukde Hemchandra,
Published: (2019)

Building virtual reality with Unity and SteamVR, /
by: Murray, Jeff W.,
Published: (2020)

Applying big data analytics in bioinformatics and medicine /
Published: (2018)

Healthcare information systems challenges of the new millennium /
by: Armoni, Adi, 1959-
Published: (2000)

Progress in Functional Manufacturing Technologies III Special topic volume with invited peer reviewed papers only.
Published: (2013)

Cybersecurity fundamentals a real-world perspective /
by: Thakur, Kutub.
Published: (2020)

Social media in travel, tourism and hospitality theory, practice and cases /
by: Sigala, Marianna.
Published: (2016)

Food process engineering and technology /
by: Berk, Zeki,
Published: (2018)

Medical informatics in obstetrics and gynecology
Published: (2009)

Web mobile-based applications for healthcare management
Published: (2007)

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Published: (2013)

Gaze interaction and applications of eye tracking advances in assistive technologies /
Published: (2011)

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
Published: (2013)

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
Published: (2013)