Passer au contenu principal Passer au contenu du pied de page

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Stefano Berardi Édition : Ferruccio Damiani , Ugo de Liguoro

19 juin 2009

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

323

Theoretical Computer Science and General Issues

Publié par: Springer/Sci-Tech/Trade

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783642024436

Personal Satellite Services: 5th International ICST Conference, PSATS 2013, Toulouse, France, June 27-28, 2013, Revised Selected Papers

Riadh Dhaou Couverture souple
72,95 $
Machine Learning For Cyber Physical Systems: Selected Papers From The International Conference Ml4cps 2016

Jürgen Beyerer Couverture souple
236,50 $
Machine Learning And Metaheuristics Algorithms, And Applications: Second Symposium, Somma 2020, Chennai, India, October 14-17, 2020, Revised Selected Papers

Sabu M. Thampi Couverture souple
80,50 $
2 formats offerts
Machine Learning For Cyber Physical Systems: Selected Papers From The International Conference Ml4cps 2018

Jürgen Beyerer Couverture souple
87,95 $
Reconfigurable Computing: Architectures, Tools and Applications: 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings

Phaophak Sirisuk Couverture souple
80,50 $
Mining Data For Financial Applications: 5th Ecml Pkdd Workshop, Midas 2020, Ghent, Belgium, September 18, 2020, Revised Selected Papers

Valerio Bitetta Couverture souple
87,95 $
2 formats offerts
Smart Business Technologies: 20th International Conference, ICSBT 2023, Rome, Italy, July 11-13, 2023, Revised Selected Papers

Marten van Sinderen Couverture souple
94,95 $
2 formats offerts
Multimedia, Hypermedia, And Virtual Reality: Models, Systems, And Applications: First International Conference, MHVR'94, Moscow, Russia September (14-16), 1996. Selected Papers

Couverture souple
71,50 $
Exploring Services Science: 8th International Conference, Iess 2017, Rome, Italy, May 24-26, 2017, Proceedings

Stefano Za Couverture souple
80,50 $
Advanced Intelligent Technologies and Sustainable Society: Proceedings of 4th International Conference on Advanced Intelligent Technologies (ICAIT 2023)

Kazumi Nakamatsu Couverture souple
72,95 $
Advanced Intelligent Technologies and Sustainable Society: Proceedings of 4th International Conference on Advanced Intelligent Technologies (ICAIT 2023)

Kazumi Nakamatsu Couverture rigide
408,95 $
2 formats offerts
Data And Applications Security Xxiii: 23rd Annual Ifip Wg 11.3 Working Conference, Montreal, Canada, July 12-15, 2009, Proceedings

Ehud Gudes Couverture souple
80,50 $
The Art Of High Performance Computing For Computational Science, Vol. 2: Advanced Techniques And Examples For Materials Science

Masaaki Geshi Couverture rigide
160,95 $
2 formats offerts
Cloud Computing For Data-intensive Applications

Xiaolin Li Couverture souple
261,50 $
3 formats offerts
Digital Health And Medical Analytics: Second International Conference, Dha 2020, Beijing, China, July 25, 2020, Revised Selected Papers

Yichuan Wang Couverture souple
80,50 $
2 formats offerts
The Art Of High Performance Computing For Computational Science, Vol. 2: Advanced Techniques And Examples For Materials Science

Masaaki Geshi Couverture souple
160,95 $
Performance Evaluation and Benchmarking: 14th TPC Technology Conference, TPCTC 2022, Sydney, NSW, Australia, September 5, 2022, Revised Selected Papers

Raghunath Nambiar Couverture souple
87,95 $
2 formats offerts
Modelling and Simulation for Autonomous Systems: First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers

Jan Hodicky Couverture souple
80,50 $
Management of Information, Process and Cooperation: Third International Workshop, MiPAC 2016, Hangzhou, China, September 23, 2016, Revised Selected Papers

Jian Cao Couverture souple
80,50 $
2 formats offerts
Precision Assembly Technologies and Systems: 7th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2014, Chamonix, France, February 16-18, 2014, Revised Selected Papers

Svetan Ratchev Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

ferruccio damiani

Auteur

Digital Libraries and Archives: 7th Italian Research Conference, IRCDL 2011, Pisa, Italy,January 20-21, 2011. Revised Papers

Maristella Agosti Couverture souple
80,50 $
Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II

Giuseppe F. Italiano Couverture souple
80,50 $
2 formats offerts
Combinatorial Algorithms: 30th International Workshop, Iwoca 2019, Pisa, Italy, July 23-25, 2019, Proceedings

Charles J. Colbourn Couverture souple
116,95 $
2 formats offerts
Advances in Artificial Life and Evolutionary Computation: 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers

Clara Pizzuti Couverture souple
80,50 $
2 formats offerts
Bridging Between Cultural Heritage Institutions: 9th Italian Research Conference, IRCDL 2013, Rome, Italy, January 31 - February 1, 2013. Revised Selected Papers

Tiziana Catarci Couverture souple
80,50 $
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings

Mario Bravetti Couverture souple
160,95 $
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Fabio Fioravanti Couverture souple
80,50 $
2 formats offerts
Fun with Algorithms: 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010, Proceedings

Paolo Boldi Couverture souple
80,50 $
Learning and Intelligent Optimization: 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers

Paola Festa Couverture souple
80,50 $
2 formats offerts
Higher Education Learning Methodologies and Technologies Online: 4th International Conference, HELMeTO 2022, Palermo, Italy, September 21-23, 2022, Revised Selected Papers

Giovanni Fulantelli Couverture souple
160,95 $
2 formats offerts
DNA Computing: 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Pape: 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers

Claudio Ferretti Couverture souple
80,50 $
Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Andrea Corradini Couverture souple
80,50 $
Digital Libraries: Supporting Open Science: 15th Italian Research Conference on Digital Libraries, IRCDL 2019, Pisa, Italy, January 31 - February 1, 2019, Proceedings

Paolo Manghi Couverture souple
145,95 $
2 formats offerts
Higher Education Learning Methodologies and Technologies Online: 5th International Conference, HELMeTO 2023, Foggia, Italy, September 13-15, 2023, Revised Selected Papers

Gabriella Casalino Couverture souple
175,50 $
2 formats offerts
Artificial Life and Evolutionary Computation: 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers

Marco Villani Couverture souple
72,95 $
End-User Development: 9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6-8, 2023, Proceedings

Lucio Davide Spano Couverture souple
102,50 $
2 formats offerts
Data-Driven Process Discovery and Analysis: 4th International Symposium, SIMPDA 2014, Milan, Italy, November 19-21, 2014, Revised Selected Papers

Paolo Ceravolo Couverture souple
80,50 $
Mining Data For Financial Applications: 4th Ecml Pkdd Workshop, Midas 2019, Wurzburg, Germany, September 16, 2019, Revised Selected Papers

Valerio Bitetta Couverture souple
80,50 $
2 formats offerts
Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers

Lodovica Marchesi Couverture souple
72,95 $
Combinatorial Algorithms: 32nd International Workshop, Iwoca 2021, Ottawa, On, Canada, July 5-7, 2021, Proceedings

Paola Flocchini Couverture souple
145,95 $
2 formats offerts