Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- logiciel 34 Treffer
- software 34 Treffer
- informatique theorique 24 Treffer
- theoretical computing 24 Treffer
- artificial intelligence 18 Treffer
-
45 weitere Werte:
- intelligence artificielle 18 Treffer
- memory organisation. data processing 16 Treffer
- organisation des memoires. traitement des donnees 16 Treffer
- information systems. data bases 12 Treffer
- systemes d'information. bases de donnees 12 Treffer
- language theory and syntactical analysis 11 Treffer
- theorie des langages et analyse syntaxique 11 Treffer
- desarrollo logicial 10 Treffer
- developpement logiciel 10 Treffer
- software development 10 Treffer
- telecommunications 10 Treffer
- genie logiciel 9 Treffer
- software engineering 9 Treffer
- apprentissage et systemes adaptatifs 8 Treffer
- distributed system 8 Treffer
- documentation 8 Treffer
- general 8 Treffer
- generalites 8 Treffer
- learning and adaptive systems 8 Treffer
- mathematics 8 Treffer
- mathematiques 8 Treffer
- sistema repartido 8 Treffer
- systeme reparti 8 Treffer
- telecommunications and information theory 8 Treffer
- telecommunications et theorie de l'information 8 Treffer
- inteligencia artificial 7 Treffer
- automatique, recherche operationnelle 6 Treffer
- computer theory 6 Treffer
- control theory, operational research 6 Treffer
- informatica teorica 6 Treffer
- programming theory 6 Treffer
- theorie programmation 6 Treffer
- algorithmics. computability. computer arithmetics 5 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 5 Treffer
- computer systems and distributed systems. user interface 5 Treffer
- langage programmation 5 Treffer
- langages de programmation 5 Treffer
- lenguaje programacion 5 Treffer
- program verification 5 Treffer
- programming language 5 Treffer
- programming languages 5 Treffer
- semantica 5 Treffer
- semantics 5 Treffer
- semantique 5 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 5 Treffer
Publikation
- lecture notes in computer science 55 Treffer
- acta informatica 6 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
- formal and natural computing-eessays dedicated to grzegorz rozenberg 2 Treffer
-
45 weitere Werte:
- formal aspects of computing 2 Treffer
- human error and sytem design and mangement (clausthal, 24-26 march 1999) 2 Treffer
- lecture notes in control and information sciences 2 Treffer
- machine learning 2 Treffer
- multimedia systems 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
- 0msn 2005 1 Treffer
- 0spire 2005 1 Treffer
- aaecc-14 : applied algebra, algebraic algorithms and error-correcting codes (melbourne, 26-30 november 2001) 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 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
- computational intelligence : theory and applications (dortmund, 1-3 october 2001) 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
- 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
- digital cities ii : computational and sociological approaches (kyoto, 18-20 october 2001, revised papers) 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
- environmental earth sciences (print) 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
- fmco 2002 : formal methods for components and objects (leiden, 5-8 november 2002, revised lectures) 1 Treffer
- fpl 2002 : field-programmable logic and applications (montpellier, 2-4 september 2002) 1 Treffer
- ftrtft 2000 : formal techniques in real-time and fault-tolerant systems (pune, 20-22 september 2000) 1 Treffer
- gcc 2004 : grid and cooperative computing (wuhan, 21-24 october 2004) 1 Treffer
- grid and cooperative computing - gcc 2004 workshops (wuhan, 21-24 october 2004) 1 Treffer
- image and video retrieval (dublin, 21-23 july 2004) 1 Treffer
- implementation and applications of automata (santa barbara ca, 16-18 july 2003) 1 Treffer
- integrated formal methods (5th international conference, ifm 2005) 1 Treffer
- mfcs 2001 : mathematical foundations of computer science (marianske lazne, 27-31 august 2001) 1 Treffer
- mfcs 2002 : mathematical foundations of computer science (warsaw, 26-30 august 2002) 1 Treffer
- mobile ad-hoc and sensor networks (first international conference, msn 2005, wuhan, china, december 13-15, 2005) 1 Treffer
- mpc 2002 : mathematics of program construction (dagstuhl castle, 8-10 july 2002) 1 Treffer
Sprache
Geographischer Bezug
76 Treffer
-
In: Digital cities II : computational and sociological approaches (Kyoto, 18-20 october 2001, revised papers), 2002, S. 191-202KonferenzZugriff:
-
In: Environmental earth sciences (Print), Jg. 71 (2014), Heft 10, S. 4447-4462Online academicJournalZugriff:
-
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: Mobile ad-hoc and sensor networks (First international conference, MSN 2005, Wuhan, China, December 13-15, 2005), 2005, S. 1026-1035KonferenzZugriff:
-
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: 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: RSCTC 2004 : rough sets and current trends in computing (Uppsala, 1-5 June 2004), 2004, S. 780-785KonferenzZugriff:
-
In: NLDB 2004 : natural language processing and information systems (Salford, 23-25 June 2004), 2004, S. 1-12KonferenzZugriff:
-
In: Developments in applied artificial intelligence (Loughborough, 23-26 June 2003), 2003, S. 134-147KonferenzZugriff:
-
In: STACS 2003 : 20th annual symposium on theoretical aspects of computer science (Berlin, 27 February - 1 March 2003), 2003, S. 74-84KonferenzZugriff:
-
In: SPIRE 2003 : string processing and information retrieval (Manaus, 8-10 October 2003), 2003, S. 287-303KonferenzZugriff: