Compiling ESTEREL
Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution ...
اقرأ المزيد
Computational Discovery of Scientific Knowledge
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
اقرأ المزيد
Computational Discovery of Scientific Knowledge
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
اقرأ المزيد
Computational Intelligence : Methods and Techniques
This book focuses on various techniques of computational intelligence, both single ones and those which form hybrid methods. ...
اقرأ المزيد
Computational Intelligence and Security (vol. # 3801)
The two volume set LNAI 3801 and LNAI 3802 constitute the refereed proceedings of the annual International Conference on ...
اقرأ المزيد
Computational Intelligence in Economics and Finance
Computational intelligence (CI), as an alternative to statistical and econometric approaches, has been applied to a wide ...
اقرأ المزيد
Computational Intelligence in Economics and Finance
Computational intelligence (CI), as an alternative to statistical and econometric approaches, has been applied to a wide ...
اقرأ المزيد
Computational Logic in Multi-Agent Systems
Though multiagent systems (MASs) are being increasingly used, few methods exist to ensure survivability of MASs. All existing ...
اقرأ المزيد
Computational Logic in Multi-Agent Systems (vol. # 3487)
The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, ...
اقرأ المزيد
Computer Science Logic (vol. # 3634)
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
اقرأ المزيد
Computer Science Logic (vol. # 4207)
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
اقرأ المزيد
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
اقرأ المزيد
Computer Vision Systems : 6th International Conference, ICVS 2008 Santorini, Greece, May 12-15, 2008 Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Computer Vision Systems, ICVS 2008, ...
اقرأ المزيد
Constraint Handling Rules : Current Research Topics
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
اقرأ المزيد
Constraint Solving and Language Processing
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...
اقرأ المزيد
Coordination Models and Languages
he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...
اقرأ المزيد
Coordination Models and Languages
he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...
اقرأ المزيد
Coping with Uncertainty
Ongoing global changes bring fundamentally new scientific problems requiring new concepts and tools. A key issue concerns ...
اقرأ المزيد
Cryptography in C and C++
This book covers everything you need to know to write professional-level cryptographic code. This expanded, improved second ...
اقرأ المزيد
Datatype-Generic Programming
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...
اقرأ المزيد
