Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Theoretical Aspects of Computing ICTAC 2016

Theoretical Aspects of Computing ICTAC 2016

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319467504
Condition
New
Product Description

This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016. The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on program verification; design, synthesis and testing; calculi; specifications; composition and transformation; automata; temporal logics; tool and short papers.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Computer Modeling and Simulation of Dynamic Systems Using Wolfram SystemModeler

$39.99

Nonprofit-Marketing von Entwicklungshilfe-Organisationen

$49.99

Neue Materialien fr einen realittsbezogenen Mathematikunterricht 3

$24.99

Cataclysmic Cosmic Events and How to Observe Them

$32.99

Natural Language Processing and Chinese Computing

$99.99

Nutzergerechte Entwicklung von Mensch-Maschine-Systemen

$84.99

Die Naturwissenschaftlichen Grundlagen der Lehre von der Entstehung des Bodens

$59.99

Strukturiert Programmieren

$59.99

Cell and Molecular Biology of the Cytoskeleton

$84.99

Machine Learning and Data Mining for Emerging Trend in Cyber Dynamics

$199.99

Portrait of Gunnar Klln

$39.99

Blockchain: Empowering Secure Data Sharing

$109.99

Data Assimilation

$79.99

Data and Applications Security and Privacy XXVI

$54.99

Functional Surfaces in Biology III

$139.99

8th International Conference on Automated Deduction

$39.99

Mycorrhiza Manual

$74.99

Militarized Cultural Encounters in the Long Nineteenth Century

$109.00

Deployment and Operation of Complex Software in Heterogeneous Execution Environments

$37.99

Radar Meteorology

$219.99

Endliche Gruppen

$69.99

Programming with Specifications

$39.99

A Guide to Management of Urological Cancers

$169.99

Aphasias Implications for Linguistics Research

$129.99

Childhood Glaucoma

$249.99

Patriarchal Hierarchy

$119.99

Risiken der Berufswahl

$49.99

Assessing Intellectual Property Compliance in Contemporary China

$139.99

Revisiting Secularism in Theory and Practice

$54.99

Technische Informatik

$39.99

Baustatik in Beispielen

$54.99

Biogeography and Ecology in South-America. Volume II

$329.99

Dams and Reservoirs in Evaporites

$84.99

Handbuch der betrieblichen Zusatz- und Sozialleistungen

$64.99

Geometric Feature-Based Fiber Optic Surface Plasmon Resonance Sensors

$129.00

The Philosophy of Medicine

$169.99

Captain Underpants and the Invasion of the Incredibly Naughty Cafeteria Ladies from Outer Space (#3)

$4.49

Studies in Legal Logic

$169.99

Erfolgsfaktoren des Mobile Marketing

$69.99

Controversies in Latin American Bioethics

$84.99