Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science; control theory; systems 43 Treffer
- informatique; automatique theorique; systemes 43 Treffer
- computer science 42 Treffer
- informatique 42 Treffer
- mathematics 42 Treffer
-
45 weitere Werte:
- mathematiques 42 Treffer
- ingenierie connaissances 34 Treffer
- knowledge engineering 34 Treffer
- matematicas 33 Treffer
- artificial intelligence 29 Treffer
- intelligence artificielle 29 Treffer
- apprentissage et systemes adaptatifs 27 Treffer
- learning and adaptive systems 27 Treffer
- logiciel 14 Treffer
- memory organisation. data processing 14 Treffer
- organisation des memoires. traitement des donnees 14 Treffer
- software 14 Treffer
- formula matematica 12 Treffer
- formule mathematique 12 Treffer
- mathematical formula 12 Treffer
- information systems. data bases 11 Treffer
- metallurgie, soudage 11 Treffer
- metallurgy, welding 11 Treffer
- metals. metallurgy 11 Treffer
- metaux. metallurgie 11 Treffer
- physics 11 Treffer
- physique 11 Treffer
- systemes d'information. bases de donnees 11 Treffer
- chimie generale, chimie physique 8 Treffer
- demonstration theoreme 8 Treffer
- demostracion teorema 8 Treffer
- etude experimentale 8 Treffer
- experimental study 8 Treffer
- general chemistry, physical chemistry 8 Treffer
- polymeres, industries des peintures et bois 8 Treffer
- polymers, paint and wood industries 8 Treffer
- theorem proving 8 Treffer
- biblioteca electronica 7 Treffer
- bibliotheque electronique 7 Treffer
- electronic library 7 Treffer
- electronics 7 Treffer
- electronique 7 Treffer
- proof theory 7 Treffer
- teoria demonstracion 7 Treffer
- theorie preuve 7 Treffer
- estudio experimental 6 Treffer
- semantica 6 Treffer
- semantics 6 Treffer
- semantique 6 Treffer
- automatic proving 5 Treffer
Verlag
Publikation
- lecture notes in computer science 42 Treffer
- mkm 2004 : mathematical knowledge management (bialowieza, 19-21 september 2004) 27 Treffer
- mkm 2003 : mathematical knowledge management (bertinoro, 16-18 february 2003) 15 Treffer
- fizika i himia obrabotki materialov 8 Treffer
- spie proceedings series 2 Treffer
-
21 weitere Werte:
- 18th international conference on photoelectronics and night vision devices (25-28 may 2004, moscow, russia) 1 Treffer
- canadian journal of civil engineering (print) 1 Treffer
- computer support for integrated design and manufacture engineering 1 Treffer
- fiber and integrated optics 1 Treffer
- fiber optics in italy 1 Treffer
- giesserei 1 Treffer
- ieee transactions on communications 1 Treffer
- in-line methods and monitors for process and yield improvement (santa clara ca, 22-23 september 1999) 1 Treffer
- international journal of manufacturing research (print) 1 Treffer
- journal de physique. iv 1 Treffer
- journal of magnetism and magnetic materials 1 Treffer
- mehanika kompozitnyh materialov 1 Treffer
- metall (berlin, west) 1 Treffer
- metallovedenie i termiceskaa obrabotka metallov 1 Treffer
- neftepererabotka i neftehimija (moskva) 1 Treffer
- network architectures, management, and applications ii (beijing, 9-11 november 2004) 1 Treffer
- proceedings of spie, the international society for optical engineering 1 Treffer
- proceedings of the 5th european workshop on low temperature electronics: wolte 5, june 19-21, 2002, grenoble, france 1 Treffer
- proceedings of the joint european magnetic symposia, jems'01. part ii 1 Treffer
- teplofizika vysokih temperatur 1 Treffer
- the confederation bridge 1 Treffer
Sprache
Geographischer Bezug
67 Treffer
-
In: 18th international conference on photoelectronics and night vision devices (25-28 May 2004, Moscow, Russia), 2005, S. 98-105KonferenzZugriff:
-
In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 1-16KonferenzZugriff:
-
In: MKM 2003 : mathematical knowledge management (Bertinoro, 16-18 February 2003), 2003, S. 17-29KonferenzZugriff:
-
In: Giesserei, Jg. 88 (2001), Heft 2, S. 38-41academicJournalZugriff:
-
In: Metall (Berlin, West), Jg. 55 (2001), Heft 7-8, S. 433-435KonferenzZugriff:
-
In: Fizika i himiâ obrabotki materialov, 1992, Heft 4, S. 46-51academicJournalZugriff:
-
In: Mehanika kompozitnyh materialov, 1984, Heft 3, S. 535-537academicJournalZugriff:
-
academicJournalZugriff:
-
In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 175-189KonferenzZugriff:
-
In: MKM 2003 : mathematical knowledge management (Bertinoro, 16-18 February 2003), 2003, S. 45-55KonferenzZugriff:
-
In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 116-129KonferenzZugriff:
-
In: MKM 2003 : mathematical knowledge management (Bertinoro, 16-18 February 2003), 2003, S. 56-65KonferenzZugriff:
-
In: IEEE transactions on communications, Jg. 61 (2013), Heft 2, S. 658-668Online academicJournalZugriff:
-
In: In-line methods and monitors for process and yield improvement (Santa Clara CA, 22-23 September 1999), 1999, S. 269-276KonferenzZugriff:
-
In: Fizika i himiâ obrabotki materialov, 1990, Heft 2, S. 95-98academicJournalZugriff:
-
In: Fizika i himiâ obrabotki materialov, 1991, Heft 2, S. 115-117academicJournalZugriff:
-
In: Metallovedenie i termičeskaâ obrabotka metallov, Jg. 32 (1986), Heft 3, S. 50-52academicJournalZugriff:
-
In: Network architectures, management, and applications II (Beijing, 9-11 November 2004), 2005, S. 1096-1104KonferenzZugriff:
-
In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 236-250KonferenzZugriff:
-
In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 378-392KonferenzZugriff: