- Table View
- List View
Computer Safety, Reliability, and Security: 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings (Lecture Notes in Computer Science #12852)
by Friedemann Bitsch Ibrahim Habli Mark SujanThis book constitutes the proceedings of the 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021, which took place in York, UK, in September 2021.The 17 full papers included in this volume were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: machine learning safety assurance; security engineering; safety and assurance cases; machine learning applications; safety validation and simulation; and fault tolerance.
Computer Safety, Reliability, and Security: 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings (Lecture Notes in Computer Science #13414)
by Friedemann Bitsch Francesca Saglietti Mario Trapp Marc SpisländerThis book constitutes the proceedings of the 41st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2022, which took place in Munich, Germany, in September 2022.The 24 full papers included in this volume were carefully reviewed and selected from 93 submissions. SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications.
Computer Safety, Reliability, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science #14181)
by Jérémie Guiochet Friedemann Bitsch Stefano TonettaThis book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023.The 20 full papers included in this volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Safety assurance; software testing and reliability; neural networks robustness and monitoring; model-based security and threat analysis; safety of autonomous driving; security engineering; AI safety; and neural networks and testing.
Computer Safety, Reliability, and Security: 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18–20, 2024, Proceedings (Lecture Notes in Computer Science #14988)
by Friedemann Bitsch Andrea Bondavalli Andrea Ceccarelli Mario TrappThis book constitutes the refereed proceedings of the 43rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2024, held in Florence, Italy, in September 2024. The 19 full papers included in this volume were carefully reviewed and selected from 80 submissions. They have been organized in topical sections as follows: Fault Injection and Tolerance; System and Software Safety Assurance; Automated Driving Systems; Security of safety-critical systems; Safety Verification; and Autonomous Systems.
Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings (Lecture Notes in Computer Science #9338)
by Floor Koornneef Coen Van GulijkThis book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive embedded systems, automotive software, error detection, medical safety cases, medical systems, architecture and testing, safety cases, security attacks, cyber security and integration, and programming and compiling.
Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings (Lecture Notes in Computer Science #9923)
by Amund Skavhaug Jérémie Guiochet Friedemann Bitsch Erwin SchoitschSAFECOMP '96 contains papers presented at the 15th International Conference on Computer Safety, Reliability and Security held in Vienna, Austria, 23-25 October 1996. The conference aimed to provide an opportunity for technical developers and users to discuss and review their experiences, to consider the best technologies currently available, and to identify the skills and technologies required for the future. SAFECOMP '96 focuses on critical computer applications and is intended as a platform for technology transfer between academia, industry and research institutions. SAFECOMP '96 will be of interest to all those in universities, research institutions, industry and business who want to be well-informed about the current international state of the art in computer safety, reliability and security.
Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings (Lecture Notes in Computer Science #10489)
by Friedemann Bitsch Erwin Schoitsch Stefano TonettaSAFECOMP '96 contains papers presented at the 15th International Conference on Computer Safety, Reliability and Security held in Vienna, Austria, 23-25 October 1996. The conference aimed to provide an opportunity for technical developers and users to discuss and review their experiences, to consider the best technologies currently available, and to identify the skills and technologies required for the future. SAFECOMP '96 focuses on critical computer applications and is intended as a platform for technology transfer between academia, industry and research institutions. SAFECOMP '96 will be of interest to all those in universities, research institutions, industry and business who want to be well-informed about the current international state of the art in computer safety, reliability and security.
Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings (Lecture Notes in Computer Science #11094)
by Amund Skavhaug Friedemann Bitsch Erwin Schoitsch Barbara GallinaThis book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2018, the 37th International Conference on Computer Safety, Reliability, and Security, held in Västerås, Sweden, in September 2018. The 28 revised full papers and 21 short papers presented together with 5 introductory papers to each workshop were carefully reviewed and selected from 73 submissions. This year's workshops are: ASSURE 2018 – Assurance Cases for Software-Intensive Systems; DECSoS 2018 – ERCIM/EWICS/ARTEMIS Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2018 – Next Generation of System Assurance Approaches for Safety-Critical Systems; STRIVE 2018 – Safety, securiTy, and pRivacy In automotiVe systEms; and WAISE 2018 – Artificial Intelligence Safety Engineering.The chapter '“Boxing Clever”: Practical Techniques for Gaining Insights into Training Data and Monitoring Distribution Shift' is available open access under an Open Government License via link.springer.com.
Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings (Lecture Notes in Computer Science #11699)
by Alexander Romanovsky Friedemann Bitsch Erwin Schoitsch Elena Troubitsyna Ilir GashiThis book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland. The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are: ASSURE 2019: 7th International Workshop on Assurance Cases for Software-Intensive Systems DECSoS 2019: 14th ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems SASSUR 2019: 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems STRIVE 2019: Second International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms WAISE 2019: Second International Workshop on Artificial Intelligence Safety Engineering
Computer Science
by David Watson Helen WilliamsA student workbook to support the students throughout their Cambridge IGCSE Computer Science course, with plenty of extra practice questions and activities. It accompanies the Cambridge IGCSE Computer Science student text book, following the contents and chapter order.
Computer Science & Perl Programming
by O'Reilly MediaIn its first five years of existence, The Perl Journal ran 247 articles by over 120 authors. Every serious Perl programmer subscribed to it, and every notable Perl guru jumped at the opportunity to write for it. TPJ explained critical topics such as regular expressions, databases, and object-oriented programming, and demonstrated Perl's utility for fields as diverse as astronomy, biology, economics, AI, and games. The magazine gave birth to both the Obfuscated Perl Contest and the Perl Poetry contest, and remains a proud and timeless achievement of Perl during one of its most exciting periods of development. Computer Science and Perl Programming is the first volume of The Best of the Perl Journal, compiled and re-edited by the original editor and publisher of The Perl Journal, Jon Orwant. In this series, we've taken the very best (and still relevant) articles published in TPJ over its 5 years of publication and immortalized them into three volumes. This volume has 70 articles devoted to hard-core computer science, advanced programming techniques, and the underlying mechanics of Perl. Here's a sample of what you'll find inside: Jeffrey Friedl on Understanding Regexes Mark Jason Dominus on optimizing your Perl programs with Memorization Damian Conway on Parsing Tim Meadowcroft on integrating Perl with Microsoft Office Larry Wall on the culture of Perl Written by 41 of the most prominent and prolific members of the closely-knit Perl community, this anthology does what no other book can, giving unique insight into the real-life applications and powerful techniques made possible by Perl. Other books tell you how to use Perl, but this book goes far beyond that: it shows you not only how to use Perl, but what you could use Perl *for*. This is more than just The Best of the Perl Journal -- in many ways, this is the best of Perl.
Computer Science & Perl Programming: Best of The Perl Journal
by Jon OrwantIn its first five years of existence, The Perl Journal ran 247 articles by over 120 authors. Every serious Perl programmer subscribed to it, and every notable Perl guru jumped at the opportunity to write for it. TPJ explained critical topics such as regular expressions, databases, and object-oriented programming, and demonstrated Perl's utility for fields as diverse as astronomy, biology, economics, AI, and games. The magazine gave birth to both the Obfuscated Perl Contest and the Perl Poetry contest, and remains a proud and timeless achievement of Perl during one of its most exciting periods of development.Computer Science and Perl Programming is the first volume of The Best of the Perl Journal, compiled and re-edited by the original editor and publisher of The Perl Journal, Jon Orwant. In this series, we've taken the very best (and still relevant) articles published in TPJ over its 5 years of publication and immortalized them into three volumes. This volume has 70 articles devoted to hard-core computer science, advanced programming techniques, and the underlying mechanics of Perl.Here's a sample of what you'll find inside:Jeffrey Friedl on Understanding RegexesMark Jason Dominus on optimizing your Perl programs with MemoizationDamian Conway on ParsingTim Meadowcroft on integrating Perl with Microsoft OfficeLarry Wall on the culture of PerlWritten by 41 of the most prominent and prolific members of the closely-knit Perl community, this anthology does what no other book can, giving unique insight into the real-life applications and powerful techniques made possible by Perl.Other books tell you how to use Perl, but this book goes far beyond that: it shows you not only how to use Perl, but what you could use Perl for. This is more than just The Best of the Perl Journal -- in many ways, this is the best of Perl.
Computer Science - Theory and Applications: 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings (Lecture Notes in Computer Science #9691)
by Alexander S. Kulikov Gerhard J. WoegingerThis book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St. Petersburg, Russia, in June 2016. The 28 full papers presented in this volume were carefully reviewed and selected from 71 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas such as: include, but are not limited to: algorithms and data structures; combinatorial optimization; constraint solving; computational complexity; cryptography; combinatorics in computer science; formal languages and automata; computational models and concepts; algorithms for concurrent and distributed systems, networks; proof theory and applications of logic to computer science; model checking; automated reasoning; and deductive methods.
Computer Science Education Research
by Marian Petre Sally FincherThis book provides an overview of how to approach computer science education research from a pragmatic perspective. It represents the diversity of traditions and approaches inherent in this interdisciplinary area, while also providing a structure within which to make sense of that diversity. It provides multiple 'entry points'- to literature, to me
Computer Science Engineering and Emerging Technologies: Proceedings of ICCS 2022
by Rajeev Sobti Rachit Garg Ajeet Kumar Srivastava Gurpreet Singh ShahiThe year 2022 marks the 100th birth anniversary of Kathleen Hylda Valerie Booth, who wrote the first assembly languageand designed the assembler and auto code for the first computer systems at Birkbeck College, University of London.She helped design three different machines including the ARC (Automatic Relay Calculator), SEC (Simple ElectronicComputer), and APE(X). School of Computer Science and Engineering, under the aegis of Lovely Professional University,pays homage to this great programmer of all times by hosting “BOOTH100”—6th International Conference on ComputingSciences.
Computer Science Engineering: Proceedings of the 1st International Conference on Computing and Intelligent Information Systems (ICCIIS 2024), Bangalore, India, 19-20th April, 2024 Volume 1
by Francesco Flammini H. L. Gururaj S. Srividhya M. L. Chayadevi Sheba SelvamThis book provides a comprehensive overview of the latest advancements and research in the fields of computing and intelligent information systems. It compiles cutting-edge studies, innovative methodologies, and practical applications presented at the conference ICCIIS 2024.The book delves into several core areas of modern computing and intelligent information systems. Key topics include artificial intelligence, exploring machine learning algorithms and neural networks; information systems and robotic process automation, highlighting efficient business process automation strategies; and signal, image, and video processing, focusing on innovative techniques for multimedia analysis. Big data analytics is also covered with insights into data mining and predictive analytics. Cloud computing and cybersecurity are explored, emphasizing secure, scalable solutions for data storage and protection. The Internet of Things (IoT) is examined for its impact on interconnected devices and smart systems. Additionally, the book explores advanced computing and intelligent networks, addressing the development of high-performance computing systems and sophisticated network architectures.This book is intended for academics, researchers, and professionals in the fields of computing and information systems, as well as students pursuing advanced studies in these areas. It is also a valuable resource for industry practitioners seeking to stay abreast of the latest trends and innovations in AI, big data, and cybersecurity.
Computer Science Engineering: Proceedings of the 1st International Conference on Computing and Intelligent Information Systems (ICCIIS 2024), Bangalore, India, 19-20th April, 2024 Volume 2
by Francesco Flammini H. L. Gururaj S. Srividhya M. L. Chayadevi Sheba SelvamThis book provides a comprehensive overview of the latest advancements and research in the fields of computing and intelligent information systems. It compiles cutting-edge studies, innovative methodologies, and practical applications presented at the conference ICCIIS 2024.The book delves into several core areas of modern computing and intelligent information systems. Key topics include artificial intelligence, exploring machine learning algorithms and neural networks; information systems and robotic process automation, highlighting efficient business process automation strategies; and signal, image, and video processing, focusing on innovative techniques for multimedia analysis. Big data analytics is also covered with insights into data mining and predictive analytics. Cloud computing and cybersecurity are explored, emphasizing secure, scalable solutions for data storage and protection. The Internet of Things (IoT) is examined for its impact on interconnected devices and smart systems. Additionally, the book explores advanced computing and intelligent networks, addressing the development of high-performance computing systems and sophisticated network architectures.This book is intended for academics, researchers, and professionals in the fields of computing and information systems, as well as students pursuing advanced studies in these areas. It is also a valuable resource for industry practitioners seeking to stay abreast of the latest trends and innovations in AI, big data, and cybersecurity.
Computer Science Essentials (Click, Connect, Compute #1)
by Dharini BalasubramaniamComputer science fundamentals, using clear, expert explanations and comic illustrations to spark interest and enthusiasm in the next generation of computer scientists!Computer Science Essentials looks at the key pillars of this fascinating discipline: from its role in communication and education, to healthcare and entertainment. Readers will get to grips with the hardware, software and pioneers of computer science who have driven new ideas and changed the world. And the end of the book fast-forwards to the future of computer science, robotics and considers what it might mean to live in a 'smarter' world.Contents: What is computer science? / Computer science and our world / Must-have parts / The key players in computer science / Important ideas at play / The fascinating fundamentals / Spotting computer science in the wild / It's more than just tech / Opening up a variety of careers / The future of computer science / Pioneer portraits / Further information / Glossary / Quiz yourself! / IndexThe Click, Connect, Compute series untangles the computer science web and teaches children about the essentials of computer software, hardware and digital literacy as well as discussing the ethics surrounding this evolving field. Featuring fun, friendly comic strip illustrations, pioneer bios and a quiz, this is a perfect read for children aged 8+. Books in the series: Computer Science Essentials / Data, Big and Small / Smart Machines / The Languages of ProgrammingWritten in a clear, thoughtful way by computer science expert, Dr. Dharini Balasubramaniam, a strong advocate for ethics and education in her field.
Computer Science I Essentials
by Randall RausREA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Computer Science I includes fundamental computer concepts, number representations, Boolean algebra, switching circuits, and computer architecture.
Computer Science I Essentials
by Randall RausREA’s Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Computer Science I includes fundamental computer concepts, number representations, Boolean algebra, switching circuits, and computer architecture.
Computer Science Illuminated
by John Lewis Nell DaleFully revised and updated, the Sixth Edition of the best selling text Computer Science Illuminated retains the accessibility and in depth coverage of previous editions, while incorporating all new material on cutting edge issues in computer science. Authored by the award winning Nell Dale and John Lewis, Computer Science Illuminate d's unique and innovative layered approach moves through the levels of computing from an organized, language neutral perspective.
Computer Science Illuminated
by John Lewis Nell DaleDesigned for the introductory computing and computer science course, the student-friendly Computer Science Illuminated, Eighth Edition provides students with a solid foundation for further study, and offers non-majors a complete introduction to computing. Fully revised and updated, the eighth edition of this best-selling text retains the accessibility and in-depth coverage of previous editions, while incorporating all-new material on cutting-edge issues in computer science. Authored by the award-winning team Nell Dale and John Lewis, the text provides a unique and innovative layered approach, moving through the levels of computing from an organized, language-neutral perspective.
Computer Science Illuminated
by John Lewis Nell DaleDesigned for the introductory computing and computer science course, the student-friendly Computer Science Illuminated, Seventh Edition provides students with a solid foundation for further study, and offers non-majors a complete introduction to computing. Fully revised and updated, the Seventh Edition of this best-selling text retains the accessibility and in-depth coverage of previous editions, while incorporating all-new material on cutting-edge issues in computer science. Authored by the award-winning team Nell Dale and John Lewis, the text provides a unique and innovative layered approach, moving through the levels of computing from an organized, language-neutral perspective.
Computer Science Illuminated (Fifth Edition)
by John Lewis Nell DaleRevised and updated with the latest information in the field, the Fifth Edition of best-selling Computer Science Illuminated continues to provide students with an engaging breadth-first overview of computer science principles and provides a solid foundation for those continuing their study in this dynamic and exciting discipline. Authored by two of today's most respected computer science educators, Nell Dale and John Lewis, the text carefully unfolds the many layers of computing from a language-neutral perspective, beginning with the information layer, progressing through the hardware, programming, operating systems, application, and communication layers, and ending with a discussion on the limitations of computing. Separate program language chapters are available as bundle items for instructors who would like to explore a particular programming language with their students. Ideal for introductory computing and computer science courses, the fifth edition's thorough presentation of computing systems provides computer science majors with a solid foundation for further study, and offers non-majors a comprehensive and complete introduction to computing. New Features of the Fifth Edition:- A new chapter on computer security provides readers with the latest information on preventing unauthorized access; types of malware and anti-virus software; protecting online information, including data collection issues with Facebook, Google, etc. ; security issues with mobile and portable devices; and more. - A NEW section on cloud computing offers readers an overview of the latest way in which businesses and users interact with computers and mobile devices. - The section on social networks has been rewritten to include up-to-date information, including new data on Google+ and Facebook. - The sections covering HTML have been updated to include HTML5. - Revised and updated Did You Know callouts are included in the chapter margins. - The updated Ethical Issues at the end of each chapter have been revised to tie the content to the tenth strand recommended by the ACM, which stresses the importance of computer ethics. Accompanied by a comprehensive suite of instructor resources including answers to the end of chapter exercises, answers to the optional lab exercises, PowerPoint Lecture Outlines, Image Bank, and a complete Test Bank. Every new copy is packaged with full student access code to the robust Companion Website featuring:Animated Flashcards; Relevant Web Links; Crossword Puzzles; Interactive Glossary; Digital Lab Manual; R. Mark Meyer's labs, Explorations in Computer Science; Additional programming chapters, including Alice, C++, Java, JavaScript, Pascal, Perl, Python, Ruby, SQL, and VB. NET; C++ Language Essentials labs; Java Language Essentials labs; Link to Download Pep/8
Computer Science Principles: The Foundational Concepts of Computer Science for AP Computer Science
by Kevin HareFor AP #65533; Computer Science Principles: Computer Science is the fastest growing field in the World and there are no signs of slowing. Just because this is a relatively new field of study, it should not be scary to learn or thought to be too difficult to understand. Anyone who has ever turned on a phone or surfed the Internet should have a basic understanding of what happens when the mouse is clicked or the screen is touched (and how fast it happens!). How does a simple process convert to 1's and 0's and travel thousands of miles in a blink of the eye? What is an IP address? What do IP/TCP, DNS, HTML, and CSS stand for? How do large movies and thousands of songs all fit onto a hard drive? How can secrets be sent in plain sight? These questions are answered in Computer Science Principles: The Foundational Concepts of Computer Science, plus spreadsheets, photo-editing, web-design (HTML and CSS), learning to code with JavaScript, and more!