 |
 |
|
|
 |
|
|
|
1 - 10 von 217
  |
|
 |
Ihre Aktion |
Suchen (DDC synthetisch (XSDC)) 005.131
|
|
|
|
|
 |
1. |
Quick recursion
Matuszek, David L.. - First edition. - Boca Raton : CRC Press,, 2023
|
|
|
|
2. |
An Introduction to formal languages and automata
Linz, Peter. - Seventh edition. - Burlington : Jones & Bartlett Learning, LLC, 2022
|
|
|
 |
3. |
Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of this 90th birthday
Casadio, Claudia. - Heidelberg : Springer, 2014
|
|
|
|
4. |
Bio-inspired models for natural and formal languages
Bel-Enguix, Gemma. - Newcastle upon Tyne : Cambridge Scholars, 2011
|
|
|
|
5. |
Computational semantics with functional programming
Eijck, Jan van. - Cambridge : Cambridge University Press, 2010
|
|
|
|
6. |
Grammatical inference : learning automata and grammars
De la Higuera, Colin. - Cambridge : Cambridge University Press, 2010
|
|
|
|
7. |
25 years of model checking : history, achievements, perspectives ; [papers based on talks at the Symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification (CAV 2006), which in turn was part of the Federated Logic Conference (FLoC 2006), held in Seattle, WA, USA, in August 2006]
Grumberg, Orna. - Berlin : Springer, 2008
|
|
|
|
8. |
Logics of specification languages
Bjoerner, Dines. - Berlin : Springer, 2008
|
|
|
|
9. |
Modern Formal Methods and Applications
Gabbar, Hossam A. - Dordrecht : Springer Netherlands, 2006
|
|
|
|
10. |
Formal models, languages and applications
Subramanian, K. G.. - Singapore [u.a.] : World Scientific, 2006
|
|
|
|
|
|
|
1 - 10 von 217
|
|
| Wort |
|
Typ |
|
Anzahl |
|---|
|
| 005.131 |
|
DDC synthetisch (XSDC) |
|
217 |
|
|
|
|
|
|
|
1 - 10 von 217
|
|
|
