Wolfgang Schreiner – författare
Visar alla böcker från författaren Wolfgang Schreiner. Handla med fri frakt och snabb leverans.
12 produkter
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
E-bok, 2021
978 kr
Lägg i varukorg
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute …
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Häftad, 2022
784 kr
Lägg i varukorg
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute …
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Inbunden, 2023
825 kr
Lägg i varukorg
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, …
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
E-bok, 2023
815 kr
Lägg i varukorg
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, …
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Häftad, 2024
607 kr
Lägg i varukorg
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, …
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Inbunden, 2025
771 kr
Lägg i varukorg
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute …
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
E-bok, 2025
978 kr
Lägg i varukorg
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute …
Hagenberg Research
Av Bruno Buchberger, Michael Affenzeller m. fl.
Inbunden, 2009
1693 kr
Lägg i varukorg
BrunoBuchberger This book is a synopsis of basic and applied research done at the various re search institutions of the Softwarepark Hagenberg in Austria. Starting with 15 coworkers in my Research Institute for Symbolic Computation (RISC), I initiated the Softwarepark Hagenberg in 1987 on request …
Hagenberg Research
Av Wolfgang Windsteiger, Gerhard Wei m. fl.
E-bok, 2009
2127 kr
Lägg i varukorg
BrunoBuchberger This book is a synopsis of basic and applied research done at the various re search institutions of the Softwarepark Hagenberg in Austria. Starting with 15 coworkers in my Research Institute for Symbolic Computation (RISC), I initiated the Softwarepark Hagenberg in 1987 on request …
Hagenberg Research
Av Bruno Buchberger, Michael Affenzeller m. fl.
Häftad, 2010
1693 kr
Lägg i varukorg
BrunoBuchberger This book is a synopsis of basic and applied research done at the various re search institutions of the Softwarepark Hagenberg in Austria. Starting with 15 coworkers in my Research Institute for Symbolic Computation (RISC), I initiated the Softwarepark Hagenberg in 1987 on request …
Multivariate Analysemethoden
Eine anwendungsorientierte Einführung
Av Wolfgang Schreiner, Wulff Plinke m. fl.
E-bok, 2013
542 kr
Lägg i varukorg
