Science, Computer & Technology Compilers (1305)
-
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,70 € -
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane65,40 € -
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0: 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,50 € -
Introduction to R for Terrestrial Ecology: Basics of Numerical Analysis, Mapping, Statistical Tests and Advanced Application of R
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2021Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane85,50 € -
Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,00 € -
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,90 € -
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane71,70 € -
Answer Set Programming
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2020Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane75,20 € -
Answer Set Programming
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane70,30 € -
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,20 € -
Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,50 € -
Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane86,80 € -
Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane81,20 € -
Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,70 € -
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane92,70 € -
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane80,50 € -
Trends in Functional Programming: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane75,50 € -
Agreement Technologies: 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,70 € -
Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane73,30 € -
Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,10 € -
High Performance Computing for Computational Science – VECPAR 2018: 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,30 € -
Requirements Engineering: Foundation for Software Quality: 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane93,30 € -
Trends in Functional Programming: 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,00 € -
Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,90 € -
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,00 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.
