|
 |
|
|
|
1 - 10 von 24
  |
|
 |
Ihre Aktion |
suchen [und] sys inf 380.5
|
|
|
|
|
 |
1. |
Light on string solving : approaches to efficiently and correctly solving string constraints
/ Kulczynski, Mitja. - Kiel : Universitätsbibliothek Kiel, [2022]
|
|
|
 |
2. |
Light on string solving : approaches to efficiently and correctly solving string constraints
/ Kulczynski, Mitja. - Kiel, [2022]
|
|
|
|
3. |
Handbook of Natural Computing
/ Rozenberg, Grzegorz *1942-*. - Berlin, Heidelberg : Springer, 2012
|
|
|
|
4. |
Theory of computation
/ Tourlakis, George J. *1946-*. - Hoboken, N.J. : Wiley, 2012
|
|
|
|
5. |
Handbook of natural computing
/ Rozenberg, Grzegorz. - Berlin [u.a.] : Springer, 2012
|
|
|
|
6. |
Automata, computability and complexity : theory and applications
/ Rich, Elaine. - Upper Saddle River, NJ [u.a.] : Pearson/Prentice Hall, c 2008
|
|
|
|
7. |
Fundamentals of natural computing : basic concepts, algorithms, and applications
/ Castro, Leandro N. de *1974-*. - Boca Raton [u.a.] : Chapman & Hall/CRC, 2006
|
|
|
|
8. |
Modellbildung in der Informatik
/ Broy, Manfred *1949-*. - Berlin : Springer, 2004
|
|
|
|
9. |
Modern cryptography, probabilistic proofs and pseudorandomness
/ Goldreich, Oded *1957-*. - Berlin : Springer, 1999
|
|
|
|
10. |
Algorithms and theory of computation handbook
/ Atallah, Mikhail J. *1953-*. - Boca Raton, Fla. [u.a.] : CRC Press, 1999
|
|
|
|
|
|
|
1 - 10 von 24
|
|
| Wort |
|
Typ |
|
Anzahl |
|---|
|
| inf 380.5 |
|
[SYS] Systematiken |
|
72 |
|
|
|
|
|
|
|
1 - 10 von 24
|
|
|
