Electronic Books

Total Books: 21 - 40 /87
978-1-4302-0078-9
Dynamics AX

The world’s leading Axapta 3.0 experts will take you from Axapta novice to pro in this book. This authoritative and comprehensive ...

Continue reading
978-1-4020-8297-9
Embedded Systems Specification and Design Languages : Selected contributions from FDL’07

FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...

Continue reading
978-1-4302-0285-1
Expert F#

Expert F# is about practical programming in a beautiful language that puts the power and elegance of functional programming ...

Continue reading
978-3-540-49703-5
Formal Approaches to Software Testing and Runtime Verification

Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...

Continue reading
978-1-4302-0120-5
Foundation ASP for Dreamweaver 8

Dreamweaver 8 takes a lot of the hard work out of performing tasks such as integrating a database into your website, but ...

Continue reading
978-1-4302-0444-2
Foundation Flex for Developers : Data-Driven Applications with PHP, ASP.NET, ColdFusion, and LCDS

Flex is a very powerful and versatile technology for creating web application front-ends. But what every good web application ...

Continue reading
978-1-4302-0082-6
Foundations of Ajax

Ajax burst onto the Web development scene by offering highly interactive, desktop-like Web applications that can be deployed ...

Continue reading
978-1-4302-0175-5
Foundations of Atlas

This book introduces a fast-track path to understanding Atlas, and how this technology can increase the power and functionality ...

Continue reading
978-3-540-78969-7
Functional and Logic Programming : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...

Continue reading
978-3-030-71500-7
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...

Continue reading
978-3-030-16722-6
Fundamental Approaches to Software Engineering

This book cover software verification; model-driven development and model transformation; software evolution and requirements ...

Continue reading
978-3-540-33094-3
Fundamental Approaches to Software Engineering (vol. # 3922)

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

Continue reading
NoIMG
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

The papers deal with the foundations on which software engineering is built, including topics like software engineering as ...

Continue reading
978-1-4020-8586-4
Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...

Continue reading
978-0-387-26171-3
Guide to Assembly Language Programming in Linux

This unique guide provides comprehensive coverage of the key elements of Assembly language programming with in-depth coverage ...

Continue reading
978-3-540-70889-6
Hardware and Software, Verification and Testing

The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...

Continue reading
978-3-540-32605-2
Hardware and Software, Verification and Testing

The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...

Continue reading
978-3-540-74130-5
Implementation and Application of Functional Languages

This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...

Continue reading
978-3-540-85373-2
Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers

This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications ...

Continue reading
978-1-4842-7927-4
Introducing Blockchain with Java : Program, Implement, and Extend Blockchains with Java / Spiro Buzharovski

Includes numerous exercises and test questions to help you solidify what you have learned as you progress through the book, ...

Continue reading
Total Books: 21 - 40 /87