Filter by
Unifying Theories of Programming 5th International Symposium, UTP 2014, Sing…
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with nume…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14806-9
- Collation
- 10 b/w illustrations
- Series Title
- -
- Call Number
- -
Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Du…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-22686-6
- Collation
- VI, 283
- Series Title
- Trends in Logic
- Call Number
- 511.3 ADV a
Type Systems for Distributed Programs: Components and Sessions
Formal Languages and Automata Theory
- Edition
- -
- ISBN/ISSN
- 978-94-6239-204-5
- Collation
- 65 b/w illustrations, 4 illustrations in colour
- Series Title
- -
- Call Number
- -
Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
Since the emergence of the formal concept of probability theory in the seventeenth century, uncertainty has been perceived solely in terms of probability theory. However, this apparently unique link between uncertainty and probability theory has come under investigation a few decades back. Uncertainties are nowadays accepted to be of various kinds. Uncertainty in general could refer to differen…
- Edition
- -
- ISBN/ISSN
- 978-81-322-2301-6
- Collation
- 61 b/w illustrations
- Series Title
- -
- Call Number
- -
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-…
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
- Edition
- -
- ISBN/ISSN
- 978-3-319-19249-9
- Collation
- 156 b/w illustrations
- Series Title
- -
- Call Number
- -
Evolving Computability 11th Conference on Computability in Europe, CiE 2015,…
This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe, CiE 2015, held in Bucharest, Romania, in June/July 2015. The 26 revised papers presented were carefully reviewed and selected from 64 submissions and included together with 10 invited papers in this proceedings. The conference CiE 2015 has six special sessions: two sessions, Representing Streams…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20028-6
- Collation
- 20 b/w illustrations
- Series Title
- -
- Call Number
- -
Ernst Zermelo An Approach to His Life and Work
This biography sheds light on all facets of the life and the achievements of Ernst Zermelo (1871-1953). Zermelo is best-known for the statement of the axiom of choice and his axiomatization of set theory. However, he also worked in applied mathematics and mathematical physics. His dissertation, for example, promoted the calculus of variations, and he created the pivotal method in the theory of …
- Edition
- -
- ISBN/ISSN
- 978-3-662-47997-1
- Collation
- 43 b/w illustrations
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems
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
- 210 b/w illustrations
- Series Title
- -
- Call Number
- -
Theory and Applications of Models of Computation
This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathe…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17142-5
- Collation
- 83 b/w illustrations
- Series Title
- -
- Call Number
- -
NASA Formal Methods:7th International Symposium, NFM 2015, Pasadena, CA, USA,…
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-17523-2
- Collation
- XIII, 458
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography