![Verification of Java card programs [Elektronische Ressource] / von Kurt Stenzel](https://img.uscri.be/pth/85a9a3968c6f20f9830b28e981d88400881eac3c)
Documents
Savoirs
Verification of Java card programs [Elektronische Ressource] / von Kurt Stenzel
Editeur
universitat_augsburg
Publications
(
82
)
![Data analysis methods in knowledge space theory [Elektronische Ressource] / eingereicht von Anatol Sargin](https://img.uscri.be/pth/9e631c2d463b095a0f9e58889e798c3e79537d8d)
![Dynamic coarse grained reconfigurable architectures [Elektronische Ressource] / presented by Basher Shehan](https://img.uscri.be/pth/af2dcf7dd02a8f49f4ca6f956ba9377606cd83c2)
![Development of models to implement low dimensional structures in correlated electronic systems [Elektronische Ressource] / vorgelegt von Christian Hackenberger](https://img.uscri.be/pth/b7406da672c06845c4fe269cca8f3565eff07066)
![Determinants of the internationalization-performance relationship [Elektronische Ressource] : an empirical examination of the influence of organizational and contextual variables / vorgelegt von Sebastian Sieler](https://img.uscri.be/pth/79c6929e228561c4d9588f5d0d3c488b8af9167d)
![Designing and enacting cross organisational business processes [Elektronische Ressource] : a model driven, ontology-based approach / Stephan Roser](https://img.uscri.be/pth/0e83dfe6ae8edd6e6e8ffcf71e867bb977361074)
![Density functional theory on a lattice [Elektronische Ressource] / von Stefan Schenk](https://img.uscri.be/pth/e113dca8f80fc87a53faeb25fdc662d19643fb9b)
![Decoherence of spatially separated quantum bits [Elektronische Ressource] / vorgelegt von Roland Doll](https://img.uscri.be/pth/a419bac637c091972942f26537b1f8961a57ab90)
![Customer markets and the real effects of monetary policy shocks [Elektronische Ressource] / vorgelegt von Nikolay Hristov](https://img.uscri.be/pth/5f7a9abbfd18273c70292a0c9f27e463776238a8)
![Charge transport in polymeric field effect devices [Elektronische Ressource] / vorgelegt von Silviu-Cosmin Grecu](https://img.uscri.be/pth/d460058e967b34299d5cc04e33c6e86e792b9b00)
![Carbon nanostructures under high pressure studied by infrared spectroscopy [Elektronische Ressource] / vorgelegt von Komalavalli Thirunavukkuarasu](https://img.uscri.be/pth/59df87bbd3420bf55b64780f21ef34f03341ebeb)
![Average and asymptotic properties of apportionment methods for proportional representation [Elektronische Ressource] / von Udo Schwingenschlögl](https://img.uscri.be/pth/732f7805b675ca204641e5232f34a8898bc5e265)
![Central limit theorems for empirical product densities of stationary point processes [Elektronische Ressource] / von Stella Veronica David](https://img.uscri.be/pth/d1ce21a1e0246b5cfab41fa7a24ab8c3a581c37d)
![Bosonization of dimerized spinless-fermion and Hubbard chains [Elektronische Ressource] / von Carmen Mocanu](https://img.uscri.be/pth/a8c113eab93eede7504acb00d2e014f28b9458cc)
![Applications of surface acoustic waves (SAW) for chemical and biological analysis [Elektronische Ressource] / by Kumudesh Sritharan](https://img.uscri.be/pth/30887ceb7b04b03e826e0b26ccc25bda9a060337)
![Anionic substitution in perovskite-type oxides [Elektronische Ressource] / vorgelegt von Dmitry Logvinovich](https://img.uscri.be/pth/0a1f92f8ef848575bb005331d6d72dd417165e3e)
![An a posteriori error analysis for distributed elliptic optimal control problems with pointwise state constraints [Elektronische Ressource] / vorgelegt von Michael Kieweg](https://img.uscri.be/pth/8418af1aae54a194c1e35790867bd38fd21e6f5f)
![An empirical analysis of structural forces in refractory metal markets [Elektronische Ressource] / von Dirk Johannes Langhammer](https://img.uscri.be/pth/504c3eb17289e515d18d0f76780b9037b68bd5d2)
![The physics of von Willebrand factor (VWF) [Elektronische Ressource] / von Daniel Michael Steppich](https://img.uscri.be/pth/0863b7f196ae3b947e0463af77ab8fff71c98643)
![Verifying concurrent systems with symbolic execution [Elektronische Ressource] : temporal reasoning is symbolic execution with a little induction / von Michael Balser](https://img.uscri.be/pth/b3762c9de94a222048650a95919f3e82e20a8389)
![Understanding losses in OLEDs [Elektronische Ressource] : optical device simulation and electrical characterization using impedance spectroscopy / Stefan Nowy](https://img.uscri.be/pth/58d23aaafd0017f68be9f32a8e51c781f10e25c8)
![Study of interface properties in LaAlO_1tn3, SrTiO_1tn3 heterostructures [Elektronische Ressource] / vorgelegt von Stefan Patrick Thiel](https://img.uscri.be/pth/82a1fa7b3161e80661a9cf0f9913dafcf030a4ee)
![The role of interfaces in enzyme activity and cell adaptation [Elektronische Ressource] / vorgelegt von Stefan Nuschele](https://img.uscri.be/pth/2baf2e53ccd28a284d38fc4a862f0bf769086893)
![The SEC and BaFin [Elektronische Ressource] : US and German capital market supervision in comparison / vorgelegt von Veronika Fischer](https://img.uscri.be/pth/c393f1065857e7154e55d2d3b322b1d0a912b0b7)
![Topic models for image retrieval on large scale databases [Elektronische Ressource] / Eva Hörster](https://img.uscri.be/pth/423712baf1895da5420a05c40a3751de7bf8c126)
![Transport properties of metal-metal and metal-insulator heterostructures [Elektronische Ressource] / Mohamed Mostafa Fadlallah Elabd](https://img.uscri.be/pth/003294cf898debd569cd8a9cca42c366b1e94a71)
![Time-dependent Kondo model with a factorized initial state [Elektronische Ressource] / von Dmitry Lobaskin](https://img.uscri.be/pth/b6d8081e519cfa0ce84be454976ece32e7b305bf)
![Synthesis, structure, microstructure, and thermoelectric properties of perovskite-type manganate phases [Elektronische Ressource] / vorgelegt von Laura Bocher](https://img.uscri.be/pth/7ff22f9365dcfad2dcf2d81d8649f23b2a25835d)
![Synthesis, properties and applications of AB(O,N)_1tn3 oxynitride perovskites [Elektronische Ressource] / vorgelegt von Rosiana Aguiar](https://img.uscri.be/pth/f290188b017e234a71a583b0dcef3b8894818611)
![The effectiveness of a proposed integrative program for developing some mathematical concepts and skills necessary for students learning geography [Elektronische Ressource] / von Ahmed Zaree Ahmed Zaree](https://img.uscri.be/pth/b2d3ab013c007c6bdbfd08993e1d491ad8e2c78f)