|
19681 |
Finite state methods and natural language processing Berlin : Springer, 2006
|
|
|
19682 |
Flexible and reconfigurable support for fault-tolerant object replication Reiser, Hans Peter, 2006, [Online-Ausg.]
|
|
|
19683 |
Förderung der Informationskompetenz älterer Menschen durch Bibliotheksdienstleistungen Schwabe, Carola. - Berlin : Humboldt-Universität zu Berlin, 2006
|
|
|
19684 |
Formal approaches to software testing and runtime verification Berlin : Springer, 2006
|
|
|
19685 |
Formal methods Berlin : Springer, 2006
|
|
|
19686 |
Formal methods and software engineering Berlin : Springer, 2006
|
|
|
19687 |
Formal methods for components and objects Berlin : Springer, 2006
|
|
|
19688 |
Formal methods for hardware verification Berlin : Springer, 2006
|
|
|
19689 |
Formal modeling and analysis of timed systems Berlin : Springer, 2006
|
|
|
19690 |
Formal techniques for networked and distributed systems Berlin : Springer, 2006
|
|