Programming Languages and Systems | Programming and Software Engineering

Livres spécialisés

Programming Languages and Systems

Télécharger la couverture

Programming Languages and Systems

14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

Publié par:Igarashi, Atsushi

Livre (broché)env. 70.00 CHF

livrable dans env. 20-45 jours

This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016. The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools for programming and implementation.

octobre 2016, env. 465 pages, Programming and Software Engineering , Lecture Notes in Computer Science, Anglais

Springer EN

978-3-319-47957-6

This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016. The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools for programming and implementation.

octobre 2016, env. 465 pages, Programming and Software Engineering , Lecture Notes in Computer Science, Anglais

Springer EN

978-3-319-47957-6

Autres titres de la collection: Programming and Software Engineering

Computer Safety, Reliability, and Security

SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

Romanovsky, Alexander|Troubitsyna, Elena|Gashi, Ilir

Springer EN, 2019

978-3-030-26249-5

env. 92.00 CHF

livrable dans env. 20-45 jours

OpenMP: Conquering the Full Hardware Spectrum

15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Fan, Xing|de Supinski, Bronis R.|Sinnen, Oliver

Springer EN, 2019

978-3-030-28595-1

env. 92.00 CHF

livrable dans env. 20-45 jours

Computer Safety, Reliability, and Security

38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

Romanovsky, Alexander|Troubitsyna, Elena|Bitsch, Friedemann

Springer EN, 2019

978-3-030-26600-4

env. 82.00 CHF

livrable dans env. 20-45 jours

Search-Based Software Engineering

11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Nejati, Shiva|Gay, Gregory

Springer EN, 2019

978-3-030-27454-2

env. 70.00 CHF

livrable dans env. 20-45 jours

Formal Methods for Industrial Critical Systems

24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Larsen, Kim Guldstrand|Willemse, Tim

Springer EN, 2019

978-3-030-27007-0

env. 70.00 CHF

livrable dans env. 20-45 jours

End-User Development

7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

Malizia, Alessio|Valtolina, Stefano|Morch, Anders

Springer EN, 2019

978-3-030-24780-5

env. 82.00 CHF

livrable dans env. 20-45 jours

Services Computing – SCC 2019

16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Ferreira, Joao Eduardo|Musaev, Aibek|Zhang, Liang-Jie

Springer EN, 2019

978-3-030-23553-6

env. 70.00 CHF

livrable dans env. 20-45 jours

Reuse in the Big Data Era

18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

Peng, Xin|Ampatzoglou, Apostolos|Bhowmik, Tanmay

Springer EN, 2019

978-3-030-22887-3

env. 70.00 CHF

livrable dans env. 20-45 jours

Services – SERVICES 2019

15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Xia, Yunni|Zhang, Liang-Jie

Springer EN, 2019

978-3-030-23380-8

env. 70.00 CHF

livrable dans env. 20-45 jours

Web Services – ICWS 2019

26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Miller, John|Stroulia, Eleni|Lee, Kisung

Springer EN, 2019

978-3-030-23498-0

env. 70.00 CHF

livrable dans env. 20-45 jours

Coordination Models and Languages

21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Riis Nielson, Hanne|Tuosto, Emilio

Springer EN, 2019

978-3-030-22396-0

env. 70.00 CHF

livrable dans env. 20-45 jours

Intelligent Tutoring Systems

15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings

Coy, Andre|Hayashi, Yugo|Chang, Maiga

Springer EN, 2019

978-3-030-22243-7

env. 82.00 CHF

livrable dans env. 20-45 jours

Autres titres sur ce thème

Foundation Of Computation: Languages And Machines

Stephen Anthony Fenner|Duncan A Buell

Ingram Publishers Services, 2026

978-981-1297-10-6

env. 135.00 CHF

paraît en avril

Green Federated Learning for Sustainable Smart Computing

Hsiung Pao-Ann|A, John|Poongodi, T.

Wiley, 2026

978-1-394-35565-5

env. 279.00 CHF

paraît en janvier

Artificial Security and the Politics of Hype in the EU

Csernatoni, Raluca

Springer International Publishing, 2026

978-3-031-44016-8

env. 168.00 CHF

livrable dans env. 20-45 jours

Artificial Intelligence and Machine Learning in Data Science and Analytics

Niranjanamurthy, M.|Balas Valentina Emilia|Kumar Manoj

Wiley, 2026

978-1-394-28781-9

env. 279.00 CHF

paraît en janvier

Data Makes the World Go 'Round

The Data, Tech, and Trust Behind AI Success

Wiley, 2026

978-1-394-39063-2

env. 52.50 CHF

paraît en février

Transforming Digital Commerce

Using AI for Intelligent Business Analytics

Singh, Akansha|Agarwal Parul|Bhatt, Arpita

Wiley, 2026

978-1-394-35561-7

env. 259.00 CHF

paraît en janvier

Data Analytics for Sustainability

Biswas, Sarmistha|Debnath Narayan C.|Chanda, Debasis

Wiley, 2026

978-1-394-26900-6

env. 289.00 CHF

paraît en février

Distributed and Parallel Computing

Avasthi, Sandhya|Tripathi, Suman Lata

Wiley, 2026

978-1-394-28800-7

env. 279.00 CHF

paraît en janvier

AI-Driven Smart Healthcare

Powered by Hyperscale Computing and Next Generation Networks

Pratap Ajay|Narayan Yadav, Ram|Singh Patel, Yashwant

Wiley, 2026

978-1-394-29703-0

env. 165.00 CHF

paraît en janvier

Managing Sustainable Operations of Logistics and Supply Chain Management

Trends and Future Challenges

Mathiyazhagan, K.|Dadsena, Krishna Kumar|Gupta Rajesh Kumar

Wiley, 2026

978-1-394-23851-4

env. 275.00 CHF

paraît en janvier

Quantum Machine Learning (QML): Platform, Tools and Applications: Volume 140

Elsevier, 2026

978-0-443-22382-2

env. 205.00 CHF

paraît en février

Data Science and Interactive Visualization Tools for the Analysis of ...

Manuel González Canché

Elsevier, 2026

978-0-443-21961-0

env. 199.00 CHF

paraît en février