电子书 > 科学 > 计算机科学 > 应用软件 > Jacques Carette & Cezary Kaliszyk: Intelligent Computer Mathematics (PDF)

Jacques Carette & Cezary Kaliszyk
Intelligent Computer Mathematics [PDF ebook]
International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

支持

的封面 Jacques Carette & Cezary Kaliszyk: Intelligent Computer Mathematics (PDF)

This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data.

€57.99

购买此电子书可免费获赠一本！

语言英语 ● 格式 PDF ● ISBN 9783319206158 ● 编辑 Jacques Carette & Cezary Kaliszyk ● 出版者 Springer International Publishing ● 发布时间 2015 ● 下载 3 时 ● 货币 EUR ● ID 6303313 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Jacques Carette Cezary Kaliszyk Manfred Kerber Florian Rabe Volker Sorge

16,931 此类电子书

的封面 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 …

的封面 Eran Boudjnah: Clean Architecture for Android

Eran Boudjnah: Clean Architecture for Android

"Clean Architecture for Android" was written to help developers apply Clean Architecture to their projects.The book will explain why Clean Architecture is so valuable. It will demonstrate h …

的封面 Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

Ashwin (Senior Technical Manager, HCL technologies, Bangalore, INDIA) Shriram & Nataraj (Global Operations Director, Technology Solutions Group, HCL Technologies Ltd, INDIA) Venkataramanan: Data Privacy

The book covers data privacy in depth with respect to data mining, test data management, synthetic data generation etc. It formalizes principles of data privacy that are essential for good anonymizat …

的封面 Nakul Shah: Blockchain and DLT

Nakul Shah: Blockchain and DLT

Blockchain secures individual transactions with cryptography, creating a tamper-proof chain. In contrast, distributed ledger technologies cover various technologies that may not adhere strictly to bl …

的封面 Rathinaraja Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce

Rathinaraja Jeyaraj & Anand Paul: Big Data with Hadoop MapReduce

The authors provide an understanding of big data and Map Reduce by clearly presenting the basic terminologies and concepts. They have employed over 100 illustrations and many worked-out examples to c …

的封面 Information Resources Management Association: Big Data: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Big Data: Concepts, Methodologies, Tools, and Applications

的封面 Mike McGrath: C, C++ & C# in easy steps

Mike McGrath: C, C++ & C# in easy steps

C, C++ & C# in easy steps is a comprehensive guide to help you create your own programs in the C, C++ and C# programming languages, combining knowledge from the latest C, C++ and C# books in the In E …

的封面 Alessandro Del Sole: Xamarin with Visual Studio

Alessandro Del Sole: Xamarin with Visual Studio

For any mobile developer, it’s clear that Xamarin knowledge is vital, thanks to the reintroduction of .NET MAUI. This book provides the reader with complete hands-on experience in designing cross-pla …

的封面 Lukasz Gasior: ReSharper Essentials

Lukasz Gasior: ReSharper Essentials

In Detail Re Sharper is one of the best tools that extends Microsoft Visual Studio. It adds a lot of features which increases a developer’s productivity. It started with providing support for C# and …

的封面 Charles W. Kann: Creating Components

Charles W. Kann: Creating Components

Concurrency is a powerful technique for developing efficient and lightning- fast software. For instance, concurrency can be used in common applications such as online order processing to speed proces …