Viimati ilmunud raamatud

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday 1st ed. 2021

Tue, 28 Sep 2021 00:00:00 GMT

Ezio Bartocci, Yli�s Falcone, Martin Leucker
ISBN: 9783030873479
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 28-Sep-2021
Hind: 53,33 �

Accelerator Programming Using Directives: 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings 1st ed. 2022

Sat, 15 May 2021 00:00:00 GMT

Sridutt Bhalachandra, Christopher Daley, Ver�nica Melesse Vergara
ISBN: 9783030977580
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 15-May-2021
Hind: 53,33 �

Services Computing SCC 2021: 18th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 1014, 2021, Proceedings 1st ed. 2022

Wed, 24 Feb 2021 00:00:00 GMT

Ajay Katangur, Liang-Jie Zhang
ISBN: 9783030965655
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 24-Feb-2021
Hind: 81,12 �

Web Services ICWS 2021: 28th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 1014, 2021, Proceedings 1st ed. 2022

Thu, 18 Feb 2021 00:00:00 GMT

Chengzhong Xu, Yunni Xia, Yuchao Zhang, Liang-Jie Zhang
ISBN: 9783030961398
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 18-Feb-2021
Hind: 53,33 �

Services SERVICES 2021: 17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 1014, 2021, Proceedings 1st ed. 2022

Sat, 13 Feb 2021 00:00:00 GMT

Mohamed Adel Serhani, Liang-Jie Zhang
ISBN: 9783030965846
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 13-Feb-2021
Hind: 53,33 �

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY 1st ed. 2020

Wed, 09 Dec 2020 00:00:00 GMT

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner H�hnle, Mattias Ulbrich
ISBN: 9783030643539
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 09-Dec-2020
Hind: 48,70 �

Performance Engineering and Stochastic Modeling: 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 910 and December 1314, 2021, Proceedings 1st ed. 2021

Fri, 27 Nov 2020 00:00:00 GMT

Paolo Ballarini, Hind Castel, Ioannis Dimitriou, Mauro Iacono, Tuan Phung-Duc, Joris Walraevens
ISBN: 9783030918248
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 27-Nov-2020
Hind: 70,93 �

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 610, 2021, Proceedings 1st ed. 2021

Thu, 26 Nov 2020 00:00:00 GMT

S�rgio Campos, Marius Minea
ISBN: 9783030921361
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 26-Nov-2020
Hind: 53,33 �

Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 1719, 2021, Proceedings 1st ed. 2021

Wed, 14 Oct 2020 00:00:00 GMT

Cezara Drgoi, Suvam Mukherjee, Kedar Namjoshi
ISBN: 9783030888053
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 14-Oct-2020
Hind: 76,49 �

Advances in Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 1821, 2021, Proceedings 1st ed. 2021

Tue, 13 Oct 2020 00:00:00 GMT

Iris Reinhartz-Berger, Shazia Sadiq
ISBN: 9783030883577
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 13-Oct-2020
Hind: 53,33 �

Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 1114, 2021, Proceedings 1st ed. 2021

Tue, 06 Oct 2020 00:00:00 GMT

Lu Feng, Dana Fisman
ISBN: 9783030884932
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 06-Oct-2020
Hind: 71,86 �

Search-Based Software Engineering: 13th International Symposium, SSBSE 2021, Bari, Italy, October 1112, 2021, Proceedings 1st ed. 2021

Thu, 01 Oct 2020 00:00:00 GMT

Una-May O'Reilly, Xavier Devroey
ISBN: 9783030881054
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 01-Oct-2020
Hind: 53,33 �

OpenMP: Enabling Massive Node-Level Parallelism: 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 1416, 2021, Proceedings 1st ed. 2021

Fri, 14 Aug 2020 00:00:00 GMT

Simon McIntosh-Smith, Bronis R. de Supinski, Jannis Klinkenberg
ISBN: 9783030852610
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 14-Aug-2020
Hind: 67,23 �

Performance Evaluation and Benchmarking: 12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020, Revised Selected Papers 1st ed. 2021

Tue, 04 Aug 2020 00:00:00 GMT

Raghunath Nambiar, Meikel Poess
ISBN: 9783030849238
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 04-Aug-2020
Hind: 48,70 �

End-User Development: 8th International Symposium, IS-EUD 2021, Virtual Event, July 68, 2021, Proceedings 1st ed. 2021

Wed, 24 Jun 2020 00:00:00 GMT

Daniela Fogli, Daniel Tetteroo, Barbara Rita Barricelli, Simone Borsci, Panos Markopoulos, George A. Papadopoulos
ISBN: 9783030798390
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 24-Jun-2020
Hind: 48,70 �