Login       My Wishlist
  My Cart
$0.00 / 0 items
 
Hanoi PE
Understanding Vietnam
 
International Access
Global Shipping Options Available
  Our Catalog   Computers & Technology

Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (Lecture Notes in Computer Science)


Huge Savings Item! Save 15% on the Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, 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 International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi,


Product Description

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.

The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.

Additional Information

Manufacturer:Springer
Publisher:Springer
Studio:Springer
EAN:9783319677286
Item Size:0.74 x 9.25 x 9.25 inches
Package Weight:1.05 pounds
Package Size:6.1 x 0.67 x 0.67 inches

Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (Lecture Notes in Computer Science) by Springer

Buy Now:
Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (Lecture Notes in Computer Science)

Brand: Springer
4.1 out of 5 stars with 27 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$79.99
$68.62
You Save: 14%


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


By Springer
ean: 9783319696584, isbn: 3319696580,
This book constitutes the refereed proceedings of the 20th International Conference on Information Security, ISC 2017, held in Ho Chi Minh City, Vietnam, in November 2017. The 25 revised full papers presented were carefully reviewed and selected fro...

By Phan Minh
sku: I9783838398068, ean: 9783838398068, isbn: 3838398068,
A successful introduction of e-learning requires a clear understanding of the specific situation. Since e-learning is just evolving in Vietnam, very little information is available about this approach, both in terms of its application and experience ...

By ICON Group International, Inc
ean: 9780497824716, isbn: 049782471X,
The primary audience for this report is managers involved with the highest levels of the strategic planning process and consultants who help their clients with this task. The user will not only benefit from the hundreds of hours that went into the me...

By ICON Group International, Inc
ean: 9780497824723, isbn: 0497824728,
The primary audience for this report is managers involved with the highest levels of the strategic planning process and consultants who help their clients with this task. The user will not only benefit from the hundreds of hours that went into the me...

By ICON Group International, Inc
ean: 9780497824747, isbn: 0497824744,
The primary audience for this report is managers involved with the highest levels of the strategic planning process and consultants who help their clients with this task. The user will not only benefit from the hundreds of hours that went into the me...

By ICON Group International, Inc
ean: 9780497824754, isbn: 0497824752,
The primary audience for this report is managers involved with the highest levels of the strategic planning process and consultants who help their clients with this task. The user will not only benefit from the hundreds of hours that went into the me...

By Springer
mpn: 45 black & white illustrations, 19 colou, ean: 9783319146324, isbn: 3319146327,
This book includes the extended and revised versions of a set of selected papers from the First NAFOSTED Conference on Information and Computer Science (NICS’2014), held at Le Quy Don Technical Academy, Hanoi, Vietnam from 13/Mar./2014 to 14/Mar./2...

By Brand: Springer
ean: 9783642321825, isbn: 3642321828,
This volume presents the proceedings of the Fourth International Conference on the Development of Biomedical Engineering in Vietnam which was held in Ho Chi Minh City as a Mega-conference. It is kicked off by the Regenerative Medicine Conference with...

By Springer
ean: 9780792364702, isbn: 0792364708,
This volume contains selected papers presented at the Symposium on "Recent Developments in Non-linear Oscillations of Mechanical Systems", held in Hanoi, Vietnam, from 2 - 5 March 1999. This Symposium was initiated and sponsored by the International ...



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