Тема, жанр, tags: Mathematics of Computing » Page 75 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematics of Computing » Page 75

book Entscheidbarkeit bei Petri Netzen: Überblick und Kompendium

Entscheidbarkeit bei Petri Netzen: Überblick und Kompendium

pdf

Author: Harro Wimmel (auth.)
Language: German
Year: 2008

00

27.01.2024

0

0

book Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III”

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III”

pdf

Author: Benedikt Löwe Boris Piwinger Thoralf Räsch (eds.)
Language: English
Year: 2004

00

27.01.2024

2

0

book Ludics, Dialogue and Interaction: PRELUDE Project - 2006-2009. Revised Selected Papers

Ludics, Dialogue and Interaction: PRELUDE Project - 2006-2009. Revised Selected Papers

pdf

Author: Marie-Renée Fleury Samuel Tronçon (auth.) Alain Lecomte Samuel Tronçon (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book High Performance Computing for Computational Science – VECPAR 2010: 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers

High Performance Computing for Computational Science – VECPAR 2010: 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers

pdf

Author: John Shalf Sudip Dosanjh John Morrison (auth.) José M. Laginha M. Palma Michel Daydé Osni Marques João Correia Lopes (eds.)
Language: English
Year: 2011

00

27.01.2024

5

0

book A Primer on Scientific Programming with Python

A Primer on Scientific Programming with Python

pdf

Author: Hans Petter Langtangen (auth.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Quaternions for computer graphics

Quaternions for computer graphics

pdf

Author: John Vince (auth.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

pdf

Author: André Platzer (auth.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Mathematics and Computation, a Contemporary View: The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006

Mathematics and Computation, a Contemporary View: The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006

pdf

Author: Xianfeng Gu Yalin Wang Hsiao-Bing Cheng (auth.) Hans Munthe-Kaas Brynjulf Owren (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book A Primer on Scientific Programming with Python

A Primer on Scientific Programming with Python

pdf

Author: Hans Petter Langtangen (auth.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Deterministic extraction from weak random sources

Deterministic extraction from weak random sources

pdf

Author: Ariel Gabizon
Language: English
Year: 2011

00

27.01.2024

1

0