Ihre Suche nach "applied logic" ergab 13 Treffer

Ansicht:
: Advances in Applied Logics, Buch

Advances in Applied Logics

Intelligent Systems Reference Library -Band 243

This book contains contributions from several international authors to topics of current interest, such as AI, intelligent systems, and logic applications in different branches of knowledge. Foundational …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 164,28*
: Journal of Applied Logics. IfCoLog Journal of Logics and their Applications. Volume 11, number 4, August 2024, Buch

Journal of Applied Logics. IfCoLog Journal of Logics and their Applications. Volume 11, number 4, August 2024

The Journal of Applied Logics- IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are free open access, and availab…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 34,73*
David Nahmani: Logic Pro - Apple Pro Training, Buch

David Nahmani
Logic Pro - Apple Pro Training

The Apple-Certified Way to Learn Record, arrange, produce, mix, and master music with this bestselling, Apple-certified guide to Logic Pro. Veteran producer and composer David Nahmani uses real-world prof…

lieferbar ab 8.3.2025.
Buch
EUR 86,74*
: 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*
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*
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*
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*
Xiaojuan Liao: Applied Satisfiability, Buch

Xiaojuan Liao, Miyuki Koshimura
Applied Satisfiability

Apply satisfiability to a range of difficult problems The Boolean Satisfiability Problem (SAT) is one of the most famous and widely-studied problems in Boolean logic. Optimization versions of this problem…

lieferbar ab 1.4.2025.
Buch
EUR 186,29*
: 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 in mind. 4 Wochen
Buch
EUR 187,56*
Maria Han Veiga: The Mathematics of Machine Learning, Buch

Maria Han Veiga, François Gaston Ged
The Mathematics of Machine Learning

De Gruyter Textbook

This book is an introduction to machine learning, with a strong focus on the mathematics behind the standard algorithms and techniques in the field, aimed at senior undergraduates and early graduate stude…

sofort lieferbar
Buch
EUR 64,75*
Kee Avil (Vicky Mettler): Crease, CD

Kee Avil
Crease

Crease ist das Debütalbum von Kee Avil, einem Projekt der Produzentin und Gitarristin Vicky Mettler aus Montréal: ein einzigartiger Ausdruck gebrochener Traumlogik, die sich in gemeißelten Postpunk-Gitarr…

lieferbar innerhalb 1-2 Wochen
CD
 
EUR 16,99*
Kee Avil (Vicky Mettler): Crease (180g), LP

Kee Avil
Crease (180g)

Crease ist das Debütalbum von Kee Avil, einem Projekt der Produzentin und Gitarristin Vicky Mettler aus Montréal: ein einzigartiger Ausdruck gebrochener Traumlogik, die sich in gemeißelten Postpunk-Gitarr…

lieferbar innerhalb 1-2 Wochen
LP
 
EUR 26,99*
: Logic, Language, Information, and Computation, Buch

Logic, Language, Information, and Computation

Lecture Notes in Computer Science -Band 14672

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 30th International Workshop on Logic, Language, Information, an…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,51*
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.