Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 10 Treffer
- computer science; control theory; systems 10 Treffer
- informatique 10 Treffer
- informatique; automatique theorique; systemes 10 Treffer
- logiciel 9 Treffer
-
45 weitere Werte:
- software 9 Treffer
- batiment. travaux publics 6 Treffer
- buildings. public works 6 Treffer
- metallurgie 6 Treffer
- metallurgy 6 Treffer
- metals. metallurgy 6 Treffer
- metalurgia 6 Treffer
- metaux. metallurgie 6 Treffer
- auger electron spectrometry 5 Treffer
- concurrency 5 Treffer
- simultaneidad informatica 5 Treffer
- simultaneite informatique 5 Treffer
- spectrometrie auger 5 Treffer
- chemisorption 4 Treffer
- chimisorption 4 Treffer
- computer systems and distributed systems. user interface 4 Treffer
- condensed matter: structure, mechanical and thermal properties 4 Treffer
- cristallographie 4 Treffer
- cristallography 4 Treffer
- cristalografia 4 Treffer
- energie 4 Treffer
- energy 4 Treffer
- etat condense: structure, proprietes mecaniques et thermiques 4 Treffer
- genie logiciel 4 Treffer
- model checking 4 Treffer
- physics 4 Treffer
- physique 4 Treffer
- program verification 4 Treffer
- software engineering 4 Treffer
- structure des liquides et des solides; cristallographie 4 Treffer
- structure of solids and liquids; crystallography 4 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 4 Treffer
- verificacion modelo 4 Treffer
- verificacion programa 4 Treffer
- verification modele 4 Treffer
- verification programme 4 Treffer
- adsorbant metallique 3 Treffer
- adsorbat mineral 3 Treffer
- adsorption gaz solide 3 Treffer
- analisis estatica 3 Treffer
- analyse statique 3 Treffer
- chemistry 3 Treffer
- chimie 3 Treffer
- chimie generale 3 Treffer
- chimie generale et chimie physique 3 Treffer
Verlag
Publikation
- lecture notes in computer science 5 Treffer
- applied intelligence (boston) 1 Treffer
- autonomous agents and multi-agent systems 1 Treffer
- cav 2001 : computer aided verification (paris, 18-22 july 2001) 1 Treffer
- cav 2004 : computer aided verification (boston ma, 13-17 july 2004) 1 Treffer
-
11 weitere Werte:
- expert systems with applications 1 Treffer
- formal aspects of computing 1 Treffer
- ifm 2004 : integrated formal methods (canterbury, 4-7 april 2004) 1 Treffer
- international journal on software tools for technology transfer (print) 1 Treffer
- jsme international journal. series b, fluids and thermal engineering 1 Treffer
- pact 2001 : parallel computing technologies (novosibirsk, 3-7 september 2001) 1 Treffer
- proceedings of the institution of civil engineers. structures and buildings 1 Treffer
- renewable energy 1 Treffer
- sem : software engineering and middleware (orlando fl, 20-21 may 2002, revised papers) 1 Treffer
- t & t international 1 Treffer
- vgb powertech 1 Treffer
Sprache
Geographischer Bezug
26 Treffer
-
-
In: SEM : Software engineering and middleware (Orlando FL, 20-21 May 2002, revised papers), 2003, S. 102-114KonferenzZugriff:
-
In: International journal on software tools for technology transfer (Print), Jg. 7 (2005), Heft 2, S. 184-194Online academicJournalZugriff:
-
academicJournalZugriff:
-
academicJournalZugriff:
-
In: Renewable energy, Jg. 69 (2014), S. 89-96academicJournalZugriff:
-
In: Applied intelligence (Boston), Jg. 41 (2014), Heft 1, S. 235-259Online academicJournalZugriff:
-
In: IFM 2004 : integrated formal methods (Canterbury, 4-7 April 2004), 2004, S. 307-327KonferenzZugriff:
-
In: CAV 2004 : computer aided verification (Boston MA, 13-17 July 2004), 2004, S. 492-495KonferenzZugriff:
-
In: Expert systems with applications, Jg. 40 (2013), Heft 1, S. 122-138academicJournalZugriff:
-
In: Autonomous agents and multi-agent systems, Jg. 27 (2013), Heft 3, S. 375-418Online academicJournalZugriff:
-
In: PaCT 2001 : parallel computing technologies (Novosibirsk, 3-7 September 2001), 2001, S. 17-26KonferenzZugriff: