|
 |
|
|
|
1 - 10 von 242
  |
|
 |
Ihre Aktion |
suchen [und] sys inf 426?
|
|
|
|
|
 |
1. |
Informatik / Band 3, Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität
/ Gumm, Heinz-Peter *1951-*. - [2019]
|
|
|
|
2. |
Software languages : syntax, semantics, and metaprogramming
/ Lämmel, Ralf *1968-*. - Cham, Switzerland : Springer, [2018]
|
|
|
|
3. |
Practical foundations for programming languages
/ Harper, Robert *1957-*. - 2. Edition. - New York NY : Cambridge University Press, 2016
|
|
|
 |
4. |
Formale Sprachen, abstrakte Automaten und Compiler : Lehr- und Arbeitsbuch für Grundstudium und Fortbildung
/ Wagenknecht, Christian *1959-*. - 2., überarb. Aufl. 2015. - Wiesbaden : Springer Vieweg, 2014
|
|
|
|
5. |
Kompendium der diskreten Mathematik
/ Baumgarten, Bernd. - Berlin [u.a.] : De Gruyter Oldenbourg, 2014
|
|
|
|
6. |
Context-free languages and primitive words
/ Dömösi, Pál. - Singapore [u.a.] : World Scientific, c 2015
|
|
|
|
7. |
Reactive Kripke semantics
/ Gabbay, Dov M. *1945-*. - Berlin : Springer, 2013
|
|
|
|
8. |
The deductive spreadsheet
/ Cervesato, Iliano. - Berlin : Springer, 2013
|
|
|
|
9. |
Non-axiomatic logic : a model of intelligent reasoning
/ Wang, Pei, 1958-. - Singapore [u.a.] : World Scientific, 2013
|
|
|
|
10. |
Formale Sprachen : endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse
/ Böckenhauer, Hans-Joachim *1970-*. - Wiesbaden : Springer Vieweg, 2013
|
|
|
|
|
|
|
1 - 10 von 242
|
|
| Wort |
|
Typ |
|
Anzahl |
|---|
|
| inf 426? |
|
[SYS] Systematiken |
|
1446 |
|
|
|
|
|
|
|
1 - 10 von 242
|
|
|
