Wolfgang Schreiner : rechercher sur Z-Library

Libre accès à la connaissance et à la culture.

Don't use scam websites

Livres (16)
Les plus populaires
Liste
- Liste
- Tableau

1

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Wolfgang Schreiner

Année:

2021

Langue:

english

Fichier:

PDF, 10.80 MB

5.0 / 5.0

english, 2021

2

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Wolfgang Schreiner

Année:

2021

Langue:

english

Fichier:

EPUB, 93.67 MB

0 / 0

english, 2021

3

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Wolfgang Schreiner

Année:

2023

Langue:

english

Fichier:

PDF, 4.14 MB

0 / 5.0

english, 2023

4

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Wolfgang Schreiner

Année:

2021

Langue:

english

Fichier:

PDF, 10.80 MB

0 / 0

english, 2021

5

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Springer Nature

Wolfgang Schreiner

Année:

2023

Langue:

english

Fichier:

EPUB, 86.96 MB

0 / 0

english, 2023

6

Hagenberg Research

Hagenberg Research

Springer-Verlag Berlin Heidelberg

Bruno Buchberger (auth.), Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger (

Année:

2009

Langue:

english

Fichier:

PDF, 12.77 MB

0 / 5.0

english, 2009

7

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Wolfgang Schreiner

Année:

2021

Langue:

english

Fichier:

EPUB, 93.67 MB

0 / 0

english, 2021

8

Jüdische Schriften aus hellenistisch-römischer Zeit. Lieferung 1 Die griechische Baruch-Apokalypse. Das Apokryphon Ezechiel: Band V: Apokalypsen, Lieferung 1

Jüdische Schriften aus hellenistisch-römischer Zeit. Lieferung 1 Die griechische Baruch-Apokalypse. Das Apokryphon Ezechiel: Band V: Apokalypsen, Lieferung 1

Gütersloher Verlagshaus

Wolfgang Hage (editor), Karl-Gottfried Eckart (editor), Werner Georg Kümmel (editor), Christian Habicht (editor), Otto Kaiser (editor), Otto Plöger (editor), Josef Schreiner (editor)

Année:

2019

Langue:

german

Fichier:

PDF, 4.08 MB

0 / 0

german, 2019

9

Jüdische Schriften aus hellenistisch-römischer Zeit. Lieferung 3 Die Elia-Apokalypse: Band V: Apokalypsen, Lieferung 3

Jüdische Schriften aus hellenistisch-römischer Zeit. Lieferung 3 Die Elia-Apokalypse: Band V: Apokalypsen, Lieferung 3

Gütersloher Verlagshaus

Wolfgang Schrage (editor), Werner Georg Kümmel (editor), Christian Habicht (editor), Otto Kaiser (editor), Otto Plöger (editor), Josef Schreiner (editor)

Année:

2019

Langue:

german

Fichier:

PDF, 8.74 MB

0 / 0

german, 2019

10

Hagenberg research

Hagenberg research

Springer-Verlag Berlin Heidelberg

Bruno Buchberger (auth.), Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger (

Année:

2009

Langue:

english

Fichier:

PDF, 12.62 MB

0 / 0

english, 2009

11

Lasers in the Conservation of Artworks: LACONA VI Proceedings, Vienna, Austria, Sept. 21–25, 2005

Lasers in the Conservation of Artworks: LACONA VI Proceedings, Vienna, Austria, Sept. 21–25, 2005

Springer-Verlag Berlin Heidelberg

John F. Asmus (auth.), Mag Johann Nimmrichter, Professor Wolfgang Kautek, Professor Manfred Schreiner (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 15.58 MB

0 / 0

english, 2007

12

Hagenberg research

Hagenberg research

Springer-Verlag Berlin Heidelberg

Bruno Buchberger (auth.), Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger (

Année:

2009

Langue:

english

Fichier:

PDF, 10.74 MB

0 / 0

english, 2009

13

Lasers in the Conservation of Artworks: LACONA VI Proceedings, Vienna, Austria, Sept. 21–25, 2005

Lasers in the Conservation of Artworks: LACONA VI Proceedings, Vienna, Austria, Sept. 21–25, 2005

Springer-Verlag Berlin Heidelberg

John F. Asmus (auth.), Mag Johann Nimmrichter, Professor Wolfgang Kautek, Professor Manfred Schreiner (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 17.56 MB

0 / 0

english, 2007

14

Multivariate Analysemethoden: Eine anwendungsorientierte Einführung

Multivariate Analysemethoden: Eine anwendungsorientierte Einführung

Springer Berlin Heidelberg

Dr. Christiane Schuchard-Ficher, Prof. Dr. Klaus Backhaus, Dipl.-Ökonom Udo Humme, Dr. Werner Lohrberg, Prof. Dr. Wulff Plinke, Dr. Wolfgang Schreiner (auth.)

Année:

1982

Langue:

german

Fichier:

PDF, 9.16 MB

0 / 0

german, 1982

15

Multivariate Analysemethoden: Eine anwendungsorientierte Einführung

Multivariate Analysemethoden: Eine anwendungsorientierte Einführung

Springer Berlin Heidelberg

Dr. Chr. Schuchard-Ficher, Prof. Dr. Klaus Backhaus, Dipl.-Ökonom Udo Humme, Dr. Werner Lohrberg, Prof. Dr. Wulff Plinke, Dr. Wolfgang Schreiner (auth.)

Année:

1985

Langue:

german

Fichier:

PDF, 9.16 MB

0 / 0

german, 1985

16

Multivariate Analysemethoden: Eine anwendungsorientierte Einführung

Multivariate Analysemethoden: Eine anwendungsorientierte Einführung

Springer Berlin Heidelberg

Dr. Christiane Schuchard-Ficher, Prof. Dr. Klaus Backhaus, Dipl.-Ökonom Udo Humme, Dr. Werner Lohrberg, Dr. Wulff Plinke, Dipl.-Ökonom Wolfgang Schreiner (auth.)

Année:

1980

Langue:

german

Fichier:

PDF, 8.31 MB

0 / 0

german, 1980