Contents of ISTA Thesis › ISTA Library catalog

	No cover image available Individual and social immunity against viral infections in ants by Franschitz, Anna Material type: Text; Format: print ; Literary form: Not fiction Publication details: Institute of Science and Technology Austria 2023 Online resources: Click here to access online Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis . Place hold
	No cover image available (The exact security of) Message Authentication Codes by Rybar, Michal Material type: Text; Format: print ; Literary form: Not fiction Publication details: IST Austria 2017 Online resources: Click here to access online Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis . Place hold
	No cover image available 2B or not 2B: Hippocampal asymmetries mediated by NMDA receptor subunit GluN2B C-terminus and high-throughput image analysis by Deep-Learning by Kleindienst, David Material type: Text; Format: print ; Literary form: Not fiction Publication details: Institute of Science and Technology Austria 2021 Online resources: Click here to access online Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis . Place hold
	No cover image available A role of graphs in evolutionary processes by Tkadlec, Josef Material type: Text; Format: print ; Literary form: Not fiction Publication details: IST Austria 2020 Online resources: Click here to access online Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis . Place hold
	No cover image available A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy by Michalska, Julia Magdalena Material type: Text; Format: print ; Literary form: Not fiction Publication details: Institute of Science and Technology 2023 Online resources: Click here to access online Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis . Place hold
	No cover image available Active properties of hippocampal CA3 pyramidal neuron dendrites by Kim, Sooyun Material type: Text; Format: print ; Literary form: Not fiction Publication details: IST Austria 2012 Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis . Place hold
	No cover image available Adaptive hierarchical representations in the hippocampus by Chiossi, Heloisa Santos Costa Material type: Text; Format: print ; Literary form: Not fiction Publication details: Institute of Science and Technology Austria 2024 Online resources: Click here to access online Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis . Place hold
	No cover image available Adaptive mutation in E. coli modulated by luxS by Hennessey, Michael Material type: Text; Format: print ; Literary form: Not fiction Publication details: Institute of Science and Technology Austria 2023 Online resources: Click here to access online Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis , New Arrivals October 2025. Place hold
	No cover image available Advances in efficiency and privacy in payment channel network analysis by Yeo, Michelle Material type: Text; Format: print ; Literary form: Not fiction Publication details: Institute of Science and Technology Austria 2023 Online resources: Click here to access online Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis . Place hold
	No cover image available Algorithmic advances in program analysis and their applications by Pavlogiannis, Andreas Material type: Text; Format: print ; Literary form: Not fiction Publication details: IST Austria 2017 Online resources: Click here to access online Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis . Place hold
	No cover image available Algorithms for causal learning and comparative analysis for genomic data by Machnik, Nick Noel Material type: Text; Format: print ; Literary form: Not fiction Publication details: Institute of Science and Technology Austria 2024 Online resources: Click here to access online Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis , New Arrivals October 2025. Place hold
	No cover image available Algorithms for partially observable markov decision processes by Chmelik, Martin Material type: Text; Format: print ; Literary form: Not fiction Publication details: IST Austria 2016 Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis . Place hold
	No cover image available Analysis of dynamic message passing programs by Zufferey, Damien Material type: Text; Format: print ; Literary form: Not fiction Publication details: IST Austria 2013 Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis . Place hold
	No cover image available Analytic and machine learning approaches to composite quantum impurities by Rzadkowski, Wojciech Material type: Text; Format: print ; Literary form: Not fiction Publication details: Institute of Science and Technology Austria 2022 Online resources: Click here to access online Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis . Place hold
	No cover image available Archaeal membranes: In silico modelling and design by Amaral, Miguel Material type: Text; Format: print ; Literary form: Not fiction Publication details: Institute of Science and Technology Austria 2024 Online resources: Click here to access online Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis , New Arrivals October 2025. Place hold
	No cover image available Automated verification and control of infinite state stochastic systems by Zikelic, Djordje Material type: Text; Format: print ; Literary form: Not fiction Publication details: Institute of Science and Technology Austria 2023 Online resources: Click here to access online Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis . Place hold
	No cover image available Automatic synthesis of synchronisation primitives for concurrent programs by Tarrach, Thorsten Material type: Text; Format: print ; Literary form: Not fiction Publication details: IST Austria 2016 Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis . Place hold
	No cover image available Automatic time-unbounded reachability analysis of hybrid systems by Giacobbe, Mirco Material type: Text; Format: print ; Literary form: Not fiction Publication details: IST Austria 2019 Online resources: Click here to access online Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis . Place hold
	No cover image available Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana by Gallei, Michelle Material type: Text; Format: print ; Literary form: Not fiction Publication details: Institute of Science and Technology Austria 2022 Online resources: Click here to access online Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis . Place hold
	No cover image available Bacterial herd and social immunity to phages by Payne, Pavel Material type: Text; Format: print ; Literary form: Not fiction Publication details: IST Austria 2017 Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis . Place hold