Filter by
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
- -
Multi-Agent Systems:12th European Conference, EUMAS 2014, Prague, Czech Repub…
This book constitutes the proceedings of the 12th European Conference on Multi-Agent Systems, EUMAS 2014, held in Prague, Czech Republic, in December 2014. The 21 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 79 submissions. They are organized in topical sections named: agent-based models, trust and reputation; coordination, coalitions and tea…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-17129-6
- Collation
- XVII, 426
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Models of Strategic Reasoning:Logics, Games, and Communities
Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants’ aspirations, whether they are selling a house, playing the stock market, or working toward a treaty that limits global warming. This book aims at understanding the phenomenon of strategic behavior …
- Edition
- 1
- ISBN/ISSN
- 978-3-662-48539-2
- Collation
- XI, 333
- Series Title
- Theoretical Computer Science and General Issues
- Call Number
- -
The Literariness of Media Art
“Language can be this incredibly forceful material—there’s something about it where if you can strip away its history, get to the materiality of it, it can rip into you like claws” (Hill in Vischer 1995, 11). This arresting image by media artist Gary Hill evokes the nearly physical force of language to hold recipients in its grip. That power seems to lie in the material of language itse…
- Edition
- -
- ISBN/ISSN
- 978-1-315-10798-1
- Collation
- -
- Series Title
- -
- Call Number
- 400 BEN l
Getting others to do things : A pragmatic typology of recruitments
Getting others to do things is a central part of social interaction in any human society. Language is our main tool for this purpose. In this book, we show that sequences of interaction in which one person’s behaviour solicits or occasions another’s assistance or collaboration share common structural properties that provide a basis for the systematic comparison of this domain across languag…
- Edition
- -
- ISBN/ISSN
- 978-3-96110-278-5
- Collation
- -
- Series Title
- Studies in Diversity Linguistics 31
- Call Number
- 400 GET
The Verb in Nyakyusa
Nyakyusa is an underdescribed Bantu language spoken by around 800.000 speakers in the Mbeya Region of Tanzania. This book provides a detailled description of the verb in this language. The topics covered include the complex morphophonological and morphological processes as well as verb-to-verb derivation, copula verbs and grammaticalized verbs of motion. The main body of the book consists of a …
- Edition
- -
- ISBN/ISSN
- 9783961100156
- Collation
- -
- Series Title
- -
- Call Number
- -
A Grammar of Moloko
This grammar provides the first comprehensive grammatical description of Moloko, a Chadic language spoken by about 10,000 speakers in northern Cameroon. The grammar was developed from hours and years that the authors spent at friends’ houses hearing and recording stories, hours spent listening to the tapes and transcribing the stories, then translating them and studying the language through t…
- Edition
- -
- ISBN/ISSN
- 9783946234623
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography