Catalog > Sains > Sains Komputer > Perisian Aplikasi > Dang Van Hung & Deepak Kapur: Theoretical Aspects of Computing - ICTAC 2017 (ePUB)

Dang Van Hung & Deepak Kapur
Theoretical Aspects of Computing – ICTAC 2017 [EPUB ebook]
14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Sokongan

perlindungan daripada Dang Van Hung & Deepak Kapur: Theoretical Aspects of Computing - ICTAC 2017 (ePUB)

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.

€57.84

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Inggeris ● Format EPUB ● ISBN 9783319677293 ● Penyunting Dang Van Hung & Deepak Kapur ● Penerbit Springer International Publishing ● Diterbitkan 2017 ● Muat turun 3 kali ● Mata wang EUR ● ID 6211199 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Dang Van Hung Deepak Kapur

16,674 Ebooks dalam kategori ini

perlindungan daripada Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Now in its third edition, this bestseller will appeal to anyone, of any age, who wants to begin coding. Use Coding for Beginners in easy steps to help you quickly create a programming environment on …

perlindungan daripada Max Wainewright: Coding with Scratch - Make 3D Games & Graphics

Max Wainewright: Coding with Scratch – Make 3D Games & Graphics

Coding with Scratch – Make 3D Games & Graphics starts by showing you how to make 3D graphics and then, step-by-step, it takes you through to making 3D games. Try the challenges and mods and make your …

perlindungan daripada Mark Merkow: Secure, Resilient, and Agile Software Development

Mark Merkow: Secure, Resilient, and Agile Software Development

A collection of best practices and effective implementation recommendations that are proven to work, Secure, Resilient, and Agile Software Development leaves the boring details of software security t …

perlindungan daripada S. Karthik & N. Karthikeyan: Deep Learning Innovations and Their Convergence With Big Data

S. Karthik & N. Karthikeyan: Deep Learning Innovations and Their Convergence With Big Data

perlindungan daripada Mounir Boussetta: Building Kotlin Applications

Mounir Boussetta: Building Kotlin Applications

Kotlin is a modern, expressive, and concise programming language popular among developers for its many benefits. These include its interoperability with Java, ability to build native mobile and web a …

perlindungan daripada Rajendra Gupta & Prashanth Jayaram: PowerShell Essential Guide

Rajendra Gupta & Prashanth Jayaram: PowerShell Essential Guide

In the last decade, Power Shell has propelled in every way in the automation arena. Since the inception of Power Shell, it has become a de facto tool for automation, and it is the favorite solution o …

perlindungan daripada Donald J. Reifer: Software Maintenance Success Recipes

Donald J. Reifer: Software Maintenance Success Recipes

Software Maintenance Success Recipes identifies actionable formulas for success based on in-depth analysis of more than 200 real-world maintenance projects. It details the set of factors that are usu …

perlindungan daripada Mark S. (Technical Security Strategy, Scottsdale, Arizona, USA) Merkow & Lakshmikanth (PayPal, San Jose, California, USA) Raghavan: Secure and Resilient Software Development

Mark S. (Technical Security Strategy, Scottsdale, Arizona, USA) Merkow & Lakshmikanth (PayPal, San Jose, California, USA) Raghavan: Secure and Resilient Software Development

Although many software books highlight open problems in secure software development, few provide easily actionable, ground-level solutions. Breaking the mold, Secure and Resilient Software Developmen …

perlindungan daripada Ashfaque (SCM Consulting, Bhilai, Chattisgarh, India) Ahmed & Bhanu (Florida A&M University, Tallahassee, USA) Prasad: Foundations of Software Engineering

Ashfaque (SCM Consulting, Bhilai, Chattisgarh, India) Ahmed & Bhanu (Florida A&M University, Tallahassee, USA) Prasad: Foundations of Software Engineering

The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of the areas of software engineering that …

perlindungan daripada Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume III, with contributions from experts in their fields, incl …

Muka surat seterusnya >>>