A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler |
Autore | Lochbihler Andreas |
Pubbl/distr/stampa | KIT Scientific Publishing, 2012 |
Descrizione fisica | 1 electronic resource (XXI, 412 p. p.) |
Soggetto non controllato |
Java
formal semantics type safety memory model concurrency |
ISBN | 1000028867 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Machine-Checked, Type-Safe Model of Java Concurrency
A Machine-Checked, Type-Safe Model of Java Concurrency |
Record Nr. | UNINA-9910346893103321 |
Lochbihler Andreas | ||
KIT Scientific Publishing, 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A Multiscale In Silico Study to Characterize the Atrial Electrical Activity of Patients With Atrial Fibrillation : A Translational Study to Guide Ablation Therapy |
Autore | Patricio Sánchez Arciniegas Jorge |
Pubbl/distr/stampa | Karlsruhe, : KIT Scientific Publishing, 2022 |
Descrizione fisica | 1 electronic resource (162 p.) |
Collana | Karlsruhe transactions on biomedical engineering |
Soggetto topico | Electrical engineering |
Soggetto non controllato |
Vorhofflimmern
Fibrose maschinelles Lernen Bidomain Modellierung des Herzens atrial fibrillation fibrosis machine learning bidomain cardiac modeling |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Multiscale In Silico Study to Characterize the Atrial Electrical Activity of Patients With Atrial Fibrillation |
Record Nr. | UNINA-9910576868403321 |
Patricio Sánchez Arciniegas Jorge | ||
Karlsruhe, : KIT Scientific Publishing, 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A new method of seawater desalination via acrylic acid based hydrogels: Synthesis, characterisation, and experimental realisation |
Autore | Höpfner Johannes |
Pubbl/distr/stampa | KIT Scientific Publishing, 2014 |
Descrizione fisica | 1 electronic resource (XVI, 290 p. p.) |
Soggetto non controllato |
Polyelectrolyte networks
Desalination Pore size determination Hydrogel |
ISBN | 1000037415 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
New method of seawater desalination via acrylic acid based hydrogels
A new method of seawater desalination via acrylic acid based hydrogels |
Record Nr. | UNINA-9910347056803321 |
Höpfner Johannes | ||
KIT Scientific Publishing, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A Semantic Wiki-based Platform for IT Service Management |
Autore | Kleiner Frank |
Pubbl/distr/stampa | KIT Scientific Publishing, 2015 |
Descrizione fisica | 1 electronic resource (XI, 609 p. p.) |
Soggetto non controllato |
IT-Service-Management
Semantic Wiki ITSM Wiki Semantisches Wiki |
ISBN | 1000045291 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910346784003321 |
Kleiner Frank | ||
KIT Scientific Publishing, 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A Smoothed Particle Hydrodynamics Method for the Simulation of Centralized Sloshing Experiments |
Autore | Vorobyev Alexander |
Pubbl/distr/stampa | KIT Scientific Publishing, 2013 |
Descrizione fisica | 1 electronic resource (XIV, 122 p. p.) |
Soggetto non controllato |
CFD
Sloshing Recriticality SPH Free Surface Flows |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910346889303321 |
Vorobyev Alexander | ||
KIT Scientific Publishing, 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Abbildende Ellipsometrie mit Lichtwegumkehrung für die optische Charakterisierung von gekrümmten Oberflächen |
Pubbl/distr/stampa | KIT Scientific Publishing |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910735569403321 |
KIT Scientific Publishing | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Abbildende Ellipsometrie mit Lichtwegumkehrung für die optische Charakterisierung von gekrümmten Oberflächen |
Pubbl/distr/stampa | KIT Scientific Publishing |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNINA-9910805595703321 |
KIT Scientific Publishing | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Abbildung demographischer Prozesse in Verkehrsentstehungsmodellen mit Hilfe von Längsschnittdaten |
Autore | Ottmann Peter |
Pubbl/distr/stampa | KIT Scientific Publishing, 2010 |
Descrizione fisica | 1 electronic resource (XVI, 144 p. p.) |
Collana | Schriftenreihe / Institut für Verkehrswesen, Karlsruher Institut für Technologie |
Soggetto non controllato |
demographischer Wandel
Verkehrsentstehung Verkehrsplanung Längsschnittdaten |
ISBN | 1000019587 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNINA-9910688413303321 |
Ottmann Peter | ||
KIT Scientific Publishing, 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Abhängigkeit der Exposition von der Zellgröße beim Mobilfunk unter Gewährleistung der Versorgung |
Autore | Baldauf Michael |
Pubbl/distr/stampa | KIT Scientific Publishing, 2015 |
Descrizione fisica | 1 electronic resource (XIX, 271 p. p.) |
Collana | Karlsruher Forschungsberichte aus dem Institut für Hochfrequenztechnik und Elektronik |
Soggetto non controllato |
Wellenausbreitung
wave propagation Funknetzplanung mobile communications Mobilfunk EMVU Sicherheit in elektromagnetischen FeldernEMF safety EMF exposure bioelectromagnetics radio network planning Exposition |
ISBN | 1000044724 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNINA-9910346719003321 |
Baldauf Michael | ||
KIT Scientific Publishing, 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Ableitung einer Beziehung zwischen der Radarreflektivität, der Niederschlagsrate und weiteren aus Radardaten abgeleiteten Parametern unter Verwendung von Methoden der multivariaten Statistik |
Autore | Peters Tim |
Pubbl/distr/stampa | KIT Scientific Publishing, 2012 |
Descrizione fisica | 1 electronic resource (VII, 226 p. p.) |
Collana | Wissenschaftliche Berichte des Instituts für Meteorologie und Klimaforschung des Karlsruher Instituts für Technologie |
Soggetto non controllato | Radarmeteorologie Niederschlag Hauptkomponentenanalyse neuronale NetzeClusteranalyse |
ISBN | 1000009933 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNINA-9910346928103321 |
Peters Tim | ||
KIT Scientific Publishing, 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|