Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 942 Treffer
- informatique 942 Treffer
- computer science; control theory; systems 805 Treffer
- informatique; automatique theorique; systemes 805 Treffer
- software 414 Treffer
-
45 weitere Werte:
- logiciel 413 Treffer
- mathematics 352 Treffer
- mathematiques 352 Treffer
- informatique theorique 345 Treffer
- theoretical computing 345 Treffer
- automatique, recherche operationnelle 300 Treffer
- control theory, operational research 300 Treffer
- operational research. management science 226 Treffer
- recherche operationnelle. gestion 226 Treffer
- operational research and scientific management 221 Treffer
- recherche operationnelle et modeles formalises de gestion 221 Treffer
- algorithmics. computability. computer arithmetics 172 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 172 Treffer
- computer systems and distributed systems. user interface 149 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 149 Treffer
- artificial intelligence 142 Treffer
- intelligence artificielle 142 Treffer
- genie logiciel 129 Treffer
- sciences and techniques of general use 129 Treffer
- sciences et techniques communes 129 Treffer
- software engineering 129 Treffer
- telecommunications and information theory 129 Treffer
- telecommunications et theorie de l'information 129 Treffer
- telecommunications 125 Treffer
- queuing theory. traffic theory 108 Treffer
- theorie des files d'attente. theorie du trafic 108 Treffer
- file attente 101 Treffer
- memory organisation. data processing 101 Treffer
- organisation des memoires. traitement des donnees 101 Treffer
- modeling 89 Treffer
- modelisation 89 Treffer
- modelizacion 89 Treffer
- distributed system 87 Treffer
- sistema repartido 87 Treffer
- systeme reparti 87 Treffer
- information, signal and communications theory 83 Treffer
- theorie de l'information, du signal et des communications 83 Treffer
- fila espera 82 Treffer
- queue 82 Treffer
- information systems. data bases 73 Treffer
- systemes d'information. bases de donnees 73 Treffer
- language theory and syntactical analysis 64 Treffer
- semantica 64 Treffer
- semantics 64 Treffer
- semantique 64 Treffer
Verlag
- centrum voor wiskunde en informatica 367 Treffer
- springer 303 Treffer
- elsevier 143 Treffer
- centre for mathematics and computer science 53 Treffer
- institute of electrical and electronics engineers 50 Treffer
-
37 weitere Werte:
- elsevier science 31 Treffer
- society for industrial and applied mathematics 29 Treffer
- kluwer 17 Treffer
- ieee 15 Treffer
- association for computing machinery 13 Treffer
- ieee computer society 10 Treffer
- institute for operations research and the management sciences 7 Treffer
- acm 5 Treffer
- spie 5 Treffer
- acm press 4 Treffer
- applied probability trust 4 Treffer
- ieee computer society press 4 Treffer
- taylor & francis 4 Treffer
- wiley 4 Treffer
- academic press 3 Treffer
- institution of electrical engineers 3 Treffer
- american welding society 2 Treffer
- blackwell 2 Treffer
- lavoisier 2 Treffer
- oxford university press 2 Treffer
- public library of science 2 Treffer
- springer-verlag 2 Treffer
- aconit 1 Treffer
- addendum 1 Treffer
- american society of civil engineers 1 Treffer
- association for computing machinery, special interest group on programming languages 1 Treffer
- dekker 1 Treffer
- edp sciences 1 Treffer
- hindawi publishing corporation 1 Treffer
- inderscience publishers 1 Treffer
- institute of mathematical statistics 1 Treffer
- mit press 1 Treffer
- pergamon press 1 Treffer
- plenum publishing 1 Treffer
- telford 1 Treffer
- typorama 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
- ieee transactions on information theory 17 Treffer
- queueing systems 17 Treffer
- information processing letters 15 Treffer
- operations research letters 13 Treffer
- ieee transactions on automatic control 11 Treffer
- information and computation (print) 11 Treffer
- mathematical programming 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
- european journal of operational research 7 Treffer
- siam journal on discrete mathematics (print) 7 Treffer
- algorithmica 6 Treffer
- computer networks (1999) 6 Treffer
- discrete applied mathematics 6 Treffer
- ieee transactions on image processing 6 Treffer
- journal of cryptology 6 Treffer
- systems & control letters 6 Treffer
- acm sigplan notices 5 Treffer
- acm transactions on mathematical software 5 Treffer
- computers & operations research 5 Treffer
- multimedia systems 5 Treffer
- operations research 5 Treffer
- report - centrum voor wiskunde en informatica. department of operations research, statistics, and system theory 5 Treffer
- spie proceedings series 5 Treffer
- acta informatica 4 Treffer
- automata, languages and programming (eindhoven, 30 june - 4 july 2003) 4 Treffer
- connectivity augmentation of networks: structures and algorithms 4 Treffer
- formal methods for components and objects 4 Treffer
- journal of applied probability 4 Treffer
- teletraffic engineering in a competitive world (edinburgh, 7-11 june 1999) 4 Treffer
- teletraffic science and engineering 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
- plos pathogens 2 Treffer
Sprache
Geographischer Bezug
1.111 Treffer
-
In: Information and communications security (7th international conference, ICICS 2005, Beijing, China, December 10-13, 2005), 2005, S. 27-39KonferenzZugriff:
-
In: Algorithms in bioinformatics (5th international workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, S. 128-139KonferenzZugriff:
-
In: FSTTCS 2005 (Foundations of software technology and theoretical computer science), 2005, S. 128-139KonferenzZugriff:
-
In: MFCS 2005 : mathematical foundations of computer science (Gdansk, 29 August - 2 September 2005), 2005, S. 781-792KonferenzZugriff:
-
In: Advances in cryptology (CRYPTO 2005), 2005, S. 327-343KonferenzZugriff:
-
In: Formal methods for components and objects (Third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2005, S. 296-316KonferenzZugriff:
-
In: Theoretical aspects of computing - ICTAC 2004 (Guiyang, 20-24 September 2004, revised selected papers), 2005, S. 37-51KonferenzZugriff:
-
In: Trusting agents for trusting electronic societies : theory and applications in Hci and e-commerce (Melbourne, 14 July 2003 ; New York NY, 19 July 2004), 2005, S. 1-17KonferenzZugriff:
-
In: RISE : rapid integration of software engineering techniques (Luxembourg-Kirchberg, 26 November 2004, revised selected papers), 2005, S. 122-131KonferenzZugriff:
-
In: Formal modeling and analysis of timed systems (third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005), 2005, S. 258-272KonferenzZugriff:
-
In: Networking 2005 (networking technologies, services, and protocols ; performance of computer and communication networks ; mobile and wireless communication systems), 2005, S. 303-315KonferenzZugriff:
-
In: CLIMA V : computational logic in multi-agent systems (Lisbon, 29-30 September 2004, revised selected and invited papers), 2005, S. 144-160KonferenzZugriff:
-
In: Automata, languages and programming (Lisbon, 11-15 July 2005), 2005, S. 1424-1436KonferenzZugriff:
-
In: Generative programming and component engineering (4th international conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, S. 157-172KonferenzZugriff:
-
In: RTA 2005 : term rewriting and applications (Nara, 19-21 April 2005), 2005, S. 2-16KonferenzZugriff:
-
In: CLIMA V : computational logic in multi-agent systems (Lisbon, 29-30 September 2004, revised selected and invited papers), 2005, S. 16-32KonferenzZugriff:
-
In: DEXA 2005 : database and expert systems applications (Copenhagen, 22-26 August 2005), 2005, S. 55-64KonferenzZugriff:
-
In: Special section on formal methods for industrial critical systems, Jg. 7 (2005), Heft 3, S. 280-291Online KonferenzZugriff:
-
In: Process algebra, Jg. 335 (2005), Heft 2-3, S. 147-186Online Konferenz
-
In: Trusting agents for trusting electronic societies : theory and applications in Hci and e-commerce (Melbourne, 14 July 2003 ; New York NY, 19 July 2004), 2005, S. 110-128KonferenzZugriff: