Jaunas gr�matas

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
Izdevniec�ba: IOS Press,US
Form�ts: M�kstie v�ki, Izdo�anas datums: 29-Apr-2025
Cena: 161,35 �

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
Izdevniec�ba: IOS Press,US
Form�ts: M�kstie v�ki, Izdo�anas datums: 29-Apr-2025
Cena: 189,96 �

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
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 13-Nov-2023
Cena: 118,31 �

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
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 09-Oct-2023
Cena: 68,33 �

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
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 08-Sep-2023
Cena: 46,91 �

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
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 05-Sep-2023
Cena: 36,20 �

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
Izdevniec�ba: Springer Verlag, Singapore
Form�ts: M�kstie v�ki, Izdo�anas datums: 15-Dec-2022
Cena: 73,68 �

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
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 02-Dec-2022
Cena: 51,37 �

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
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 11-Nov-2022
Cena: 109,38 �

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
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 31-Oct-2022
Cena: 60,29 �

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
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 07-Oct-2022
Cena: 69,22 �

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
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 29-Aug-2022
Cena: 64,48 �

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
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 14-Jun-2022
Cena: 51,37 �

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
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 10-Jun-2022
Cena: 64,76 �

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
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 03-Jun-2022
Cena: 91,53 �