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 $
Wireless Network Performance Enhancement Via Directional Antennas: Models, Protocols, And Systems

John D. Matyjas Couverture souple
88,95 $
2 formats offerts
Segmentation, Classification, and Registration of Multi-modality Medical Imaging Data: MICCAI 2020 Challenges, ABCs 2020, L2R 2020, TN-SCUI 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4-8, 2020, Proceedings

Nadya Shusharina Couverture souple
80,50 $
2 formats offerts
Business intelligence avec Python: créez vos outils BI de A à Z

Gaël Penessot Couverture souple
64,95 $
Artificial Intelligence: A Guide for Everyone

Arshad Khan Couverture souple
48,50 $
2 formats offerts
Artificial Intelligence: A Guide for Everyone

Arshad Khan Couverture souple
58,50 $
Beginning ChatGPT for Python: Build Intelligent Applications with OpenAI API

Lydia Evelyn Couverture souple
87,95 $
Lesion Segmentation in Surgical and Diagnostic Applications: MICCAI 2022 Challenges, CuRIOUS 2022, KiPA 2022 and MELA 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18-22, 2022, Proceedings

Yiming Xiao Couverture souple
87,95 $
2 formats offerts
The Dbase Book: Developing Windows Applications With Dbase Plus

Ken Mayer Couverture souple
61,88 $
Model-driven Simulation and Training Environments for Cybersecurity: Second International Workshop, MSTEC 2020, Guildford, UK, September 14-18, 2020, Revised Selected Papers

George Hatzivasilis Couverture souple
80,50 $
2 formats offerts
Pro Serverless Data Handling With Microsoft Azure: Architecting Etl And Data-driven Applications In The Cloud

Benjamin Kettner Couverture souple
102,50 $
2 formats offerts
PostgreSQL 10 High Performance - Third Edition: Expert techniques for query optimization, high availability, and efficient database maintenance

Enrico Pirozzi Couverture souple
59,99 $
2 formats offerts
Digital Business Models: Concepts, Models, And The Alphabet Case Study

Bernd W. Wirtz Couverture souple
160,95 $
Asynchronous On-Chip Networks and Fault-Tolerant Techniques

Wei Song Couverture souple
88,95 $
3 formats offerts
Digital VLSI Systems Design: A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog

Seetharaman Ramachandran Couverture souple
324,95 $
2 formats offerts
Delphi High Performance: Build Fast Delphi Applications Using Concurrency, Parallel Programming And Memory Management

Primoz Gabrijelčič Couverture souple
65,99 $
2 formats offerts
Digital Business Models: Concepts, Models, And The Alphabet Case Study

Bernd W. Wirtz Couverture rigide
233,95 $
2 formats offerts
Public Key Infrastructures, Services and Applications: 10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers

Sokratis Katsikas Couverture souple
72,95 $
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

Jane Hillston Couverture souple
109,50 $
2 formats offerts
CISA – Certified Information Systems Auditor Study Guide: Aligned with the CISA Review Manual 2019 to help you audit, monitor, and assess information systems

Hemang Doshi Livre numérique Kobo
64,99 $ ~~Réduction sur le prix courant 80,99 $ à~~

Évaluation éditoriale

ferruccio damiani

Auteur

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 $
Approximation and Online Algorithms: Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers

Giuseppe Persiano 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 $
Fun with Algorithms: 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings

Pierluigi Crescenzi Couverture souple
80,50 $
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 $
Principles of Distributed Systems: 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012, Proceedings

Roberto Baldoni Couverture souple
80,50 $
Digital Libraries and Archives: 7th Italian Research Conference, IRCDL 2011, Pisa, Italy,January 20-21, 2011. Revised Papers

Maristella Agosti Couverture souple
80,50 $
Euro-Par 2010 - Parallel Processing: 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I

Pasqua D'Ambra Couverture souple
160,95 $
Hybrid Metaheuristics: 6th International Workshop, HM 2009 Udine, Italy, October 16-17, 2009 Proceedings

Christian Blum Couverture souple
80,50 $
Learning and Intelligent Optimization: Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers

Vittorio Maniezzo Couverture souple
80,50 $
Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers

Gheorghe Paun Couverture souple
80,50 $
Graph Drawing: 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers

Walter Didimo Couverture souple
80,50 $
Fun with Algorithms: 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010, Proceedings

Paolo Boldi Couverture souple
80,50 $
Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

Egon Börger Couverture souple
80,50 $
Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Silvia Bonfanti Couverture souple
72,95 $
Algorithms and Complexity: 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings

Josep Diaz Couverture souple
80,50 $
Adaptive and Natural Computing Algorithms: 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013, Proceedings

Marco Tomassini Couverture souple
80,50 $
Applications of Evolutionary Computation: 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Anna I. Esparcia-alc Couverture souple
160,95 $
Fundamental Approaches to Software Engineering: 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Vittorio Cortellessa Couverture souple
80,50 $
Advanced Language Technologies for Digital Libraries: International Workshops on NLP4DL 2009, Viareggio, Italy, June 15, 2009 and AT4DL 2009, Trento, Italy, September 8, 2009

Raffaella Bernardi Couverture souple
102,50 $