Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 59 Treffer
- exact sciences and technology 59 Treffer
- informatique 59 Treffer
- sciences exactes et technologie 59 Treffer
- applied sciences 58 Treffer
-
45 weitere Werte:
- computer science; control theory; systems 58 Treffer
- informatique; automatique theorique; systemes 58 Treffer
- sciences appliquees 58 Treffer
- informatique theorique 34 Treffer
- theoretical computing 34 Treffer
- logiciel 27 Treffer
- software 27 Treffer
- program verification 19 Treffer
- verificacion programa 18 Treffer
- verification programme 18 Treffer
- decidability 17 Treffer
- model checking 16 Treffer
- automata. abstract machines. turing machines 14 Treffer
- automates. machines abstraites. machines de turing 14 Treffer
- mathematics 14 Treffer
- mathematiques 14 Treffer
- decidabilite 13 Treffer
- decidibilidad 13 Treffer
- verification modele 13 Treffer
- genie logiciel 12 Treffer
- real time system 12 Treffer
- sistema tiempo real 12 Treffer
- software engineering 12 Treffer
- systeme temps reel 12 Treffer
- computer systems and distributed systems. user interface 10 Treffer
- reachability 10 Treffer
- systemes informatiques et systemes repartis. interface utilisateur 10 Treffer
- timed automata 10 Treffer
- verificacion modelo 10 Treffer
- asequibilidad 9 Treffer
- atteignabilite 9 Treffer
- automatique, recherche operationnelle 9 Treffer
- computer theory 9 Treffer
- concurrency 9 Treffer
- control theory, operational research 9 Treffer
- formal verification 9 Treffer
- informatica teorica 9 Treffer
- logica temporal 9 Treffer
- logique temporelle 9 Treffer
- temporal logic 9 Treffer
- automata 8 Treffer
- general 8 Treffer
- generalites 8 Treffer
- verification formelle 8 Treffer
- analisis programa 7 Treffer
Verlag
Publikation
- concurrency theory - 23rd international conference, concur 2012, proceedings 6 Treffer
- foundations of software science and computational structures - 11th int. conf., fossacs 2008 - held as part of the joint european conf. on theory and practice of software, etaps 2008, proceedings 6 Treffer
- mathematical foundations of computer science 2011 - 36th international symposium, mfcs 2011, proceedings 6 Treffer
- automata, languages and programming - 38th international colloquium, icalp 2011, proceedings 5 Treffer
- concur 2005 : concurrency theory (san francisco ca? 23-26 august 2005) 4 Treffer
-
45 weitere Werte:
- 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
- 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
- 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 (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
- computer science logic (vienna, 25-30 august 2003) 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
- 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
- disc 2001 : distributed computing (lisbon, 3-5 october 2001) 1 Treffer
- disc 2004 : distributed computing (amsterdam, 4-7 october 2004) 1 Treffer
- disc'99 : distributed computing (bratislava, 27-29 september 1999) 1 Treffer
- formal methods and software engineering (singapore, 5-7 november 2003) 1 Treffer
- fossacs 2002 : foundations of software science and computation structures (grenoble, 8-12 april 2002) 1 Treffer
- fossacs 2004 : foundations of software science and computation structures (barcelona, 29 march - 2 april 2004) 1 Treffer
- fossacs 2005 : foundations of software science and computation structures (edinburgh, 4-8 april 2005) 1 Treffer
- fsttcs 2004 : foundations of software technology and theoretical computer science (chennai, 16-18 december 2004) 1 Treffer
- hscc 2004 : hybrid systems : computation and control (philadelphia pa, 25-27 march 2004) 1 Treffer
- latin 2002 : theoretical informatics (cancun, 3-6 april 2002) 1 Treffer
- lopstr'99 : logic-based program synthesis and transformation (venice, 22-24 september 1999, selected papers) 1 Treffer
- programming languages and systems (beijing, 27-29 november 2003) 1 Treffer
- recent trends in algebraic development techniques (genova, 1-3 april 2001, selected papers) 1 Treffer
- rta 2003 : rewriting techniques and applications (valencia, 9-11 june 2003) 1 Treffer
- rta 2005 : term rewriting and applications (nara, 19-21 april 2005) 1 Treffer
- stacs 2000 (lille, 17-19 february 2000) 1 Treffer
- stacs 2003 : 20th annual symposium on theoretical aspects of computer science (berlin, 27 february - 1 march 2003) 1 Treffer
- theoretical aspects of computing - ictac 2005 (second international colloquium, hanoi, vietnam, october 17-21, 2005, proceedings) 1 Treffer
- tlca 2003 : typed lambda calculi and applications (valencia, 10-12 june 2003) 1 Treffer
- tphols 2001 : theorem proving in higher order logics (edinburgh, 3-6 september 2001) 1 Treffer
- vmcai 2005 : verification, model checking, and abstract interpretation (paris, 17-19 january 2005) 1 Treffer
Sprache
517 Treffer
-
In: Lecture notes in computer science, Jg. 11608 (2019), S. 66-78KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
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: Automated technology for verification and analysis (Third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, S. 248-262KonferenzZugriff:
-
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:
-
In: Theoretical aspects of computing - ICTAC 2005 (Second international colloquium, Hanoi, Vietnam, October 17-21, 2005, S. 334-350KonferenzZugriff:
-
In: VMCAI 2005 : verification, model checking, and abstract interpretation (Paris, 17-19 January 2005), 2005, S. 363-379KonferenzZugriff:
-
In: Automata, languages and programming (Lisbon, 11-15 July 2005), 2005, S. 652-663KonferenzZugriff:
-
In: CONCUR 2005 : concurrency theory (San Francisco CA? 23-26 August 2005), 2005, S. 110-124KonferenzZugriff:
-
In: HSCC 2004 : hybrid systems : computation and control (Philadelphia PA, 25-27 March 2004), 2004, S. 203-218KonferenzZugriff:
-
In: FSTTCS 2004 : foundations of software technology and theoretical computer science (Chennai, 16-18 December 2004), 2004, S. 148-160KonferenzZugriff:
-
In: TACAS 2004 : tools and algorithms for the construction and analysis of systems (Barcelona, 29 March - 2 April 2004), 2004, S. 312-326KonferenzZugriff: