101- 120 of 395 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings, Author: Kim Guldstrand Larsen
QUICK ADD
Formal Methods for Industrial…
by Kim Guldstrand Larsen (Editor), Tim Willemse (Editor)
#11687 in Series
eBook $54.99
Title: Beginning Data Science in R 4: Data Analysis, Visualization, and Modelling for the Data Scientist, Author: Thomas Mailund
QUICK ADD
Beginning Data Science in R 4:…
by Thomas Mailund
eBook $54.99
Title: Languages and Compilers for Parallel Computing: 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers, Author: Chen Ding
QUICK ADD
Languages and Compilers for…
by Chen Ding (Editor), John Criswell (Editor), Peng Wu (Editor)
#10136 in Series
eBook $54.99
Title: Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings, Author: Maurice H. ter Beek
QUICK ADD
Formal Methods for Industrial…
by Maurice H. ter Beek (Editor), Dejan Nickovic (Editor)
#12327 in Series
eBook $54.99
Title: Reliable Software Technologies - Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings, Author: Marko Bertogna
QUICK ADD
Reliable Software Technologies…
by Marko Bertogna (Editor), Luís Miguel Pinho (Editor), Eduardo Quiñones (Editor)
#9695 in Series
eBook $54.99
Title: Quick Start Guide to Dart Programming: Create High-Performance Applications for the Web and Mobile, Author: Sanjib Sinha
QUICK ADD
Quick Start Guide to Dart…
by Sanjib Sinha
eBook $54.99
Title: Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, Author: Peter Thiemann
QUICK ADD
Programming Languages and…
by Peter Thiemann (Editor)
#9632 in Series
eBook $54.99
Title: Practical Aspects of Declarative Languages: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings, Author: Ekaterina Komendantskaya
QUICK ADD
Practical Aspects of…
by Ekaterina Komendantskaya (Editor), Yanhong Annie Liu (Editor)
#12007 in Series
eBook $54.99
Title: Languages and Compilers for Parallel Computing: 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017, Revised Selected Papers, Author: Lawrence Rauchwerger
QUICK ADD
Languages and Compilers for…
by Lawrence Rauchwerger (Editor)
#11403 in Series
eBook $54.99
Title: Accelerator Programming Using Directives: 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings, Author: Sridutt Bhalachandra
QUICK ADD
Accelerator Programming Using…
by Sridutt Bhalachandra (Editor), Sandra Wienke (Editor), Sunita Chandrasekaran (Editor), Guido Juckeland (Editor)
#12655 in Series
eBook $54.99
Title: Languages and Compilers for Parallel Computing: 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers, Author: James Brodman
QUICK ADD
Languages and Compilers for…
by James Brodman (Editor), Peng Tu (Editor)
#8967 in Series
eBook $54.99
Title: Euro-Par 2017: Parallel Processing: 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings, Author: Francisco F. Rivera
QUICK ADD
Euro-Par 2017: Parallel…
by Francisco F. Rivera (Editor), Tomás F. Pena (Editor), José C. Cabaleiro (Editor)
#10417 in Series
eBook $54.99
Title: Languages, Applications and Technologies: 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers, Author: José-Luis Sierra-Rodríguez
QUICK ADD
Languages, Applications and…
by José-Luis Sierra-Rodríguez (Editor), José-Paulo Leal (Editor), Alberto Simões (Editor)
#563 in Series
eBook $54.99
Title: Beginning Perl Programming: From Novice to Professional, Author: William
QUICK ADD
Beginning Perl Programming:…
by William "Bo" Rothwell
eBook $54.99
Title: Euro-Par 2016: Parallel Processing: 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings, Author: Pierre-François Dutot
QUICK ADD
Euro-Par 2016: Parallel…
by Pierre-François Dutot (Editor), Denis Trystram (Editor)
#9833 in Series
eBook $54.99
Title: Options and Derivatives Programming in C++23: Algorithms and Programming Techniques for the Financial Industry, Author: Carlos Oliveira
QUICK ADD
Options and Derivatives…
by Carlos Oliveira
eBook $54.99
Title: Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings, Author: Falk Howar
QUICK ADD
Formal Methods for Industrial…
by Falk Howar (Editor), Jirí Barnat (Editor)
#11119 in Series
eBook $54.99
Title: Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, Author: Bor-Yuh Evan Chang
QUICK ADD
Programming Languages and…
by Bor-Yuh Evan Chang (Editor)
#10695 in Series
eBook $54.99
Title: Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,, Author: Laure Petrucci
QUICK ADD
Critical Systems: Formal…
by Laure Petrucci (Editor), Cristina Seceleanu (Editor), Ana Cavalcanti (Editor)
#10471 in Series
eBook $54.99
Title: Accelerator Programming Using Directives: 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers, Author: Sandra Wienke
QUICK ADD
Accelerator Programming Using…
by Sandra Wienke (Editor), Sridutt Bhalachandra (Editor)
#12017 in Series
eBook $54.99

Pagination Links