Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

Name: Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers
Price: 80.50 CAD
Availability: InStock
Author: Manuel A. Martins
ISBN: 9783031433443

Alexandre Madeira Édition : Manuel A. Martins

22 octobre 2023

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

179

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031433443

Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Andy Gill Couverture souple
105,50 $
Languages, Methodologies and Development Tools for Multi-Agent Systems: First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers

Mehdi Dastani Couverture rigide
80,50 $
iNetSec 2009 - Open Research Problems in Network Security: IFIP Wg 11.4 International Workshop, Zurich, Switzerland, April 23-24, 2009, Revised Selected Papers

Jan Camenisch Couverture souple
80,50 $
2 formats offerts
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
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Gopal Gupta Couverture souple
80,50 $
Roundabouts as Safe and Modern Solutions in Transport Networks and Systems: 15th Scientific and Technical Conference "Transport Systems. Theory and Practice 2018", Katowice, Poland, September 17-19, 2018, Selected Papers

Elå¼bieta Macioszek Couverture souple
160,95 $
2 formats offerts
Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings

Paul Hudak Couverture rigide
80,50 $
Open Problems in Network Security: IFIP WG 11.4 International Workshop, iNetSec 2015, Zurich, Switzerland, October 29, 2015, Revised Selected Papers

Jan Camenisch Couverture souple
80,50 $
2 formats offerts
Integration of AI and OR Techniques in Constraint Programming: 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings

Helmut Simonis Couverture souple
80,50 $
Information Processing in Computer-Assisted Interventions: First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010, Proceedings

Nassir Navab Couverture souple
80,50 $
Learning and Collaboration Technologies. Designing, Developing and Deploying Learning Experiences: 7th International Conference, LCT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I

Panayiotis Zaphiris Couverture souple
80,50 $
2 formats offerts
Adaptive Instructional Systems: 4th International Conference, AIS 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings

Robert A. Sottilare Couverture souple
124,50 $
2 formats offerts
Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

Matteo Baldoni Couverture souple
80,50 $
Languages, Methodologies, and Development Tools for Multi-Agent Systems: Third International Workshop, LADS 2010, Lyon, France, August 30-September 1, 2010, Revised Selected Papers

Mehdi Dastani Couverture souple
102,50 $
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. AI, Product and Service: 12th International Conference, DHM 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II

Vincent G. Duffy Couverture souple
80,50 $
2 formats offerts
Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings

Kostis Sagonas Couverture souple
72,95 $
Recent Trends In Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Markus Roggenbach Couverture souple
80,50 $
2 formats offerts
Adaptive Instructional Systems: Second International Conference, AIS 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings

Robert A. Sottilare Couverture souple
131,50 $
2 formats offerts
Introduction to SparxSystems Enterprise Architect: Documenting Enterprise Architecture in the Most Affordable Enterprise Architecture Suite

Peter Doomen Couverture souple
87,95 $
2 formats offerts
Field and Service Robotics: Results of the 8th International Conference

Kazuya Yoshida Couverture rigide
248,50 $
2 formats offerts

Évaluation éditoriale

manuel a martins

Auteur

Enterprise Information Systems: 12th International Conference, ICEIS 2010, Funchal-Madeira, Portugal, June 8-12, 2010, Revised Selected Papers

Joaquim Filipe Couverture souple
160,95 $
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

Francisco Botana Couverture souple
65,95 $
2 formats offerts
Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedin: 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedings

Nelma Moreira Couverture souple
145,95 $
2 formats offerts
Business Process Management Workshops: Bpm 2016 International Workshops, Rio De Janeiro, Brazil, September 19, 2016, Revised Papers

Marlon Dumas Couverture souple
80,50 $
Gerontechnology IV: Contributions to the Fourth International Workshop on Gerontechnology, IWoG 2021, November 23-24, 2021, Evora, Portugal

Jos García-alonso Couverture souple
291,95 $
Design and Architectures for Signal and Image Processing: 17th International Workshop, DASIP 2024, Munich, Germany, January 17-19, 2024, Proceedings

Tiago Dias Couverture souple
80,50 $
2 formats offerts
Advances in Enterprise Engineering VIII: 4th Enterprise Engineering Working Conference, EEWC 2014, Funchal, Madeira Island, Portugal, May 5-8, 2014, Proceedings

David Aveiro Couverture souple
80,50 $
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 $
Web Information Systems and Technologies: 8th International Conference, WEBIST 2012, Porto, Portugal, April 18-21, 2012, Revised Selected Papers

Jos Cordeiro Couverture souple
80,50 $
Enterprise Design, Operations, and Computing: 28th International Conference, EDOC 2024, Vienna, Austria, September 10-13, 2024, Revised Selected Papers

Jos Borbinha Couverture souple
109,50 $
Web Information Systems and Technologies: 16th International Conference, WEBIST 2020, November 3-5, 2020, and 17th International Conference, WEBIST 2021, October 26-28, 2021, Virtual Events, Revised Selected Papers

Massimo Marchiori Couverture souple
102,50 $
2 formats offerts
Application and Theory of Petri Nets and Concurrency: 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

Luis Gomes Couverture souple
131,50 $
2 formats offerts
Gerontechnology III: Contributions to the Third International Workshop on Gerontechnology, IWoG 2020, October 5-6, 2020, Evora, Portugal

Jos García-alonso Couverture souple
321,50 $
Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

Jo Leite Couverture souple
80,50 $
Advances in Enterprise Engineering XIII: 9th Enterprise Engineering Working Conference, EEWC 2019, Lisbon, Portugal, May 20-24, 2019, Revised Papers

David Aveiro Couverture souple
80,50 $
2 formats offerts
Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings

Anuj Dawar Couverture souple
80,50 $
Requirements Engineering: Foundation for Software Quality: 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings

Daniel Mendez Couverture souple
109,50 $
2 formats offerts
Requirements Engineering: Foundation for Software Quality: 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings

Daniel Mendez Couverture souple
72,95 $
Artificial Intelligence in Music, Sound, Art and Design: 13th International Conference, EvoMUSART 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings

Colin Johnson Couverture souple
72,95 $
Agents and Artificial Intelligence: International Conference, ICAART 2009, Porto, Portugal, January 19-21, 2009. Revised Selected Papers

Joaquim Filipe Couverture souple
80,50 $

Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

Description

Vous aimerez peut-être aussi

Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Languages, Methodologies and Development Tools for Multi-Agent Systems: First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers

iNetSec 2009 - Open Research Problems in Network Security: IFIP Wg 11.4 International Workshop, Zurich, Switzerland, April 23-24, 2009, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Roundabouts as Safe and Modern Solutions in Transport Networks and Systems: 15th Scientific and Technical Conference "Transport Systems. Theory and Practice 2018", Katowice, Poland, September 17-19, 2018, Selected Papers

Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings

Open Problems in Network Security: IFIP WG 11.4 International Workshop, iNetSec 2015, Zurich, Switzerland, October 29, 2015, Revised Selected Papers

Integration of AI and OR Techniques in Constraint Programming: 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings

Information Processing in Computer-Assisted Interventions: First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010, Proceedings

Learning and Collaboration Technologies. Designing, Developing and Deploying Learning Experiences: 7th International Conference, LCT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I

Adaptive Instructional Systems: 4th International Conference, AIS 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings

Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

Languages, Methodologies, and Development Tools for Multi-Agent Systems: Third International Workshop, LADS 2010, Lyon, France, August 30-September 1, 2010, Revised Selected Papers

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. AI, Product and Service: 12th International Conference, DHM 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II

Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings

Recent Trends In Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Adaptive Instructional Systems: Second International Conference, AIS 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings

Introduction to SparxSystems Enterprise Architect: Documenting Enterprise Architecture in the Most Affordable Enterprise Architecture Suite

Field and Service Robotics: Results of the 8th International Conference

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Enterprise Information Systems: 12th International Conference, ICEIS 2010, Funchal-Madeira, Portugal, June 8-12, 2010, Revised Selected Papers

Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedin: 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedings

Business Process Management Workshops: Bpm 2016 International Workshops, Rio De Janeiro, Brazil, September 19, 2016, Revised Papers

Gerontechnology IV: Contributions to the Fourth International Workshop on Gerontechnology, IWoG 2021, November 23-24, 2021, Evora, Portugal

Design and Architectures for Signal and Image Processing: 17th International Workshop, DASIP 2024, Munich, Germany, January 17-19, 2024, Proceedings

Advances in Enterprise Engineering VIII: 4th Enterprise Engineering Working Conference, EEWC 2014, Funchal, Madeira Island, Portugal, May 5-8, 2014, Proceedings

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

Web Information Systems and Technologies: 8th International Conference, WEBIST 2012, Porto, Portugal, April 18-21, 2012, Revised Selected Papers

Enterprise Design, Operations, and Computing: 28th International Conference, EDOC 2024, Vienna, Austria, September 10-13, 2024, Revised Selected Papers

Web Information Systems and Technologies: 16th International Conference, WEBIST 2020, November 3-5, 2020, and 17th International Conference, WEBIST 2021, October 26-28, 2021, Virtual Events, Revised Selected Papers

Application and Theory of Petri Nets and Concurrency: 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

Gerontechnology III: Contributions to the Third International Workshop on Gerontechnology, IWoG 2020, October 5-6, 2020, Evora, Portugal

Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

Advances in Enterprise Engineering XIII: 9th Enterprise Engineering Working Conference, EEWC 2019, Lisbon, Portugal, May 20-24, 2019, Revised Papers

Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings

Requirements Engineering: Foundation for Software Quality: 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings

Requirements Engineering: Foundation for Software Quality: 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings

Artificial Intelligence in Music, Sound, Art and Design: 13th International Conference, EvoMUSART 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings

Agents and Artificial Intelligence: International Conference, ICAART 2009, Porto, Portugal, January 19-21, 2009. Revised Selected Papers