Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Search results for “[Subject: computer-engineering]”

Products

The Essentials of Modern Software Engineering: Free the Practices from the Method Prisons!

Ivar Jacobson

Hardcover

Current price ₹8,816
Original price ₹9,698
Original price ₹9,698
Original price ₹9,698
(-9%)
₹8,816
Current price ₹8,816

• Author(s): Ivar Jacobson • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • Subject: Engineering • BISAC: ComputersThe first course in software engineering is the most critical. Education...

View full details

Science of Software Product Lines

Don Batory

Hardcover

Current price ₹7,114
Original price ₹7,346
Original price ₹7,346
Original price ₹7,346
(-3%)
₹7,114
Current price ₹7,114

• Author(s): Don Batory • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: Software Development & Engineering - Project ManagementThis text is about compositional programming, wh...

View full details

Science of Software Product Lines

Don Batory

Paperback

Current price ₹5,256
Original price ₹5,386
Original price ₹5,386
Original price ₹5,386
(-2%)
₹5,256
Current price ₹5,256

• Author(s): Don Batory • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: Software Development & Engineering - Project ManagementThis text is about compositional programming, wh...

View full details

Formal Verification of Just-in-Time Compilation

Aurèle Barrière

Hardcover

Current price ₹6,861
Original price ₹7,346
Original price ₹7,346
Original price ₹7,346
(-7%)
₹6,861
Current price ₹6,861

• Author(s): Aurèle Barrière • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: Programming - CompilersThis book outlines a methodology to develop formally verified Just-in-Time comp...

View full details

Formal Verification of Just-in-Time Compilation

Aurèle Barrière

Paperback

Current price ₹5,007
Original price ₹5,386
Original price ₹5,386
Original price ₹5,386
(-7%)
₹5,007
Current price ₹5,007

• Author(s): Aurèle Barrière • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: Computer ScienceThis book outlines a methodology to develop formally verified Just-in-Time compilers. ...

View full details

Turing's Children: How His Ideas Have Shaped the Modern World

Devdatt Dubhashi, Alessandro Panconesi, Gerardo Schneider

Hardcover

Current price ₹6,014
Original price ₹6,366
Original price ₹6,366
Original price ₹6,366
(-6%)
₹6,014
Current price ₹6,014

• Author(s): Devdatt Dubhashi | Alessandro Panconesi | Gerardo Schneider • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: HistoryThis book explores the profound legacy of Alan Turi...

View full details

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications

Chuchu Fan

Paperback

Current price ₹5,011
Original price ₹5,386
Original price ₹5,386
Original price ₹5,386
(-7%)
₹5,011
Current price ₹5,011

• Author(s): Chuchu Fan • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: Expert SystemsThere are significant financial and legal implications for ensuring design correctness and sa...

View full details

Turning Points in the Analog and Digital World

Herbert Bruderer

Paperback

Current price ₹6,957
Original price ₹7,836
Original price ₹7,836
Original price ₹7,836
(-11%)
₹6,957
Current price ₹6,957

• Author(s): Herbert Bruderer • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: HistoryThis book presents "the digital age" as a central theme, covering digital transformation, soci...

View full details

Multi-LLM Agent Collaborative Intelligence: The Path to Artificial General Intelligence

Edward Y. Chang

Hardcover

Current price ₹9,511
Original price ₹9,992
Original price ₹9,992
Original price ₹9,992
(-5%)
₹9,511
Current price ₹9,511

• Author(s): Edward Y. Chang • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: Artificial Intelligence - Expert Systems

Multi-LLM Agent Collaborative Intelligence: The Path to Artificial General Intelligence

Edward Y. Chang

Paperback

Current price ₹7,831
Original price ₹8,816
Original price ₹8,816
Original price ₹8,816
(-11%)
₹7,831
Current price ₹7,831

• Author(s): Edward Y. Chang • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: Artificial Intelligence - Generative AIToday's large language models excel at pattern recall yet falte...

View full details

System-2 Reasoning: The Path to Artificial General Intelligence, Volume 2

Edward Chang

Hardcover

₹11,853
Original price ₹11,853
Original price ₹11,853
₹11,853
Current price ₹11,853

• Author(s): Edward Chang • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: Artificial Intelligence - Generative AILarge language models can write poetry, pass bar exams, and genera...

View full details

System-2 Reasoning: The Path to Artificial General Intelligence, Volume 2

Edward Chang

Paperback

₹9,697
Original price ₹9,697
Original price ₹9,697
₹9,697
Current price ₹9,697

• Author(s): Edward Chang • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: Artificial Intelligence - Generative AILarge language models can write poetry, pass bar exams, and genera...

View full details

Foundations of Computation and Machine Learning: The Work of Leslie Valiant

Rocco Anthony Servedio

Paperback

₹8,080
Original price ₹8,080
Original price ₹8,080
₹8,080
Current price ₹8,080

• Author(s): Rocco Anthony Servedio • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: Data Science - Machine Learning

Functional Data Structures and Algorithms: A Proof Assistant Approach

Tobias Nipkow

Hardcover

₹8,080
Original price ₹8,080
Original price ₹8,080
₹8,080
Current price ₹8,080

• Author(s): Tobias Nipkow • Publisher: Association for Computing Machinery • Publisher Imprint: Association for Computing Machinery • BISAC: Programming - AlgorithmsThis book is an introduction to data structures and algorithms for functional pr...

View full details