Central European Functional Programming School
This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...
Continue reading
Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
This volume presents texts from selected lectures given by leading researchers at the Second Central European Functional ...
Continue reading
Formal Techniques for Networked and Distributed Systems - FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...
Continue reading
Intercultural Language Use and Language Learning
This volume attempts to address an issue that deserves further attention on the part of language acquisition researchers: ...
Continue reading
Paul Lorenzen -- Mathematician and Logician
This book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th ...
Continue reading
Software Agent-Based Applications, Platforms and Development Kits
Intelligent agents and multi-agent systems (MAS) represent the next big step in the development of next-generation software ...
Continue reading
