Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- generalites 49 Treffer
- exact sciences and technology 47 Treffer
- sciences exactes et technologie 47 Treffer
- applied sciences 35 Treffer
- sciences appliquees 35 Treffer
-
45 weitere Werte:
- computer science 20 Treffer
- informatique 19 Treffer
- computer science; control theory; systems 18 Treffer
- informatique; automatique theorique; systemes 18 Treffer
- logiciel 15 Treffer
- physics 15 Treffer
- software 15 Treffer
- physique 14 Treffer
- informatique theorique 13 Treffer
- theoretical computing 13 Treffer
- fonctions logiques, booleennes et de commutation 9 Treffer
- logical, boolean and switching functions 9 Treffer
- demonstration theoreme 8 Treffer
- demostracion teorema 8 Treffer
- theorem proving 8 Treffer
- genie mecanique. construction mecanique 7 Treffer
- logical programming 7 Treffer
- mechanical engineering. machine design 7 Treffer
- programacion logica 7 Treffer
- programmation logique 7 Treffer
- biology 6 Treffer
- classical and quantum physics: mechanics and fields 6 Treffer
- mathematics 6 Treffer
- mathematiques 6 Treffer
- physiques classique et quantique: mecanique et champs 6 Treffer
- automatique, recherche operationnelle 5 Treffer
- control theory, operational research 5 Treffer
- environment 5 Treffer
- environnement 5 Treffer
- etude experimentale 5 Treffer
- experimental study 5 Treffer
- formal verification 5 Treffer
- genie mecanique 5 Treffer
- instruments, apparatus, components and techniques common to several branches of physics and astronomy 5 Treffer
- instruments, appareillage, composants et techniques communs a plusieurs branches de la physique et de l'astronomie 5 Treffer
- mechanical engineering 5 Treffer
- pollution 5 Treffer
- verification formelle 5 Treffer
- agriculture 4 Treffer
- bose-einstein condensation 4 Treffer
- capteurs (chimiques, optiques, electriques, de mouvement, de gaz, etc.); teledetection 4 Treffer
- chemistry 4 Treffer
- chimie 4 Treffer
- condensation bose einstein 4 Treffer
- desarrollo producto 4 Treffer
Verlag
- m-brain - news monitoring 54 Treffer
- springer 19 Treffer
- elsevier 8 Treffer
- bns - business news ru 7 Treffer
- estonian review 7 Treffer
-
41 weitere Werte:
- the baltic course - news in english 7 Treffer
- bns - business news 6 Treffer
- bns business weekly 4 Treffer
- baltic business news 3 Treffer
- mcgill university 3 Treffer
- diario 5 dias - news 2 Treffer
- edp sciences 2 Treffer
- elsevier science 2 Treffer
- tampere university of technology 2 Treffer
- taylor & francis 2 Treffer
- al bawaba - nna news 1 Treffer
- american association for the advancement of science 1 Treffer
- american society of civil engineers 1 Treffer
- birkhauser-verlag 1 Treffer
- clarin 1 Treffer
- clarin - news 1 Treffer
- contify energy news 1 Treffer
- escholarship, university of california 1 Treffer
- eska 1 Treffer
- excelsior online -newspaper 1 Treffer
- fondation louis de broglie 1 Treffer
- food and agriculture 1 Treffer
- food industry - ukraine and cis 1 Treffer
- inderscience publishers 1 Treffer
- isant: radio & tv monitor 1 Treffer
- laboratoire national de metrologie et d'essais 1 Treffer
- lavoisier 1 Treffer
- leta business news 1 Treffer
- mangolia press 1 Treffer
- mechanical engineering publications 1 Treffer
- newton media - instinkt 1 Treffer
- optical society of america 1 Treffer
- pci 1 Treffer
- portafolio - economy today 1 Treffer
- portal fator brasil - general 1 Treffer
- que pasa magazine 1 Treffer
- rbc daily 1 Treffer
- scholarly repository 1 Treffer
- selper 1 Treffer
- spie 1 Treffer
- vb 1 Treffer
Publikation
- m-brain - news monitoring 54 Treffer
- lecture notes in computer science 18 Treffer
- bns - business news ru 7 Treffer
- estonian review 7 Treffer
- the baltic course - news in english 7 Treffer
-
45 weitere Werte:
- bns - business news 6 Treffer
- tphols 2003 : theorem proving in higher order logics (rome, 8-12 september 2003) 6 Treffer
- bns business weekly 4 Treffer
- baltic business news 3 Treffer
- automated deduction - cade-19 (miami beach fl, 28 july - 2 august 2003) 2 Treffer
- environmental technology 2 Treffer
- journal de physique. iv 2 Treffer
- programming languages and systems (barcelona, 29 march - 2 april 2004) 2 Treffer
- schriftenreihe wdk 2 Treffer
- tlca 2003 : typed lambda calculi and applications (valencia, 10-12 june 2003) 2 Treffer
- tphols 2001 : theorem proving in higher order logics (edinburgh, 3-6 september 2001) 2 Treffer
- world class design by world class methods : iced 97 (tampere, 1997) 2 Treffer
- 1905-2005 : a propos d'einstein 1 Treffer
- advances in manufacturing processes and management techniques 1 Treffer
- annales de la fondation louis de broglie 1 Treffer
- applied physics. b, lasers and optics (print) 1 Treffer
- automated reasoning with analytic tableaux and related methods (saratoga springs ny, 7-11 june 1999) 1 Treffer
- catalysis today 1 Treffer
- chimie du verre 1 Treffer
- comptes rendus de l'academie des sciences. serie 1, mathematique 1 Treffer
- comptes rendus de l'academie des sciences. serie iv, physique, astrophysique 1 Treffer
- comptes rendus. chimie 1 Treffer
- de aardrijkskunde 1 Treffer
- design methods for performance and sustainability (glasgow, 21-23 august 2001) 1 Treffer
- dissertations from proquest 1 Treffer
- energy policy 1 Treffer
- formal methods and software engineering (singapore, 5-7 november 2003) 1 Treffer
- ingenieurs de l'automobile (paris) 1 Treffer
- international journal of manufacturing technology and management 1 Treffer
- international journal of production research 1 Treffer
- journal of environmental engineering (new york, ny) 1 Treffer
- journal of environmental management 1 Treffer
- lpar 2003 : logic for programming artificial intelligence, and reasoning (almaty, 22-26 september 2003) 1 Treffer
- materials research bulletin 1 Treffer
- mechanism and machine theory 1 Treffer
- microelectronics and reliability 1 Treffer
- optics letters 1 Treffer
- optique et interferometrie atomiques 1 Treffer
- photo interpretation (paris) 1 Treffer
- photonic glass (ispg 2002) (shanghai, 14-17 october 2002) 1 Treffer
- quantum mechanics for space application: from quantum optics to atom optics and general relativity 1 Treffer
- revue francaise de genie civil 1 Treffer
- revue francaise de metrologie 1 Treffer
- science (washington, d.c.) 1 Treffer
- septieme colloque sur les lasers et l'optique quantique, coloq 7, rennes, france, 5-7 septembre 2001 1 Treffer
Sprache
Geographischer Bezug
174 Treffer
-
In: TPHOLs 2001 : theorem proving in higher order logics (Edinburgh, 3-6 September 2001), 2001, S. 154-168KonferenzZugriff:
-
In: TLCA 2003 : typed lambda calculi and applications (Valencia, 10-12 June 2003), 2003, S. 271-285KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 270-286KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 87-102KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 335-351KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 155-170KonferenzZugriff:
-
In: De Aardrijkskunde, 2007, Heft 1, S. 33-37academicJournalZugriff:
-
In: Contify Energy News, 2019-10-01, S. 1ZeitungsartikelZugriff:
-
In: Que Pasa Magazine, 2014-07-23, S. 6ZeitungsartikelZugriff:
-
In: Journal of Comparative Physiology B: Biochemical, Systems, and Environmental Physiology, vol 180, iss 7, 2010academicJournalZugriff:
-
In: Excelsior Online -Newspaper, 2017-09-12, S. 1ZeitungsartikelZugriff:
-
In: BNS - Business News RU, 2015-09-23, S. 2ZeitungsartikelZugriff:
-
In: Diario 5 Dias - News, 2015-03-23, S. 2ZeitungsartikelZugriff:
-
In: BNS - Business News RU, 2015-02-25, S. 2ZeitungsartikelZugriff:
-
In: BNS - Business News RU, 2015-10-29, S. 1ZeitungsartikelZugriff:
-
In: BNS Business Weekly, 2015-08-17, S. 1ZeitungsartikelZugriff:
-
In: BNS - Business News, 2015-08-13, S. 1ZeitungsartikelZugriff:
-
In: BNS - Business News RU, 2015-04-29, S. 1ZeitungsartikelZugriff:
-
In: BNS - Business News RU, 2015-04-07, S. 1ZeitungsartikelZugriff:
-
In: BNS - Business News RU, 2015-03-12, S. 1ZeitungsartikelZugriff: