Computer Science Foundations And Applied Logic – alle Bücher

Wir konnten keine exakten Treffer zu Ihrer Suche nach "computer science foundations and applied logic" finden. Könnten diese Produkte zu Ihrer Suche passen?

Guide to Software Verification with Frama-C

Computer Science Foundations and Applied Logic

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiqui…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 69,33*

Kenneth J. Supowit
Algorithms for Constructing Computably Enumerable Sets

Computer Science Foundations and Applied Logic

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer scient…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99*

William M. Farmer
Simple Type Theory

Computer Science Foundations and Applied Logic

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas. The book is an introducti…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99*

Raymond Devillers, Eike Best
Petri Net Primer

Computer Science Foundations and Applied Logic

Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources. Although the dynamic properties of such systems…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 85,33*

Samson Abramsky on Logic and Structure in Computer Science and Beyond

Outstanding Contributions to Logic -Band 25

Samson Abramsky s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a rich collection of papers, inspired by and extend…

lieferbar innerhalb 2-3 Wochen

2 Bücher

EUR 175,23*

Lech T. Polkowski
Logic: Reference Book for Computer Scientists

Intelligent Systems Reference Library -Band 245

The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested i…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 219,03*

National Academies of Sciences Engineering and Medicine, Committee on Foundational Research Gaps and Future Directions for Digital Twins, National Academy Of Engineering, Division On Earth And Life Studies
Foundational Research Gaps and Future Directions for Digital Twins

Across multiple domains of science, engineering, and medicine, excitement is growing about the potential of digital twins to transform scientific research, industrial practices, and many aspects of daily …

lieferbar in mind. 4 Wochen

Buch

EUR 46,09*

Kevin Padraic Donnelly
The Descent of Artificial Intelligence

A Radically Different History of AI Spanning Four Centuries of Research on Human Intelligence and Behavior

lieferbar innerhalb 2-3 Wochen

Buch

EUR 45,36*

Decision-Making Models

Decision Making Models: A Perspective of Fuzzy Logic and Machine Learning presents the latest developments in the field of uncertain mathematics and decision science. The book aims to deliver a systematic…

lieferbar in mind. 4 Wochen

Buch

EUR 187,56*

Cameron H Malin, Matthew Canham, Kirk Kennedy
Synthetic Media, Deep Fakes, and Cyber Deception

Synthetic Media, Deepfakes, and Cyber Deception: Attacks, Analysis, and Defenses introduces the only analytical Synthetic Media Analysis Framework (SMAF) to help describe cyber threats and help security p…

lieferbar ab 1.10.2025.

Buch

EUR 150,92*

Vladimir Stojanovic, Jian Deng, Marko D Petkovic, Marko A Ristic
Modeling of Complex Mechanical Systems

Modeling of Complex Mechanical Systems: Fundamentals and Applications equips readers with significant insights into nonlinear vibration phenomenology through a combination of advanced mathematical fundame…

lieferbar ab 1.4.2025.

Buch

EUR 323,95*

Viktor V Babenko
Interaction of Disturbances in Shear Flows

Interaction of Disturbances in Shear Flows aims to provide a comprehensive, in-depth overview of the current state of knowledge on the subject. Authored by a recognized expert with decades of experience a…

lieferbar in mind. 4 Wochen

Buch

EUR 313,84*

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.