Jaunas gr�matas

New Trends in Intelligent Software Methodologies, Tools and Techniques: Proceedings of the 23rd International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_24)

Tue, 29 Apr 2025 00:00:00 GMT

Hamido Fujita, Hector Perez-Meana, Andres Hernandez-Matamoros
ISBN: 9781643685380
Izdevniec�ba: IOS Press,US
Form�ts: M�kstie v�ki, Izdo�anas datums: 29-Apr-2025
Cena: 232,88 �

Engineering Trustworthy Software Systems: 6th International School, SETSS 2024, Chongqing, China, April 1421, 2024, Tutorial Lectures

Sat, 05 Apr 2025 00:00:00 GMT

Jonathan P. Bowen, Cl�udio Gomes, Zhiming Liu
ISBN: 9789819646555
Izdevniec�ba: Springer Nature Switzerland AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 05-Apr-2025
Cena: 46,91 �

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
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 16-May-2024
Cena: 100,46 �

Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 38, 2025, Proceedings, Part III

Wed, 01 May 2024 00:00:00 GMT

Arie Gurfinkel, Marijn Heule
ISBN: 9783031906596
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 01-May-2024
Cena: 37,98 �

Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 38, 2025, Proceedings, Part I

Wed, 01 May 2024 00:00:00 GMT

Arie Gurfinkel, Marijn Heule
ISBN: 9783031906428
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 01-May-2024
Cena: 37,98 �

Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 38, 2025, Proceedings, Part II

Wed, 01 May 2024 00:00:00 GMT

Arie Gurfinkel, Marijn Heule
ISBN: 9783031906527
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 01-May-2024
Cena: 37,98 �

Software Business: 15th International Conference, ICSOB 2024, Utrecht, The Netherlands, November 1820, 2024, Proceedings

Fri, 22 Mar 2024 00:00:00 GMT

Efi Papatheocharous, Siamak Farshidi, Slinger Jansen, Sonja Hyrynsalmi
ISBN: 9783031858482
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 22-Mar-2024
Cena: 68,33 �

Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 23, 2024, Proceedings

Sun, 25 Feb 2024 00:00:00 GMT

Shaoying Liu
ISBN: 9789819616206
Izdevniec�ba: Springer Nature Switzerland AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 25-Feb-2024
Cena: 54,05 �

Systems, Software and Services Process Improvement: 31st European Conference, EuroSPI 2024, Munich, Germany, September 46, 2024, Proceedings, Part II 2024 ed.

Thu, 07 Sep 2023 00:00:00 GMT

Murat Yilmaz, Paul Clarke, Andreas Riel, Richard Messnarz, Christian Greiner, Thomas Peisl
ISBN: 9783031711411
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 07-Sep-2023
Cena: 78,14 �

Systems, Software and Services Process Improvement: 31st European Conference, EuroSPI 2024, Munich, Germany, September 46, 2024, Proceedings, Part I 2024 ed.

Thu, 07 Sep 2023 00:00:00 GMT

Murat Yilmaz, Paul Clarke, Andreas Riel, Richard Messnarz, Christian Greiner, Thomas Peisl
ISBN: 9783031711381
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 07-Sep-2023
Cena: 78,14 �

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

Systems, Software and Services Process Improvement: 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 September 1, 2023, Proceedings, Part II 1st ed. 2023

Tue, 30 Aug 2022 00:00:00 GMT

Murat Yilmaz, Paul Clarke, Andreas Riel, Richard Messnarz
ISBN: 9783031423093
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 30-Aug-2022
Cena: 69,22 �

End-User Development: 9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 68, 2023, Proceedings 1st ed. 2023

Tue, 31 May 2022 00:00:00 GMT

Lucio Davide Spano, Albrecht Schmidt, Carmen Santoro, Simone Stumpf
ISBN: 9783031344329
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 31-May-2022
Cena: 60,29 �

Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 69, 2022, Proceedings 1st ed. 2022

Wed, 01 Dec 2021 00:00:00 GMT

Lucas Lima, Vince Moln�r
ISBN: 9783031224751
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 01-Dec-2021
Cena: 51,37 �

Software Business: 13th International Conference, ICSOB 2022, Bolzano, Italy, November 811, 2022, Proceedings 1st ed. 2022

Fri, 29 Oct 2021 00:00:00 GMT

Noel Carroll, Anh Nguyen-Duc, Xiaofeng Wang, Viktoria Stray
ISBN: 9783031207051
Izdevniec�ba: Springer International Publishing AG
Form�ts: M�kstie v�ki, Izdo�anas datums: 29-Oct-2021
Cena: 91,53 �