Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- informatique theorique 83 Treffer
- theoretical computing 81 Treffer
- logiciel 54 Treffer
- software 54 Treffer
- computer theory 44 Treffer
-
45 weitere Werte:
- informatica teorica 44 Treffer
- mathematics 41 Treffer
- mathematiques 41 Treffer
- decidabilite 31 Treffer
- decidability 31 Treffer
- decidibilidad 31 Treffer
- sciences and techniques of general use 30 Treffer
- sciences et techniques communes 30 Treffer
- automata. abstract machines. turing machines 28 Treffer
- automates. machines abstraites. machines de turing 28 Treffer
- genie logiciel 28 Treffer
- software engineering 28 Treffer
- program verification 27 Treffer
- verificacion programa 27 Treffer
- verification programme 27 Treffer
- algorithmics. computability. computer arithmetics 26 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 26 Treffer
- logic and foundations 24 Treffer
- logique et fondements 24 Treffer
- logique mathematique, fondements, theorie des ensembles 24 Treffer
- mathematical logic, foundations, set theory 24 Treffer
- logica temporal 22 Treffer
- logique temporelle 22 Treffer
- temporal logic 22 Treffer
- asequibilidad 19 Treffer
- atteignabilite 19 Treffer
- automata 19 Treffer
- automate 19 Treffer
- automaton 19 Treffer
- divers 19 Treffer
- miscellaneous 19 Treffer
- model checking 19 Treffer
- reachability 19 Treffer
- general logic 18 Treffer
- logique generale 18 Treffer
- real time system 17 Treffer
- sistema tiempo real 17 Treffer
- systeme temps reel 17 Treffer
- verification modele 17 Treffer
- language theory and syntactical analysis 14 Treffer
- theorie des langages et analyse syntaxique 14 Treffer
- verificacion modelo 13 Treffer
- automate temporise 12 Treffer
- computer systems and distributed systems. user interface 12 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 12 Treffer
Verlag
Publikation
- lecture notes in computer science 59 Treffer
- information and computation (print) 19 Treffer
- theoretical computer science 13 Treffer
- information processing letters 9 Treffer
- concur 2005 : concurrency theory (san francisco ca? 23-26 august 2005) 4 Treffer
-
45 weitere Werte:
- movep '2k : modelisation et verification des processus paralleles (nantes, 19-23 juin 2000) 3 Treffer
- 0lpar 2006 2 Treffer
- 19th international conference on concurency theory (concur 2008) 2 Treffer
- automata, languages and programming (lisbon, 11-15 july 2005) 2 Treffer
- automated technology for verification and analysis (third international symposium, atva 2005, taipei, taiwan, october 4-7, 2005, proceedings) 2 Treffer
- cav 2000 : computer aided verification (chicago il, 15-17 july 2000) 2 Treffer
- cav 2003 : computer aided verification (boulder co, 8-12 july 2003) 2 Treffer
- concur 2001 - concurrency theory (aalborg, 20-25 august 2001) 2 Treffer
- concur '99 concurrency theory (eindhoven, 24-27 august 1999) 2 Treffer
- csl 2002 : computer science logic (edinburgh, 22-25 september 2002) 2 Treffer
- international journal on software tools for technology transfer (print) 2 Treffer
- logic for programming, artificial intelligence, and reasoning (13th international conference, lpar 2006, phnom penh, cambodia, november 13-17, 2006) 2 Treffer
- lpar 2003 : logic for programming artificial intelligence, and reasoning (almaty, 22-26 september 2003) 2 Treffer
- mfcs 2000 : mathematical foundations of computer science (bratislava, 28 august - 1 september 2000) 2 Treffer
- tacas 2004 : tools and algorithms for the construction and analysis of systems (barcelona, 29 march - 2 april 2004) 2 Treffer
- 0aplas 2005 1 Treffer
- 0cav 2006 1 Treffer
- 0formats 2005 1 Treffer
- 0fsttcs 2005 1 Treffer
- 16th international conference on rewriting techniques and applications 1 Treffer
- 17th ieee computer security foundations workshop (28-30 june 2004, pacific grove ca) 1 Treffer
- acm transactions on database systems 1 Treffer
- acta informatica 1 Treffer
- afadl'2001 : approches formelles dans l'assistance au developpement de logiciels (nancy, 11-13 juin 2001 ) 1 Treffer
- algebra, meaning, and computation (essays dedicated to joseph a. goguen on the occasion of his 65th birthday) 1 Treffer
- amast '98 : algebraic methodology and software technology (amazonia, 4-8 january 1999) 1 Treffer
- automata, languages and programming (icalp 2005) 1 Treffer
- automata, languages and programming (prague, 11-15 july 1999) 1 Treffer
- avta 2004 : automated technology for verification and analysis (taipei, 31 october - 3 november 2004) 1 Treffer
- cav 2005 : computer aided verification (edinburgh, 6-10 july 2005) 1 Treffer
- cav '99 : computer aided verification (trento, 6-10 july 1999) 1 Treffer
- ccl'99 : constraints in computational logics, theory and applications (gif sur yvette, 5-8 september 1999, revised lectures) 1 Treffer
- communications of the acm 1 Treffer
- computer aided verification (18th international conference, cav 2006, seattle, wa, usa, august 17-20, 2006) 1 Treffer
- computer science logic (vienna, 25-30 august 2003) 1 Treffer
- computers & chemical engineering 1 Treffer
- concur 2000 : concurrency theory (university park pa, 22-25 august 2000) 1 Treffer
- concur 2002 : concurrency theory (brno, 20-23 august 2002) 1 Treffer
- concur 2004 : concurrency theory (london, 31 august - 3 september 2004) 1 Treffer
- concurrency theory (concur 2004) 1 Treffer
- constraints (dordrecht) 1 Treffer
- csl 2000 : computer science logic (fischbachau, 21-26 august 2000) 1 Treffer
- csl 2001 : computer science logic (paris, 10-13 september 2001) 1 Treffer
- csl 2004 : computer science logic (karpacz, 20-24 september 2004) 1 Treffer
- current trends in algebraic development techniques 1 Treffer
Sprache
122 Treffer
-
In: Neural computing & applications (Print), Jg. 22 (2013), Heft 5, S. 1023-1035Online academicJournalZugriff:
-
In: Computers & chemical engineering, Jg. 35 (2011), Heft 12, S. 2896-2904academicJournalZugriff:
-
In: Automata, languages and programming (ICALP 2005), Jg. 380 (2007), Heft 1-2, S. 69-86Online Konferenz
-
In: TIME 2005, Jg. 205 (2007), Heft 1, S. 2-24Online Konferenz
-
In: 16th international conference on rewriting techniques and applications, Jg. 205 (2007), Heft 4, S. 581-623Online Konferenz
-
In: Logic for programming, artificial intelligence, and reasoning (13th International conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006), 2006, S. 347-361KonferenzZugriff:
-
In: Computer aided verification (18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006), 2006, S. 63-66KonferenzZugriff:
-
In: Logic for programming, artificial intelligence, and reasoning (13th International conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006), 2006, S. 197-211KonferenzZugriff:
-
In: Concurrency Theory (CONCUR 2004), Jg. 358 (2006), Heft 2-3, S. 315-333Online Konferenz
-
In: Automata, languages and programming (Lisbon, 11-15 July 2005), 2005, S. 513-525KonferenzZugriff:
-
In: CONCUR 2005 : concurrency theory (San Francisco CA? 23-26 August 2005), 2005, S. 518-532KonferenzZugriff:
-
In: CONCUR 2005 : concurrency theory (San Francisco CA? 23-26 August 2005), 2005, S. 533-547KonferenzZugriff:
-
In: CAV 2005 : computer aided verification (Edinburgh, 6-10 July 2005), 2005, S. 286-290KonferenzZugriff:
-
In: Programming languages and systems (Third Asian symposium, APLAS 2005), 2005, S. 247-263KonferenzZugriff:
-
In: Automated technology for verification and analysis (Third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, S. 248-262KonferenzZugriff:
-
In: FSTTCS 2005 (Foundations of software technology and theoretical computer science), 2005, S. 432-443KonferenzZugriff:
-
In: CONCUR 2005 : concurrency theory (San Francisco CA? 23-26 August 2005), 2005, S. 81-94KonferenzZugriff:
-
In: RTA 2005 : term rewriting and applications (Nara, 19-21 April 2005), 2005, S. 308-322KonferenzZugriff:
-
In: Automated technology for verification and analysis (Third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, S. 474-488KonferenzZugriff:
-
In: FOSSACS 2005 : foundations of software science and computation structures (Edinburgh, 4-8 April 2005), 2005, S. 219-233KonferenzZugriff: