Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Swarm Intelligence Based Optimization: Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected PapersSiarry, Patrick ; Idoumghar, Lhassane ; Lepagnot, Julien Lepagnot, Julien ; Idoumghar, Lhassane ; Siarry, Patrick ; Lepagnot, Julien ; Idoumghar, Lhassane ; Siarry, PatrickCham: Springer Nature 2016Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, ProceedingsJohnsen, Einar Broch ; Wimmer, Manuel Wimmer, Manuel ; Johnsen, Einar BrochCham: Springer Nature 2022Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Real-Time and Embedded Computing Systems and Applications: 9th International Conference, RTCSA 2003, Tainan City, Taiwan, February 18-20, 2003. Revised PapersChen, Jing ; Hong, Seongsoo Hong, Seongsoo ; Chen, JingBerlin, Heidelberg: Springer Berlin Heidelberg 2004Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, ProceedingsBouyer, Patricia ; Schröder, Lutz Schröder, Lutz ; Bouyer, PatriciaCham: Springer Nature 2022Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Conpar 81: Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 ProceedingsBrauer, W ; Hansen, P. Brinch ; Gries, D ; Moler, C ; Seegmüller, G ; Stoer, J ; Wirth, N ; Händler, Wolfgang Hansen, P. Brinch ; Händler, Wolfgang ; Seegmüller, G. ; Gries, D. ; Wirth, N. ; Stoer, J. ; Brauer, W. ; Moler, C.Berlin, Heidelberg: Springer Berlin Heidelberg 1981Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Studies of Software Design: ICSE'93 Workshop Maltimore, Maryland, USA, May 17–18, 1993 Selected PapersLamb, David Alex Lamb, David AlexBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
PARLE'94 Parallel Architectures and Languages Europe: 6th International PARLE Conference Athens, Greece, July 4–8, 1994 ProceedingsHalatsis, Costas ; Maritsas, Dimitrios ; Philokyprou, George ; Theodoridis, Sergios Theodoridis, Sergios ; Maritsas, Dimitrios ; Philokyprou, George ; Halatsis, CostasBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989Díaz, J ; Orejas, F Díaz, J. ; Orejas, F.Berlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part IBiere, Armin ; Parker, DavidCham: Springer International Publishing AG 2020Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Field Programmable Logic and Applications: 9th International Workshop, FPL'99, Glasgow, UK, August 30 - September 1, 1999. ProceedingsGoos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan Hartenstein, Reiner ; Lysaght, Patrick ; Irvine, JamesBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |