Professional business directory

Find the best businesses and services near you. Discover verified companies across all industries.

Category: munchen

munchen Dec 28

Talesun Solar Germany GmbH Talesun

Producer name : Talesun Solar Germany GmbH Talesun Producer obligation type : B2C Producer registe

View Details
munchen Dec 28

Zooplus AG

Producer name : Zooplus AG  Producer obligation type : B2C Producer registered office address : So

View Details
munchen Dec 28

B.K.Licht GmbH & Co. KG

Producer name : B.K.Licht GmbH & Co. KG  Producer obligation type : B2C Producer registered office

View Details
munchen Dec 27

MNTR Europe GmbH MNTR Europe GmbH

Producer name : MNTR Europe GmbH MNTR Europe GmbH Producer obligation type : B2C Producer register

View Details
munchen Dec 27

B.K.Licht GmbH & Co. KG -

Producer name : B.K.Licht GmbH & Co. KG Producer trading name : Producer obligation type : B2C P

View Details
munchen Dec 27

MNTR Europe GmbH - MNTR Europe GmbH

Producer name : MNTR Europe GmbH Producer trading name : MNTR Europe GmbH Producer obligation type

View Details
munchen Oct 16

TEMPORAL LOGIC: FROM PHILOSOPHY AND PROOF THEORY TO ARTIFICIAL INTELLIGENCE AND QUANTUM COMPUTING - MAINZER KLAUS & CENTRONE STEFANIA

AUTHOR AFFILIATION : TECHNISCHE UNIV MUNCHEN, GERMANY PUB DATE : 12-May-23 ONLINE RELEASE DATE

View Details
munchen Oct 16

PROOF AND COMPUTATION II: FROM PROOF THEORY AND UNIVALENT MATHEMATICS TO PROGRAM EXTRACTION AND VERIFICATION - MAINZER KLAUS ET AL

AUTHOR AFFILIATION : TECHNISCHE UNIV MUNCHEN, GERMANY PUB DATE : 27-Jul-21 ONLINE RELEASE DATE

View Details
munchen Oct 16

PROOF AND COMPUTATION: DIGITIZATION IN MATHEMATICS, COMPUTER SCIENCE AND PHILOSOPHY - MAINZER KLAUS ET AL

AUTHOR AFFILIATION : TECHNISCHE UNIV MUNCHEN, GERMANY PUB DATE : 30-May-18 ONLINE RELEASE DATE

View Details
munchen Oct 16

DIGITAL AND THE REAL WORLD, THE: COMPUTATIONAL FOUNDATIONS OF MATHEMATICS, SCIENCE, TECHNOLOGY, AND PHILOSOPHY - MAINZER KLAUS

AUTHOR AFFILIATION : TECHNISCHE UNIV MUNCHEN, GERMANY PUB DATE : 17-Nov-17 ONLINE RELEASE DATE

View Details
munchen Oct 16

SIMULATING COPULAS: STOCHASTIC MODELS, SAMPLING ALGORITHMS, AND APPLICATIONS (SECOND EDITION) - SCHERER MATTHIAS ET AL

AUTHOR AFFILIATION : TECHNISCHE UNIV MUNCHEN, GERMANY PUB DATE : 7-Jun-17 ONLINE RELEASE DATE

View Details
munchen Oct 16

COMPLEX QUANTUM SYSTEMS: ANALYSIS OF LARGE COULOMB SYSTEMS - SIEDENTOP HEINZ

AUTHOR AFFILIATION : LUDWIG-MAXIMILIANS-UNIV MUNCHEN, GERMANY PUB DATE : 20-May-13 ONLINE RELE

View Details