Login       My Wishlist
  My Cart
$0.00 / 0 items
 
Hanoi PE
Understanding Vietnam
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Computers & Technology

Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings (Lecture Notes in Computer Science)


Huge Savings Item! Save 12% on the Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings (Lecture Notes in Computer Science) by Springer at Hanoi PE. Hurry! Limited time offer. Offer valid only while supplies last. This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam,


Product Description

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.

ย 


Additional Information

Manufacturer:Springer
Publisher:Springer
Studio:Springer
EAN:9783319479576
Item Weight:0 pounds
Item Size:1.09 x 9.25 x 9.25 inches
Package Weight:1.62 pounds
Package Size:6.1 x 1.09 x 1.09 inches

Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings (Lecture Notes in Computer Science) by Springer

Buy Now:
Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings (Lecture Notes in Computer Science)

Brand: Springer
4.2 out of 5 stars with 40 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$84.99
$75.60
You Save: 11%


Quantity:  

 


 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


mpn: 145 black & white illustrations, biograp, ean: 9783319059389, isbn: 3319059386,
This book constitutes the thoroughly refereed proceedings of the Second International Conference on Context-Aware Systems and Applications, ICCASA 2013, held in Phu Quoc Island, Vietnam in November 2013. The 36 revised full papers presented were care...

ean: 9783319423449, isbn: 3319423444,
This book constitutes the refereed proceedings of the 5th International Conference on Computational Social Networks, CSoNet 2016, held in Ho Chi Minh City, Vietnam, in August 2016. The 30 revised full papers presented were carefully reviewed and sel...

ean: 9783319292359, isbn: 3319292358,
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Context-Aware Systems and Applications, ICCASA 2015, held in Vung Tau, Vietnam, in November 2015. The 44 revised full papers presented were carefully sel...

ean: 9783319469089, isbn: 3319469088,
This book constitutes the post-conference proceedings of the Second International Conference on Nature of Computation and Communication, ICTCC 2016, held in March 2016 in Rach Gia, Vietnam. The 36 revised full papers presented were carefully reviewed...

ean: 9783540770930, isbn: 3540770933,
This book constitutes the refereed proceedings of the 10th International Conference on Asian Digital Libraries, ICADL 2007, held in Hanoi, Vietnam, in December 2007. The 41 revised full papers, 15 revised short papers, and extended abstracts of 10 po...

ean: 9783319563565, isbn: 3319563564,
This book constitutes the proceedings of the 5th International Conference on Context-Aware Systems and Applications, ICCASA 2016, held in Thu Dau Mot, Vietnam, in November 2016. The 22 revised full papers presented were carefully selected from 35 sub...

ean: 9783540896739, isbn: 3540896732,
PRIMA 2008 was the 11th in a series of conferences gathering researchers - voted to developing intelligent agents and multi-agent technologies from Asia and the Paci?c regions. From its ?rst incarnation over a decade ago, PRIMA has emerged as a signi...

mpn: biography, ean: 9783642017148, isbn: 3642017142,
This book constitutes the thoroughly refereed post-workshop proceedings of the 2008 Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, held in Hanoi, Vietnam, in December 2008 as part of 10th Pacific Rim International Conference on Artificial Int...

mpn: 208 black & white illustrations, biograp, ean: 9783642347061, isbn: 3642347061,
The two volumes set LNCS 7653 and 7654 constitutes the refereed proceedings of the 4th International Conference on Computational Collective Intelligence, ICCCI, held in Ho Chi Minh City, Vietnam, in November 2012.The 113 revised full papers presented...

mpn: 193 black & white illustrations, ean: 9783642348587, isbn: 3642348580,
This volume constitutes the proceedings of the 9th International Conference on Simulated Evolution and Learning, SEAL 2012, held in Hanoi, Vietnam, in December 2012. The 50 full papers presented were carefully reviewed and selected from 91 submission...



Privacy Policy / Terms of Service
© 2018 - hanoipe.org. All Rights Reserved.