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]”

Filters

Products

Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Constantin Enea

Paperback

Current price ₹2,911
Original price ₹4,477
Original price ₹4,477
Original price ₹4,477
(-35%)
₹2,911
Current price ₹2,911

• Author(s): Constantin Enea • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis open access proceedings set constitutes the refereed proceedings of the 35th Interna...

View full details

Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Constantin Enea

Paperback

Current price ₹2,911
Original price ₹4,477
Original price ₹4,477
Original price ₹4,477
(-35%)
₹2,911
Current price ₹2,911

• Author(s): Constantin Enea • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThe open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceed...

View full details

Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Constantin Enea

Paperback

Current price ₹2,911
Original price ₹4,477
Original price ₹4,477
Original price ₹4,477
(-35%)
₹2,911
Current price ₹2,911

• Author(s): Constantin Enea • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThe open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceed...

View full details