Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedingsWorkshop on Computer Science Logic (1st 1987 Karlsruhe, Germany) E Börger 1946- (Egon); H Kleine Büning (Hans); Michael M Richter 1938-Berlin Springer-Verlag New York c1988Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.329 ex.1 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Proceedings of the Thirty-Seventh Technical Symposium on Computer Science Education SIGCSE 2006: Houston, Texas March 1-5, 2006ACM SIGCSE Technical Symposium on Computer Science Education (37th 2006 Houston, TX.) Association for Computing Machinery Special Interest Group on Computer Science EducationNew York, N.Y. Association for Computing Machinery c2005Localização: ICMC - Inst. Ciên. Mat. Computação (v.38 n.1 2006 e.1 )(Acessar) |
|
3 |
Material Type: E-Book
|
41st Annual Symposium on Foundations of Computer Science 12 -14 November, 2000, Redondo Beach, California : [proceedings].Symposium on Foundations of Computer Science (41st 2000 Redondo Beach, Calif.) IEEE Computer Society.; IEEE Xplore (Online service)Los Alamitos, Calif. IEEE Computer Society c2000Item não circula. Consulte sua biblioteca.(Acessar) |
|
4 |
Material Type: Livro
|
STACS 88 theoretical aspects of computer science ; proceedingsSymposium on Theoretical Aspects of Computer Science (5th 1988 Bordeaux, France) R Cori; M Wirsing (Martin); Gesellschaft fur Informatik; Association française pour la cybernétique économique et techniqueBerlin New York : Springer-Verlag 1988Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.294 ex.1 ) e outros locais(Acessar) |
|
5 |
Material Type: E-Book
|
40th Annual Symposium on Foundations of Computer Science 17 - 18 October, 1999, New York, New York [proceedings].Symposium on Foundations of Computer Science (40th 1999 New York) IEEE Computer Society.; IEEE Xplore (Online service)Los Alamitos, Calif. IEEE Computer Society c1999Item não circula. Consulte sua biblioteca.(Acessar) |
|
6 |
Material Type: Livro
|
Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 ProceedingsHe, Jifeng ; Sato, Masahiko Jifeng, He ; Sato, MasahikoBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
7 |
Material Type: Livro
|
Design Science Methodology for Information Systems and Software EngineeringWieringa, Roel JBerlin, Heidelberg: Springer Nature 2014Texto completo disponível |
|
8 |
Material Type: Livro
|
Computational Science -- ICCS 2003: International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part IIISloot, Peter M. A ; Abramson, David ; Bogdanov, Alexander V ; Dongarra, Jack J ; Zomaya, Albert Y ; Gorbachev, Yuriy E Gorbachev, Yuriy E. ; Dongarra, Jack J. ; Abramson, David ; Sloot, Peter M. A. ; Zomaya, Albert Y. ; Bogdanov, Alexander V.Berlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
|
9 |
Material Type: Livro
|
Computational Science -- ICCS 2003: International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003, Proceedings, Part IVSloot, Peter M. A ; Abramson, David ; Bogdanov, Alexander V ; Dongarra, Jack J ; Zomaya, Albert Y ; Gorbachev, Yuriy E Gorbachev, Yuriy E. ; Dongarra, Jack J. ; Abramson, David ; Sloot, Peter M. A. ; Zomaya, Albert Y. ; Bogdanov, Alexander V.Berlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
|
10 |
Material Type: Livro
|
Computational Science -- ICCS 2001: International Conference San Francisco, CA, USA, May 28-30, 2001 Proceedings, Part IAlexandrov, Vassil N ; Dongarra, Jack J ; Juliano, Benjoe A ; Renner, Rene S ; Tan, C. J. Kenneth Dongarra, Jack J. ; Renner, René S. ; Tan, C. J. Kenneth ; Juliano, Benjoe A. ; Alexandrov, Vassil N.Berlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |