Filter by
A Framework for Priority Arguments
This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs. The proposed framework presented isolates many of these unifying combinatorial principles and us…
- Edition
- -
- ISBN/ISSN
- 9780511750779
- Collation
- -
- Series Title
- Lecture Notes in Logic
- Call Number
- -
Trends in Functional Programming 15th International Symposium, TFP 2014, Soe…
This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held in Soesterberg, The Netherlands, in May 2014. The 8 revised full papers included in this volume were carefully and selected from 22 submissions. TFP is an international forum for researchers with interests in all aspects of functional prog…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14675-1
- Collation
- -
- Series Title
- -
- Call Number
- -
A Distributed Pi-Calculus
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and…
- Edition
- -
- ISBN/ISSN
- 9780511611063
- Collation
- -
- Series Title
- -
- Call Number
- -
Transactions on Aspect-Oriented Software Development XII
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 software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation, and com…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46734-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Formalizing Data-Centric Web Services
The Web has evolved from an information sharing medium to a wide-scale environment for sharing capabilities or services. Currently, URLs not only point to documents and images, but are also used to invoke services that potentially change the state of the Web. Major online organizations today, such as Amazon, PayPal and FedEx, provide services for users and consumers. They also allow third-party…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24678-9
- Collation
- XIII, 131 pages
- Series Title
- Web-Scale Workflow and Analytics
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems 21st Inter…
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46681-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
- Edition
- -
- ISBN/ISSN
- 9783319194585
- Collation
- XVI, 213 hlm.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Theory and Practice of Model Transformations 8th International Conference, I…
This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reu…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21155-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium,…
This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25150-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Introduction to Programming Languages
Introduction to Programming Languages is designed to formalize and consolidate the knowledge of programming languages gained in the introductory courses a computer science curriculum and to provide a base for further studies in the semantics and translation of programming languages. This book is intended as an undergraduate text in the theory of programming languages. To gain maximum benefit…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 005 AAB i
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography