Central European Functional Programming School
This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Intercultural Language Use and Language Learning
This volume attempts to address an issue that deserves further attention on the part of language acquisition researchers: ...
اقرأ المزيد
Paul Lorenzen -- Mathematician and Logician
This book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th ...
اقرأ المزيد
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 ...
اقرأ المزيد
