Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Computer Algebra in Scientific Computing: 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, ProceedingsEngland, Matthew ; Sadykov, Timur M. ; Boulier, François ; Vorozhtsov, Evgenii V.Cham: Springer International Publishing 2021Sem texto completo |
|
2 |
Material Type: Livro
|
Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, ProceedingsPodlaski, Krzysztof ; Mezzina, Claudio AntaresCham: Springer International PublishingSem texto completo |
|
3 |
Material Type: Livro
|
Formal Concept Analysis: 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021, ProceedingsLe Ber, Florence ; Braud, Agnès ; Buzmakov, Aleksey ; Hanika, TomCham: Springer International PublishingSem texto completo |
|
4 |
Material Type: Livro
|
Computer Algebra in Scientific Computing: 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, ProceedingsKoepf, Wolfram ; Seiler, Werner M. ; England, Matthew ; Sadykov, Timur M. ; Vorozhtsov, Evgenii V.Cham: Springer International Publishing 2019Sem texto completo |
|
5 |
Material Type: Livro
|
Algorithmic Decision Theory: 7th International Conference, ADT 2021, Toulouse, France, November 3–5, 2021, ProceedingsFotakis, Dimitris ; Ríos Insua, DavidCham: Springer International PublishingSem texto completo |
|
6 |
Material Type: Livro
|
Formal Concept Analysis: 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, ProceedingsCristea, Diana ; Le Ber, Florence ; Sertkaya, BarisCham: Springer International PublishingSem texto completo |
|
7 |
Material Type: Livro
|
Trends in Distributed Systems for Electronic Commerce: International IFIP/GI Working Conference TREC’98 Hamburg, Germany, June 3–5, 1998 ProceedingsLamersdorf, Winfried ; Merz, Michael Lamersdorf, Winfried ; Merz, MichaelBerlin, Heidelberg: Springer Berlin Heidelberg 1998Texto completo disponível |
|
8 |
Material Type: Livro
|
Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, ProceedingsLaarman, Alfons ; Sokolova, AnaCham: Springer International PublishingSem texto completo |
|
9 |
Material Type: Livro
|
RoboCup 2021: Robot World Cup XXIVObst, Oliver ; Alami, Rachid ; Biswas, Joydeep ; Cakmak, MayaCham: Springer International PublishingSem texto completo |
|
10 |
Material Type: Livro
|
Discovery Science: 23rd International Conference, DS 2020, Thessaloniki, Greece, October 19–21, 2020, ProceedingsManolopoulos, Yannis ; Tsoumakas, Grigorios ; Matwin, Stan ; Appice, AnnalisaCham: Springer International PublishingSem texto completo |