Filter by
A First Course in the Numerical Analysis of Differential Equations
Numerical analysis presents different faces to the world. For mathematicians it is a bona fide mathematical theory with an applicable flavour. For scientists and engineers it is a practical, applied subject, part of the standard repertoire of modelling techniques. For computer scientists it is a theory on the interplay of computer architecture and algorithms for real-number calculations. The te…
- Edition
- -
- ISBN/ISSN
- 9780511995569
- Collation
- -
- Series Title
- Cambridge Texts in Applied Mathematics (44)
- Call Number
- -
A First Course in String Theory
String theory made understandable. Barton Zwiebach is once again faithful to his goal of making string theory accessible to undergraduates. He presents the main concepts of string theory in a concrete and physical way to develop intuition before formalism, often through simplified and illustrative examples. Complete and thorough in its coverage, this new edition now includes AdS/CFT corresponde…
- Edition
- -
- ISBN/ISSN
- 9780511841620
- Collation
- -
- Series Title
- -
- Call Number
- -
The Foundations of Computability Theory
This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and f…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-62421-0
- Collation
- XXI, 422
- Series Title
- -
- Call Number
- -
Programs as Diagrams
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions. In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; prog…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-34827-3
- Collation
- XVII, 252, 1 b/w illustrations
- Series Title
- Theory and Applications of Computability
- Call Number
- -
A First Course in Random Matrix Theory for Physicists, Engineers and Data Sc…
The real world is perceived and broken down as data, models and algorithms in the eyes of physicists and engineers. Data is noisy by nature and classical statistical tools have so far been successful in dealing with relatively smaller levels of randomness. The recent emergence of Big Data and the required computing power to analyse them have rendered classical tools outdated and insufficient. T…
- Edition
- -
- ISBN/ISSN
- 9781108768900
- Collation
- -
- Series Title
- -
- Call Number
- -
The Finite Element Method and Applications in Engineering Using ANSYS®
This textbook offers theoretical and practical knowledge of the finite element method. The book equips readers with the skills required to analyze engineering problems using ANSYS®, a commercially available FEA program. Revised and updated, this new edition presents the most current ANSYS® commands and ANSYS® screen shots, as well as modeling steps for each example problem. This self-contain…
- Edition
- 1
- ISBN/ISSN
- 978-1-4899-7550-8
- Collation
- XIV, 657, 475 b/w illustrations
- Series Title
- -
- Call Number
- -
The Fallacy of Corporate Moral Agency
It is uncontroversial that corporations are legal agents that can be held legally responsible, but can corporations also be moral agents that are morally responsible? Part one of this book explicates the most prominent theories of corporate moral agency and provides a detailed debunking of why corporate moral agency is a fallacy. This implies that talk of corporate moral responsibilities, beyon…
- Edition
- 1
- ISBN/ISSN
- 978-94-017-9756-6
- Collation
- XIV, 218, 7 b/w illustrations
- Series Title
- Issues in Business Ethics
- Call Number
- -
Transactions on Rough Sets XIX
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, su…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47815-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connecte…
- Edition
- -
- ISBN/ISSN
- 978-3-662-48567-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi’s scientific output and discusses his impact on the development of science. The book both catalogues his works and offers an extensive profile of Pigozzi as a person, sketching the most important events, not only relat…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-74772-9
- Collation
- XXXIII, 454
- Series Title
- Outstanding Contributions to Logic
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography