Filter by
Mathematical Aspects of Logic Programming Semantics
Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distanc…
- Edition
- Ed. 1
- ISBN/ISSN
- 1439829624, 9781439829622
- Collation
- -
- Series Title
- -
- Call Number
- -
Sistemi Embedded
The explosion of the market linked to mobile telephony, automation, home automation, infotainment systems and automatic driving, the design of drones and 3D printers have brought to the fore the interest in "embedded" technologies. In recent years there has been a progressive increase in the demand for skills in this sector, both in the professional / industrial area and for the community of en…
- Edition
- -
- ISBN/ISSN
- 9788867056583
- Collation
- -
- Series Title
- -
- Call Number
- -
Developing Graphics Frameworks with Python and OpenGL
Developing Graphics Frameworks with Python and OpenGL shows you how to create software for rendering complete three-dimensional scenes. The authors explain the foundational theoretical concepts as well as the practical programming techniques that will enable you to create your own animated and interactive computer-generated worlds.You will learn how to combine the power of OpenGL, the most wide…
- Edition
- Ed. 1
- ISBN/ISSN
- 1000407950, 9781000407952
- Collation
- -
- Series Title
- -
- Call Number
- -
The Mobile Commerce Prospects
Mobile Commerce has gained increasing acceptance amongst various sections of the society in previous years. The reasons for its growth can be traced back to technological and demographical developments that have influenced many aspects of the socio-cultural behaviour in today's world. The need (and/or wish) for mobility seems to be the driving force behind Mobile Commerce. The launch of UMTS te…
- Edition
- -
- ISBN/ISSN
- 9783937816319
- Collation
- -
- Series Title
- -
- Call Number
- -
Evolutionary Application Service Providing (eASP). Ein Ansatz der Softwareber…
This study deals with the provision of software and develops an approach to the analysis and design of software deployment contexts in which software is provided centrally for many. The provision of the web-based cooperation platform CommSy in two different constellations exemplifies the necessity of such a software supply approach for understanding and designing software supply contexts. The p…
- Edition
- -
- ISBN/ISSN
- 9783937816227
- Collation
- -
- Series Title
- -
- Call Number
- -
Digital Humanities 2012 - Conference Abstracts
Digital Diversity: Cultures, Languages and Methods' is the motto for this year's Digital Humanities conference; it relates methodical and technical innovation to the traditional research agenda of the Humanities. The conference schedule includes contributions on a wide range of topics, reflecting the increasing breadth in the field on all levels. A recurring theme at Digital Humanities conferen…
- Edition
- -
- ISBN/ISSN
- 9783937816999
- Collation
- -
- Series Title
- -
- Call Number
- -
On the Automated Derivation of Domain-Specific UML Profiles
Similar to general-purpose languages, domain-specific languages (DSL) can be developed based on grammar formalisms, the model-driven engineering (MDE) is also becoming more and more important for the development of DSLs. On the one hand, metamodels can be used to define the syntax and semantics of DSLs. On the other hand, a DSL can be realized by adapting the Unified Modeling Language (UML) via…
- Edition
- Vol. 37
- ISBN/ISSN
- 9783863096717
- Collation
- -
- Series Title
- -
- Call Number
- -
Structure and Interpretation of Computer Programs, Second Edition
Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains changes throughout the text. There are new implementations of most of the major programming systems in the book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experi…
- Edition
- Ed. 2
- ISBN/ISSN
- 9780262011532
- Collation
- -
- Series Title
- -
- Call Number
- -
The Art of Prolog, Second Edition
This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take account of important recent research results, the references have been greatly expanded, and more advanced exercises have been added which have been used successfully in teaching the course. Part II, The Prolog Language, has been modified to…
- Edition
- Ed. 2
- ISBN/ISSN
- 9780262193382
- Collation
- -
- Series Title
- -
- Call Number
- -
Elements of Causal Inference
A concise and self-contained introduction to causal inference, increasingly important in data science and machine learning. The mathematization of causality is a relatively recent development, and has become increasingly important in data science and machine learning. This book offers a self-contained and concise introduction to causal models and how to learn them from data. After explaining th…
- Edition
- -
- ISBN/ISSN
- 9780262037310
- 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