Viimati ilmunud raamatud

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
Kirjastus: IOS Press,US
Formaat: Pehme k�ide, Ilmumisaeg: 29-Apr-2025
Hind: 241,75 �

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
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 05-Apr-2025
Hind: 48,70 �

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 �

Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 1415, 2024, Revised Selected Papers

Fri, 03 May 2024 00:00:00 GMT

Jonathan Protzenko, Azalea Raad
ISBN: 9783031866944
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 03-May-2024
Hind: 48,70 �

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
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 01-May-2024
Hind: 39,43 �

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
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 01-May-2024
Hind: 39,43 �

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
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 01-May-2024
Hind: 39,43 �

Foundations of Software Science and Computation Structures: 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 38, 2025, Proceedings

Wed, 01 May 2024 00:00:00 GMT

Parosh Aziz Abdulla, Delia Kesner
ISBN: 9783031908965
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 01-May-2024
Hind: 39,43 �

Applied Algorithms: Second International Conference, ICAA 2025, Kolkata, India, January 810, 2025, Proceedings

Fri, 19 Apr 2024 00:00:00 GMT

Subhas C. Nandy, Rajat K. De, Prosenjit Gupta
ISBN: 9783031845420
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 19-Apr-2024
Hind: 63,52 �

Verification and Evaluation of Computer and Communication Systems: 17th International Conference, VECoS 2024, Djerba, Tunisia, October 1618, 2024, Proceedings

Wed, 17 Apr 2024 00:00:00 GMT

Belgacem Ben Hedia, Mohamed Ghazel, Bruno Monsuez
ISBN: 9783031853555
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 17-Apr-2024
Hind: 56,11 �

Requirements Engineering: Foundation for Software Quality: 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 710, 2025, Proceedings

Tue, 02 Apr 2024 00:00:00 GMT

Anne Hess, Angelo Susi
ISBN: 9783031885303
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 02-Apr-2024
Hind: 122,82 �

Recent Advances in Agent-Based Negotiation: Applications and Competition Challenges 2023 ed.

Fri, 22 Mar 2024 00:00:00 GMT

Rafik Hadfi, Reyhan Aydoan, Takayuki Ito, Ryuta Arisaka
ISBN: 9789819905638
Kirjastus: Springer Verlag, Singapore
Formaat: Pehme k�ide, Ilmumisaeg: 22-Mar-2024
Hind: 132,08 �

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
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 22-Mar-2024
Hind: 70,93 �

Information and Software Technologies: 30th International Conference, ICIST 2024, Kaunas, Lithuania, October 1718, 2024, Proceedings

Sat, 09 Mar 2024 00:00:00 GMT

Audrius Lopata, Daina Gudonien, Rita Butkien, Jonas eponis
ISBN: 9783031842627
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 09-Mar-2024
Hind: 71,86 �

Agents and Multi-agent Systems: Technologies and Applications 2024: Proceedings of 18th KES International Conference, KES-AMSTA 2024, June 2024 2024 ed.

Sat, 02 Mar 2024 00:00:00 GMT

Gordan Jezic, Y.-H. Chen-Burger, Mario Kuek, Roman perka, Robert J. Howlett, Lakhmi C. Jain
ISBN: 9789819764686
Kirjastus: Springer Nature
Formaat: K�va k�ide, Ilmumisaeg: 02-Mar-2024
Hind: 215,47 �