Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
21 |
Material Type: Livro
|
![]() |
A Systematic Catalogue of Reusable Abstract Data TypesUhl, Jürgen ; Schmid, Hans AlbrechtBerlin, Heidelberg: Springer Berlin Heidelberg 1990Texto completo disponível |
22 |
Material Type: Livro
|
![]() |
Lectures on Proof Verification and Approximation AlgorithmsMayr, Ernst W ; Prömel, Hans Jürgen ; Steger, Angelika ; Goos, G ; Hartmanis, J Mayr, Ernst W ; Prömel, Hans Jürgen ; Steger, Angelika ; Steger, Angelika ; Mayr, Ernst W. ; Jürgen Prömel, HansBerlin, Heidelberg: Springer Nature 2006Texto completo disponível |
23 |
Material Type: Livro
|
![]() |
Online Algorithms: The State of the ArtFiat, Amos ; Woeginger, Gerhard J Woeginger, Gerhard J. ; Fiat, AmosBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
24 |
Material Type: Livro
|
![]() |
Computational and Statistical Approaches to GenomicsZhang, Wei ; Shmulevich, IlyaBoston: Springer 2007Texto completo disponível |
25 |
Material Type: Livro
|
![]() |
Quantum ComputingHirvensalo, MikaBerlin, Heidelberg: Springer Nature 2013Texto completo disponível |
26 |
Material Type: Livro
|
![]() |
Algorithms - ESA’ 99: 7th Annual European Symposium Prague, Czech Republic, July 16–18, 1999 ProceedingsNešetřil, Jaroslav Nešetřil, JaroslavBerlin, Heidelberg: Springer Berlin Heidelberg 1999Texto completo disponível |
27 |
Material Type: Livro
|
![]() |
Programming Challenges: The Programming Contest Training ManualSkiena, Steven S ; Revilla, Miguel A Revilla, Miguel ANew York, NY: Springer Nature 2006Texto completo disponível |
28 |
Material Type: Livro
|
![]() |
Lecture Notes on Bucket AlgorithmsDevroye, LucBoston, MA: Birkhäuser Boston 1985Texto completo disponível |
29 |
Material Type: Livro
|
![]() |
Languages, Compilers, and Run-Time Systems for Scalable Computers: 4th International Workshop, LCR '98 Pittsburgh, PA, USA, May 28-30, 1998 Selected PapersO'Hallaron, David ; Hartmanis, Juris ; van Leeuwen, Jan O’Hallaron, David R.Berlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
30 |
Material Type: Livro
|
![]() |
Quantum Computing and Quantum Communications: First NASA International Conference, QCQC '98, Palm Springs, California, USA, February 17-20, 1998, Selected PapersWilliams, Colin P ; Hartmanis, Juris ; van Leeuwen, JanBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |