|
|
Showing 1 - 2 of
2 matches in All Departments
This book constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japan in March 2001.The 21 revised full papers presented together with three invited papers were carefully reviewed and selected from 40 submissions. The book offers topical sections on functional programming, logic programming, functional logic programming, types, program analysis and transformation, and Lambda calculus.
This book constitutes the refereed proceedings of the Third Asian
Computing Science Conference, ASIAN'97, held in Kathmandu, Nepal,
in December 1997. The volume presents 24 revised full papers
selected from a total of 94 submissions. Also included are an
abstract of the keynote by Michael O. Rabin, two full invited
presentations, and 10 posters. Among the areas addressed are
programming languages, formal methods, mathematical logic,
reasoning and constraints, real-time computing, networking, mobile
computing, image processing, hardware verification, and parallel
processing.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R367
R340
Discovery Miles 3 400
Uncharted
Tom Holland, Mark Wahlberg, …
DVD
R374
R210
Discovery Miles 2 100
Loot
Nadine Gordimer
Paperback
(2)
R367
R340
Discovery Miles 3 400
|