Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
![]() |
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 ProceedingsGottlob, Georg ; Leitsch, Alexander ; Mundici, Daniele Leitsch, Alexander ; Gottlob, Georg ; Mundici, DanieleBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
12 |
Material Type: Livro
|
![]() |
Computational Advances in Bio and Medical Sciences: 11th International Conference, ICCABS 2021, Virtual Event, December 16-18, 2021, Revised Selected PapersBansal, Mukul S ; Măndoiu, Ion ; Moussa, Marmar ; Patterson, Murray ; Rajasekaran, Sanguthevar ; Skums, Pavel ; Zelikovsky, AlexanderCham: Springer International Publishing AG 2022Sem texto completo |
13 |
Material Type: Livro
|
![]() |
Coordinatio Languages and Models: Third International Conference COORDINATION'99 Amsterdam, The Netherlands, April 26-28, 1999 ProceedingsCarbonell, Jaime G ; Siekmann, Jörg ; Goos, Gerhard Wolf, Alexander L. ; Ciancarini, PaoloBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
14 |
Material Type: Livro
|
![]() |
Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60th BirthdayDay, Adam ; Fellows, Michael ; Greenberg, Noam ; Khoussainov, Bakhadyr ; Melnikov, Alexander ; Rosamond, Frances Fellows, Michael ; Day, Adam ; Khoussainov, Bakhadyr ; Greenberg, Noam ; Melnikov, Alexander ; Khoussainov, Bakhadyr ; Rosamond, Frances ; Day, Adam ; Fellows, Michael ; Greenberg, NoamCham: Springer Nature 2016Sem texto completo |
15 |
Material Type: Livro
|
![]() |
Graph Drawing: 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected PapersWismath, Stephen ; Wolff, Alexander Wolff, Alexander ; Wismath, StephenNetherlands: Springer Nature 2013Texto completo disponível |
16 |
Material Type: Livro
|
![]() |
Computing and Combinatorics: 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014, ProceedingsCai, Zhipeng ; Zelikovsky, Alexander ; Bourgeois, Anu G Bourgeois, Anu ; Zelikovsky, Alexander ; Cai, ZhipengCham: Springer Nature 2014Texto completo disponível |
17 |
Material Type: Livro
|
![]() |
Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part IILopes, Luis ; Zilinskas, Julius ; Costan, Alexandru ; Cascella, Roberto G ; Kecskemeti, Gabor ; Jeannot, Emmanuel ; Cannataro, Mario ; Ricci, Laura ; Benkner, Siegfried ; Petit, Salvador ; Scarano, Vittorio ; Gracia, Jose ; Hunold, Sascha ; Scott, Stephen L ; Lankes, Stefan ; Lengauer, Christian ; Carretero, Jesus ; Breitbart, Jens ; Alexander, MichaelSpringer International Publishing 2014Texto completo disponível |
18 |
Material Type: Livro
|
![]() |
Euro-Par 2014: Parallel Processing Workshops: Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part ILopes, Luis ; Zilinskas, Julius ; Costan, Alexandru ; Cascella, Roberto G ; Kecskemeti, Gabor ; Jeannot, Emmanuel ; Cannataro, Mario ; Ricci, Laura ; Benkner, Siegfried ; Petit, Salvador ; Scarano, Vittorio ; Gracia, Jose ; Hunold, Sascha ; Scott, Stephen L ; Lankes, Stefan ; Lengauer, Christian ; Carretero, Jesus ; Breitbart, Jens ; Alexander, MichaelSpringer International Publishing 2014Texto completo disponível |
19 |
Material Type: Livro
|
![]() |
Foundations of Intelligent Systems: 20th International Symposium, ISMIS 2012, Macau, China, December 4-7, 2012, ProceedingsChen, Li ; Felfernig, Alexander ; Liu, Jiming ; Ras, Zbigniew W Chen, Li ; Liu, Jiming ; Felfernig, Alexander ; Ras, Zbigniew WBerlin, Heidelberg: Springer Nature 2013Texto completo disponível |
20 |
Material Type: Livro
|
![]() |
Computer Algebra in Scientific Computing: 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, ProceedingsGerdt, Vladimir P ; Koepf, Wolfram ; Mayr, Ernst W ; Vorozhtsov, Evgenii V Vorozhtsov, Evgenii V ; Mayr, Ernst W ; Koepf, Wolfram ; Gerdt, Vladimir PNetherlands: Springer Nature 2012Texto completo disponível |