Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Graph-Theoretic Concepts in Computer Science: 28th International Workshop, WG 2002, Cesky Krumlov, Czech Republic, June 13-15, 2002, Revised PapersKucera, Ludek van Leeuwen, Jan ; Kučera, Luděk ; Goos, Gerhard ; Hartmanis, JurisBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
2 |
Material Type: Livro
|
Data refinement model-oriented proof methods and their comparisonW.-P. de Roever Kai Engelhardt 1966-; K.-H ButhCambridge, UK Cambridge University Press New York, NY 1998Item não circula. Consulte sua biblioteca.(Acessar) |
|
3 |
Material Type: Livro
|
Supercomputing: Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected PapersVoevodin, Vladimir ; Sobolev, Sergey Sobolev, Sergey ; Voevodin, Vladimir ; Sobolev, Sergey ; Voevodin, VladimirCham: Springer Nature 2017Texto completo disponível |
|
4 |
Material Type: Livro
|
Simulated evolution and learning 6th international conference, SEAL 2006, Hefei, China, October 15-18, 2006 : proceedingsSEAL 2006 (2006 Hefei Shi, China) Xiaodong Li; Shu-Heng Chen; Xufa Wang; Hussein Abbass; Hitoshi Iba; Guoliang Chen; Xin Yao; Tzai-Der WangBerlin Springer New York c2006Localização: IME - Inst. Matemática e Estatística (S L471c v.4247 )(Acessar) |
|
5 |
Material Type: Livro
|
Simulated evolution and learning First Asia-Pacific Conference, SEAL '96, Taejon, Korea, November 9-12, 1996 : selected papersSEAL '96 (1996 Taejæon-si, Korea) Xin Yao 1962-; Jong-Hwan Kim; T Furuhashi (Takeshi) 1954Berlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1285 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
An Introduction to Machine LearningKubat, MiroslavNetherlands: Springer Nature 2015Texto completo disponível |
|
7 |
Material Type: Livro
|
Pyomo: Optimization Modeling in PythonHart, William E ; Laird, Carl ; Watson, Jean-Paul ; Woodruff, David L Woodruff, David L ; Watson, Jean-Paul ; Laird, CarlNetherlands: Springer Nature 2012Texto completo disponível |
|
8 |
Material Type: Livro
|
Graph-Theoretic Concepts in Computer Science: 29th International Workshop, WG 2003, Elspeet, the Netherlands, June 19-21, 2003, Revised PapersBodlaender, Hans L Bodlaender, Hans L.Berlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
|
9 |
Material Type: Livro
|
Computer Performance Engineering: 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, ProceedingsFiems, Dieter ; Paolieri, Marco ; Platis, Agapios N Fiems, Dieter ; Paolieri, Marco ; Platis, Agapios N ; Paolieri, Marco ; Fiems, Dieter ; Platis, Agapios N.Cham: Springer Nature 2016Texto completo disponível |
|
10 |
Material Type: Artigo
|
Application of Virtual Reality in Computer Science Education: A Systemic Review Based on Bibliometric and Content Analysis MethodsAgbo, Friday Joseph ; Sanusi, Ismaila Temitayo ; Oyelere, Solomon Sunday ; Suhonen, JarkkoEducation sciences, 2021-03, Vol.11 (3), p.142 [Periódico revisado por pares]MDPI AGTexto completo disponível |