Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Verified Software. Theories, Tools and Experiments: 15th International Conferenc

Ø 0.0
0 Bewertungen
56,97 €

Verified Software. Picky CDCL: SMT-solving With Flexible Literal Selection. - Safety Performance of Neural Networks in the Presence of Covariate Shift. - Pierce: A Testing Tool for Neural Network Verification Solvers.

Jetzt bei Ebay:

Zum Angebot *
  • Format:
    Paperback
  • ISBN-13:
    9783031660634
  • Author:
    Andrew Reynolds, Serdar Tasiran
  • Book Title:
    Verified Software. Theories, Tools and Experiments
  • ISBN:
    9783031660634
  • None:
    International Standard : tracked-no signature (7 to 15 business days) 25,13 EUR - Lieferung zwischen 03. June 2025 und 13. June 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Weltweit
  • Versand ausgeschlossen:
    Kambodscha , Irak , Libanon , Jemen , Bolivien , Ecuador , Französisch-Guayana , Guyana , Paraguay , Peru , ... und weitere

Ähnliche Artikel

Produktbild - Verified Software. Theories, Tools and Experiments: 16th International Conferenc

Verified Software. Theories, Tools and Experiments: 16th International Conferenc

51,79 €
Zum Angebot
Produktbild - Verified Software. Theories, Tools and Experiments.: 14th International Conferen

Verified Software. Theories, Tools and Experiments.: 14th International Conferen

68,53 €
Zum Angebot
Produktbild - Verified Software. Theories, Tools and Experiments. - 9783031258022

Verified Software. Theories, Tools and Experiments. - 9783031258022

47,21 €
Zum Angebot
Produktbild - Verified Software: Theories, Tools, Experiments: Second International Conference

Verified Software: Theories, Tools, Experiments: Second International Conference

68,53 €
Zum Angebot
Produktbild - Performance Evaluation Methodologies and Tools: 15th EAI International Conferenc

Performance Evaluation Methodologies and Tools: 15th EAI International Conferenc

91,10 €
Zum Angebot
Produktbild - Verified Software Theories, Tools, and Experiments : 7th International Confer...

Verified Software Theories, Tools, and Experiments : 7th International Confer...

71,12 €
Zum Angebot
Produktbild - Ben David - Algorithmic Learning Theory 15th International Conferenc - T555z

Ben David - Algorithmic Learning Theory 15th International Conferenc - T555z

67,53 €
Zum Angebot
Produktbild - Lal - Verified Software. Theories Tools and Experiments. 14th Inter - J555z

Lal - Verified Software. Theories Tools and Experiments. 14th Inter - J555z

67,11 €
Zum Angebot
Produktbild - Cooperative Design, Visualization, and Engineering: 10th International Conferenc

Cooperative Design, Visualization, and Engineering: 10th International Conferenc

60,94 €
Zum Angebot
Produktbild - Research in Computational Molecular Biology: 27th Annual International Conferenc

Research in Computational Molecular Biology: 27th Annual International Conferenc

53,18 €
Zum Angebot
Produktbild - Information, Communication and Computing Technology: 9th International Conferenc

Information, Communication and Computing Technology: 9th International Conferenc

60,33 €
Zum Angebot
Produktbild - Lal - Verified Software. Theories Tools and Experiments. 14th Inter - T555z

Lal - Verified Software. Theories Tools and Experiments. 14th Inter - T555z

74,89 €
Zum Angebot
Produktbild - Dependable Software Engineering. Theories, Tools, and Applications: 9th Internat

Dependable Software Engineering. Theories, Tools, and Applications: 9th Internat

85,50 €
Zum Angebot
Produktbild - Dependable Software Engineering. Theories, Tools, and Applica... - 9783031212123

Dependable Software Engineering. Theories, Tools, and Applica... - 9783031212123

56,40 €
Zum Angebot
Produktbild - Software, System, and Service Engineering: S3E 2023 Topical Area, 24th Conferenc

Software, System, and Service Engineering: S3E 2023 Topical Area, 24th Conferenc

68,53 €
Zum Angebot
Produktbild - Performance Evaluation Methodologies and Tools: 16th EAI International Conferenc

Performance Evaluation Methodologies and Tools: 16th EAI International Conferenc

77,83 €
Zum Angebot
Produktbild - Performance Evaluation Methodologies and Tools: 14th EAI International Conferenc

Performance Evaluation Methodologies and Tools: 14th EAI International Conferenc

68,53 €
Zum Angebot
Produktbild - Dependable Software Engineering. Theories, Tools, and Applications: 10th Interna

Dependable Software Engineering. Theories, Tools, and Applications: 10th Interna

73,39 €
Zum Angebot
Produktbild - Cooperative Design, Visualization, and Engineering: 21st International Conferenc

Cooperative Design, Visualization, and Engineering: 21st International Conferenc

66,23 €
Zum Angebot
Produktbild - Security and Privacy in Communication Networks: 19th EAI International Conferenc

Security and Privacy in Communication Networks: 19th EAI International Conferenc

90,80 €
Zum Angebot
* Affiliate-Link zur Verkaufsplattform Ebay