Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Algorithmic Language and Program DevelopmentPartsch, H ; Bauer, F. L ; Pepper, P ; Wössner, HBerlin, Heidelberg: Springer Berlin / Heidelberg 1982Texto completo disponível |
|
2 |
Material Type: Livro
|
Automatic Quantum Computer Programming: A Genetic Programming ApproachSpector, LeeBoston, MA: Springer Science + Business Media 2007Texto completo disponível |
|
3 |
Material Type: Livro
|
Defence Applications of Multi-Agent Systems: International Workshop, DAMAS 2005, Utrecht, the Netherlands, July 25, 2005, Revised and Invited PapersThompson, Simon G ; Ghanea-Hercock, RobertBerlin, Heidelberg: Springer Berlin / Heidelberg 2006Sem texto completo |
|
4 |
Material Type: Livro
|
Foundations of Computational Linguistics: Human-Computer Communication in Natural LanguageHausser, RolandBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
|
5 |
Material Type: Livro
|
Computation Theory and LogicBörger, Egon Börger, EgonBerlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
|
6 |
Material Type: Livro
|
GI — 5. Jahrestagung: Dortmund, 8.–10. Oktober 1975Mülbacher, J Mülbacher, J.Berlin, Heidelberg: Springer Berlin Heidelberg 1975Sem texto completo |
|
7 |
Material Type: Livro
|
GI-4. Jahrestagung: Berlin, 9. -12. Oktober 1974Siefkes, DirkBerlin, Heidelberg: Springer Berlin / Heidelberg 1975Sem texto completo |
|
8 |
Material Type: Livro
|
Automated Theorem ProvingBibel, WolfgangWiesbaden: Vieweg+Teubner Verlag 1982Sem texto completo |