top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...