Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings

Name: Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Luís Mendes Gomes
ISBN: 9783642139611

Fernando Ferreira Édition : Elvira Mayordomo , Luís Mendes Gomes

17 juin 2010

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

450

Theoretical Computer Science and General Issues

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783642139611

Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings

Guido Governatori Couverture souple
102,50 $
2 formats offerts
Simulated Evolution and Learning: 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings

Grant Dick Couverture souple
80,50 $
BNAIC 2016: Artificial Intelligence: 28th Benelux Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 10-11, 2016, Revised Selected Papers

Tibor Bosse Couverture souple
80,50 $
2 formats offerts
Nature-Inspired Computation and Machine Learning: 13th Mexican International Conference on Artificial Intelligence, MICAI2014, Tuxtla Gutierrez, Mexico, November 16-22, 2014. Proceedings, Part II

Alexander Gelbukh Couverture souple
80,50 $
Public-Key Cryptography - PKC 2017: 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part I

Serge Fehr Couverture souple
80,50 $
2 formats offerts
Advances in Artificial Life: 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers, Part I

György Kampis Couverture souple
80,50 $
Engineering Psychology and Cognitive Ergonomics: 20th International Conference, EPCE 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Don Harris Couverture souple
145,95 $
2 formats offerts
Recent Advances in Soft Computing: Proceedings of the 22nd International Conference on Soft Computing (MENDEL 2016) held in Brno, Czech Republic, at June 8-10, 2016

Radek Matou Couverture souple
248,50 $
2 formats offerts
Advances in Knowledge Discovery and Data Mining: 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part II

Hisashi Kashima Couverture souple
233,95 $
2 formats offerts
Engineering Psychology and Cognitive Ergonomics: 20th International Conference, EPCE 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Don Harris Couverture souple
160,95 $
2 formats offerts
Advances in Knowledge Discovery and Data Mining: 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part I

Hisashi Kashima Couverture souple
131,50 $
2 formats offerts
Security and Privacy in Social Networks and Big Data: 9th International Symposium, SocialSec 2023, Canterbury, UK, August 14-16, 2023, Proceedings

Budi Arief Couverture souple
80,50 $
2 formats offerts
Advances in Knowledge Discovery and Data Mining: 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part III

Hisashi Kashima Couverture souple
189,95 $
2 formats offerts
Virtual Reality and Mixed Reality: 21st EuroXR International Conference, EuroXR 2024, Athens, Greece, November 27-29, 2024, Proceedings

Arcadio Reyes-lecuona Couverture souple
189,95 $
Advances in Knowledge Discovery and Data Mining: 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part IV

Hisashi Kashima Couverture souple
94,95 $
2 formats offerts
Machine Learning And Knowledge Discovery In Databases: European Conference, Ecml Pkdd 2019, Wurzburg, Germany, September 16-20, 2019, Proceedings, Part I

Ulf Brefeld Couverture souple
160,95 $
2 formats offerts
Universal Access in Human-Computer Interaction. Design Approaches and Supporting Technologies: 14th International Conference, UAHCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I

Margherita Antona Couverture souple
58,50 $
Machine Learning And Knowledge Discovery In Databases: European Conference, Ecml Pkdd 2019, Wurzburg, Germany, September 16-20, 2019, Proceedings, Part Ii

Ulf Brefeld Couverture souple
160,95 $
2 formats offerts
From Born-Physical to Born-Virtual: Augmenting Intelligence in Digital Libraries: 24th International Conference on Asian Digital Libraries, ICADL 2022, Hanoi, Vietnam, November 30 - December 2, 2022, Proceedings

Yuen-hsien Tseng Couverture souple
131,50 $
2 formats offerts
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

Évaluation éditoriale

elvira mayordomo

Auteur

Euro-par 2014: Parallel Processing: 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings

Fernando Silva Couverture souple
80,50 $
Computer Aided Systems Theory - EUROCAST 2011: 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

Roberto Moreno D Couverture souple
80,50 $
Computer Aided Systems Theory - EUROCAST 2011: 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II

Roberto Moreno D Couverture souple
80,50 $
Latin 2008: Theoretical Informatics: 8th Latin American Symposium, Buzios, Brazil, April 7-11, 2008, Proceedings

Eduardo Sany Laber Couverture rigide
160,95 $
Experimental and Efficient Algorithms: Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings

Celso C. Ribeiro Couverture souple
80,50 $
Theory and Practice of Natural Computing: Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings

Adrian-Horia Dediu 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 $
Computational Processing of the Portuguese Language: 10th International Conference, PROPOR 2012, Coimbra, Portugal, April 17-20, 2012, Proceedings

Helena Caseli Couverture souple
80,50 $
Computational Processing of the Portuguese Language: 6th International Workshop, PROPOR 2003, Faro, Portugal, June 26-27, 2003. Proceedings

Couverture souple
71,50 $
Reconfigurable Computing: Architectures, Tools and Applications: 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013, Proceedings

Philip Brisk Couverture souple
72,95 $
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 $
Theory and Practice of Natural Computing: First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings

Adrian-Horia Dediu Couverture souple
105,50 $
Computer Vision and Computer Graphics - Theory and Applications: International Conference, VISIGRAPP 2008, Funchal-Madeira, Portugal, January 22-25, 2008. Revised Selected Papers

AlpeshKumar Ranchordas Couverture souple
80,50 $
Computational Processing of the Portuguese Language: 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings

Jorge Baptista Couverture souple
80,50 $
Metadata and Semantics Research: 6th Research Conference, Mtsr 2012, Cadiz, Spain, November 28-30, 2012. Proceedings

Juan Manuel Dodero Couverture souple
80,50 $
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29-October 1, 2014. Proceedings

Christiano Braga Couverture souple
65,95 $
Digital Eco-Systems: Third International Conference, OPAALS 2010, Aracuju, Sergipe, Brazil, March 22-23, 2010, Revised Selected Papers

Fernando Antonio Basile Colugnati Couverture souple
80,50 $
String Processing and Information Retrieval: 21st International Symposium, SPIRE 2014, Ouro Preto, Brazil, October 20-22, 2014, Proceedings

Edleno Moura Couverture souple
80,50 $
LATIN'98: Theoretical Informatics: Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998, Proceedings

Claudio L. Lucchesi Couverture souple
80,50 $
Computational Science and Its Applications - ICCSA 2014: 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 204, Proceedings, Part Iv

Beniamino Murgante Couverture souple
80,50 $

Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings

Description

Vous aimerez peut-être aussi

Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings

Simulated Evolution and Learning: 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings

BNAIC 2016: Artificial Intelligence: 28th Benelux Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 10-11, 2016, Revised Selected Papers

Nature-Inspired Computation and Machine Learning: 13th Mexican International Conference on Artificial Intelligence, MICAI2014, Tuxtla Gutierrez, Mexico, November 16-22, 2014. Proceedings, Part II

Public-Key Cryptography - PKC 2017: 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part I

Advances in Artificial Life: 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers, Part I

Engineering Psychology and Cognitive Ergonomics: 20th International Conference, EPCE 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Recent Advances in Soft Computing: Proceedings of the 22nd International Conference on Soft Computing (MENDEL 2016) held in Brno, Czech Republic, at June 8-10, 2016

Advances in Knowledge Discovery and Data Mining: 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part II

Engineering Psychology and Cognitive Ergonomics: 20th International Conference, EPCE 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Advances in Knowledge Discovery and Data Mining: 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part I

Security and Privacy in Social Networks and Big Data: 9th International Symposium, SocialSec 2023, Canterbury, UK, August 14-16, 2023, Proceedings

Advances in Knowledge Discovery and Data Mining: 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part III

Virtual Reality and Mixed Reality: 21st EuroXR International Conference, EuroXR 2024, Athens, Greece, November 27-29, 2024, Proceedings

Advances in Knowledge Discovery and Data Mining: 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part IV

Machine Learning And Knowledge Discovery In Databases: European Conference, Ecml Pkdd 2019, Wurzburg, Germany, September 16-20, 2019, Proceedings, Part I

Universal Access in Human-Computer Interaction. Design Approaches and Supporting Technologies: 14th International Conference, UAHCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I

Machine Learning And Knowledge Discovery In Databases: European Conference, Ecml Pkdd 2019, Wurzburg, Germany, September 16-20, 2019, Proceedings, Part Ii

From Born-Physical to Born-Virtual: Augmenting Intelligence in Digital Libraries: 24th International Conference on Asian Digital Libraries, ICADL 2022, Hanoi, Vietnam, November 30 - December 2, 2022, Proceedings

Digital Libraries: Supporting Open Science: 15th Italian Research Conference on Digital Libraries, IRCDL 2019, Pisa, Italy, January 31 - February 1, 2019, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Euro-par 2014: Parallel Processing: 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings

Computer Aided Systems Theory - EUROCAST 2011: 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

Computer Aided Systems Theory - EUROCAST 2011: 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II

Latin 2008: Theoretical Informatics: 8th Latin American Symposium, Buzios, Brazil, April 7-11, 2008, Proceedings

Experimental and Efficient Algorithms: Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings

Theory and Practice of Natural Computing: Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings

Applications of Evolutionary Computation: 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Computational Processing of the Portuguese Language: 10th International Conference, PROPOR 2012, Coimbra, Portugal, April 17-20, 2012, Proceedings

Computational Processing of the Portuguese Language: 6th International Workshop, PROPOR 2003, Faro, Portugal, June 26-27, 2003. Proceedings

Reconfigurable Computing: Architectures, Tools and Applications: 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013, Proceedings

Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers

Theory and Practice of Natural Computing: First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings

Computer Vision and Computer Graphics - Theory and Applications: International Conference, VISIGRAPP 2008, Funchal-Madeira, Portugal, January 22-25, 2008. Revised Selected Papers

Computational Processing of the Portuguese Language: 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings

Metadata and Semantics Research: 6th Research Conference, Mtsr 2012, Cadiz, Spain, November 28-30, 2012. Proceedings

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29-October 1, 2014. Proceedings

Digital Eco-Systems: Third International Conference, OPAALS 2010, Aracuju, Sergipe, Brazil, March 22-23, 2010, Revised Selected Papers

String Processing and Information Retrieval: 21st International Symposium, SPIRE 2014, Ouro Preto, Brazil, October 20-22, 2014, Proceedings

LATIN'98: Theoretical Informatics: Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998, Proceedings

Computational Science and Its Applications - ICCSA 2014: 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 204, Proceedings, Part Iv