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 761 Treffer
- informatique; automatique theorique; systemes 761 Treffer
- software 400 Treffer
- logiciel 399 Treffer
- informatique theorique 339 Treffer
-
45 weitere Werte:
- theoretical computing 339 Treffer
- mathematics 322 Treffer
- mathematiques 322 Treffer
- automatique, recherche operationnelle 233 Treffer
- control theory, operational research 233 Treffer
- operational research. management science 183 Treffer
- recherche operationnelle. gestion 183 Treffer
- operational research and scientific management 181 Treffer
- recherche operationnelle et modeles formalises de gestion 181 Treffer
- algorithmics. computability. computer arithmetics 169 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 169 Treffer
- computer systems and distributed systems. user interface 141 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 141 Treffer
- artificial intelligence 138 Treffer
- intelligence artificielle 138 Treffer
- genie logiciel 129 Treffer
- software engineering 129 Treffer
- sciences and techniques of general use 117 Treffer
- sciences et techniques communes 117 Treffer
- memory organisation. data processing 99 Treffer
- organisation des memoires. traitement des donnees 99 Treffer
- queuing theory. traffic theory 93 Treffer
- theorie des files d'attente. theorie du trafic 93 Treffer
- file attente 89 Treffer
- distributed system 84 Treffer
- sistema repartido 84 Treffer
- systeme reparti 84 Treffer
- modeling 72 Treffer
- modelisation 72 Treffer
- modelizacion 72 Treffer
- information systems. data bases 71 Treffer
- systemes d'information. bases de donnees 71 Treffer
- fila espera 70 Treffer
- queue 70 Treffer
- telecommunications and information theory 66 Treffer
- telecommunications et theorie de l'information 66 Treffer
- language theory and syntactical analysis 64 Treffer
- theorie des langages et analyse syntaxique 64 Treffer
- computer theory 63 Treffer
- informatica teorica 63 Treffer
- semantica 63 Treffer
- semantics 63 Treffer
- semantique 63 Treffer
- telecommunications 61 Treffer
- pattern recognition. digital image processing. computational geometry 56 Treffer
Verlag
- centrum voor wiskunde en informatica 367 Treffer
- springer 278 Treffer
- elsevier 95 Treffer
- centre for mathematics and computer science 53 Treffer
- society for industrial and applied mathematics 29 Treffer
-
23 weitere Werte:
- elsevier science 20 Treffer
- kluwer 17 Treffer
- association for computing machinery 13 Treffer
- ieee 13 Treffer
- ieee computer society 10 Treffer
- institute of electrical and electronics engineers 7 Treffer
- acm 5 Treffer
- acm press 4 Treffer
- applied probability trust 4 Treffer
- academic press 3 Treffer
- ieee computer society press 3 Treffer
- institution of electrical engineers 2 Treffer
- oxford university press 2 Treffer
- spie 2 Treffer
- springer-verlag 2 Treffer
- aconit 1 Treffer
- association for computing machinery, special interest group on programming languages 1 Treffer
- blackwell 1 Treffer
- edp sciences 1 Treffer
- lavoisier 1 Treffer
- mit press 1 Treffer
- plenum publishing 1 Treffer
- university computing centre 1 Treffer
Publikation
- lecture notes in computer science 222 Treffer
- report - software engineering 158 Treffer
- report - probability, networks and algorithms 111 Treffer
- report - information systems 77 Treffer
- report - department of operations research, statistics, and system theory 53 Treffer
-
45 weitere Werte:
- theoretical computer science 47 Treffer
- siam journal on computing (print) 22 Treffer
- queueing systems 17 Treffer
- information processing letters 15 Treffer
- information and computation (print) 11 Treffer
- report - department of numerical mathematics 11 Treffer
- automatica (oxford) 10 Treffer
- report - modelling, analysis and simulation 10 Treffer
- formal aspects of computing 8 Treffer
- siam journal on discrete mathematics (print) 7 Treffer
- algorithmica 6 Treffer
- discrete applied mathematics 6 Treffer
- journal of cryptology 6 Treffer
- acm sigplan notices 5 Treffer
- acm transactions on mathematical software 5 Treffer
- computers & operations research 5 Treffer
- acta informatica 4 Treffer
- automata, languages and programming (eindhoven, 30 june - 4 july 2003) 4 Treffer
- formal methods for components and objects 4 Treffer
- journal of applied probability 4 Treffer
- 0iswc 2006 3 Treffer
- 2004 international conference on image processing (icip 2004) 3 Treffer
- acm transactions on programming languages and systems 3 Treffer
- algorithms - esa 2002 (rome, 17-21 september 2002) 3 Treffer
- amast 2004 : algebraic methodology and software technology (stirling, 12-16 july 2004) 3 Treffer
- automata, languages and programming (lisbon, 11-15 july 2005) 3 Treffer
- automata, languages and programming (prague, 11-15 july 1999) 3 Treffer
- cmcs'02 : coalgebraic methods in computer science (grenoble, 6-7 april 2002) 3 Treffer
- constraints (dordrecht) 3 Treffer
- fmco 2002 : formal methods for components and objects (leiden, 5-8 november 2002, revised lectures) 3 Treffer
- journal of computational and applied mathematics 3 Treffer
- mfcs 2000 : mathematical foundations of computer science (bratislava, 28 august - 1 september 2000) 3 Treffer
- processes, terms and cycles : steps on the road to infinity (essays dedicated to jan willem klop on the occasion of his 60th birthday) 3 Treffer
- the semantic web (iswc 2006) 3 Treffer
- 0crypto 2005 2 Treffer
- 19th ieee annual conference on computational complexity (21-24 june, 2004, amherst, massachusetts) 2 Treffer
- advances in cryptology (crypto 2005) 2 Treffer
- advances in databases (chilton, 9-11 july 2001) 2 Treffer
- advances in databases (exeter, 3-5 july 2000) 2 Treffer
- agent-mediated electronic commerce v : designing mechanisms and systems (melbourne, 15 july 2003, revised selected papers) 2 Treffer
- amcp '98 : advanced multimedia content processing (osaka, 9-11 november 1998) 2 Treffer
- annual symposium on foundations of computer science 2 Treffer
- clima v : computational logic in multi-agent systems (lisbon, 29-30 september 2004, revised selected and invited papers) 2 Treffer
- communications of the acm 2 Treffer
- computer communications 2 Treffer
Sprache
Geographischer Bezug
942 Treffer
-
In: AI 2002 : advances in artificial intelligence (Calgary AB, 27-29 May 2002), 2002, S. 185-194KonferenzZugriff:
-
In: RSCTC 2002 : rough sets and current trends in computing (Malvern PA, 14-16 October 2002), 2002, S. 339-343KonferenzZugriff:
-
In: DBISP2P : databases, information systems, and peer-to-peer computing (Berlin, 7-8 September 2003, revised papers), 2004, S. 153-168KonferenzZugriff:
-
In: Parallel and distributed processing (San Juan PR, 12-16 April 1999), 1999, S. 1046-1054KonferenzZugriff:
-
In: Data management systems (San Sebastian, July 19-21, 1995), 1995, S. 240-251KonferenzZugriff:
-
In: Report - Software engineering, 2003, Heft 6, S. 1-34academicJournalZugriff:
-
In: Report - Information systems, 2003, Heft 6, S. 1-18academicJournalZugriff:
-
In: Report - Software engineering, 2000, Heft 39, S. 1-50academicJournalZugriff:
-
In: Report - Department of Numerical Mathematics, 1995, Heft 22, S. 1-20academicJournalZugriff:
-
In: Pattern recognition, Jg. 28 (1995), Heft 6, S. 907-920academicJournalZugriff:
-
In: Formal methods for real-time and probabilistic systems (Bamberg, 26-28 May 1999), 1999KonferenzZugriff:
-
In: Journal of automated reasoning, Jg. 53 (2014), Heft 2, S. 129-139Online academicJournalZugriff:
-
In: Journal of cryptology, Jg. 27 (2014), Heft 2, S. 284-316Online academicJournalZugriff:
-
In: Multimedia tools and applications, Jg. 70 (2014), Heft 1, S. 199-236Online academicJournalZugriff:
-
In: Computer (Long Beach, CA), Jg. 47 (2014), Heft 7, S. 86-89Online academicJournalZugriff:
-
In: Machine vision and applications, Jg. 25 (2014), Heft 1, S. 99-117Online academicJournalZugriff:
-
In: SIGIR 2006 (proceedings of the Twenty-Ninth annual international ACM SIGIR Conference on research and development in information retrieval, August 6-11, 2006, S. 501-508KonferenzZugriff:
-
In: Programming languages and systems (15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006), 2006, S. 1-6KonferenzZugriff:
-
In: Positive systems (proceedings of the second Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 06), Grenoble, France, Aug. 30-31, Sept. 1, 2006), 2006, S. 431-438KonferenzZugriff:
-
In: Algebraic methodology and software technology, Jg. 351 (2006), Heft 2, S. 240-257Online Konferenz