Wyniki wyszukiwania:
wyszukanych pozycji: 7
 |
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the Riscal Model Checker
ISBN: 9783031249365 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
223,98 zł |
 |
Security and Privacy Management in Service Oriented Architectures
ISBN: 9783639034967 / Angielski / Miękka / 2008 / 204 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
357,51 zł |
 |
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
ISBN: 9783030805098 / Angielski / Miękka / 2022 / 636 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearlythinkabout the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute from given inputs wanted outputs, and programs that describe continuously executing systems. The core message is that clear thinking about programs can be expressed in a single universal language, the formal language oflogic. Apart from its universal elegance and expressiveness, this “logical”...
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly...
|
cena:
285,06 zł |
 |
Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions
ISBN: 9783030805067 / Angielski / Twarda / 2021 / 604 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
407,25 zł |
 |
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
ISBN: 9783031249334 / Angielski / Twarda / 2023 / 280 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. This formal language is the language of RISCAL, a...
This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them a...
|
cena:
305,43 zł |
 |
Eine gefährliche Bruderschaft
ISBN: 9783384552921 / Niemiecki / Miękka / 2025 / 36 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. "Der Text von Professor Herbst ist schlichtweg als revolutionär zu betrachten und dürfte (...) jeden Leser zu einer sich vertiefenden Sichtweise unserer Geschichte veranlassen, insbesondere ihrer Geheimgesellschaften." Aus dem Vorwort von Wolfgang F. Schreiner.
"Der Text von Professor Herbst ist schlichtweg als revolutionär zu betrachten und dürfte (...) jeden Leser zu einer sich vertiefenden Sichtweise uns...
|
cena:
43,00 zł |
 |
Lasers in the Conservation of Artworks: LACONA VI Proceedings, Vienna, Austria, Sept. 21--25, 2005
ISBN: 9783642091292 / Angielski / Miękka / 2010 / 649 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Over the last decades, the use of lasers in artwork conservation has became an important tool for many conservators, scientists, architects and other experts, who are involved in the care of monuments and artefacts or applied laser technology. Professor Costas Fotakis first brought together restorers and scientists in 1995 to discuss the potential of lasers in art conservation. The field of "Lasers in the Conservation of Artworks" has since gained considerably in importance, and nowadays restorers and laser scientists work closely together to develop new applications. Furthermore a large... Over the last decades, the use of lasers in artwork conservation has became an important tool for many conservators, scientists, architects and oth... |
cena:
1344,03 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
