Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- asymptotic approach 4 Treffer
- asymptotic method 4 Treffer
- program transformation 4 Treffer
- conformance testing 3 Treffer
- belief base 2 Treffer
-
45 weitere Werte:
- celestial body 2 Treffer
- celestial mechanic 2 Treffer
- initial equation 2 Treffer
- iteration 2 Treffer
- label transition system 2 Treffer
- linear temporal logic 2 Treffer
- logic programming 2 Treffer
- physical theory 2 Treffer
- program calculation 2 Treffer
- recursion 2 Treffer
- relational calculus 2 Treffer
- test generation 2 Treffer
- transition rule 2 Treffer
- 05c50 1 Treffer
- 90c25 1 Treffer
- action logic 1 Treffer
- active process 1 Treffer
- addition formula 1 Treffer
- agent development 1 Treffer
- approximate theory 1 Treffer
- automatic classification 1 Treffer
- automatic indexing 1 Treffer
- automaton 1 Treffer
- average case analysis 1 Treffer
- backtracking 1 Treffer
- bifurcation point 1 Treffer
- binary tree 1 Treffer
- bisimulation 1 Treffer
- black body radiation 1 Treffer
- block diagonalization 1 Treffer
- boundary layer problem 1 Treffer
- catastrophe theory 1 Treffer
- coalgebra 1 Treffer
- coinduction 1 Treffer
- compositionality 1 Treffer
- conditional action 1 Treffer
- connected operator 1 Treffer
- contact discontinuity 1 Treffer
- controllability 1 Treffer
- convex extension 1 Treffer
- convex functions 1 Treffer
- cost estimation 1 Treffer
- data-parallelism 1 Treffer
- decentralize system 1 Treffer
- dht 1 Treffer
Publikation
- algorithmic languages and calculi : ifip tc2 wg2.1 international workshop on algorithmic languages and calculi 17-22 february 1997, alsace, france 16 Treffer
- encyclopedia of database systems 10 Treffer
- asymptotology : ideas, methods, and applications 9 Treffer
- mathematical morphology and its applications to image and signal processing 5 Treffer
- encyclopedia of algorithms 3 Treffer
-
27 weitere Werte:
- encyclopedia of optimization 2 Treffer
- formal aspects in security and trust : ifip tc1 wg1.7 workshop on formal aspects in security and trust (fast), world computer congress, august 22-27, 2004, toulouse, france 2 Treffer
- specification and verification of multi-agent systems 2 Treffer
- advances in algorithms, languages, and complexity 1 Treffer
- algorithms, fractals, and dynamics 1 Treffer
- computer vision : a reference guide 1 Treffer
- data visualization : the state of the art 1 Treffer
- database semantics : semantic issues in multimedia systems 1 Treffer
- discrete event systems : analysis and control 1 Treffer
- fifth ifip international conference on theoretical computer science - tcs 2008 1 Treffer
- formal description techniques and protocol specification, testing and verification : forte xi/pstv xviii'98 ifip tc6 wg6.1 joint international conference on formal description techniques for distributed systems and communication protocols (forte xi) and protocol specification, testing and verification (pstv xviii) 3-6 november 1998, paris, france 1 Treffer
- godunov methods : theory and applications 1 Treffer
- handbook of combinatorial optimization : volume1-3 1 Treffer
- handbook of multimedia for digital entertainment and arts 1 Treffer
- handbook on semidefinite, conic and polynomial optimization 1 Treffer
- information organization and databases : foundations of data organization 1 Treffer
- information theory and statistical learning 1 Treffer
- knowledge and data management in grids 1 Treffer
- media computing : computational media aesthetics 1 Treffer
- new approaches for security, privacy and trust in complex environments : proceedings of the ifip tc-11 22nd international information security conference (sec 2007), 14-16 may 2007, sandton, south africa 1 Treffer
- object orientation with parallelism and persistence 1 Treffer
- probability measures on groups x 1 Treffer
- recent advances in applied probability 1 Treffer
- testing of communicating systems : ifip tc6 10th international workshop on testing of communicating systems, 8-10 september 1997, cheju island, korea 1 Treffer
- testing of communicating systems : proceedings of the ifip tc6 11th international workshop on testing of communicating systems (iwtcs'98) august 31-september 2, 1998, tomsk, russia 1 Treffer
- tunnelling '94 : papers presented at the seventh international symposium, 'tunnelling'94' 1 Treffer
- visual database systems 4 (vdb4) : ifip tc2 / wg2.6 fourth working conference on visual database systems 4 (vdb4) 27-29 may 1998, l'aquila, italy 1 Treffer
Sprache
73 Treffer
-
In: Tunnelling ’94 : Papers presented at the seventh international symposium, ‘Tunnelling’94’; (1994) S. 15-38Online E-BookZugriff:
-
2000Online E-BookZugriff:
-
In: Computer Vision : A Reference Guide; (2014) S. 847-850Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
In: Specification and Verification of Multi-agent Systems; (2010) S. 255-287Online E-BookZugriff:
-
In: Specification and Verification of Multi-agent Systems; (2010) S. 35-65Online E-BookZugriff:
-
In: Encyclopedia of Optimization; (2009) S. 1967-1975Online E-BookZugriff:
-
In: Encyclopedia of Database Systems; (2009) S. 506-511Online E-BookZugriff:
-
In: Encyclopedia of Database Systems; (2009) S. 1835-1838Online E-BookZugriff:
-
In: Encyclopedia of Database Systems; (2009) S. 1707-1713Online E-BookZugriff:
-
In: Handbook of Multimedia for Digital Entertainment and Arts; (2009) S. 91-113Online E-BookZugriff:
-
In: Information Theory and Statistical Learning; (2009) S. 45-82Online E-BookZugriff:
-
In: Encyclopedia of Algorithms; (2008) S. 1-99Online E-BookZugriff:
-
In: Encyclopedia of Algorithms; (2008) S. 1-99Online E-BookZugriff:
-
In: Encyclopedia of Algorithms; (2008) S. 1-99Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
In: Knowledge and Data Management in GRIDs; (2007) S. 185-199Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2005Online E-BookZugriff: