Viimati ilmunud raamatud

Formal Ontology in Information Systems: Proceedings of the Twelfth International Conference (FOIS 2021)

Tue, 29 Apr 2025 00:00:00 GMT

Fabian Neuhaus, Boyan Brodaric
ISBN: 9781643682488
Kirjastus: IOS Press,US
Formaat: Pehme k�ide, Ilmumisaeg: 29-Apr-2025
Hind: 167,50 �

Formal Ontology in Information Systems: Proceedings of the 13th International Conference (FOIS 2023)

Tue, 29 Apr 2025 00:00:00 GMT

Nathalie Aussenac-Gilles, Torsten Hahmann, Antony Galton
ISBN: 9781643684680
Kirjastus: IOS Press,US
Formaat: Pehme k�ide, Ilmumisaeg: 29-Apr-2025
Hind: 197,20 �

Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 1315, 2024, Proceedings 2025 ed.

Mon, 13 Nov 2023 00:00:00 GMT

Nikolai Kosmatov, Laura Kov�cs
ISBN: 9783031765537
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 13-Nov-2023
Hind: 122,82 �

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 2731, 2024, Proceedings, Part I 2025 ed.

Mon, 09 Oct 2023 00:00:00 GMT

Tiziana Margaria, Bernhard Steffen
ISBN: 9783031737084
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 09-Oct-2023
Hind: 70,93 �

Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 910, 2024, Proceedings 2024 ed.

Fri, 08 Sep 2023 00:00:00 GMT

Diego Marmsoler, Meng Sun
ISBN: 9783031712609
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 08-Sep-2023
Hind: 48,70 �

Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings 2024 ed.

Tue, 05 Sep 2023 00:00:00 GMT

Emil Sekerinski, Leila Ribeiro
ISBN: 9783031713781
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 05-Sep-2023
Hind: 37,58 �

Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 2729, 2023, Proceedings 1st ed. 2024

Thu, 15 Dec 2022 00:00:00 GMT

Holger Hermanns, Jun Sun, Lei Bu
ISBN: 9789819986637
Kirjastus: Springer Verlag, Singapore
Formaat: Pehme k�ide, Ilmumisaeg: 15-Dec-2022
Hind: 76,49 �

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 48, 2023, Proceedings 1st ed. 2024

Fri, 02 Dec 2022 00:00:00 GMT

Haniel Barbosa, Yoni Zohar
ISBN: 9783031493416
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 02-Dec-2022
Hind: 53,33 �

Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 1315, 2023, Proceedings 2024 ed.

Fri, 11 Nov 2022 00:00:00 GMT

Paula Herber, Anton Wijs
ISBN: 9783031477041
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 11-Nov-2022
Hind: 113,55 �

Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings 1st ed. 2023

Mon, 31 Oct 2022 00:00:00 GMT

Carla Ferreira, Tim A. C. Willemse
ISBN: 9783031471148
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 31-Oct-2022
Hind: 62,59 �

Computer Performance Engineering and Stochastic Modelling: 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 2023, 2023, Proceedings 1st ed. 2023

Fri, 07 Oct 2022 00:00:00 GMT

Mauro Iacono, Marco Scarpa, Enrico Barbierato, Salvatore Serrano, Davide Cerotti, Francesco Longo
ISBN: 9783031431845
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 07-Oct-2022
Hind: 71,86 �

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 1921, 2023, Proceedings 1st ed. 2023

Mon, 29 Aug 2022 00:00:00 GMT

Laure Petrucci, Jeremy Sproston
ISBN: 9783031426254
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 29-Aug-2022
Hind: 66,94 �

Formal Concept Analysis: 17th International Conference, ICFCA 2023, Kassel, Germany, July 1721, 2023, Proceedings 1st ed. 2023

Tue, 14 Jun 2022 00:00:00 GMT

Dominik D�rrschnabel, Domingo L�pez Rodr�guez
ISBN: 9783031359484
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 14-Jun-2022
Hind: 53,33 �

Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 1923, 2023, Proceedings 1st ed. 2023

Fri, 10 Jun 2022 00:00:00 GMT

Marieke Huisman, Ant�nio Ravara
ISBN: 9783031353543
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 10-Jun-2022
Hind: 67,23 �

NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 1618, 2023, Proceedings 1st ed. 2023

Fri, 03 Jun 2022 00:00:00 GMT

Kristin Yvonne Rozier, Swarat Chaudhuri
ISBN: 9783031331695
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 03-Jun-2022
Hind: 95,02 �