Model Order Reduction Techniques with applications in finite element analysis

Despite the continued rapid advance in computing speed and memory the increase in the complexity of models used by engineers persists in outpacing them. Even where there is access to the latest hardware, simulations are often extremely computationally int...

 Telecom for Dummies

New to telecom? Get the scoop on all the basics Order, maintain, and troubleshoot telecom services from area codes to VoIP So you're now in charge of all that telecommunications stuff? Don't panic - here's your secret weapon! This plain-English gu...

 Term Rewriting Systems

Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete transformation steps where one term is replaced with another and have applications in many areas, f...

  Embedded Software The Works

Embedded software needs have grown exponentially over the past quarter century. In 1975 writing 10,000 lines of assembly code was a considered a huge undertaking. Today, a cell phone can contain five million lines of C or C++! Embedded software developers...

 Computability and logic

This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and computer scie...

 Theories of programming languages

This textbook is a broad but rigorous survey of the theoretical basis for the design, definition and implementation of programming languages, and of systems for specifying and proving program behaviour. Both imperative and functional programming are cover...