11-20
of
9,432
results
-
Lecture Notes in Computer Scie...This book constitutes the refereed proceedings of the 7th International Worksh... This book constitutes the refereed proceedings of the 7th International Workshop on Simulation and Synthesis in Medical Imaging SASHIMI 2022 held in conjunction with MICCAI 2022 in Singapore Singapore in September 2022. more
-
Pre-Owned Lecture Notes in Com...This book constitutes the thoroughly refereed post-proceedings of the 11th Int... This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation LOPSTR 2001 held in Paphos Cyprus in November 2001. The 13 revised full papers presented together... more
-
Pre-Owned Lecture Notes in Com...This book constitutes the thoroughly refereed post-proceedings of the 12th Int... This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation LOPSTR 2002 held in Madrid Spain in September 2002. The 15 revised full papers presented together... more
-
Lecture Notes in Computer Scie...This book constitutes the proceedings of the 17th International Computer Scien... This book constitutes the proceedings of the 17th International Computer Science Symposium in Russia CSR 2022 held in St. Petersburg Russia June 29-July 3 2022. The 21 full papers were carefully reviewed and selected from 51 submissions. The papers... more
-
Lecture Notes in Computer Scie...This volume contains the proceedings of the 7th International Seminar on - lat... This volume contains the proceedings of the 7th International Seminar on - lational Methods in Computer Science (RelMiCS 7) and the 2nd International Workshop onApplications ofKleeneAlgebra.Thecommonmeetingtookplacein Bad Malente (near Kiel) Germany... more
-
Pre-Owned Lecture Notes in Com...Traditionally models and methods for the analysis of the functional correctnes... Traditionally models and methods for the analysis of the functional correctness of reactive systems and those for the analysis of their performance (and - pendability) aspects have been studied by di?erent research communities. This has resulted in... more
-
Synthesis Lectures on Visual C...This book gives a broad overview of research on sound simulation driven by a v... This book gives a broad overview of research on sound simulation driven by a variety of applications. Vibrating objects produce sound which then propagates through a medium such as air or water before finally being heard by a listener. As a crucial... more
-
Pre-Owned Synthesis Lectures o...This book gives a broad overview of research on sound simulation driven by a v... This book gives a broad overview of research on sound simulation driven by a variety of applications. Vibrating objects produce sound which then propagates through a medium such as air or water before finally being heard by a listener. As a crucial... more
-
Pre-Owned Synthesis Lectures o...Machine learning and specifically deep learning has been hugely disruptive in ... Machine learning and specifically deep learning has been hugely disruptive in many fields of computer science. The success of deep learning techniques in solving notoriously difficult classification and regression problems has resulted in their... more
-
Pre-Owned Lecture Notes in Com...The Department of Electrical Engineering-ESAT at the Katholieke Universiteit L... The Department of Electrical Engineering-ESAT at the Katholieke Universiteit Leuven regularly runs a course on the state of the art and evolution of computer security and industrial cryptography. The rst course took place in 1983 the second in 1989... more
Ads related to synthesis lectures on computer science
Shopping for the best deal on Synthesis lectures on computer science Computer Books - Select a product below or see other matches to read product reviews, compare prices and store ratings.