Viimati ilmunud raamatud

Recent Trends in Algebraic Development Techniques: 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

Thu, 16 May 2024 00:00:00 GMT

Ionu uu
ISBN: 9783031889295
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 16-May-2024
Hind: 104,29 �

Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 2830, 2022, Revised Selected Papers 1st ed. 2023

Sat, 22 Oct 2022 00:00:00 GMT

Alexandre Madeira, Manuel A. Martins
ISBN: 9783031433443
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 22-Oct-2022
Hind: 53,33 �

Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers 1st ed. 2021

Sat, 11 Apr 2020 00:00:00 GMT

Markus Roggenbach
ISBN: 9783030737849
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 11-Apr-2020
Hind: 48,70 �

Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 25, 2018, Revised Selected Papers 2019 ed.

Tue, 26 Jun 2018 00:00:00 GMT

Jos� Luiz Fiadeiro, Ionu uu
ISBN: 9783030232191
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 26-Jun-2018
Hind: 48,70 �

Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures 1st ed. 2018

Thu, 29 Mar 2018 00:00:00 GMT

Jeremy Gibbons, Perdita Stevens
ISBN: 9783319791074
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 29-Mar-2018
Hind: 48,70 �

Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 2124, 2016, Revised Selected Papers 1st ed. 2017

Thu, 08 Dec 2016 00:00:00 GMT

Phillip James, Markus Roggenbach
ISBN: 9783319720432
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 08-Dec-2016
Hind: 48,70 �

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures 1st ed. 2016

Sun, 12 Jun 2016 00:00:00 GMT

Marco Bernardo, Rocco De Nicola, Jane Hillston
ISBN: 9783319340951
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 12-Jun-2016
Hind: 48,70 �

Artificial Intelligence in Medicine: 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings 1st ed. 2017

Tue, 31 May 2016 00:00:00 GMT

Annette ten Teije, Christian Popow, John H. Holmes, Lucia Sacchi
ISBN: 9783319597577
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 31-May-2016
Hind: 62,59 �

Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings 1st ed. 2016

Tue, 06 Oct 2015 00:00:00 GMT

Martin Fr�nzle, Deepak Kapur, Naijun Zhan
ISBN: 9783319476766
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 06-Oct-2015
Hind: 48,70 �

Theoretical Aspects of Computing ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 2431, 2016, Proceedings 1st ed. 2016

Tue, 22 Sep 2015 00:00:00 GMT

Augusto Sampaio, Farn Wang
ISBN: 9783319467498
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 22-Sep-2015
Hind: 48,70 �

Reliable Software Technologies Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings 1st ed. 2016

Sun, 31 May 2015 00:00:00 GMT

Marko Bertogna, Lu�s Miguel Pinho, Eduardo Qui�ones
ISBN: 9783319390826
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 31-May-2015
Hind: 48,70 �

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings 1st ed. 2016

Sun, 24 May 2015 00:00:00 GMT

Erika �brah�m, Marieke Huisman
ISBN: 9783319336923
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 24-May-2015
Hind: 76,49 �

Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers 1st ed. 2015

Wed, 31 Dec 2014 00:00:00 GMT

Mihai Codescu, Rzvan Diaconescu, Ionu uu
ISBN: 9783319281131
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 31-Dec-2014
Hind: 39,44 �

Software Measurement: 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Krak�w, Poland, October 5-7, 2015, Proceedings 1st ed. 2015

Thu, 25 Dec 2014 00:00:00 GMT

Andrzej Kobyliski, Beata Czarnacka-Chrobot, Jaroslaw wierczek
ISBN: 9783319242842
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 25-Dec-2014
Hind: 46,85 �

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I 1st ed. 2015

Sun, 27 Jul 2014 00:00:00 GMT

Daniel Kroening, Corina S. Psreanu
ISBN: 9783319216898
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 27-Jul-2014
Hind: 48,70 �