Science, Computer & Technology Machine Theory (2261)
-
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane73,80 € -
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane223,50 € -
Implementation and Application of Automata: 28th International Conference, CIAA 2024, Akita, Japan, September 3–6, 2024, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane99,10 € -
Category Theory Using Haskell: An Introduction with Moggi and Yoneda
Venditore: FeltrinelliBirkhauser Verlag AG, 2024Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane286,30 € -
A First Introduction to Quantum Computing and Information
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane70,90 € -
Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,30 € -
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane56,40 € -
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane60,30 € -
Computational Science – ICCS 2024: 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VII
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane98,20 € -
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane98,80 € -
Metaheuristics: 15th International Conference, MIC 2024, Lorient, France, June 4–7, 2024, Proceedings, Part I
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | MathematicsDisponibilità in 2 settimane92,30 € -
NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane98,70 € -
Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | MathematicsDisponibilità in 2 settimane61,90 € -
Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane92,60 € -
Rules and Reasoning: 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2023Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane81,00 € -
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Venditore: FeltrinelliSpringer International Publishing AG, 2023Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane98,50 € -
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III
Venditore: FeltrinelliSpringer International Publishing AG, 2023Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane60,80 € -
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I
Venditore: FeltrinelliSpringer International Publishing AG, 2023Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane60,80 € -
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II
Venditore: FeltrinelliSpringer International Publishing AG, 2023Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane60,70 € -
Advances in Swarm Intelligence: 14th International Conference, ICSI 2023, Shenzhen, China, July 14–18, 2023, Proceedings, Part I
Venditore: FeltrinelliSpringer International Publishing AG, 2023Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane97,90 € -
New Frontiers in Artificial Intelligence: JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13–15, 2021, Revised Selected Papers
Venditore: FeltrinelliSpringer International Publishing AG, 2023Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane92,70 € -
Computational Science – ICCS 2023: 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part III
Venditore: FeltrinelliSpringer International Publishing AG, 2023Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane121,60 € -
Computational Science – ICCS 2023: 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part II
Venditore: FeltrinelliSpringer International Publishing AG, 2023Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane134,40 € -
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2023Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane110,80 € -
Algorithms and Models for the Web Graph: 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23–26, 2023, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2023Libri in Inglese | Language & ReferenceDisponibilità 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.
