Search alternatives:
automation theory » automata theory, animation theory, automated theory
estimation theory » optimization theory
automatic theory » automatic theorem, automata theory, axiomatic theory
languages » language
automation theory » automata theory, animation theory, automated theory
estimation theory » optimization theory
automatic theory » automatic theorem, automata theory, axiomatic theory
languages » language
Narrow Search
006 - Special computer methods
103
005 - Computer programming, programs & data
96
004 - Data processing & computer science
46
040 - [Unassigned]
16
511 - General principles of mathematics
10
025 - Library operations
8
more ...
003 - Systems
7
670 - Manufacturing
5
621 - Applied physics
4
629 - Other branches of engineering
4
140 - Specific philosophical schools
2
400 - Language
2
516 - Geometry
2
620 - Engineering & allied operations
2
000 - Computer science, information & general works
1
001 - Knowledge
1
100 - Philosophy & psychology
1
300 - Social sciences
1
330 - Economics
1
371 - Schools & their activities; special education
1
410 - Linguistics
1
418 - Standard usage & applied linguistics
1
500 - Natural sciences & mathematics
1
512 - Algebra
1
518 - Numerical analysis
1
519 - Probabilities & applied mathematics
1
600 - Technology
1
700 - The arts; fine & decorative arts
1
720 - Architecture
1
900 - History & geography
1
see all ...
less ...
Voronkov, Andrei
6
Margaria, Tiziana
5
Artemov, Sergei
4
Nerode, Anil
4
Baumgartner, Peter
3
Kapur, Deepak
3
more ...
Konev, Boris
3
Perner, Petra
3
Pichler, Franz
3
Ras, Zbigniew W.
3
Steffen, Bernhard
3
Basin, David
2
Camacho, Rui
2
Comon, Hubert
2
Dongarra, Jack
2
Dowek, Gilles
2
Engels, Gregor
2
Fuhr, Norbert
2
Furbach, Ulrich
2
Gelbukh, Alexander
2
Giunchiglia, Fausto
2
Harth, Andreas
2
Hähnle, Reiner
2
Kerber, Manfred
2
Kirrane, Sabrina
2
Kroening, Daniel
2
Leake, David
2
Legay, Axel
2
Leino, K. Rustan M.
2
Moreno-Diaz, Roberto
2
Métais, Elisabeth
2
Narukawa, Yasuo
2
Nipkow, Tobias
2
Paulheim, Heiko
2
Pfenning, Frank
2
Păsăreanu, Corina S.
2
Richter, Michael M.
2
Schewe, Klaus-Dieter
2
Shi, Zhongzhi
2
Silva, Alexandra
2
Spiliopoulou, Myra
2
Sutcliffe, Geoff
2
Wagner, Roland
2
Wang, Dongming
2
Zemankova, Maria
2
van der Hoek, Wiebe
2
Acosta, Maribel
1
Agah, Arvin
1
Agrawal, Jagdish C.
1
Alagar, V.S.
1
Albada, Geert Dick van
1
Albornoz, Alvaro de
1
Albrecht, Rudolf
1
Alferes, Jose, Julio
1
Ali, Moonis
1
Alkhalaf, Muath
1
Alloum, Amira
1
Alonso, Omar
1
Alur, Rajeev
1
Alves-Foss, James
1
Amin, Adnan
1
Andersen, Kim V.
1
Anderson, Michael
1
Andersson, Birger
1
Aoki, Toshiaki
1
Apolloni, Bruno
1
Armando, Alessandro
1
Artikis, Alexander
1
Astesiano, Egidio
1
Autexier, Serge
1
Aydin, Abdulbaki
1
Baader, Franz
1
Banach, Richard
1
Banda, Maria Garcia
1
Banerjee, Utpal
1
Baresi, Luciano
1
Bartolini, Claudio
1
Basili, Roberto
1
Battistutti, Osvaldo C.
1
Baumgarten, Bernd
1
Beckert, Bernhard
1
Benatallah, Boualem
1
Benjamins, V. Richard
1
Berghammer, Rudolf
1
Bergholtz, Maria
1
Berns, Karsten
1
Berry, Gerard
1
Berthé, Valérie
1
Bi, Yaxin
1
Bidoit, Michel
1
Bieger, Jordi
1
Biere, Armin
1
Biondi, Fabrizio
1
Biro, Miklos
1
Blackburn, Patrick
1
Blazy, Sandrine
1
Bloem, Roderick
1
Bock, Hans-Hermann
1
Bolc, Leonard
1
Bomarius, Frank
1
see all ...
less ...
Search Tools