|
(The exact security of) Message Authentication Codes by Rybar, Michal. Material type:  Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2017Online access: Click here to access online Availability: Items available for loan: Library (1).
|
|
A role of graphs in evolutionary processes by Tkadlec, Josef. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2020Online access: Click here to access online Availability: Items available for loan: Library (1).
|
|
Active properties of hippocampal CA3 pyramidal neuron dendrites by Kim, Sooyun. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2012Availability: Items available for loan: Library (1).
|
|
Algorithmic advances in program analysis and their applications by Pavlogiannis, Andreas. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2017Online access: Click here to access online Availability: Items available for loan: Library (1).
|
|
Algorithms for partially observable markov decision processes by Chmelik, Martin. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2016Availability: Items available for loan: Library (1).
|
|
Analysis of dynamic message passing programs by Zufferey, Damien. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2013Availability: Items available for loan: Library (1).
|
|
Automatic synthesis of synchronisation primitives for concurrent programs by Tarrach, Thorsten. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2016Availability: Items available for loan: Library (1).
|
|
Automatic time-unbounded reachability analysis of hybrid systems by Giacobbe, Mirco. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2019Online access: Click here to access online Availability: Items available for loan: Library (1).
|
|
Bacterial herd and social immunity to phages by Payne, Pavel. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2017Availability: Items available for loan: Library (1).
|
|
Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I by Steiner, Julia. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2020Online access: Click here to access online Availability: Items available for loan: Library (1).
|
|
Biology of restriction-modification systems at the single-cell and population level by Pleska, Maros. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2017Online access: Click here to access online Availability: Items available for loan: Library (1).
|
|
Branched Actin networks in dendritic cell biology by Leithner, Alexander. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2018Online access: Click here to access online Availability: Items available for loan: Library (1).
|
|
Brittle fracture simulation with boundary elements for computer graphics by Hahn, David. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2017Online access: Click here to access online Availability: Items available for loan: Library (1).
|
|
Bulk actin dynamics drive phase segregation in zebrafish oocytes by Shami Pour, Shayan. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria Online access: Click here to access online Availability: Items available for loan: Library (1).
|
|
Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation by Barone, Vanessa. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2017Online access: Click here to access online Availability: Items available for loan: Library (1).
|
|
Charge sensing and spin relaxation times of holes in Ge hut wires by Vukusic, Lada. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2018Online access: Click here to access online Availability: Items available for loan: Library (1).
|
|
Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants by Narasimhan, Madhumitha. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2019Online access: Click here to access online Availability: Items available for loan: Library (1).
|
|
Coevolution of transcription factors and their binding sites in sequence space by Prizak, Roshan. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2019Online access: Click here to access online Availability: Items available for loan: Library (1).
|
|
Collective defenses of garden ants against a fungal pathogen by Casillas Perez, Barbara Elisa. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2019Online access: Click here to access online Availability: Items available for loan: Library (1).
|
|
Combinatorial width parameters for 3-dimensional manifolds by Huszar, Kristof. Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: IST Austria 2020Online access: Click here to access online Availability: Items available for loan: Library (1).
|