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 95 Treffer
- informatique; automatique theorique; systemes 95 Treffer
- informatique theorique 78 Treffer
- theoretical computing 78 Treffer
- algorithmics. computability. computer arithmetics 50 Treffer
-
45 weitere Werte:
- algorithmique. calculabilite. arithmetique ordinateur 50 Treffer
- automatique, recherche operationnelle 45 Treffer
- control theory, operational research 45 Treffer
- probabilites et statistiques 38 Treffer
- probability and statistics 38 Treffer
- operational research and scientific management 34 Treffer
- operational research. management science 34 Treffer
- recherche operationnelle et modeles formalises de gestion 34 Treffer
- recherche operationnelle. gestion 34 Treffer
- computer theory 27 Treffer
- informatica teorica 27 Treffer
- probability theory and stochastic processes 26 Treffer
- theorie des probabilites et processus stochastiques 26 Treffer
- combinatoire. structures ordonnees 25 Treffer
- combinatorics. ordered structures 25 Treffer
- algebra 24 Treffer
- algebre 24 Treffer
- logiciel 24 Treffer
- software 24 Treffer
- logic and foundations 23 Treffer
- logique et fondements 23 Treffer
- logique mathematique, fondements, theorie des ensembles 23 Treffer
- mathematical logic, foundations, set theory 23 Treffer
- combinatoire 20 Treffer
- combinatorics 20 Treffer
- divers 16 Treffer
- miscellaneous 16 Treffer
- analyse mathematique 15 Treffer
- analyse numerique. calcul scientifique 15 Treffer
- mathematical analysis 15 Treffer
- numerical analysis. scientific computation 15 Treffer
- queuing theory. traffic theory 15 Treffer
- theorie des files d'attente. theorie du trafic 15 Treffer
- analyse numerique 14 Treffer
- numerical analysis 14 Treffer
- statistics 14 Treffer
- statistiques 14 Treffer
- fila espera 13 Treffer
- file attente 13 Treffer
- queue 13 Treffer
- equation differentielle 12 Treffer
- language theory and syntactical analysis 12 Treffer
- processus particuliers (theorie du renouvellement, processus de renouvellement markoviens, processus semi-markoviens, modeles de la mecanique statistique, applications diverses) 12 Treffer
- special processes (renewal theory, markov renewal processes, semi-markov processes, statistical mechanics type models, applications) 12 Treffer
- theorie des langages et analyse syntaxique 12 Treffer
Verlag
- centrum voor wiskunde en informatica 45 Treffer
- elsevier 40 Treffer
- society for industrial and applied mathematics 17 Treffer
- springer 9 Treffer
- elsevier science 3 Treffer
-
8 weitere Werte:
- taylor & francis 3 Treffer
- applied probability trust 2 Treffer
- kluwer 2 Treffer
- centre for mathematics and computer science 1 Treffer
- institute for operations research and the management sciences 1 Treffer
- institute of electrical and electronics engineers 1 Treffer
- institute of mathematical statistics 1 Treffer
- plenum publishing 1 Treffer
Publikation
- report - probability, networks and algorithms 22 Treffer
- theoretical computer science 22 Treffer
- siam journal on computing (print) 10 Treffer
- report - software engineering 9 Treffer
- siam journal on discrete mathematics (print) 7 Treffer
-
45 weitere Werte:
- report - modelling, analysis and simulation 6 Treffer
- discrete applied mathematics 4 Treffer
- formal methods for components and objects 4 Treffer
- information and computation (print) 4 Treffer
- information processing letters 4 Treffer
- lecture notes in computer science 4 Treffer
- report - department of numerical mathematics 4 Treffer
- report - information systems 4 Treffer
- cmcs'02 : coalgebraic methods in computer science (grenoble, 6-7 april 2002) 3 Treffer
- journal of computational and applied mathematics 3 Treffer
- stochastic models 3 Treffer
- amcp '98 : advanced multimedia content processing (osaka, 9-11 november 1998) 2 Treffer
- journal of applied probability 2 Treffer
- operations research letters 2 Treffer
- queueing systems 2 Treffer
- acta informatica 1 Treffer
- algebra and coalgebra in computer science 1 Treffer
- algorithmica 1 Treffer
- annals of probability 1 Treffer
- approximation and online algorithms 1 Treffer
- atmospheric environment (1994) 1 Treffer
- calculi, types and applications: essays in honour of m. coppo, m. dezani-ciancaglini and s. ronchi della rocca 1 Treffer
- communications in mathematical physics 1 Treffer
- contributions to econometrics, time-series analysis, and systems identification: a festschrift in honor of manfred deistler 1 Treffer
- expressiveness in concurrency 1 Treffer
- formal aspects of computing 1 Treffer
- foundations of computation theory (fct 2003) 1 Treffer
- foundations of computer science 1 Treffer
- foundations of intelligent systems (maebashi city, 28-31 october 2003) 1 Treffer
- foundations of software science and computation structures 1 Treffer
- icalp'97 1 Treffer
- ieee transactions on automatic control 1 Treffer
- iwcia 2003 - ninth international workshop on combinatorial image analysis 1 Treffer
- journal of automated reasoning 1 Treffer
- journal of econometrics 1 Treffer
- journal of scientific computing 1 Treffer
- linear algebra and its applications 1 Treffer
- mathematical foundations of computer science (mfcs 2001) 1 Treffer
- mathematics and computers in simulation 1 Treffer
- operations research 1 Treffer
- proceedings of the 5th twente workshop on graphs and combinatorial optimization 1 Treffer
- process algebra 1 Treffer
- report - department of operations research, statistics, and system theory 1 Treffer
- rta 2001 : rewriting techniques and applications (utrecht, 22-24 may 2001) 1 Treffer
- rta-98 1 Treffer
Sprache
Geographischer Bezug
129 Treffer
-
In: Atmospheric environment (1994), Jg. 31 (1997), Heft 20, S. 3459-3472academicJournalZugriff:
-
In: Journal of automated reasoning, Jg. 53 (2014), Heft 2, S. 129-139Online academicJournalZugriff:
-
In: Foundations of computation theory (FCT 2003), Jg. 354 (2006), Heft 3, S. 421-440Online Konferenz
-
In: Algebra and coalgebra in computer science, Jg. 366 (2006), Heft 1-2, S. 60-81Online Konferenz
-
In: Formal Methods for Components and Objects, Jg. 331 (2005), Heft 2-3, S. 291-323Online Konferenz
-
In: Process algebra, Jg. 335 (2005), Heft 2-3, S. 147-186Online Konferenz
-
In: Expressiveness in Concurrency, Jg. 330 (2005), Heft 3, S. 377-405Online Konferenz
-
In: IWCIA 2003 - Ninth International Workshop on Combinatorial Image Analysis, Jg. 151 (2005), Heft 1-3, S. 36-54Online Konferenz
-
In: Formal Methods for Components and Objects, Jg. 331 (2005), Heft 2-3, S. 251-290Online Konferenz
-
In: Formal Methods for Components and Objects, Jg. 343 (2005), Heft 3, S. 443-481Online Konferenz
-
In: Formal Methods for Components and Objects, Jg. 343 (2005), Heft 3, S. 413-442Online Konferenz
-
In: Selected papers of CMCS'03, Jg. 327 (2004), Heft 1-2, S. 3-22Online Konferenz
-
In: Foundations of intelligent systems (Maebashi City, 28-31 October 2003), 2003, S. 32-39KonferenzZugriff:
-
In: Foundations of Software Science and Computation Structures, Jg. 298 (2003), Heft 3, S. 471-510Online Konferenz
-
In: Mathematical foundations of computer science (MFCS 2001), Jg. 295 (2003), Heft 1-3, S. 279-294Online Konferenz
-
In: RTA 2001 : rewriting techniques and applications (Utrecht, 22-24 May 2001), 2001, S. 261-275KonferenzZugriff:
-
In: IEEE transactions on automatic control, Jg. 57 (2012), Heft 1, S. 105-118Online academicJournalZugriff:
-
In: Operations research letters, Jg. 40 (2012), Heft 6, S. 573-577Online academicJournal
-
In: Operations research, Jg. 60 (2012), Heft 5, S. 1249-1257Online academicJournalZugriff:
-
In: Proceedings of the 5th Twente Workshop on Graphs and Combinatorial Optimization, Jg. 99 (2000), Heft 1-3, S. 229-244Online Konferenz