Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India December 21–23, 1988 ProceedingsNori, Kesav V ; Kumar, Sanjeev Kumar, Sanjeev ; Nori, Kesav V.Berlin, Heidelberg: Springer Berlin Heidelberg 1988Texto completo disponível |
|
12 |
Material Type: Livro
|
STACS 95: 12th Annual Symposium on Theoretical Aspects of Computer Science Munich, Germany, March 2–4, 1995 ProceedingsMayr, Ernst W ; Puech, Claude Mayr, Ernst W. ; Puech, ClaudeBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
|
13 |
Material Type: Livro
|
Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and ApplicationsO'Regan, GerardCham: Springer Nature 2016Texto completo disponível |
|
14 |
Material Type: Livro
|
Fast Software Encryption: 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected PapersPeyrin, Thomas Peyrin, Thomas ; Peyrin, ThomasBerlin, Heidelberg: Springer Nature 2016Texto completo disponível |
|
15 |
Material Type: Livro
|
Advances in Cryptology - CRYPTO 2016: 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part IRobshaw, Matthew ; Katz, Jonathan Katz, Jonathan ; Robshaw, MatthewBerlin, Heidelberg: Springer Berlin / Heidelberg 2016Texto completo disponível |
|
16 |
Material Type: Livro
|
Advances in Cryptology - CRYPTO 2016: 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part IIRobshaw, Matthew ; Katz, Jonathan Katz, Jonathan ; Robshaw, MatthewBerlin, Heidelberg: Springer Berlin / Heidelberg 2016Texto completo disponível |
|
17 |
Material Type: Livro
|
Baltic Computer Science: Selected PapersBārzdinš, Janis ; Bjørner, Dines Bārzdinš, Janis ; Bjørner, DinesBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
|
18 |
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 |
|
19 |
Material Type: Livro
|
Subjective Logic: A Formalism for Reasoning under UncertaintyJøsang, AudunCham: Springer International Publishing AG 2016Texto completo disponível |
|
20 |
Material Type: Livro
|
Graph-Grammars and Their Application to Computer Science: 3rd International Workshop Warrenton, Virginia, USA, December 2–6, 1986Ehrig, Hartmut ; Nagl, Manfred ; Rozenberg, Grzegorz ; Rosenfeld, Azriel Rozenberg, Grzegorz ; Rosenfeld, Azriel ; Ehrig, Hartmut ; Nagl, ManfredBerlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |