Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- informatique theorique 72 Treffer
- theoretical computing 71 Treffer
- logiciel 55 Treffer
- software 55 Treffer
- language theory and syntactical analysis 35 Treffer
-
45 weitere Werte:
- theorie des langages et analyse syntaxique 35 Treffer
- automatique, recherche operationnelle 34 Treffer
- control theory, operational research 34 Treffer
- algorithmics. computability. computer arithmetics 32 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 32 Treffer
- memory organisation. data processing 29 Treffer
- organisation des memoires. traitement des donnees 29 Treffer
- mathematics 27 Treffer
- mathematiques 27 Treffer
- artificial intelligence 26 Treffer
- intelligence artificielle 26 Treffer
- computer theory 23 Treffer
- informatica teorica 23 Treffer
- sciences and techniques of general use 18 Treffer
- sciences et techniques communes 18 Treffer
- information systems. data bases 15 Treffer
- language theory 15 Treffer
- systemes d'information. bases de donnees 15 Treffer
- teoria lenguaje 15 Treffer
- theorie langage 15 Treffer
- data processing. list processing. character string processing 14 Treffer
- langage formel 14 Treffer
- regular language 14 Treffer
- traitement des donnees. listes et chaines de caracteres 14 Treffer
- decidabilite 13 Treffer
- decidability 13 Treffer
- decidibilidad 13 Treffer
- formal language 13 Treffer
- langage rationnel 13 Treffer
- lenguaje formal 13 Treffer
- lenguaje racional 13 Treffer
- computer systems and distributed systems. user interface 12 Treffer
- genie logiciel 12 Treffer
- software engineering 12 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 12 Treffer
- context free language 11 Treffer
- desarrollo logicial 11 Treffer
- developpement logiciel 11 Treffer
- langage cf 11 Treffer
- lenguaje cf 11 Treffer
- software development 11 Treffer
- distributed system 10 Treffer
- divers 10 Treffer
- generalites 10 Treffer
- inteligencia artificial 10 Treffer
Verlag
- springer 68 Treffer
- elsevier 28 Treffer
- edp sciences 14 Treffer
- ieee computer society 5 Treffer
- elsevier science 3 Treffer
-
12 weitere Werte:
- ieee 2 Treffer
- institute of electrical and electronics engineers 2 Treffer
- ieee computer society press 1 Treffer
- institute of mathematics and informatics 1 Treffer
- oxford university press 1 Treffer
- slovak academy of sciences 1 Treffer
- spie 1 Treffer
- springer-verlag 1 Treffer
- taylor & francis 1 Treffer
- taylor and francis 1 Treffer
- university computing centre 1 Treffer
- wiley 1 Treffer
Publikation
- lecture notes in computer science 53 Treffer
- theoretical computer science 17 Treffer
- informatique theorique et applications (imprime) 10 Treffer
- discrete applied mathematics 6 Treffer
- acta informatica 5 Treffer
-
45 weitere Werte:
- theoretical informatics and applications 4 Treffer
- information processing letters 3 Treffer
- uml 2003 - the unified modeling language (modeling languages and applications) 3 Treffer
- uml '99 : the unified modeling language : beyond the standard (fort collins co, 28-30 october 1999) 3 Treffer
- 11th ieee international conference and workshop on the engineering of computer-based systems (brno, 24-27 may 2004) 2 Treffer
- discrete mathematics 2 Treffer
- formal and natural computing-eessays dedicated to grzegorz rozenberg 2 Treffer
- formal aspects of computing 2 Treffer
- human error and sytem design and mangement (clausthal, 24-26 march 1999) 2 Treffer
- ieee transactions on knowledge and data engineering 2 Treffer
- lecture notes in control and information sciences 2 Treffer
- machine learning 2 Treffer
- pattern analysis and applications (print) 2 Treffer
- rsctc 2004 : rough sets and current trends in computing (uppsala, 1-5 june 2004) 2 Treffer
- theory is forever : essays dedicated to arto salomaa on the occasion of this 70th birthday 2 Treffer
- 0ifm 2005 1 Treffer
- 0spire 2005 1 Treffer
- 2004 international conference on image processing (icip 2004) 1 Treffer
- a bird's eye view of theory 1 Treffer
- advanced information systems engineering (klagenfurt/velden, 16-20 june 2003) 1 Treffer
- advanced information systems engineering (riga, 7-11 june 2004) 1 Treffer
- advances in applied mathematics (print) 1 Treffer
- advances in intelligent data analysis vi (madrid, 8-10 september 2005) 1 Treffer
- automata, languages and programming (geneva, 9-15 july 2000) 1 Treffer
- caip 2001 : computer analysis of images and patterns (warsaw, 5-7 september 2001) 1 Treffer
- cit. journal of computing and information technology 1 Treffer
- computational intelligence : theory and applications (dortmund, 1-3 october 2001) 1 Treffer
- computer journal (print) 1 Treffer
- computer software and applications conference (proceedings of the 28th annual international computer software and applications conference, workshops and fast abstracts, compsac 2004, 28-30 september 2004, hong kong) 1 Treffer
- computers and artificial intelligence 1 Treffer
- coordination languages and models (amsterdam, 26-28 april 1999) 1 Treffer
- developments in applied artificial intelligence (cairns, 17-20 june 2002) 1 Treffer
- developments in applied artificial intelligence (loughborough, 23-26 june 2003) 1 Treffer
- developments in grammar systems 1 Treffer
- dexa : database and expert systems applications (toulouse, september 1-5, 1997) 1 Treffer
- dexa 2001 : database and expert systems applications (munich, 3-5 september 2001) 1 Treffer
- dexa '99 : database and expert systems applications (florence, 30 august - 3 september 1999) 1 Treffer
- dlt 2001 : developments in language theory (wien, 16-21 july 2001, revised papers) 1 Treffer
- dlt 2003 : developements in language theory (szeged, 7-11 july 2003) 1 Treffer
- embedded software and systems (1st international conference, icess 2004, hangzhou, china, december 9-10, 2004, revised selected lectures) 1 Treffer
- engineering of intelligent systems (budapest, 4-7 june 2001) 1 Treffer
- fct 2001 : fundamentals of computational theory (riga, 22-24 august 2001) 1 Treffer
- fct 2003 : fundamentals of computation theory (malmo, 12-15 august 2003) 1 Treffer
- fct '99 : fundamentals of computation theory (iasi, 30 august - 3 september 1999) 1 Treffer
- fm'99 : formal methods (toulouse, 20-24 september 1999) 1 Treffer
Sprache
Geographischer Bezug
132 Treffer
-
In: IEEE transactions on control systems technology, Jg. 15 (2007), Heft 6, S. 991-1002Online academicJournalZugriff:
-
In: IEEE Transactions on intelligent transportation systems, Jg. 12 (2011), Heft 3, S. 884-894Online academicJournalZugriff:
-
In: 2004 International Conference on Image Processing (ICIP 2004), 2004KonferenzZugriff:
-
In: String processing and information retrieval (12th international conference, SPIRE 2005), 2005, S. 301-314KonferenzZugriff:
-
In: Advances in intelligent data analysis VI (Madrid, 8-10 September 2005), 2005, S. 464-474KonferenzZugriff:
-
In: Networking and mobile computing (Zhangjiajie, 2-4 August 2005), 2005, S. 133-142KonferenzZugriff:
-
In: Embedded software and systems (1st international conference, ICESS 2004, Hangzhou, China, December 9-10, 2005, S. 536-541KonferenzZugriff:
-
In: Integrated formal methods (5th international conference, IFM 2005), 2005, S. 167-186KonferenzZugriff:
-
In: ZB 2005 : formal specification and developments in Z and B (Guildford, 13-15 April 2005), 2005, S. 142-161KonferenzZugriff:
-
In: Grid and cooperative computing - GCC 2004 workshops (Wuhan, 21-24 October 2004), 2004, S. 474-481KonferenzZugriff:
-
In: FTDCS 2004 (proceedings), 2004, S. 312-318KonferenzZugriff:
-
In: RSCTC 2004 : rough sets and current trends in computing (Uppsala, 1-5 June 2004), 2004, S. 49-58KonferenzZugriff:
-
In: GCC 2004 : grid and cooperative computing (Wuhan, 21-24 October 2004), 2004, S. 527-534KonferenzZugriff:
-
In: STACS 2004 (Montpellier, 25-27 March 2004), 2004, S. 294-304KonferenzZugriff:
-
In: Image and video retrieval (Dublin, 21-23 July 2004), 2004, S. 582-591KonferenzZugriff:
-
In: Advanced information systems engineering (Riga, 7-11 June 2004), 2004, S. 398-413KonferenzZugriff:
-
In: 11th IEEE international conference and workshop on the engineering of computer-based systems (Brno, 24-27 May 2004), 2004, S. 378-387KonferenzZugriff:
-
In: RSCTC 2004 : rough sets and current trends in computing (Uppsala, 1-5 June 2004), 2004, S. 780-785KonferenzZugriff:
-
In: 11th IEEE international conference and workshop on the engineering of computer-based systems (Brno, 24-27 May 2004), 2004, S. 307-314KonferenzZugriff:
-
In: NLDB 2004 : natural language processing and information systems (Salford, 23-25 June 2004), 2004, S. 1-12KonferenzZugriff: