Programming Languages and Systems

Name: Programming Languages and Systems
Price: 110.00 CHF
Availability: InStock
ISBN: 9783319712369

15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Herausgegeben von:Chang, Bor-Yuh Evan

Buch (broschiert)110.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Inhalt

This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length.

Bibliografische Angaben

November 2017, 555 Seiten, Lecture Notes in Computer Science , Programming and Software Engineering, Englisch

Springer Nature EN

978-3-319-71236-9

Inhaltsverzeichnis

Schlagworte

Inhalt

Bibliografische Angaben

November 2017, 555 Seiten, Lecture Notes in Computer Science , Programming and Software Engineering, Englisch

Springer Nature EN

978-3-319-71236-9

Inhaltsverzeichnis

Schlagworte

Weitere Titel der Reihe: Lecture Notes in Computer Science

Alle anzeigen

Computing and Software Science

State of the Art and Perspectives

Steffen, Bernhard|Woeginger, Gerhard

Springer Nature EN, 2019

978-3-319-91907-2

110.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Financial Cryptography and Data Security

22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers

Meiklejohn, Sarah|Sako, Kazue

Springer Nature EN, 2019

978-3-662-58386-9

113.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Human-Computer Interaction – INTERACT 2019

17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part III

Lamas, David|Loizides, Fernando|Nacke, Lennart

Springer Nature EN, 2019

978-3-030-29386-4

156.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Human-Computer Interaction – INTERACT 2019

17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part II

Lamas, David|Loizides, Fernando|Nacke, Lennart

Springer Nature EN, 2019

978-3-030-29383-3

156.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Knowledge Science, Engineering and Management

12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part I

Douligeris, Christos|Karagiannis, Dimitris|Apostolou, Dimitris

Springer Nature EN, 2019

978-3-030-29550-9

143.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Automated Deduction – CADE 27

27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Fontaine, Pascal

Springer Nature EN, 2019

978-3-030-29435-9

113.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Computational Collective Intelligence

11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019, Proceedings, Part II

Nguyen, Ngoc Thanh|Chbeir, Richard|Exposito, Ernesto

Springer Nature EN, 2019

978-3-030-28373-5

124.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Computational Collective Intelligence

11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019, Proceedings, Part I

Nguyen, Ngoc Thanh|Chbeir, Richard|Exposito, Ernesto

Springer Nature EN, 2019

978-3-030-28376-6

133.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

RoboCup 2018: Robot World Cup XXII

Holz, Dirk|Genter, Katie|Saad, Maarouf

Springer Nature EN, 2019

978-3-030-27543-3

113.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Intelligent Robotics and Applications

12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV

Yu, Haibin|Liu, Jinguo|Liu, Lianqing

Springer Nature EN, 2019

978-3-030-27537-2

133.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Geometric Science of Information

4th International Conference, GSI 2019, Toulouse, France, August 27–29, 2019, Proceedings

Nielsen, Frank|Barbaresco, Frédéric

Springer Nature EN, 2019

978-3-030-26979-1

133.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Intelligent Robotics and Applications

12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part II

Yu, Haibin|Liu, Jinguo|Liu, Lianqing

Springer Nature EN, 2019

978-3-030-27531-0

133.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Weitere Titel zum Thema

Linux Basics for Hackers, 2nd Edition

OccupyTheWeb

Turnaround, 2025

978-1-71850-354-0

ca. 65.00 CHF

erhältlich ab Mai 2025

Methods of Clinical Epidemiology

Doi, Suhail A. R.|Williams, Gail M.

Springer Nature EN, 3000

978-3-319-65333-4

ca. 146.00 CHF

erhältlich ab Juni 3000

Eleventh Hour CISSP®

Study Guide

Conrad Eric|Misenar Seth|Feldman Joshua

Elsevier, 2026

978-0-443-18688-2

ca. 42.50 CHF

erhältlich ab Januar 2026

Coherence-Targeted Text Summarization

Zhang, Renxian

Springer Nature ENTongji University Press, 2051

978-981-10-7943-6

ca. 116.00 CHF

erhältlich ab Januar 2051

Innovization

Discovering Innovative Solution Principles Through Optimization

Deb, Kalyanmoy

Springer Nature EN, 2100

978-3-540-73172-6

ca. 76.00 CHF

erhältlich ab Juni 2100

Modeling of Complex Mechanical Systems

Fundamentals and Applications

Stojanović, Vladimir|Deng, Jian|Marko D. Petković

Elsevier, 2025

978-0-443-23942-7

ca. 329.00 CHF

erhältlich ab April 2025

Decentralized Optimization in Networks

Algorithmic Efficiency and Privacy Preservation

Lu, Qingguo|Liao Xiaofeng|Li, Huaqing

Elsevier, 2025

978-0-443-33337-8

ca. 173.00 CHF

erhältlich ab September 2025

Gaming Cancer

How Building and Playing Video Games Can Accelerate Scientific Discovery

Yoshimi, Jeff

University Presses, 2025

978-0-262-55072-7

ca. 85.00 CHF

erhältlich ab Februar 2025

AI-Embedded Blockchain Technologies and Applications

Enhancing Cybersecurity Systems in Smart Environments

Khang, Alex|Dhanda, Namrata|Verma, Rajat

Wiley, 2025

978-1-394-27063-7

ca. 179.00 CHF

erhältlich ab März 2025

Mechatronische Systeme

Lösungsansätze und - methoden zur Informationsverarbeitung

Kaufmann, Michael

De Gruyter, 2030

978-3-11-047107-6

ca. 102.00 CHF

erhältlich ab Januar 2030

Okinoshima: The Universal Value of Japan's Sacred Heritage

a World Heritage Nomination

Kaner, Simon

Springer Nature EN, 2025

978-3-319-44526-7

ca. 65.00 CHF

erhältlich ab April 2025

Principal Component and Correspondence Analyses Using R

Abdi, Hervé|Beaton, Derek

Springer Nature EN, 2028

978-3-319-09255-3

ca. 69.00 CHF

erhältlich ab September 2028