Category: technische
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 DetailsCORPORATE UNDERGROUND: BOOTLEG INNOVATION AND CONSTRUCTIVE DEVIANCE - AUGSDORFER PETER
AUTHOR AFFILIATION : TECHNISCHE HOCHSCHULE INGOLSTADT, GERMANY PUB DATE : 6-Sep-22 ONLINE RELE
View DetailsPROOF 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 DetailsPROOF 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 DetailsDOCUMENT ANALYSIS AND TEXT RECOGNITION: BENCHMARKING STATE-OF-THE-ART SYSTEMS - MARGNER VOLKER ET AL
AUTHOR AFFILIATION : TECHNISCHE UNIV BRAUNSCHWEIG, GERMANY PUB DATE : 27-Feb-18 ONLINE RELEASE
View DetailsDIGITAL 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 DetailsINTERNATIONAL TRADE AND LABOR MARKETS: WELFARE, INEQUALITY, AND UNEMPLOYMENT - KREICKEMEIER UDO
AUTHOR AFFILIATION : TECHNISCHE UNIV DRESDEN, GERMANY PUB DATE : 17-Oct-17 ONLINE RELEASE DATE
View DetailsSIMULATING 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 DetailsEFFECTIVE TECHNOLOGY TRANSFER IN BIOTECHNOLOGY: BEST PRACTICE CASE STUDIES IN EUROPE - UECKE OLIVER ET AL
AUTHOR AFFILIATION : TECHNISCHE UNIV DRESDEN & LIPOTYPE GMBH, GERMANY PUB DATE : 6-Jan-15 ONLI
View DetailsLOCAL ACTIVITY PRINCIPLE: THE CAUSE OF COMPLEXITY AND SYMMETRY BREAKING - MAINZER KLAUS ET AL
AUTHOR AFFILIATION : TECHNISCHE UNIV MUNCHEN, GERMANY PUB DATE : 15-Mar-13 ONLINE RELEASE DATE
View DetailsRANDOM WALK IN RANDOM AND NON-RANDOM ENVIRONMENTS (THIRD EDITION) - REVESZ PAL
AUTHOR AFFILIATION : TECHNISCHE UNIV WIEN, AUSTRIA PUB DATE : 6-Mar-13 ONLINE RELEASE DATE : 1
View DetailsPROTEIN-PROTEIN COMPLEXES: ANALYSIS, MODELING AND DRUG DESIGN - ZACHARIAS MARTIN
AUTHOR AFFILIATION : TECHNISCHE UNIV MUNCHEN, GERMANY PUB DATE : 4-May-10 ONLINE RELEASE DATE
View Details