1- 20 of 722 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: x64 Assembly Language Step-by-Step: Programming with Linux, Author: Jeff Duntemann
QUICK ADD
x64 Assembly Language…
by Jeff Duntemann
Explore Series
eBook $52.00
Title: Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, Author: Nir Piterman
QUICK ADD
Hardware and Software:…
by Nir Piterman (Editor)
#9434 in Series
eBook $54.99
Title: Advances in Model and Data Engineering in the Digitalization Era: MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings, Author: Mohamed Mosbah
QUICK ADD
Advances in Model and Data…
by Mohamed Mosbah (Editor), Tahar Kechadi (Editor), Ladjel Bellatreche (Editor), Faiez Gargouri (Editor), Chirine Ghedira Guegan (Editor)
#2071 in Series
eBook $84.99
Title: Software Engineering and Methodology for Emerging Domains: 16th National Conference, NASAC 2017, Harbin, China, November 4-5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23-25, 2018, Revised Selected Papers, Author: Zheng Li
QUICK ADD
Software Engineering and…
by Zheng Li (Editor), He Jiang (Editor), Ge Li (Editor), Minghui Zhou (Editor), Ming Li (Editor)
#861 in Series
eBook $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#12479 in Series
eBook $54.99
Title: Transactions on Pattern Languages of Programming V, Author: Eugene Wallingford
QUICK ADD
Transactions on Pattern…
by Eugene Wallingford (Editor), Uwe Zdun (Editor), Christian Kohls (Editor)
#14630 in Series
eBook $99.99
Title: The Digital Twin Paradigm for Smarter Systems and Environments: The Industry Use Cases, Author: Pethuru Raj Ph.D.
QUICK ADD
The Digital Twin Paradigm for…
by Pethuru Raj Ph.D. (Editor), Preetha Evangeline David (Editor)
#117 in Series
eBook $182.00
Title: We Just Build Hammers: Stories from the Past, Present, and Future of Responsible Tech, Author: Coraline Ada Ehmke
QUICK ADD
We Just Build Hammers: Stories…
by Coraline Ada Ehmke
eBook $59.99
Title: Microsoft Power Platform Solution Architect's Handbook: An expert's guide to becoming a Power Platform solution architect and preparing for the PL-600 exam, Author: Hugo Herrera
QUICK ADD
Microsoft Power Platform…
by Hugo Herrera
eBook $50.99
Title: Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures, Author: Jonathan P. Bowen
QUICK ADD
Engineering Trustworthy…
by Jonathan P. Bowen (Editor), Zhiming Liu (Editor), Zili Zhang (Editor)
#10215 in Series
eBook $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#11245 in Series
eBook $54.99
Title: Model and Data Engineering: 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings, Author: Ladjel Bellatreche
QUICK ADD
Model and Data Engineering:…
by Ladjel Bellatreche (Editor), Yannis Manolopoulos (Editor)
#9344 in Series
eBook $54.99
Title: Computer Software Technology, Author: Manvendra Bhattacharya
QUICK ADD
Computer Software Technology
by Manvendra Bhattacharya
eBook $154.99
Title: Concise Guide to Software Engineering: From Fundamentals to Application Methods, Author: Gerard O'Regan
QUICK ADD
Concise Guide to Software…
by Gerard O'Regan
Explore Series
eBook $54.99
Title: Dependable Software Engineering. Theories, Tools, and Applications: 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings, Author: Timothy Bourke
QUICK ADD
Dependable Software…
by Timothy Bourke (Editor), Liqian Chen (Editor), Amir Goharshady (Editor)
#15469 in Series
eBook $79.99
Title: Technology Trends: Third International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 2017, Proceedings, Author: Miguel Botto-Tobar
QUICK ADD
Technology Trends: Third…
by Miguel Botto-Tobar (Editor), Nelly Esparza-Cruz (Editor), Joffre León-Acurio (Editor), Narcisa Crespo-Torres (Editor), Marola Beltrán-Mora (Editor)
#798 in Series
eBook $54.99
Title: Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings, Author: Haniel Barbosa
QUICK ADD
Formal Methods: Foundations…
by Haniel Barbosa (Editor), Yoni Zohar (Editor)
#14414 in Series
eBook $54.99
Title: Neural-Symbolic Learning and Reasoning: 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part II, Author: Tarek R. Besold
QUICK ADD
Neural-Symbolic Learning and…
by Tarek R. Besold (Editor), Artur d'Avila Garcez (Editor), Ernesto Jimenez-Ruiz (Editor), Roberto Confalonieri (Editor), Pranava Madhyastha (Editor)
#14980 in Series
eBook $139.99
Title: Software Process Definition and Management, Author: Jïrgen Mïnch
QUICK ADD
Software Process Definition…
by Jïrgen Mïnch, Ove Armbrust, Martin Kowalczyk, Martïn Soto
Explore Series
eBook $54.99
Title: Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, Author: Yu-Fang Chen
QUICK ADD
Automated Technology for…
by Yu-Fang Chen (Editor), Chih-Hong Cheng (Editor), Javier Esparza (Editor)
#11781 in Series
eBook $54.99

Pagination Links