Universität der Bundeswehr München: AtheneForschung
Logo
Benutzer: Gast  Login
Sortieren nach:
und:
zurückweiter

Brattka, Vasco; Downey, Rodney; Knight, Julia F.; Lempp, Steffen (Ed.):
Computability Theory
, Oberwolfach, Germany
, Mathematisches Forschungsinstitut Oberwolfach
2018

Konferenzband / Conference Publication
Ambos-Spies, Klaus; Brattka, Vasco; Downey, Rodney; Lempp, Steffen (Ed.):
Computability Theory (Dagstuhl Seminar 17081)
, Dagstuhl, Germany
, Schloss Dagstuhl-Leibniz-Zentrum für Informatik
. In: Dagstuhl Reports,
7.
2017
, 2
. - S. 89-101

Konferenzband / Conference Publication
Brattka, Vasco:
Computability and Analysis, a Historical Approach
, Switzerland
, Springer
. In: Pursuit of the Universal,
2016
. - S. 45-57

Konferenzbeitrag / Conference Paper
Avigad, Jeremy; Brattka, Vasco:
Computability and analysis
, Cambridge, UK
, Cambridge University Press
. In: Turing's Legacy,
2014
. - S. 1-47

Sammelbandbeitrag / Paper in Collective Volume
Dehmer, Matthias; Emmert-Streib, Frank; Pickl, Stefan (Ed.):
Computational Network Theory
, Weinheim
, Wiley-VCH
2015

Herausgeberwerk / Edited Book
Kropat, Erik; Meyer-Nieberg, Silja; Weber, Gerhard Wilhelm:
Computational networks and systems–homogenization of variational problems on micro-architectured networks and devices
. In: Optimization Methods and Software,
34.
2019
, 3
. - S. 586-611

Zeitschriftenartikel / Journal Article
Izhutkin, Viktor; Kocheshkov, I.; Pickl, Stefan:
Computer model of colony of microorganisms causing community acquired pneumonia for solving the problem of optimization of the concentration of antibiotic
. In: International Journal of Applied and Fundamental Research,
2018.
2018
, 6

Zeitschriftenartikel / Journal Article
Teodorescu, Horia-Nicolai; Pickl, Stefan:
Computing and optimizing the index of resilience of networks and information systems
. In: Romanian Journal of Information Science and Technology (ROMJIST),
19.
2016
, 1-2
. - S. 116-126

Zeitschriftenartikel / Journal Article
Berger, Ulrich; Brattka, Vasco; Selivanov, Victor; Spreen, Dieter; Tsuiki, Hideki (Ed.):
Computing with Infinite Data: Topological and Logical Foundations Part 1
, Cambridge
, Cambridge University Press
. In: Mathematical Structures in Computer Science,
25.
2015
, 7

Konferenzband / Conference Publication
Berger, Ulrich; Brattka, Vasco; Selivanov, Victor; Spreen, Dieter; Tsuiki, Hideki (Ed.):
Computing with Infinite Data: Topological and Logical Foundations Part 2
, Cambridge
, Cambridge University Press
. In: Mathematical Structures in Computer Science,
25.
2015
, 8

Konferenzband / Conference Publication
Sortieren nach:
und:
zurückweiter