Paieškos rezultatai - Knygos | Kriso.lt

Klientų aptarnavimas: +370 652 87781

Pagalba | Naujas vartotojas | Prisijungti

LIT

Atgal 12 3 4 5...kitas puslapis

1. Verification and Evaluation of Computer and Communication Systems: 17th ...

Belgacem Ben Hedia, Mohamed Ghazel, Bruno Monsuez
Išleidimo metai: 17-Apr-2025
Minkštas viršelis
Leidėjas: Springer International Publishing AG
ISBN-13: 9783031853555
Kaina: 56,11 €Standartinė kaina: 66,01 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
2. Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg ...

Thomas Neele, Anton Wijs
Išleidimo metai: 13-Oct-2024
Minkštas viršelis
Leidėjas: Springer International Publishing AG
ISBN-13: 9783031661488
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
3. Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, ...

Panagiotis Katsaros, Laura Nenzi
Išleidimo metai: 02-Oct-2023
Minkštas viršelis
Leidėjas: Springer International Publishing AG
ISBN-13: 9783031442667
Kaina: 67,23 €Standartinė kaina: 79,09 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
4. Model Checking Software: 29th International Symposium, SPIN 2023, Paris, ...

Georgiana Caltais, Christian Schilling
Išleidimo metai: 02-May-2023
Minkštas viršelis
Leidėjas: Springer International Publishing AG
ISBN-13: 9783031321566
Kaina: 53,33 €Standartinė kaina: 62,74 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
5. Verified Software. Theories, Tools and Experiments.: 14th International ...

Akash Lal, Stefano Tonetta
Išleidimo metai: 02-Feb-2023
Minkštas viršelis
Leidėjas: Springer International Publishing AG
ISBN-13: 9783031258022
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
6. Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th...

Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
Išleidimo metai: 16-Dec-2022
Minkštas viršelis
Leidėjas: Springer International Publishing AG
ISBN-13: 9783031212215
Kaina: 62,59 €Standartinė kaina: 73,64 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
7. Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia,...

Thao Dang, Volker Stolz
Išleidimo metai: 24-Sep-2022
Minkštas viršelis
Leidėjas: Springer International Publishing AG
ISBN-13: 9783031171956
Kaina: 63,52 €Standartinė kaina: 74,73 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
8. Model Checking Software: 28th International Symposium, SPIN 2022, Virtual ...

Owolabi Legunsen, Grigore Rosu
Išleidimo metai: 23-Aug-2022
Minkštas viršelis
Leidėjas: Springer International Publishing AG
ISBN-13: 9783031150760
Kaina: 95,02 €Standartinė kaina: 111,79 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
9. Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, ...

Sharon Shoham, Yakir Vizel
Išleidimo metai: 08-Aug-2022
Minkštas viršelis
Leidėjas: Springer International Publishing AG
ISBN-13: 9783031131844
Kaina: 39,43 €Standartinė kaina: 46,39 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
10. Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, ...

Sharon Shoham, Yakir Vizel
Išleidimo metai: 06-Aug-2022
Minkštas viršelis
Leidėjas: Springer International Publishing AG
ISBN-13: 9783031131875
Kaina: 39,43 €Standartinė kaina: 46,39 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
11. Verification and Evaluation of Computer and Communication Systems: 15th ...

Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li
Išleidimo metai: 19-Mar-2022
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030988494
Kaina: 53,33 €Standartinė kaina: 62,74 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
12. Software Verification: 13th International Conference, VSTTE 2021, New Haven, ...

Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina
Išleidimo metai: 22-Feb-2022
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030955601
Kaina: 53,33 €Standartinė kaina: 62,74 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
13. Leveraging Applications of Formal Methods, Verification and Validation: 10th ...

Tiziana Margaria, Bernhard Steffen
Išleidimo metai: 12-Oct-2021
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030891589
Kaina: 67,23 €Standartinė kaina: 79,09 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
14. Runtime Verification: 21st International Conference, RV 2021, Virtual Event, ...

Lu Feng, Dana Fisman
Išleidimo metai: 06-Oct-2021
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030884932
Kaina: 71,86 €Standartinė kaina: 84,54 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
15. Formal Methods for Industrial Critical Systems: 26th International Conference, ...

Alberto Lluch Lafuente, Anastasia Mavridou
Išleidimo metai: 10-Aug-2021
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030852474
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
16. Leveraging Applications of Formal Methods, Verification and Validation: Tools ...

Tiziana Margaria, Bernhard Steffen
Išleidimo metai: 05-Aug-2021
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030837228
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
17. Model Checking Software: 27th International Symposium, SPIN 2021, Virtual ...

Alfons Laarman, Ana Sokolova
Išleidimo metai: 03-Aug-2021
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030846282
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
18. Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF...

Frédéric Loulergue, Franz Wotawa
Išleidimo metai: 18-Jun-2021
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030793784
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
19. Tools and Algorithms for the Construction and Analysis of Systems: 27th ...

Jan Friso Groote, Kim Guldstrand Larsen
Išleidimo metai: 23-Mar-2021
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030720124
Kaina: 39,43 €Standartinė kaina: 46,39 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
20. Tools and Algorithms for the Construction and Analysis of Systems: 27th ...

Jan Friso Groote, Kim Guldstrand Larsen
Išleidimo metai: 20-Mar-2021
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030720155
Kaina: 39,43 €Standartinė kaina: 46,39 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
21. Verification and Evaluation of Computer and Communication Systems: 14th ...

Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu
Išleidimo metai: 20-Dec-2020
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030659547
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
22. Software Verification: 12th International Conference, VSTTE 2020, and 13th ...

Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel
Išleidimo metai: 06-Dec-2020
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030636173
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
23. Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, ...

Brijesh Dongol, Elena Troubitsyna
Išleidimo metai: 14-Nov-2020
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030634605
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
24. Leveraging Applications of Formal Methods, Verification and Validation: ...

Tiziana Margaria, Bernhard Steffen
Išleidimo metai: 29-Oct-2020
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030613617
Kaina: 81,12 €Standartinė kaina: 95,44 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
25. Leveraging Applications of Formal Methods, Verification and Validation: ...

Tiziana Margaria, Bernhard Steffen
Išleidimo metai: 27-Oct-2020
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030614690
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
26. Leveraging Applications of Formal Methods, Verification and Validation: ...

Tiziana Margaria, Bernhard Steffen
Išleidimo metai: 27-Oct-2020
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030614669
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
27. Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, ...

Jyotirmoy Deshmukh, Dejan Nikovi
Išleidimo metai: 08-Oct-2020
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030605070
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
28. Formal Methods for Industrial Critical Systems: 25th International Conference, ...

Maurice H. ter Beek, Dejan Nikovi
Išleidimo metai: 29-Aug-2020
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030582975
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
29. Theory and Applications of Satisfiability Testing SAT 2020: 23rd International...

Luca Pulina, Martina Seidl
Išleidimo metai: 01-Jul-2020
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030518240
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
30. Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF...

Wolfgang Ahrendt, Heike Wehrheim
Išleidimo metai: 20-Jun-2020
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030509941
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
31. Tools and Algorithms for the Construction and Analysis of Systems: 26th ...

Armin Biere, David Parker
Išleidimo metai: 18-Apr-2020
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030451899
Kaina: 39,43 €Standartinė kaina: 46,39 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
32. Tools and Algorithms for the Construction and Analysis of Systems: 26th ...

Armin Biere, David Parker
Išleidimo metai: 18-Apr-2020
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030452360
Kaina: 39,43 €Standartinė kaina: 46,39 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
33. Verified Software. Theories, Tools, and Experiments: 11th International ...

Supratik Chakraborty, Jorge A. Navas
Išleidimo metai: 14-Mar-2020
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030415990
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
34. Cyber Physical Systems. Model-Based Design: 9th International Workshop, CyPhy ...

Roger Chamberlain, Martin Edin Grimheden, Walid Taha
Išleidimo metai: 18-Feb-2020
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030411305
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
35. Verification, Model Checking, and Abstract Interpretation: 21st International ...

Dirk Beyer, Damien Zufferey
Išleidimo metai: 07-Feb-2020
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030393212
Kaina: 76,49 €Standartinė kaina: 89,99 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
36. Languages, Design Methods, and Tools for Electronic System Design: Selected ...

Daniel Große, Sara Vinco, Hiren Patel
Išleidimo metai: 01-Jan-2019
Kietas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030022143
Kaina: 95,02 €Standartinė kaina: 111,79 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
37. Verification and Evaluation of Computer and Communication Systems: 13th ...

Pierre Ganty, Mohamed Kaāniche
Išleidimo metai: 10-Nov-2019
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030350918
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
38. Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, ...

Bernd Finkbeiner, Leonardo Mariani
Išleidimo metai: 04-Oct-2019
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030320782
Kaina: 62,59 €Standartinė kaina: 73,64 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
39. Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, ...

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
Išleidimo metai: 14-Sep-2019
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030309220
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra
40. Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the ...

Dirk Beyer, Chantal Keller
Išleidimo metai: 11-Sep-2019
Minkštas viršelis
Leidėjas: Springer Nature Switzerland AG
ISBN-13: 9783030311568
Kaina: 48,70 €Standartinė kaina: 57,29 €
Įdėti į krepšelį
arba Įtraukti į pageidavimų sąrašą
Greitoji peržiūra

Atgal 12 3 4 5...kitas puslapis

Užsisakyti RSS prenumeratą pagal šias paieškos parinktis

Jei pageidaujate gauti pranešimus apie naujai šia tema išleistas knygas, žemiau įrašykite savo el. pašto adresą.

Raktažodis: Computer software - Congresses - Verification

Patikslinti paiešką