Filter by
Recent Advances in Industrial and Applied Mathematics
This open access book contains review papers authored by thirteen plenary invited speakers to the 9th International Congress on Industrial and Applied Mathematics (Valencia, July 15-19, 2019). Written by top-level scientists recognized worldwide, the scientific contributions cover a wide range of cutting-edge topics of industrial and applied mathematics: mathematical modeling, industrial and en…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- SEMA SIMAI Springer Series
- Call Number
- XXXIX, 249
Tools and Algorithms for the Construction and Analysis of Systems
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefull…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- Lecture Notes in Computer Science
- Call Number
- XXII, 583
Fundamental Approaches to Software Engineering
This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 subm…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- Lecture Notes in Computer Science
- Call Number
- XIV, 347
Advanced Digital Auditing
This open access book discusses the most modern approach to auditing complex digital systems and technologies. It combines proven auditing approaches, advanced programming techniques and complex application areas, and covers the latest findings on theory and practice in this rapidly developing field. Especially for those who want to learn more about novel approaches to testing complex informati…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-11089-4
- Collation
- -
- Series Title
- Progress in IS
- Call Number
- XIV, 256
The Computer Boys Take Over: Computers, Programmers, and the Politics of Tech…
"This book provides the most holistic approach to the history of the development of programming and computer systems so far written. By embedding this history in a sociological and political context, Ensmenger has added hugely to our understanding of how the world of computing and its work practices came to be." Martin Campbell-Kelly, Professor of Computer Science, Warwick University.;"The Comp…
- Edition
- -
- ISBN/ISSN
- 9780262289351
- Collation
- -
- Series Title
- -
- Call Number
- -
At Your Service: Service-Oriented Computing from an EU Perspective
Presents results of collaborative research projects of the European Community's Information Society Technologies Programme about service-oriented computing.Service-Oriented Applications and Architectures (SOAs) have captured the interest of industry as a way to support business-to-business interaction, and the SOA market grew by $4.9 billion in 2005. SOAs and in particular service-oriented comp…
- Edition
- -
- ISBN/ISSN
- 9780262255080
- Collation
- 1 online resource (xii, 564 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Engineering Play: A Cultural History of Children's Software
How the influential industry that produced such popular games as Oregon Trail and KidPix emerged from experimental efforts to use computers as tools in child-centered learning.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262258913
- Collation
- 1 online resource (xii, 234 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The stack :on software and sovereignty
A comprehensive political and design theory of planetary-scale computation proposing that The Stack -- an accidental megastructure -- is both a technological apparatus and a model for a new geopolitical architecture.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262330183
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
The Software Arts
An alternative history of software that places the liberal arts at the very center of software's evolution. In The Software Arts, Warren Sack offers an alternative history of computing that places the arts at the very center of software's evolution. Tracing the origins of software to eighteenth-century French encyclopedists' step-by-step descriptions of how things were made in the workshops of …
- Edition
- -
- ISBN/ISSN
- 9780262352369
- Collation
- 1 online resource (400 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Embodied Conversational Agents
OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262270038
- Collation
- 1 online resource (430 pages) :illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography