Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Name: Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Price: 80.50 CAD
Availability: InStock
Author: Hans-j Kreowski
ISBN: 9783642284113

Till Mossakowski Édition : Hans-j Kreowski

21 février 2012

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

303

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: 9783642284113

Tools And Methods Of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Vladimir Itsykson Couverture souple
80,50 $
2 formats offerts
Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

Martin Wirsing Couverture souple
80,50 $
Evaluation of Novel Approaches to Software Engineering: 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers

Raian Ali Couverture souple
80,50 $
2 formats offerts
ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Helen Treharne Couverture souple
160,95 $
Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers

Anna Kalenkova Couverture souple
80,50 $
2 formats offerts
Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers

Aleksander Byrski Couverture souple
80,50 $
2 formats offerts
Advanced Visual Interfaces. Supporting Artificial Intelligence and Big Data Applications: AVI 2020 Workshops, AVI-BDA and ITAVIS, Ischia, Italy, June 9, 2020 and September 29, 2020, Revised Selected Papers

Thoralf Reis Couverture souple
124,50 $
2 formats offerts
Music Technology with Swing: 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers

Mitsuko Aramaki Couverture souple
80,50 $
2 formats offerts
Accelerated Disassembly, Reconstruction and Reversing: Training Course Transcript and WinDbg Practice Exercises with Memory Cell Diagrams, Revised Edition

Dmitry Vostokov Couverture souple
135,00 $
Universal Access in Human-Computer Interaction: Design Methods, Tools, and Interaction Techniques for eInclusion: 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Constantine Stephanidis Couverture souple
80,50 $
Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Nina Gierasimczuk Couverture souple
58,50 $
Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Nina Gierasimczuk Couverture souple
80,50 $
2 formats offerts
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

Couverture souple
71,50 $
Advanced Visual Interfaces. Supporting Big Data Applications: Avi 2016 Workshop, Avi-bda 2016, Bari, Italy, June 7-10, 2016, Revised Selected Papers

Marco X. Bornschlegl Couverture souple
80,50 $
2 formats offerts
Distributed, Ambient and Pervasive Interactions: 4th International Conference, DAPI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

Norbert Streitz Couverture souple
80,50 $
2 formats offerts
Preserving Privacy in On-Line Analytical Processing (OLAP)

Lingyu Wang Couverture souple
246,95 $
2 formats offerts
Human Aspects of IT for the Aged Population. Social Media, Games and Assistive Environments: 5th International Conference, ITAP 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II

Jia Zhou Couverture souple
80,50 $
2 formats offerts
Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers

Kyungmin Bae Couverture souple
116,95 $
2 formats offerts
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

Ana Bove Couverture souple
80,50 $
Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers

Supratik Chakraborty Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

hans-j kreowski

Auteur

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 $
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings

Tobias Achterberg Couverture souple
80,50 $
Models in Software Engineering: Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers

Juergen Dingel Couverture souple
80,50 $
Structural Information and Communication Complexity: 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers

Shay Kutten Couverture souple
80,50 $
Evolutionary Computation in Combinatorial Optimization: 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Martin Middendorf Couverture souple
72,95 $
Algorithm Theory - Swat 2010: 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings

Haim Kaplan Couverture souple
80,50 $
Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Martin Wirsing Couverture souple
80,50 $
Theory of Quantum Computation, Communication and Cryptography: 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers

Wim van Dam Couverture souple
80,50 $
Parallel Processing and Applied Mathematics: 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers

Roman Wyrzykowski Couverture souple
248,50 $
Parameterized and Exact Computation: Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008, Proceedings

Martin Grohe Couverture rigide
80,50 $
SOFSEM 2014: Theory and Practice of Computer Science: 40th International Conference on Current Trends in Theory and Practice of Computer Science,Novy Smokovec, Slovakia, January 26-29, 2014, Proceedings

Viliam Geffert Couverture souple
80,50 $
Evolutionary Computation in Combinatorial Optimization: 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Christian Blum Couverture souple
80,50 $
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

Carla Gomes Couverture souple
80,50 $
Graph-Theoretic Concepts in Computer Science: 34th International Workshop, Wg 2008, Durham, Uk, June 30 - July 2, 2008, Revised Papers

Hajo Broersma Couverture souple
80,50 $
Implementation and Application of Automata: 19th International Conference, Ciaa 2014, Giessen, Germany, July 30 - August 2, 2014, Proceedings

Markus Holzer Couverture souple
80,50 $
Approximation and Online Algorithms: 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers

Klaus Jansen Couverture souple
80,50 $
Genetic Programming: 12th European Conference, Eurogp 2009 Tubingen, Germany, April, 15-17, 2009 Proceedings

Leonardo Vanneschi Couverture souple
80,50 $
Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

Artur Czumaj Couverture souple
80,50 $
Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

Peter Csaba Ölveczky Couverture souple
80,50 $
Advances in Computer Games: 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers

H. Jaap Van Den Herik Couverture souple
80,50 $

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Description

Vous aimerez peut-être aussi

Tools And Methods Of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

Evaluation of Novel Approaches to Software Engineering: 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers

Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers

Advanced Visual Interfaces. Supporting Artificial Intelligence and Big Data Applications: AVI 2020 Workshops, AVI-BDA and ITAVIS, Ischia, Italy, June 9, 2020 and September 29, 2020, Revised Selected Papers

Music Technology with Swing: 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers

Accelerated Disassembly, Reconstruction and Reversing: Training Course Transcript and WinDbg Practice Exercises with Memory Cell Diagrams, Revised Edition

Universal Access in Human-Computer Interaction: Design Methods, Tools, and Interaction Techniques for eInclusion: 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

Advanced Visual Interfaces. Supporting Big Data Applications: Avi 2016 Workshop, Avi-bda 2016, Bari, Italy, June 7-10, 2016, Revised Selected Papers

Distributed, Ambient and Pervasive Interactions: 4th International Conference, DAPI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

Preserving Privacy in On-Line Analytical Processing (OLAP)

Human Aspects of IT for the Aged Population. Social Media, Games and Assistive Environments: 5th International Conference, ITAP 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II

Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings

Models in Software Engineering: Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers

Structural Information and Communication Complexity: 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers

Evolutionary Computation in Combinatorial Optimization: 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013, Proceedings

Algorithm Theory - Swat 2010: 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Theory of Quantum Computation, Communication and Cryptography: 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers

Parallel Processing and Applied Mathematics: 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers

Parameterized and Exact Computation: Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008, Proceedings

SOFSEM 2014: Theory and Practice of Computer Science: 40th International Conference on Current Trends in Theory and Practice of Computer Science,Novy Smokovec, Slovakia, January 26-29, 2014, Proceedings

Evolutionary Computation in Combinatorial Optimization: 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

Graph-Theoretic Concepts in Computer Science: 34th International Workshop, Wg 2008, Durham, Uk, June 30 - July 2, 2008, Revised Papers

Implementation and Application of Automata: 19th International Conference, Ciaa 2014, Giessen, Germany, July 30 - August 2, 2014, Proceedings

Approximation and Online Algorithms: 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers

Genetic Programming: 12th European Conference, Eurogp 2009 Tubingen, Germany, April, 15-17, 2009 Proceedings

Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

Advances in Computer Games: 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers