Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
First-Order Programming Theories
ISBN: 9783642635038 / Angielski / Miękka / 2012 / 353 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory. This field essentially attempts to provide a precise mathematical basis for the common activities involved in reasoning about computer programs and programming languages, and it also attempts to find practical applications in the areas of program specification, verification and programming language design. Many different approaches with different mathematical frameworks have been proposed as a basis for...
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the ...
|
cena:
403,47 |
 |
A KÉNYSZERÍT ESZKÖZÖK MEGJELENÉSE A HIVATÁSOS KATASZTRÓFAVÉDELEMBEN
ISBN: 9786200638694 / Węgierski / Miękka / 68 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
178,89 |
 |
Ontology-Based Development of Industry 4.0 and 5.0 Solutions for Smart Manufacturing and Production
ISBN: 9783031474460 / Angielski / Miękka / 2025 Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book presents a comprehensive framework for developing Industry 4.0 and 5.0 solutions through the use of ontology modeling and graph-based optimization techniques. With effective information management being critical to successful manufacturing processes, this book emphasizes the importance of adequate modeling and systematic analysis of interacting elements in the era of smart manufacturing. The book provides an extensive overview of semantic technologies and their potential to integrate with existing industrial standards, planning, and execution systems to provide efficient... This book presents a comprehensive framework for developing Industry 4.0 and 5.0 solutions through the use of ontology modeling and graph-based opt... |
cena:
645,58 |
 |
A római kronológia
ISBN: 9783330807242 / Węgierski / Miękka / 2016 / 72 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
129,57 |
 |
First-Order Programming Theories
ISBN: 9783540542773 / Angielski / Twarda / 1991 / 353 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory. This field essentially attempts to provide a precise mathematical basis for the common activities involved in reasoning about computer programs and programming languages, and it also attempts to find practical applications in the areas of program specification, verification and programming language design. Many different approaches with different mathematical frameworks have been proposed as a basis for...
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the ...
|
cena:
403,47 |
 |
Twelve Bells to Freedom: The Suhajda Story
ISBN: 9798218328443 / Angielski / Miękka / 2023 / 124 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
80,66 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
