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

Ansicht:
: Guide to Software Verification with Frama-C, Buch

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*
Artikel ist im Warenkorb
Kenneth J. Supowit: Algorithms for Constructing Computably Enumerable Sets, Buch

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*
Artikel ist im Warenkorb
Raymond Devillers: Petri Net Primer, Buch

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*
Artikel ist im Warenkorb
William M. Farmer: Simple Type Theory, Buch

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*
Artikel ist im Warenkorb
: Fuzzy Logic Applications in Computer Science and Mathematics, Buch

Fuzzy Logic Applications in Computer Science and Mathematics

The prime objective of developing this book is to provide meticulous details about the basic and advanced concepts of fuzzy logic and its all-around applications to different fields of mathematics and eng…

lieferbar innerhalb 1-2 Wochen
Buch
EUR 241,86*
Artikel ist im Warenkorb
: Samson Abramsky on Logic and Structure in Computer Science and Beyond, Buch,Buch

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*
Artikel ist im Warenkorb
Lech T. Polkowski: Logic: Reference Book for Computer Scientists, Buch

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*
Artikel ist im Warenkorb
National Academies of Sciences Engineering and Medicine: Foundational Research Gaps and Future Directions for Digital Twins, Buch

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,73*
Artikel ist im Warenkorb
Kevin Padraic Donnelly: The Descent of Artificial Intelligence, Buch

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*
Artikel ist im Warenkorb
: Decision-Making Models, Buch

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 innerhalb 2-3 Wochen
Buch
EUR 186,29*
Artikel ist im Warenkorb
Cameron H Malin: Synthetic Media, Deep Fakes, and Cyber Deception, Buch

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 149,66*
Artikel ist im Warenkorb
Vladimir Stojanovic: Modeling of Complex Mechanical Systems, Buch

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.2.2025.
Buch
EUR 325,20*
Artikel ist im Warenkorb
Viktor V Babenko: Interaction of Disturbances in Shear Flows, Buch

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 312,58*
Artikel ist im Warenkorb
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.