Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
| 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
| 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
| 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
| 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
| 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
| 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
| 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
| 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
| 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
| 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 | ||
| ||
