Electronic Books

Total Books: 8/8
Absolute Stability of Nonlinear Control Systems

Following the recent developments in the field of absolute stability, Professor Xiaoxin Liao, in conjunction with Professor ...

Lee mas
Coordination Models and Languages (vol. # 4038)

This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, ...

Lee mas
Implementation of Functional Languages

This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of ...

Lee mas
Logical Aspects of Computational Linguistics

Structural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic ...

Lee mas
Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...

Lee mas
Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. ...

Lee mas
Typed Lambda Calculi and Applications

The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...

Lee mas
Types for Proofs and Programs

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...

Lee mas
Total Books: 8/8