Passer au contenu principal Passer au contenu du pied de page

Practical Aspects Of Declarative Languages: 24th International Symposium, Padl 2022, Philadelphia, Pa, Usa, January 17-18, 2022, Proceedings

James Cheney Édition : Simona Perri

12 janvier 2022

102,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 513 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

219

Programming and Software Engineering

Publié par: Springer Nature

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

ISBN: 9783030944780

New Sustainable Horizons in Artificial Intelligence and Digital Solutions: 22nd IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2023, Curitiba, Brazil, November 9-11, 2023, Proceedings

Marijn Janssen Couverture souple
145,95 $
2 formats offerts
New Sustainable Horizons in Artificial Intelligence and Digital Solutions: 22nd IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2023, Curitiba, Brazil, November 9-11, 2023, Proceedings

Marijn Janssen Couverture souple
58,50 $
Advances in Network and Distributed Systems Security: IFIP TC11 WG11.4 First Annual Working Conference on Network Security November 26-27, 2001, Leuven, Belgium

Bart De Decker Couverture souple
248,50 $
2 formats offerts
Smart Designs for Business Innovation: Proceedings of the 3rd American University in the Emirates International Research Conference, AUEIRC'20-Dubai, UAE 2020

Asma Salman Couverture souple
58,50 $
Cyber-Physical Security for Critical Infrastructures Protection: First International Workshop, CPS4CIP 2020, Guildford, UK, September 18, 2020, Revised Selected Papers

Habtamu Abie Couverture souple
65,95 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Sergiy Bogomolov Couverture souple
87,95 $
2 formats offerts
Smart Designs for Business Innovation: Proceedings of the 3rd American University in the Emirates International Research Conference, AUEIRC'20-Dubai, UAE 2020

Asma Salman Couverture souple
291,95 $
2 formats offerts
Research and Practical Issues of Enterprise Information Systems: 10th IFIP WG 8.9 Working Conference, CONFENIS 2016, Vienna, Austria, December 13-14, 2016, Proceedings

A Min Tjoa Couverture souple
80,50 $
2 formats offerts
Cybersecurity and Evolutionary Data Engineering: Select Proceedings of the 2nd International Conference, ICCEDE 2022

Raj Jain Couverture souple
291,95 $
Proceedings of 4th International Conference on ICT for Digital, Smart, and Sustainable Development: ICIDSSD 2024

Afshar Alam Couverture rigide
437,95 $
Artificial Intelligence: Towards Sustainable Intelligence: First International Conference, AI4S 2023, Pune, India, September 4-5, 2023, Proceedings

Sanju Tiwari Couverture souple
160,95 $
2 formats offerts
Cybersecurity and Evolutionary Data Engineering: Select Proceedings of the 2nd International Conference, ICCEDE 2022

Raj Jain Couverture rigide
291,95 $
2 formats offerts
Distributed Computer and Communication Networks: 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers

Vladimir Vishnevsky Couverture souple
80,50 $
2 formats offerts
Oracle Autonomous Database in Enterprise Architecture: Utilize Oracle Cloud Infrastructure Autonomous Databases for better consolidation, automation, and security

Bal Mukund Sharma Couverture souple
56,99 $
2 formats offerts
Applied Cryptography for Cyber Security and Defense: Information Encryption and Cyphering

Nemati Couverture rigide
217,26 $
Artificial Intelligence: Towards Sustainable Intelligence: First International Conference, AI4S 2023, Pune, India, September 4-5, 2023, Proceedings

Sanju Tiwari Couverture souple
58,50 $
Advancing Research In Information And Communication Technology: Ifip's Exciting First 60+ Years, Views From The Technical Committees And Working Groups

Michael Goedicke Couverture rigide
189,95 $
2 formats offerts
Advancing Research in Information and Communication Technology: IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups

Michael Goedicke Couverture souple
189,95 $
Mathematical Research for Blockchain Economy: 4th International Conference MARBLE 2023, London, United Kingdom

Panos Pardalos Couverture rigide
291,95 $
2 formats offerts
Conceptual Modeling: 43rd International Conference, ER 2024, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings

Nick Multari Couverture souple
116,95 $
2 formats offerts

Évaluation éditoriale

simona perri

Auteur

Practical Aspects Of Declarative Languages: 23rd International Symposium, Padl 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings

José F. Morales Couverture souple
80,50 $
2 formats offerts
Practical Aspects Of Declarative Languages: 22nd International Symposium, Padl 2020, New Orleans, La, Usa, January 20-21, 2020, Proceedings

Ekaterina Komendantskaya Couverture souple
80,50 $
2 formats offerts
Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

Ricardo Rocha Couverture souple
80,50 $
Modelling Foundations and Applications: 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

Jordi Cabot Couverture souple
80,50 $
Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings

Wolfgang Ahrendt 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 $
Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings

Claudio Russo Couverture souple
80,50 $
Practical Aspects of Declarative Languages: 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings

Andy Gill Couverture souple
80,50 $
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 $
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers

Roderick Bloem Couverture souple
87,95 $
2 formats offerts
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings

Farhad Arbab Couverture souple
80,50 $
2 formats offerts
Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Helmut Seidl Couverture souple
80,50 $
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

Patricia M. Hill Couverture souple
80,50 $
Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Michael Hanus Couverture souple
124,50 $
2 formats offerts
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Martin Gebser Couverture souple
94,95 $
2 formats offerts
Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Esther Guerra Couverture souple
80,50 $
2 formats offerts
Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings

Frédéric Loulergue Couverture souple
80,50 $
2 formats offerts
Nasa Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings

Ritchie Lee Couverture souple
116,95 $
2 formats offerts
Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Peter Müller Couverture souple
72,95 $
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers

Maria Christakis Couverture souple
80,50 $
2 formats offerts