Rakuten Kobo

Topics in Parallel and Distributed Computing

Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms

Edited by Sushil K. Prasad, Anshul Gupta, Arnold Rosenberg, Alan Sussman, Charles Weems ...

Series series Computer Science (R0)
This book introduces beginning undergraduate students of computing and computational disciplines to modern parallel and distributed programming languages and environments, including map-reduce, general-purpose graphics processing units (GPUs), and graphical user interfaces (GUI) for mobile applications. The book also guides instructors via selected essays on what and how to introduce parallel and ... Read more

$63.89 CAD

This book introduces beginning undergraduate students of computing and computational disciplines to modern parallel and distributed programming languages and environments, including map-reduce, general-purpose graphics processing units (GPUs), and graphical user interfaces (GUI) for mobile applications. The book also guides instructors via selected essays on what and how to introduce parallel and
... Read more
Python For ArcGIS

by Laura Tateosian ...

Series series Earth and Environmental Science (R0)
This book introduces Python scripting for geographic information science (GIS) workflow optimization using ArcGIS. It builds essential programming skills for automating GIS analysis. Over 200 sample Python scripts and 175 classroom-tested exercises reinforce the learning objectives. Readers will learn to: • Write and run Python in the ArcGIS Python Window, the PythonWin IDE, and the PyScripter IDE ... Read more

$98.72 CAD

This book introduces Python scripting for geographic information science (GIS) workflow optimization using ArcGIS. It builds essential programming skills for automating GIS analysis. Over 200 sample Python scripts and 175 classroom-tested exercises reinforce the learning objectives. Readers will learn to: • Write and run Python in the ArcGIS Python Window, the PythonWin IDE, and the PyScripter IDE
... Read more
Embedded Software Development with C

by Kai Qian, Li Cao, David Den Haring ...

Series series Computer Science (R0)
Embedded Software Development With C offers both an effectual reference for professionals and researchers, and a valuable learning tool for students by laying the groundwork for a solid foundation in the hardware and software aspects of embedded systems development.Key features include a resource for the fundamentals of embedded systems design and development with an emphasis on software, an ... Read more

$104.48 CAD

Embedded Software Development With C offers both an effectual reference for professionals and researchers, and a valuable learning tool for students by laying the groundwork for a solid foundation in the hardware and software aspects of embedded systems development.Key features include a resource for the fundamentals of embedded systems design and development with an emphasis on software, an
... Read more
Exploring Robotics with ROBOTIS Systems

by Chi N. Thai ...

Series series Computer Science (R0)
This 2nd edition textbook has been expanded to include of 175 additional pages of additional content, created in response to readers feedback, as well as to new hardware and software releases. The book presents foundational robotics concepts using the ROBOTIS BIOLOID and OpenCM-904 robotic systems, and is suitable as a curriculum for a first course in robotics for undergraduate students or a self ... Read more

$69.65 CAD

This 2nd edition textbook has been expanded to include of 175 additional pages of additional content, created in response to readers feedback, as well as to new hardware and software releases. The book presents foundational robotics concepts using the ROBOTIS BIOLOID and OpenCM-904 robotic systems, and is suitable as a curriculum for a first course in robotics for undergraduate students or a self
... Read more
Guide to Scientific Computing in C++

by Joe Pitt-Francis, Jonathan Whiteley ...

Series series Computer Science (R0)
This easy-to-read textbook/reference presents an essential guide to object-oriented C++ programming for scientific computing. With a practical focus on learning by example, the theory is supported by numerous exercises.Features: provides a specific focus on the application of C++ to scientific computing, including parallel computing using MPI; stresses the importance of a clear programming style ... Read more

$38.33 CAD

This easy-to-read textbook/reference presents an essential guide to object-oriented C++ programming for scientific computing. With a practical focus on learning by example, the theory is supported by numerous exercises.Features: provides a specific focus on the application of C++ to scientific computing, including parallel computing using MPI; stresses the importance of a clear programming style
... Read more
Specification of Software Systems

by V.S. Alagar, K. Periyasamy ...

Series series Computer Science (R0)
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal ... Read more

$58.04 CAD

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal
... Read more
Компьютер. Большой самоучитель по ремонту, сборке и модернизации

by Денис Колисниченко ...

Эта книга – самый полный и, по словам экспертов, «самый полезный» самоучитель по ремонту, модернизации и сборке компьютера своими силами.Вы найдете здесь подробную информацию о программах, комплектующих, устройствах самого последнего поколения.Вы научитесь сами составлять компьютер из оптимальных для вас комплектующих; самостоятельно правильно ставить и удалять любые программы; «разгонять» свой ПК ... Read more

$5.99 CAD

Эта книга – самый полный и, по словам экспертов, «самый полезный» самоучитель по ремонту, модернизации и сборке компьютера своими силами.Вы найдете здесь подробную информацию о программах, комплектующих, устройствах самого последнего поколения.Вы научитесь сами составлять компьютер из оптимальных для вас комплектующих; самостоятельно правильно ставить и удалять любые программы; «разгонять» свой ПК
... Read more
Excel Avanzato 2.0

Il Manuale Completo e Aggiornato Per Diventare un Esperto e Imparare Microsoft Excel in Meno di 7 Giorni. Scopri Tutte le Sue Funzionalità in Maniera Professionale

by Denis Martin ...

Excel, come già sai, è un programma ricchissimo di funzioni e capacità. Fin dall'inizio, anche per un vero principiante, uno dei problemi più comuni che si affrontano è proprio quello di sopravvivere in un tale mare di informazioni e di possibilità, senza lasciar perdere, senza pensare che non si riuscirà mai a venirne a capo, senza arrendersi prima ancora di iniziare. Ora, se stai leggendo questo ... Read more

$1.99 CAD

Excel, come già sai, è un programma ricchissimo di funzioni e capacità. Fin dall'inizio, anche per un vero principiante, uno dei problemi più comuni che si affrontano è proprio quello di sopravvivere in un tale mare di informazioni e di possibilità, senza lasciar perdere, senza pensare che non si riuscirà mai a venirne a capo, senza arrendersi prima ancora di iniziare. Ora, se stai leggendo questo
... Read more
MATLAB Control Systems Engineering

by Cesar Lopez ...

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... Read more

$59.84 CAD

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java
... Read more
Formal Specification Techniques for Engineering Modular C Programs

by Tan Yang Meng ...

Series Book 1 - International Series in Software Engineering
Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to ... Read more

$149.30 CAD

Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to
... Read more
Languages for Digital Embedded Systems

by Stephen A. Edwards ...

Series Book 572 - The Springer International Series in Engineering and Computer Science
Appropriate for use as a graduate text or a professional reference, Languages for Digital Embedded Systems is the first detailed, broad survey of hardware and software description languages for embedded system design.Instead of promoting the one language that will solve all design problems (which does not and will not ever exist), this book takes the view that different problems demand different ... Read more

$149.30 CAD

Appropriate for use as a graduate text or a professional reference, Languages for Digital Embedded Systems is the first detailed, broad survey of hardware and software description languages for embedded system design.Instead of promoting the one language that will solve all design problems (which does not and will not ever exist), this book takes the view that different problems demand different
... Read more
Modelling Foundations and Applications

13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Edited by Anthony Anjorin, Huáscar Espinoza ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: meta-modeling and language engineering; model evolution ... Read more

$58.04 CAD

This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: meta-modeling and language engineering; model evolution
... Read more
Perspectives of System Informatics

11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Edited by Alexander K. Petrenko, Andrei Voronkov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and ... Read more

$58.04 CAD

This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and
... Read more
Principles of Modeling

Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Edited by Marten Lohstroh, Patricia Derler, Marjan Sirjani ...

Series series Computer Science (R0)
This Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday.The title of this Festschrift is “Principles of Modeling" because Edward A. Lee has long been devoted to ... Read more

$58.04 CAD

This Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday.The title of this Festschrift is “Principles of Modeling" because Edward A. Lee has long been devoted to
... Read more
Engineering Trustworthy Software Systems

Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang ...

Series series Springer Nature Proceedings Computer Science
This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been ... Read more

$58.04 CAD

This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been
... Read more
Agreement Technologies

6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Edited by Marin Lujak ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers from the 6th International Conference on Agreement Technologies, AT 2018, held in Bergen, Norway, in December 2018.The 11 full papers and 6 short papers presented in this volume were carefully reviewed and selected from a total of 28 submissions. The papers discuss new ideas and techniques for the design, implementation and verification of next ... Read more

$58.04 CAD

This book constitutes the revised selected papers from the 6th International Conference on Agreement Technologies, AT 2018, held in Bergen, Norway, in December 2018.The 11 full papers and 6 short papers presented in this volume were carefully reviewed and selected from a total of 28 submissions. The papers discuss new ideas and techniques for the design, implementation and verification of next
... Read more
Foundations and Practice of Security

11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

Edited by Nur Zincir-Heywood, Guillaume Bonfante, Mourad Debbabi, Joaquin Garcia-Alfaro ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018.The 16 full papers, 1 short paper, 1 position paper and 2 invited papers presented in this book, were carefully reviewed and selected from 51 submissions. They cover a range of topics including mobile security; cloud ... Read more

$75.50 CAD

This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018.The 16 full papers, 1 short paper, 1 position paper and 2 invited papers presented in this book, were carefully reviewed and selected from 51 submissions. They cover a range of topics including mobile security; cloud
... Read more
Declarative Programming and Knowledge Management

Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers

Edited by Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019.The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected from ... Read more

$58.04 CAD

This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019.The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected from
... Read more
Theoretical Aspects of Computing - ICTAC 2015

12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Edited by Martin Leucker, Camilo Rueda, Frank D. Valencia ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015.The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category theory ... Read more

$58.04 CAD

This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015.The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category theory
... Read more
Euro-Par 2016: Parallel Processing

22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

Edited by Pierre-François Dutot, Denis Trystram ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France, in August 2016.The 47 revised full papers presented together with 2 invited papers and one industrial paper were carefully reviewed and selected from 176 submissions. The papers are organized in 12 topical sections: Support Tools and ... Read more

$58.04 CAD

This book constitutes the refereed proceedings of the 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France, in August 2016.The 47 revised full papers presented together with 2 invited papers and one industrial paper were carefully reviewed and selected from 176 submissions. The papers are organized in 12 topical sections: Support Tools and
... Read more
Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Edited by Thierry Lecomte, Leila Ribeiro ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking. ... Read more

$58.04 CAD

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
... Read more
Smart Card Research and Advanced Applications

15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers

Edited by Kerstin Lemke-Rust, Michael Tunstall ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Smart Card Research and Advanced Applications, CARDIS 2016, held in Cannes, France, in November 2016.The 15 revised full papers presented in this book were carefully reviewed and selected from 29 submissions. The focus of the conference was on all aspects of the design, development, ... Read more

$58.04 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Smart Card Research and Advanced Applications, CARDIS 2016, held in Cannes, France, in November 2016.The 15 revised full papers presented in this book were carefully reviewed and selected from 29 submissions. The focus of the conference was on all aspects of the design, development,
... Read more
Models, Algorithms, Logics and Tools

Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Edited by Axel Legay, Anna Ingólfsdóttir, Radu Mardare, Giovanni Bacci, Giorgio Bacci, Luca Aceto ...

Series series Computer Science (R0)
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and ... Read more

$58.04 CAD

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and
... Read more
Graph Transformation

15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings

Edited by Nicolas Behr, Daniel Strüber ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022.The 10 full papers and 1 tool paper presented in this book were carefully reviewed and selected from 19 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph ... Read more

$63.89 CAD

This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022.The 10 full papers and 1 tool paper presented in this book were carefully reviewed and selected from 19 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph
... Read more

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

Compilers eBooks

Show: