Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- turing machine 10 Treffer
- finite automaton 6 Treffer
- membrane computing 6 Treffer
- mathematical linguistics 5 Treffer
- contextual grammar 4 Treffer
-
45 weitere Werte:
- parallel composition 4 Treffer
- register machine 4 Treffer
- closure property 3 Treffer
- formal language 3 Treffer
- formal power series 3 Treffer
- input symbol 3 Treffer
- input tape 3 Treffer
- input word 3 Treffer
- label transition system 3 Treffer
- membership problem 3 Treffer
- regular expression 3 Treffer
- communication step 2 Treffer
- deterministic automaton 2 Treffer
- input alphabet 2 Treffer
- language theory 2 Treffer
- sentential form 2 Treffer
- state automaton 2 Treffer
- terminal symbol 2 Treffer
- tree automaton 2 Treffer
- abstract syntax 1 Treffer
- alphabet versus 1 Treffer
- atom 1 Treffer
- balance representation 1 Treffer
- basic period 1 Treffer
- behavioral equivalence 1 Treffer
- binary choice 1 Treffer
- boolean algebra 1 Treffer
- bounded number 1 Treffer
- catalytic system 1 Treffer
- cellular automaton 1 Treffer
- circular string 1 Treffer
- clock cycle 1 Treffer
- combinatorial proof 1 Treffer
- combinatorial property 1 Treffer
- communication complexity 1 Treffer
- communication rule 1 Treffer
- commutative monoid 1 Treffer
- complexity class 1 Treffer
- computation path 1 Treffer
- computation tree 1 Treffer
- computational step 1 Treffer
- context grammar 1 Treffer
- contextual language 1 Treffer
- control program 1 Treffer
- core system 1 Treffer
Verlag
Publikation
- handbook of formal languages : volume 2. linear modeling: background and application 6 Treffer
- automata, languages and programming : 31st international colloquium, icalp 2004, turku, finland, july 12-16, 2004. proceedings 5 Treffer
- descriptional complexity of formal systems : 16th international workshop, dcfs 2014, turku, finland, august 5-8, 2014. proceedings 5 Treffer
- finite-state methods and natural language processing : 5th international workshop, fsmnlp 2005, helsinki, finland, september 1-2, 2005. revised papers 4 Treffer
- membrane computing : 7th international workshop, wmc 2006, leiden, the netherlands, july 17-21, 2006, revised, selected, and invited papers 4 Treffer
-
14 weitere Werte:
- introduction to concurrency theory : transition systems and ccs 3 Treffer
- membrane computing : 12th international conference, cmc 2011, fontainebleau, france, august 23-26, 2011, revised selected papers 3 Treffer
- membrane computing : international workshop, wmc 2003, tarragona, spain, july 17-22, 2003. revised papers 3 Treffer
- combinatorics on words : 9th international conference, words 2013, turku, finland, september 16-20. proceedings 2 Treffer
- membrane computing : 10th international workshop, wmc 2009, curtea de arges, romania, august 24-27, 2009. revised selected and invited papers 2 Treffer
- membrane computing : 13th international conference, cmc 2012, budapest, hungary, august 28-31, 2012, revised selected papers 2 Treffer
- rainbow of computer science : dedicated to hermann maurer on the occasion of his 70th birthday 2 Treffer
- theory is forever : essays dedicated to arto salomaa on the occasion of his 70th birthday 2 Treffer
- algebraic foundations in computer science : essays dedicated to symeon bozapalidis on the occasion of his retirement 1 Treffer
- developments in language theory : 12th international conference, dlt 2008, kyoto, japan, september 16-19, 2008. proceedings 1 Treffer
- formal and natural computing : essays dedicated to grzegorz rozenberg 1 Treffer
- fundamentals of computation theory : 12th international symposium, fct'99 iasi, romania, august 30 - september 3, 1999 proceedings 1 Treffer
- mathematical foundations of computer science 2002 : 27th international symposium, mfcs 2002 warsaw, poland, august 26-30, 2002 proceedings 1 Treffer
- where mathematics, computer science, linguistics and biology meet : essays in honour of gheorghe paun 1 Treffer
Sprache
49 Treffer
-
In: Introduction to Concurrency Theory : Transition Systems and CCS; (2015) S. 1-19Online E-BookZugriff:
-
In: Introduction to Concurrency Theory : Transition Systems and CCS; (2015) S. 21-79Online E-BookZugriff:
-
In: Introduction to Concurrency Theory : Transition Systems and CCS; (2015) S. 81-161Online E-BookZugriff:
-
2014Online E-BookZugriff:
-
2014Online E-BookZugriff:
-
2014Online E-BookZugriff:
-
2014Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
2010Online E-BookZugriff: