|
Algorithmic Learning Theory
|
Nader H. Bshouty |
This book constitutes the refereed proceedings of the 23rd International Conference on Algorithmic Learning Theory, ALT 2012, held in Lyon, France, in October 2012. The conference was co-located and … |
OL19825517W |
|
Beyond two
|
Melvin Fitting |
This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics … |
OL19830864W |
|
Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity
|
Tai-hoon Kim |
This book comprises the refereed proceedings of the International Conferences, ASEA and DRBC 2012, held in conjunction with GST 2012 on Jeju Island, Korea, in November/December 2012. The papers prese… |
OL19836515W |
|
Coordination Models and Languages
|
Rocco Nicola |
This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th Inter… |
OL19837987W |
|
ECOOP 2013 – Object-Oriented Programming
|
Giuseppe Castagna |
This book constitutes the proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013, held in Montpellier, France, in July 2013. The 29 papers presented in this volume wer… |
OL19844902W |
|
Formal Methods for Components and Objects
|
Bernhard Beckert |
<p>Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large sys… |
OL19850837W |
|
Foundations of Software Science and Computation Structures
|
Frank Pfenning |
This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conference… |
OL19851060W |
|
Hardware and Software: Verification and Testing
|
Armin Biere |
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presente… |
OL19854793W |
|
Logic and Its Applications
|
Kamal Lodaya |
This book collects the refereed proceedings of the 5th Indian Conference on Logic and Its Applications, ICLA 2013, held in Chennai, India, in January 2013. <br>The 15 revised full papers presented to… |
OL19884517W |
|
Mathematics in Computing
|
Gerard O'Regan |
<p>From the earliest examples of computation to the digital devices that are ubiquitous in modern society, the application of mathematics to computing has underpinned the technology that has built ou… |
OL19886426W |
|
Model-Based Methodologies for Pervasive and Embedded Software
|
Ricardo J. Machado |
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Esse… |
OL19888551W |
|
NASA Formal Methods
|
Guillaume Brat |
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presente… |
OL19890005W |
|
Programming Languages and Systems
|
Matthias Felleisen |
This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013,… |
OL19897229W |
|
Rewriting Logic and Its Applications
|
Franciso Durán |
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, … |
OL19899911W |
|
SDL 2013: Model-Driven Dependability Engineering
|
Ferhat Khendek |
This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented wer… |
OL19901141W |
|
Software Composition
|
Walter Binder |
The book constitutes the refereed proceedings of the 12th International Conference on Software Composition, SC 2013, held in Budapest, Hungary, in June 2013, co-located with the STAF 2013 Federated C… |
OL19902669W |
|
Theory and Practice of Computation
|
Shin-ya Nishizaki |
This book comprises the refereed proceedings of the Workshop on Computation: Theory and Practice (WCTP)–2012, held in Manila, The Philippines, in September 2012. The workshop was organized by the Tok… |
OL19906715W |
|
Tools and Algorithms for the Construction and Analysis of Systems
|
Nir Piterman |
This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. The 42… |
OL19907242W |
|
Transactions on Aspect-Oriented Software Development IX
|
Gary T. Leavens |
<p>The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the softwar… |
OL19907664W |
|
Verification, Model Checking, and Abstract Interpretation
|
Roberto Giacobazzi |
This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-… |
OL19909493W |