Rakuten Kobo

Skip side bar filters

Practical Aspects of Declarative Languages

24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings

Edited by James Cheney, Simona Perri ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 24th International Conference on Practical Aspects of Declarative Languages, PADL 2022, held in Philadelphia, PA, USA, during January 17-18, 2022.The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: answer set programming; ... Read more

$62.99 USD

This book constitutes the refereed proceedings of the 24th International Conference on Practical Aspects of Declarative Languages, PADL 2022, held in Philadelphia, PA, USA, during January 17-18, 2022.The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: answer set programming;
... Read more

Deep Learning with TensorFlow 2 and Keras

Regression, ConvNets, GANs, RNNs, NLP, and more with TensorFlow 2 and the Keras API

by Antonio Gulli, Amita Kapoor, Sujit Pal ...

Build machine and deep learning systems with the newly released TensorFlow 2 and Keras for the lab, production, and mobile devicesKey FeaturesIntroduces and then uses TensorFlow 2 and Keras right from the startTeaches key machine and deep learning techniquesUnderstand the fundamentals of deep learning and machine learning through clear explanations and extensive code samplesBook DescriptionDeep ... Read more

$27.89 USD or Free with Kobo Plus

Build machine and deep learning systems with the newly released TensorFlow 2 and Keras for the lab, production, and mobile devicesKey FeaturesIntroduces and then uses TensorFlow 2 and Keras right from the startTeaches key machine and deep learning techniquesUnderstand the fundamentals of deep learning and machine learning through clear explanations and extensive code samplesBook DescriptionDeep
... Read more
Hands-On Computer Vision with TensorFlow 2

Leverage deep learning to create powerful image processing apps with TensorFlow 2.0 and Keras

by Eliot Andres, Benjamin Planche ...

A practical guide to building high performance systems for object detection, segmentation, video processing, smartphone applications, and moreKey FeaturesDiscover how to build, train, and serve your own deep neural networks with TensorFlow 2 and KerasApply modern solutions to a wide range of applications such as object detection and video analysisLearn how to run your models on mobile devices and ... Read more

$27.89 USD or Free with Kobo Plus

A practical guide to building high performance systems for object detection, segmentation, video processing, smartphone applications, and moreKey FeaturesDiscover how to build, train, and serve your own deep neural networks with TensorFlow 2 and KerasApply modern solutions to a wide range of applications such as object detection and video analysisLearn how to run your models on mobile devices and
... Read more
Introduction to Information Retrieval

by Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze ...

Class-tested and coherent, this textbook teaches classical and web information retrieval, including web search and the related areas of text classification and text clustering from basic concepts. It gives an up-to-date treatment of all aspects of the design and implementation of systems for gathering, indexing, and searching documents; methods for evaluating systems; and an introduction to the ... Read more

$65.59 USD

Class-tested and coherent, this textbook teaches classical and web information retrieval, including web search and the related areas of text classification and text clustering from basic concepts. It gives an up-to-date treatment of all aspects of the design and implementation of systems for gathering, indexing, and searching documents; methods for evaluating systems; and an introduction to the
... Read more
Deep Learning with TensorFlow and Keras

Build and deploy supervised, unsupervised, deep, and reinforcement learning models, 3rd Edition

by Amita Kapoor, Antonio Gulli, Sujit Pal, Francois Chollet ...

Build cutting edge machine and deep learning systems for the lab, production, and mobile devices.Purchase of the print or Kindle book includes a free eBook in PDF format.Key FeaturesUnderstand the fundamentals of deep learning and machine learning through clear explanations and extensive code samplesImplement graph neural networks, transformers using Hugging Face and TensorFlow Hub, and joint and ... Read more

$35.99 USD or Free with Kobo Plus

Build cutting edge machine and deep learning systems for the lab, production, and mobile devices.Purchase of the print or Kindle book includes a free eBook in PDF format.Key FeaturesUnderstand the fundamentals of deep learning and machine learning through clear explanations and extensive code samplesImplement graph neural networks, transformers using Hugging Face and TensorFlow Hub, and joint and
... Read more
Fundamental Approaches to Software Engineering

22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Edited by Reiner Hähnle, Wil van der Aalst ...

Series series Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed ... Read more

Free

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed
... Read more
Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

Edited by Alexandra Silva, K. Rustan M. Leino ...

Series Book 2 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... Read more

Free

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part
... Read more
Hands-On Neural Networks

Learn how to build and train your first neural network model using Python

by Leonardo De Marchi, Laura Mitchell ...

Design and create neural networks with deep learning and artificial intelligence principles using OpenAI Gym, TensorFlow, and KerasKey FeaturesExplore neural network architecture and understand how it functionsLearn algorithms to solve common problems using backpropagation and perceptronsUnderstand how to apply neural networks to applications with the help of useful illustrationsBook ... Read more

$26.59 USD or Free with Kobo Plus

Design and create neural networks with deep learning and artificial intelligence principles using OpenAI Gym, TensorFlow, and KerasKey FeaturesExplore neural network architecture and understand how it functionsLearn algorithms to solve common problems using backpropagation and perceptronsUnderstand how to apply neural networks to applications with the help of useful illustrationsBook
... Read more
Fundamental Approaches to Software Engineering

21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Edited by Alessandra Russo, Andy Schürr ...

Series series Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and ... Read more

Free

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and
... Read more
Emergent Web Intelligence: Advanced Information Retrieval

Edited by Richard Chbeir, Youakim Badr, Ajith Abraham, Aboul-Ella Hassanien ...

Series series Computer Science (R0)
Richard Chbeir received his Ph. D in Computer Science from the INSA DE Lyon-France in 2001. He has been a member of IEEE and ACM since 1999. He is currently an Associate Professor in the Computer Science Department of the Bourgogne University, Dijon-France. His research interests are in the areas of distributed multimedia database management, XML similarity and rewriting, spatio-temporal ... Read more

$143.09 USD

Richard Chbeir received his Ph. D in Computer Science from the INSA DE Lyon-France in 2001. He has been a member of IEEE and ACM since 1999. He is currently an Associate Professor in the Computer Science Department of the Bourgogne University, Dijon-France. His research interests are in the areas of distributed multimedia database management, XML similarity and rewriting, spatio-temporal
... Read more
Big Data Analytics and Knowledge Discovery

18th International Conference, DaWaK 2016, Porto, Portugal, September 6-8, 2016, Proceedings

Edited by Sanjay Madria, Takahiro Hara ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2016, held in Porto, Portugal, September 2016.The 25 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on Mining Big Data, Applications of Big Data Mining, Big Data Indexing and ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 18th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2016, held in Porto, Portugal, September 2016.The 25 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on Mining Big Data, Applications of Big Data Mining, Big Data Indexing and
... Read more
Tools and Algorithms for the Construction and Analysis of Systems

29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II

Edited by Sriram Sankaranarayanan, Natasha Sharygina ...

Series Book 2 - Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume ... Read more

Free

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Springer Nature Proceedings Computer Science

Practical Aspects of Declarative Languages

People who read this also enjoyed

Deep Learning with TensorFlow 2 and Keras

Hands-On Computer Vision with TensorFlow 2

Introduction to Information Retrieval

Deep Learning with TensorFlow and Keras

Fundamental Approaches to Software Engineering

Computer Aided Verification

Hands-On Neural Networks

Fundamental Approaches to Software Engineering

Emergent Web Intelligence: Advanced Information Retrieval

Big Data Analytics and Knowledge Discovery

Tools and Algorithms for the Construction and Analysis of Systems

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Springer Nature Proceedings Computer Science

Show:

People who read this also enjoyed