寂寞的時候,就用心煮一碗白飯吧+所謂料理這件事
家簡塵除雙十一狂歡

英文書 > 全部商品

Comprehensive Data Structures and Algorithms in C++

2025/05/14 出版

DESCRIPTION Data structures and algorithms is an essential subject in computer science studies. It proves to be a great tool in the hands of any software engineer, and also plays a significant role in software design and development. It has become a must-have skill now for many competitions and job interviews in the software industry.The concepts are explained in a step-wise manner and illustrated with numerous figures, text, examples, and immediate code samples, which help in a better understanding of data structures and algorithms with their implementation. The book has more than 500 illustrations, code samples, and problems, along with solutions for exercises. This book provides a comprehensive study of data structures and algorithms, starting with an introduction to time and space complexity analysis using asymptotic notation. It explores arrays and matrices, then progresses to linked lists, stacks (LIFO), and queues (FIFO), emphasizing their respective operations and applications. A detailed chapter on recursion, including base cases and recursive calls, lays the groundwork for understanding binary trees and binary search trees, and graph algorithms such as DFS and BFS. Finally, the book covers storage management, addressing memory allocation, release and garbage collection. This book provides practical C++ implementations and problem-solving exercises to foster a solid understanding of these core computer science concepts. After completion of this book, students will have a good understanding of data structures and algorithms concepts and implementation. Software engineers will be able to provide more effective solutions with the use of appropriate data structures and efficient algorithms.WHAT YOU WILL LEARN● Fundamentals of data structures and algorithms.● A variety of data structures and algorithms useful for software design and development.● How to efficiently use different data structures and algorithms.● When and where to use appropriate data structures and algorithms.WHO THIS BOOK IS FORThe students who want to self-study data structures and algorithms as their university curriculum subject and to enter the software industry. It is also helpful for software engineers who want to learn to solve daily problems with better software design and writing efficient code.

9折 特價2193元

Computational Literacy for the Humanities

Zef,Segal  著
Routledge 出版
2025/05/12 出版

Computational Literacy for the Humanities provides an introduction to mathematics and programming that is specifically designed for use by those engaged in the humanities. Linking mathematical concepts and computational skills, the chapters in this book explore humanistic questions from diverse fields, such as art, history and literature.The book helps to advance computational and digital literacy by showing that each mathematical concept has a history, and each technique has a meaning. Rather than viewing mathematics and computer programming as purely instrumental, they are integrated into the process of achieving greater understanding of humanistic phenomena. Algorithms, data, statistics and networks are taught critically within the book, whilst the authors also make a concerted effort to expose the internal biases of these tools. They also demonstrate the applicability of quantification and computation for the promotion of diversification and inclusivity within the humanities. All exercises are designed as an opportunity to gain hands-on mathematical and computational experience, whilst critically exploring and interpreting humanistic phenomena.Computational Literacy for the Humanities shows readers how to engage with data in a way that is challenging, yet meaningful and empowering. It will be of interest to scholars and students working across the humanities and should be of particular interest to those working in digital humanities.

9折 特價3183元

Simulation Tools and Techniques

Angel a,Juan  著
Springer 出版
2025/04/30 出版

This book constitutes the refereed post-conference proceedings of the 16th EAI International Conference on Simulation Tools and Techniques, SIMUTools 2024, held in Bratislava, Slovakia, in December 2024. The 26 full papers included in this book were carefully reviewed and selected from 63 submissions. They were organized in topical sections as follows: simulation tools and methods, traffic simulations, logistics and manufacturing, robotics simulations, applications of simulations, and network simulations.

9折 特價7307元

Arduino Programming Using Simulink

Majid,Pakdel  著
2025/04/30 出版

Unlock the full potential of your Arduino projects with this comprehensive guide to integrating Simulink for advanced controller design. Whether you are a beginner or an experienced engineer, this book provides step-by-step instructions on how to design, simulate, and deploy sophisticated control systems using the powerful combination of Simulink and Arduino.Through practical examples and clear explanations, you will learn how to: Design complex controllers using Simulink's intuitive graphical environment Generate efficient C code from Simulink models and seamlessly upload it to Arduino Ideal for engineers, hobbyists, and students, this book bridges the gap between software and hardware, empowering you to build reliable, real-time embedded systems for a wide range of applications.With its hands-on approach, Arduino Programming using Simulink makes it easier than ever to bring your ideas to life by combining the flexibility of Simulink with the versatility of Arduino.

9折 特價3914元

The Garbage Collection Handbook

CRC Press 出版
2025/04/23 出版
9折 特價3809元

Mastering Design Patterns for Layered Testing

Manish,Saini  著
2025/04/20 出版

Master Layered Test Automation and Build Integrate and Deploy with Confidence Book DescriptionIn today's fast-paced software development landscape, ensuring application quality requires a strategic approach to test automation. Mastering Design Patterns for Layered Testing empowers you with the knowledge and tools to design, implement, and optimize automation across UI, API, and backend layers using Python's powerful ecosystem. Starting with foundational concepts like test design patterns and the Test Pyramid, the book delves into practical implementations of unit testing, integration testing, API testing, and contract testing. You'll learn how to integrate automated tests into CI/CD pipelines using GitHub Actions, generate detailed test reports with Allure, and address modern testing challenges such as microservices and containerized environments. Real-world case studies illustrate how to apply these techniques in production settings. A dedicated chapter on Generative AI in testing explores its applications in test case generation and test data creation. Whether you're an intermediate tester looking to enhance your automation skills or an experienced professional seeking to learn advanced strategies, this book provides the expertise needed to build scalable and reliable test automation frameworks that drive software quality and efficiency. Stay ahead of the curve-master next-gen test automation before it's too late! Table of Contents1. Introduction to Strategic Test Design2. Understanding Test Design Patterns3. Unit Testing Strategies4. Integration Testing Approaches5. API Testing Techniques6. Contract Testing7. Distributing Tests Across UI, API, and Backend Layers8. Integrating Tests into CI/CD Pipelines9. Advanced CI/CD Strategies10. Future of Test Automation11. Leveraging Generative AI in Testing Index

9折 特價1605元

From Data to Models and Back

Springer 出版
2025/04/18 出版

This book constitutes revised selected papers of the 12th International Symposium on From Data Models and Back, DataMod 2024, held in Aveiro, Portugal, during November 4-5, 2024. The 9 full papers included in this book were carefully reviewed and selected from 15 submissions. These papers present research results in the areas of knowledge management, data mining and machine learning, as well as application experiences, tools and promising preliminary ideas.

9折 特價7307元

Applied Algorithms

Springer 出版
2025/04/18 出版

This book LNCS constitutes the refereed proceedings of the Second International Conference on Applied Algorithms, ICAA 2025, held in Kolkata, India, during January 8-10, 2025. The 26 full papers and 4 short papers are carefully reviewed and selected from 93 submissions. This conference sought original contributions related to the design, analysis, implementation, and experimental evaluation of efficient algorithms and data structures for problems.

9折 特價3914元

From Data to Models and Back

Springer 出版
2025/04/16 出版

This book constitutes the refereed proceedings of the 11th International Symposium on From Data to Models and Back, DataMod 2023, held in Eindhoven, The Netherlands during November 6-7, 2023. The 8 full papers presented were carefully reviewed and selected from 10 submissions. They were organized in topical sections as follows: domain-specific modeling and analysis; system biology; formal methods in healthcare; and natural language processing.

9折 特價6785元

SLIs and SLOs Demystified

Packt 出版
2025/04/16 出版
9折 特價2385元

Model and Data Engineering

Springer 出版
2025/04/10 出版

This book constitutes the refereed proceedings of the 13th International Conference onModel and Data Engineering, MEDI 2024, held in Naples, Italy, during November 18-20, 2024. The 7 full papers and 11 short papers were carefully peer reviewed and selected from 45 submissions.They were organized in topical sections as follows: AI-Enabled Systems; Security and Privacy; Query Processing; Prediction; Conceptual Issues; and Applications.

9折 特價8351元

Defining Digital Solutions

Ingram 出版
2025/04/08 出版
9折 特價1408元

Reliability Engineering in the Cloud

Addison-Wesl 出版
2025/04/06 出版

Deliver Resilient, Scalable, and Fault-Tolerant Cloud Services with AI, Lean, and Reliability Engineering The success of your business hinges on the resilience of your cloud infrastructure. System failures and downtime can devastate your bottom line, erode customer trust, and undermine your competitive edge. Reliability Engineering in the Cloud: Strategies and Practices for Resilient Cloud-Based Systems is your essential guide to creating robust, fault-tolerant cloud systems that deliver seamless performance, no matter the challenge. Packed with actionable strategies and expert insights, this book empowers you to design, build, and maintain cloud infrastructure that supports your business goals. Whether you're a software engineer, DevOps professional, or business/engineering leader, this book equips you with the tools and knowledge to create highly available, fault-tolerant cloud systems that consistently exceed user expectations. Start your journey to cloud resilience today and transform your systems into a competitive advantage. Learn How To Craft a cloud reliability engineering strategy with a holistic, customer-first approach Build an effective incident management framework to minimize downtime Leverage AI and machine learning for predictive analytics, automated recovery, and proactive issue resolution Measure ROI, boost customer satisfaction, and align reliability with business success Foster a culture of continuous improvement using Objectives and Key Results (OKRs) in a lean environment Gain inspiration from real-world case studies and insights from industry pioneers Register your book for convenient access to downloads, updates, and/or corrections as they become available. See inside book for details.

9折 特價2064元

Experiment with the Sense Hat

Space exploration is fascinating and inspiring for children and adults alike. With the tiny Raspberry Pi computer helping to change the world little by little, it was only a matter of time before it went into space to help out there as well. The Raspberry Pi Sense HAT aids two Raspberry Pi computers on board the International Space Station in their extraterrestrial mission: it sits on top of each Raspberry Pi, equipped with lights and sensors that allow the Raspberry Pi to interact with the world around it.In this book, we help you figure out exactly what the Sense HAT is and how you can use it to make your projects and dreams a reality. You'll learn by building: A digital twist on the Magic 8 BallYour own interactive pixel petA sparkly light showAn environmental data loggerFlappy Astronaut, a low-res, high-fun video gameThe Sense HAT is an incredibly versatile and flexible bit of kit with plenty of obvious uses, along with a huge number of less obvious ones, that you'll love to make and share. Updated for the latest Raspberry Pi devices and hardware, this book has everything you need to get started.

9折 特價410元

Building Medallion Architectures

O'Reilly Media 出版
2025/03/28 出版

In today's data-driven world, organizations must manage and analyze vast amounts of information to deliver the insights that give them a competitive advantage. Many turn to the medallion architecture because it's a proven and well-known design. Yet implementing a robust data pipeline can be difficult, particularly when it comes to using the medallion architecture's bronze, silver, and gold layers--done wrong, it can hamper your ability to make data-driven decisions. This practical guide helps you build a medallion architecture the right way with Azure Databricks and Microsoft Fabric. Drawing on hands-on experience from the field, Piethein Strengholt demystifies common assumptions and complex problems you'll face when embarking on a new data architecture. Architects and engineers of all stripes will find answers to the most typical questions along with insights from real organizations about what's worked, what hasn't, and why. You'll learn: Lakehouse and medallion architecture fundamentals and key concepts Design considerations for Azure Databricks and Microsoft Fabric Scaling considerations, including governance, security, automation, and more How to make informed decisions when designing or implementing new data architectures Proven patterns for success that align with broader organizational objectives

9折 特價2052元

Fundamentals of Software Engineering

O'Reilly Media 出版
2025/03/26 出版

What do you need to know to be a successful software engineer? Undergraduate curricula and bootcamps may teach the fundamentals of algorithms and writing code, but they rarely cover topics vital to your career advancement. With this practical book, you'll learn the skills you need to succeed and thrive. Authors Nathaniel Schutta and Dan Vega guide your journey with everything from pointers to deep dives into specific topic areas that will help you build the skills that really matter as a software engineer. Understand what software engineering is--and why communication and other soft skills matter Learn the basics of software architecture and architectural drivers Use common and proven techniques to read and refactor code bases Understand the importance of testing and how to implement an effective test suite Learn how to reliably and repeatedly deploy software Know how to evaluate and choose the right solution or tool for a given problem

9折 特價2257元

The Rust Programming Language, 3rd Edition

No Starch Press 出版
2025/03/25 出版

Build stable, production-grade systems with Rust. The Rust Programming Language, 3rd Edition, teaches you to write code that the compiler can verify, teams can maintain, and systems can evolve safely over time. Written by longtime Rust community members, this book shows you how to work effectively with Rust's type system, concurrency model, and tooling, using patterns and idioms chosen for long-term stability. Learn how to: Design programs that communicate their invariants to the compilerUse ownership, lifetimes, and traits to model real-world constraintsWrite concurrent and multithreaded code with confidence and clarityBuild, test, document, and refactor projects using Cargo effectivelyHandle errors explicitly and idiomaticallyApply expressive pattern matching to simplify complex logicThree substantial project chapters--focusing on a number-guessing game, a command-line tool, and a multithreaded server--demonstrate how these concepts work together in complete, real programs. Whether you're new to Rust or already using it in production, this book helps you write code that scales safely and makes its guarantees explicit. New to this edition: Complete async programming chapterMiri for analyzing unsafe codeBuilt on the Rust 2024 EditionModern Rust idioms, tooling, and practices

9折 特價2052元

Cloud Native Anti-Patterns

Packt 出版
2025/03/24 出版

Build a resilient, cloud-native foundation by tackling common anti-patterns head on with practical strategies, cultural shifts, and technical fixes across AWS, Azure, and GCP Key Features: - Identify common anti-patterns in agile cloud-native delivery and learn to adopt good habits- Learn high-performing cloud-native delivery with expert strategies and real-world examples- Get prescriptive guidance on how to spot and remediate anti-patterns in your organization- Purchase of the print or Kindle book includes a free PDF eBookBook Description: Successfully transitioning to a cloud-native architecture demands more than just new tools-it requires a change in mindset. Written by cloud transformation experts Gerald Bachlmayr, Aiden Ziegelaar, Alan Blockley, and Bojan Zivic-this guide shows you how to identify and remediate cloud anti-patterns, manage FinOps, meet security goals, and understand cloud storage, thus steering your organization to become truly cloud native. You will develop the skills necessary to navigate the cloud native landscape, irrespective of the platform: AWS. Azure or GCP!You'll start by exploring the events that shaped our understanding of the modern cloud-native stack. Through practical examples, you'll learn how to implement a suitable governance model, adopt FinOps and DevSecOps best practices, and create an effective cloud native roadmap. You will identify common anti-patterns and refactor them into best practices.The book examines potential pitfalls and suggests solutions that enhance business agility. You'll also gain expert insights into observability, migrations, and testing of cloud native solutions.What You Will Learn: - Get to grips with the common anti-patterns of building on and migrating to the cloud- Identify security pitfalls before they become insurmountable- Acknowledge governance challenges before they become problematic- Drive cultural change in your organization for cloud adoption- Explore examples across the SDLC phases and technology layers- Minimize the operational risk of releases using powerful deployment strategies- Refactor or migrate a solution from an anti-pattern to a best practice design- Effectively adopt supply chain security practicesWho this book is for: This book is for cloud professionals with any level of experience who want to deepen their knowledge and guide their organization toward cloud-native success. It is Ideal for cloud architects, engineers (cloud, software, data, or network), cloud security experts, technical leaders, and cloud operations personnel. While no specific expertise is required, a background in architecture, software development, data, networks, operations, or governance will be helpful.Table of Contents- The Benefits of Cloud Native and Common Misunderstandings- Strategizing Your Shift to Cloud Native- Rethinking Governance in a Cloud-Native Paradigm- How to Avoid a Bill Shock- Deliver Rapidly and Continuously without Compromising Security- How to Meet Your Security and Compliance Goals- Expressing Your Business Goals in Application Code- Don't Get Lost in the Data Jungle- Connecting It All- Observing Your Architecture- Running It without Breaking It- Migrating from Old to New- How Do You Know It All Works?- How to Get Started with Your Cloud Native Improvement Journey- Transitioning

9折 特價2385元

Fundamentals of Software Engineering

Springer 出版
2025/03/22 出版

This book constitutes the proceedings of the 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025, held in V瓣ster疇s, Sweden during April 7-8, 2025. The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 30 submissions. They deal with all aspects of formal methods, with a strong emphasis on promoting their industrial applications and integrating them with practical engineering practices.

9折 特價8351元

Rebeca for Actor Analysis in Action

Edward A,Lee  著
Springer 出版
2025/03/22 出版

This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers. Marjan Sirjani received her PhD in Computer Engineering from Sharif University of Technology for work on the Formal Specification and Verification of Concurrent and Reactive Systems. After Postdoc, Lecturer, Visiting Scholar, Associate Professor, and Professor positions in Iran, The Netherlands, Iceland, and the US, she has been a Professor in the School of Innovation, Design and Engineering of M瓣lardalen University since 2016. Her main fields of interest are Software Engineering, Formal Methods, Cyber-Physical Systems Analysis, Model Checking, Distributed Systems, and Applying Formal Methods in System Design. Among other successes, Marjan invented the Rebeca modelling language, one of the best-known actor-based languages with a formal semantics and a wealth of analysis and verification tools. Rebeca has been used in modelling and analysis of a wide range of systems, including in domains such as biomedical engineering, automotive, and aviation. Throughout her career, Marjan has trained many students and worked successfully with a range of scientists and engineers across disciplines, these collaborations are reflected in the papers in this volume.

9折 特價4436元

Powerful, Profitable Software Products

Kyle,Rowland  著
CRC Press 出版
2025/03/21 出版

This guide describes the unique aspects of creating software-based products. It also lays out the clear practical guidance that's necessary to construct and evolve a modern practice.

9折 特價3809元

Introduction to Computer Aided Design, Engineering and Manufacturing

FriesenPress 出版
2025/03/19 出版
9折 特價1710元

Software Engineering Approaches to Enable Digital Transformation Technologies

Sanjay,Misra  著
Routledge 出版
2025/03/11 出版
9折 特價4436元

Web Browser Engineering

2025/03/08 出版

A working or budding software engineer always benefits from deeply understanding the platform their code runs on, and web browsers are the most common and widely-used platform there is. This book is the essential description of how they work and how that impacts web developers and other software engineers whose work touches the web. Readers of Web Browser Engineering will join the authors in building their own web browser, including rich visual effects, multithreaded architecture, JavaScript APIs, and comprehensive security policies. Web browser engines are filled with unique challenges, interesting algorithms, and clever optimizations. Building a browser is both easy and incredibly hard, both intentional and accidental, and everywhere you look, you see the evolution and history of the web wrapped up in one codebase. It's both fun, and endlessly interesting. This interactive and engaging book will be a unique source for any software engineer, computer scientist, web developer, or simply anyone with an interest in web browsers and how they work. This is an open access title available under the terms of a CC BY-NC-ND 4.0 International licence. It is free to read on the Oxford Academic platform and offered as a free PDF download from OUP and selected open access locations.

9折 特價2909元

Advances in Computational Intelligence. Micai 2024 International Workshops

Springer 出版
2025/03/07 出版

This book constitutes the revised selected papers of several workshops which were held in conjunction with the MICAI 2024 International Workshops on Advances in Computational Intelligence, MICAI 2024, held in Tonantzintla, Mexico, during October 21-25, 2024. The 38 revised full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers presented in this volume stem from the following workshops: - 17th Workshop of Hybrid Intelligent Systems (HIS 2024) - 17th Workshop on Intelligent Learning Environments (WILE 2024) - 6th Workshop on New Trends in Computational Intelligence and Applications (CIAPP 2024).

9折 特價3131元

Advances in Computational Intelligence. Micai 2024 International Workshops

Springer 出版
2025/03/07 出版

This book constitutes the revised selected papers of several workshops which were held in conjunction with the MICAI 2024 International Workshops on Advances in Computational Intelligence, MICAI 2024, held in Tonantzintla, Mexico, during October 21-25, 2024. The 38 revised full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers presented in this volume stem from the following workshops: - 17th Workshop of Hybrid Intelligent Systems (HIS 2024) - 17th Workshop on Intelligent Learning Environments (WILE 2024) - 6th Workshop on New Trends in Computational Intelligence and Applications (CIAPP 2024).

9折 特價3914元

Recent Trends in VLSI and Semiconductor Packaging

CRC Press 出版
2025/03/05 出版

The Conference aimed to provide a platform for researchers, academicians, industry experts, and practitioners to exchange ideas, present research findings, and discuss emerging trends and challenges in the specified fields.

9折 特價3861元

Responsible Software Engineering

O'Reilly Media 出版
2025/02/26 出版

Today's software applications need more than a friendly interface and correct algorithms. They also need to be responsible: to be beneficial for society and not cause harm. In an era of AI chatbots, deep fake images and videos, social media bubbles, expanding privacy regulations, and a warming planet, it's more important than ever to practice responsible software engineering so your products earn your users' trust--and deserve it. Responsible Software Engineering gathers the wisdom of over 100 Google employees to help you anticipate the effects of your software on the world and its inhabitants. It features expert advice and practical case studies so you can build better applications that are more ready for real-world situations: Treating people more fairly, regardless of their beliefs, culture, skin tone, and other attributes Operating more safely, to reduce the risk of physical, psychological, or financial harm Better protecting people's privacy, particularly when collecting personal information Incorporating wisdom from the social sciences, law, ethics, and other fields that many engineers may be unfamiliar with Reducing emissions of carbon dioxide (CO2), to address the risks of climate change

9折 特價2052元

Spring Boot 3 API Mastery

2025/02/24 出版
9折 特價2193元

Service-Oriented and Cloud Computing

Claus,Pahl  著
Springer 出版
2025/02/24 出版

This book constitutes the refereed proceedings of the 11th IFIP WG 6.12 European Conference on Service-Oriented and Cloud Computing, ESOCC 2025, held in Bolzano, Italy, during February 20-21, 2025. The 12 full papers and 6 short papers included in this book were carefully reviewed and selected from 28 submissions. This paper focus on the cutting-edge research in Service-Oriented and Cloud Computing areas.

9折 特價3392元

Red Hat Enterprise Linux 9 for SysAdmins

2025/02/23 出版
9折 特價2193元

DevSecOps Excellence

2025/02/23 出版
9折 特價1057元

Engineering AI Systems

Len,Bass  著
Addison-Wesl 出版
2025/02/12 出版

Master the Engineering of AI Systems: The Essential Guide for Architects and Developers In today's rapidly evolving world, integrating artificial intelligence (AI) into your systems is no longer optional. Engineering AI Systems: Architecture and DevOps Essentials is a comprehensive guide to mastering the complexities of AI systems engineering. This book combines robust software architecture with cutting-edge DevOps practices to deliver high-quality, reliable, and scalable AI solutions. Experts Len Bass, Qinghua Lu, Ingo Weber, and Liming Zhu demystify the complexities of engineering AI systems, providing practical strategies and tools for seamlessly incorporating AI in your systems. You will gain a comprehensive understanding of the fundamentals of AI and software engineering and how to combine them to create powerful AI systems. Through real-world case studies, the authors illustrate practical applications and successful implementations of AI in small- to medium-sized enterprises across various industries, and offer actionable strategies for designing, building, and operating AI systems that deliver real business value. Lifecycle management of AI models, from data preparation to deployment Best practices in system architecture and DevOps for AI systems System reliability, performance, and security in AI implementations Privacy and fairness in AI systems to build trust and achieve compliance Effective monitoring and observability for AI systems to maintain operational excellence Future trends in AI engineering to stay ahead of the curve Equip yourself with the tools and understanding to lead your organization's AI initiatives. Whether you are a technical lead, software engineer, or business strategist, this book provides the essential insights you need to successfully engineer AI systems. Register your book for convenient access to downloads, updates, and/or corrections as they become available. See inside book for details.

9折 特價2294元

Python for Absolute Beginners

2025/02/05 出版

This book eases you into the foundational aspects of Python 3.x with an extensive range of code samples that illustrate its diverse features. Start with Python tools and installations, and progressively learn intricacies like strings, loops, conditional logic, and much more. The appendices on NumPy and Pandas provide insights into efficient numerical operations, making it a holistic resource for novice programmers. Companion files with code samples are available for downloading from the publisher.

9折 特價1812元

Automated Technology for Verification and Analysis

S,Akshay  著
Springer 出版
2025/02/03 出版

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections: Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis. Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification.

9折 特價7307元

A Concise Introduction to Software Engineering

Springer 出版
2025/02/03 出版

Software engineering has changed: A software project today is likely to use large language models (LLMs) for some tasks and will employ some open-source software. It is therefore important to integrate open source and use of LLMs in teaching software engineering - a key goal of this textbook. This reader-friendly textbook/reference introduces a carefully curated set of concepts and practices essential for key tasks in software projects. It begins with a chapter covering industry-standard software, open-source tools, and the basics of prompt engineering for LLMs. The second chapter delves into project management, including development process models, planning, and team-working. Subsequent chapters focus on requirements analysis and specification, architecture design, software design, coding, testing, and application deployment. Each chapter presents concepts, practical methods, examples, the application of LLMs, and the role of open-source software. A companion website provides some comprehensive case studies, as well as teaching material including presentation slides. This textbook is ideal for an introductory course on software engineering where the objective is to develop knowledge and skills to execute a project--specifically in a team employing contemporary software engineering practices and using open source and LLMs. It is also suitable for professionals who want to be introduced to the systematic approach of software engineering and/or use of open source and LLMs. The author is a distinguished professor at IIIT-Delhi and a well-known academic in software engineering. He has served as vice president in Infosys Technologies Limited and as a visiting researcher at Microsoft Corporation. Reviews of the first edition: "This book's title provides an excellent description of its content. ... This compact volume is organized into eight well-focused chapters containing numerous examples and well-designed self-test exercises. Includes an excellent collection of references and a very useful index. Summing Up: Highly recommended. Upper-division undergraduate through professional readers; two-year technical program students." (J. Beidler, Choice, Vol. 46 (6)) "Jalote's intention in this book is to present just enough material to teach beginning software engineers what they need to know to do a development project that carries a smallproduct from conception through delivery. The result is a short book ... making this sort of book very attractive as a text for introductory software engineering. ... topics are well chosen and their discussion is good." (Christopher Fox, ACM Computing Reviews)

9折 特價2870元

Learn Coding Basics In Hours With JavaScript

2025/01/31 出版
9折 特價342元

The AI ACT and the Agile Safety Plan

Springer 出版
2025/01/28 出版
9折 特價2870元

Testing Software and Systems

Springer 出版
2025/01/24 出版

This book constitutes the refereed proceedings of the 36th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2024, held in London, UK, during October 30-November 1, 2024. The 17 full papers and 5 short papers included in this book were carefully reviewed and selected from 40 submissions. They were organized in topical sections as follows: Best Paper Award; Industry and Challenge Tracks; Mutation Testing and Code Generation; Advancing Code Vulnerability Detection; Short Papers; Tutorial; Journal First; Health Track; Innovations in Software Testing and AI Compliance; Improving Software Testing Reliability and Advancements in Testing Methodologies.

9折 特價4436元

Practical Ruby 3 Programming

Zorin,Fylix  著
Gitforgits 出版
2025/01/17 出版
9折 特價2223元

Excel Mastery

Ethan,Wells  著
Ethan Reads 出版
2025/01/16 出版

Buy the Paperback Version and Get the eBook Version Completely Free!Master Excel with Clarity and Confidence - Your Step-by-Step Guide to Excel MasteryAre you ready to unlock the power of Excel? Whether you're an absolute beginner or looking to level up your skills, this guide is designed to make learning Excel easy, practical, and enjoyable. Packed with clear illustrations, step-by-step instructions, and hands-on exercises, this book ensures you can confidently navigate Excel's most powerful features.What Makes This Book Stand Out?✅ Detailed Illustrations: Every concept and tutorial is accompanied by visuals, making it easy to follow each step. No guesswork-just clear guidance!✅ Practice Exercises with Solutions: Apply what you learn with practical exercises, and check your work with detailed solutions to solidify your understanding.✅ Beginner-Friendly to Advanced Skills: From mastering the basics to tackling advanced functions, this book grows with you.Excel Is Essential for Success!With over 80% of jobs requiring Excel skills, mastering this tool can give you the edge you need in your career, studies, or personal projects. This book doesn't just teach you Excel-it empowers you to apply it confidently in real-world scenarios.Get your copy now, and take the first step towards Excel mastery today!

9折 特價752元

Beginning Programmers and Programming Patterns

Elsea,Rose  著
2025/01/11 出版
9折 特價2538元

Sailing a Software Company

Joshua,Smith  著
Lulu.com 出版
2025/01/10 出版

Navigate Challenges with Resilience and Claim Your Treasure! Software development is messy. You start with a clear roadmap, but soon you're lost in uncharted waters-ballooning features, unforeseen dependencies, and endless bugs. Without a clear compass guiding the way, it's easy to drift, wasting time and losing momentum. The key? Resilience and a focus on measurable value. Clear the Decks You can't do it all, and trying will sink the ship. Saying no to non-critical features, pruning the backlog, and delaying releases when necessary aren't failures-they're strategies to keep the team focused on delivering what matters most. The Treasure Map Treasure isn't perfection; it's progress. It's seeing measurable value in every feature-whether that's improved user experience, reduced churn, or streamlined processes. Success comes from learning and improving with each sprint, not chasing unattainable ideals. Tools and Crew Your tools are your auto-pilot, but they're not the whole solution. CI/CD pipelines, automated testing, and monitoring dashboards are game-changers, but they only shine when paired with a strong crew. Invest in your people, provide clear goals, and foster a culture of trust and growth. It's the team, not the tools, that steers the ship. Learn from Mistakes Mistakes are inevitable-embrace them. Each error is a marker on your map, guiding you toward a better process. A failed deployment teaches rollback strategies; a misaligned feature highlights the need for clearer communication. Progress isn't about avoiding mistakes-it's about learning from them. Celebrate the Journey Don't wait for big wins to celebrate. A bug caught before production, a new developer's first successful feature, or a retro where the team solves a major issue-these are the real victories. Recognizing small wins keeps the crew motivated and reminds you why you love this work. Claim Your Treasure Your treasure isn't at the end of the map-it's in the journey. The lessons, relationships, and resilience you build along the way are the true rewards. So hoist the flag, clear the decks, and steer your ship with confidence. The treasure is yours to claim.

9折 特價2294元

Understanding Modelling and Programming

Springer 出版
2024/12/30 出版
9折 特價3131元

Advances in Computing

Springer 出版
2024/12/23 出版

This two-volume set CCIS 2208-2209 constitutes revised selected papers from the refereed proceedings of the 18th Colombian Congress on Computing, CCC 2024, held in Manizales, Colombia, during September 4-6, 2024. The 50 full papers and 5 short papers included in this book were carefully reviewed and selected from 124 submissions. They were organized in topical sections as follows: Artificial Intelligence; Pattern recognition and computer vision; Computational statistics and formal methods; Cyber security and information security; Data, information and knowledge; ICT for education and e-Learning; Industry 4.0 and digital transformation; Software engineering and automation.

9折 特價4697元

Advances in Computing

Springer 出版
2024/12/23 出版

This two-volume set CCIS 2208-2209 constitutes revised selected papers from the refereed proceedings of the 18th Colombian Congress on Computing, CCC 2024, held in Manizales, Colombia, during September 4-6, 2024. The 50 full papers and 5 short papers included in this book were carefully reviewed and selected from 124 submissions. They were organized in topical sections as follows: Artificial Intelligence; Pattern recognition and computer vision; Computational statistics and formal methods; Cyber security and information security; Data, information and knowledge; ICT for education and e-Learning; Industry 4.0 and digital transformation; Software engineering and automation.

9折 特價5219元

Software Vulnerability Discovery Process

Adarsh,Anand  著
2024/12/23 出版

This book is an overview of basics and other related fundamentals pertaining to software vulnerability discovery as a process. This collaboration of academia and industry disseminates various practical mathematical modeling-based tools and analytics used for vulnerability discovery.

9折 特價6786元

Rust Programming in Easy Steps

In Easy Steps 出版
2024/12/20 出版

Rust Programming in easy steps is a practical, no-nonsense guide to Rust for developers who want to write fast, modern systems code. Start by installing and configuring Rust and VSCode, then work through the working examples. Use free, downloadable code to get started now. Covers: Rust's fundamental principles.Structuring data effectively and controlling program flow. Collections and modules. The file structure of a project. Implementing behaviors using traits. Closures and iterators, and real-world programs. Applying smart pointers and harnessing concurrency. Focuses on clarity and correctness, making it ideal for practicing programmers who want to adopt Rust with confidence. Your first step to becoming a Rust guru!Covers Rust 2024, which was released in February 2025.

9折 特價855元
頁數3/37
移至第 頁
金石堂門市 全家便利商店 萊爾富便利商店 7-11便利商店
World wide
活動ing