Wolfgang Schreiner: որոնել Z-Library կայքում

Գիտելիքների և մշակույթի ազատ հասանելիություն:

Don't use scam websites

Գրքեր (16)
Ամենահայտնի
Ցուցակ
- Ցուցակ
- Աղյուսակ

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

Տարի:

2021

Լեզու:

english

Ֆայլ:

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

Տարի:

2021

Լեզու:

english

Ֆայլ:

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

Տարի:

2023

Լեզու:

english

Ֆայլ:

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

Տարի:

2021

Լեզու:

english

Ֆայլ:

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

Տարի:

2023

Լեզու:

english

Ֆայլ:

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 (

Տարի:

2009

Լեզու:

english

Ֆայլ:

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

Տարի:

2021

Լեզու:

english

Ֆայլ:

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)

Տարի:

2019

Լեզու:

german

Ֆայլ:

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)

Տարի:

2019

Լեզու:

german

Ֆայլ:

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 (

Տարի:

2009

Լեզու:

english

Ֆայլ:

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.)

Տարի:

2007

Լեզու:

english

Ֆայլ:

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 (

Տարի:

2009

Լեզու:

english

Ֆայլ:

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.)

Տարի:

2007

Լեզու:

english

Ֆայլ:

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.)

Տարի:

1982

Լեզու:

german

Ֆայլ:

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.)

Տարի:

1985

Լեզու:

german

Ֆայլ:

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.)

Տարի:

1980

Լեզու:

german

Ֆայլ:

PDF, 8.31 MB

0 / 0

german, 1980