Skip to main content
Elsevier
View Cart
openUserAccount

Books in Programming techniques

BooksJournals
41-50 of 86 results in All results

Programming, The Impossible Challenge

  • 1st Edition
  • June 28, 2014
  • B. Walraet
  • English
  • eBook
    9 7 8 - 1 - 4 8 3 2 - 9 5 8 8 - 6
In its modern form, the computer is only about 40 years old. And so is the job of the computer programmer. This book is a critical history of programming, written to give programmers and analysts in the commercial application field a more pragmatic insight into the background of their profession. It tells the story of why the technology evolved as it did, and how Fifth Generation techniques are already changing the situation.As well as charting the real advances and the passing fashions, this unusual book looks at the situation in perspective, drawing some sad and maybe surprising conclusions while discussing questions such as ``Is programming a job for human beings?'' ``Is it High Noon for the world of programming?''

Computer Programming and Architecture

  • 2nd Edition
  • June 28, 2014
  • Henry Levy + 1 more
  • English
  • eBook
    9 7 8 - 1 - 4 8 3 2 - 9 9 3 7 - 2
Takes a unique systems approach to programming and architecture of the VAXUsing the VAX as a detailed example, the first half of this book offers a complete course in assembly language programming. The second describes higher-level systems issues in computer architecture. Highlights include the VAX assembler and debugger, other modern architectures such as RISCs, multiprocessing and parallel computing, microprogramming, caches and translation buffers, and an appendix on the Berkeley UNIX assembler.

Real Time Programming 1986

  • 1st Edition
  • May 23, 2014
  • J. Szlanko
  • English
  • eBook
    9 7 8 - 1 - 4 8 3 2 - 9 8 0 4 - 7
The 1986 IFAC/IFIP Workshop on real-time programming represents the 14th meeting of this workshop since it was first organized in 1971. Traditionally a meeting of a small number of experts, the papers presented at this meeting concentrate on the topics of real-time environment and executives, software development tools and languages, and special real-time applications. The continuing progress being made in this field of programming is amply reflected by the papers and should be of interest to anyone wishing to be kept up to date in the field.

Psychology of Programming

  • 1st Edition
  • May 19, 2014
  • J.-M. Hoc
  • English
  • eBook
    9 7 8 - 1 - 4 8 3 2 - 9 5 9 1 - 6
Psychology provides a backdrop for most of the study of human*b1computer interaction. In this volume the psychological issues that pertain to programming, rather than systems design, are examined in four sections: Theoretical and Methodological Issues; Language Design and Skill Acquisition; Expert Programming; and the Future.****The book was inspired by working groups in France and the United Kingdom but also includes work by major North American figures (such as Curtis and Soloway). It is the first comprehensive work on this topic since the early 1980s.

Foundations of Deductive Databases and Logic Programming

  • 1st Edition
  • May 12, 2014
  • Jack Minker
  • English
  • eBook
    9 7 8 - 1 - 4 8 3 2 - 2 1 1 2 - 0
Foundations of Deductive Databases and Logic Programming focuses on the foundational issues concerning deductive databases and logic programming. The selection first elaborates on negation in logic programming and towards a theory of declarative knowledge. Discussions focus on model theory of stratified programs, fixed point theory of nonmonotonic operators, stratified programs, semantics for negation in terms of special classes of models, relation between closed world assumption and the completed database, negation as a failure, and closed world assumption. The book then takes a look at negation as failure using tight derivations for general logic programs, declarative semantics of logic programs with negation, and declarative semantics of deductive databases and logic programs. The publication tackles converting AND-control to OR-control by program transformation, optimizing dialog, equivalences of logic programs, unification, and logic programming and parallel complexity. Topics include parallelism and structured and unstructured data, parallel algorithms and complexity, solving equations, most general unifiers, systems of equations and inequations, equivalences of logic programs, and optimizing recursive programs. The selection is a valuable source of data for researchers interested in pursuing further studies on the foundations of deductive databases and logic programming.

Advanced Programming Methodologies

  • 1st Edition
  • May 10, 2014
  • Gianna Cioni + 1 more
  • English
  • eBook
    9 7 8 - 1 - 4 8 3 2 - 6 5 4 5 - 2
Advanced Programming Methodologies consists of lecture demos and practical experiments from the Summer School on Advanced Programming Methodologies which took place in Rome, Italy, on September 17-24, 1987. The school focused on tools of advanced programming as well as theoretical foundations for software engineering. Problems connected with implementation and application of high-level programming languages are highlighted. Comprised of 11 chapters, this volume first looks at two software development projects at the Institute of Informatics of the University of Warsaw in Poland, with emphasis on the methodologies used in programming and implementation. The reader is then introduced to flexible specification environments; object-oriented programming; and Paragon's type hierarchies for data abstraction. Subsequent chapters focus on the inheritance rule in object-oriented programming; a functional programming approach to modularity in large software systems; database management systems; and relational algebra and fixpoint computation for logic programming implementation. The book also examines modules in high-level programming languages before concluding with a chapter devoted to storage management. This book is intended for computer programmers, undergraduate students taking various courses in programming, and advanced students of computer science.

Towards Verified Systems

  • 1st Edition
  • Volume 2
  • October 22, 2013
  • J. Bowen
  • English
  • eBook
    9 7 8 - 1 - 4 8 3 2 - 9 1 5 2 - 9
As the complexity of embedded computer-controlled systems increases, the present industrial practice for their development gives cause for concern, especially for safety-critical applications where human lives are at stake. The use of software in such systems has increased enormously in the last decade. Formal methods, based on firm mathematical foundations, provide one means to help with reducing the risk of introducing errors during specification and development. There is currently much interest in both academic and industrial circles concerning the issues involved, but the techniques still need further investigation and promulgation to make their widespread use a reality.This book presents results of research into techniques to aid the formal verification of mixed hardware/software systems. Aspects of system specification and verification from requirements down to the underlying hardware are addressed, with particular regard to real-time issues. The work presented is largely based around the Occam programming language and Transputer microprocessor paradigm. The HOL theorem prover, based on higher order logic, has mainly been used in the application of machine-checked proofs.The book describes research work undertaken on the collaborative UK DTI/SERC-funded Information Engineering Dictorate Safemos project. The partners were Inmos Ltd., Cambridge SRI, the Oxford University Computing Laboratory and the University of Cambridge Computer Laboratory, who investigated the problems of formally verifying embedded systems. The most important results of the project are presented in the form of a series of interrelated chapters by project members and associated personnel. In addition, overviews of two other ventures with similar objectives are included as appendices.The material in this book is intended for computing science researchers and advanced industrial practitioners interested in the application of formal methods to real-time safety-critical systems at all levels of abstraction from requirements to hardware. In addition, material of a more general nature is presented, which may be of interest to managers in charge of projects applying formal methods, especially for safety-critical-systems, and others who are considering their use.

Matlab

  • 3rd Edition
  • June 3, 2013
  • Dorothy C. Attaway
  • English
  • eBook
    9 7 8 - 0 - 1 2 - 4 0 5 8 9 3 - 4
MatLab, Third Edition is the only book that gives a full introduction to programming in MATLAB combined with an explanation of the software’s powerful functions, enabling engineers to fully exploit its extensive capabilities in solving engineering problems. The book provides a systematic, step-by-step approach, building on concepts throughout the text, facilitating easier learning. Sections on common pitfalls and programming guidelines direct students towards best practice. The book is organized into 14 chapters, starting with programming concepts such as variables, assignments, input/output, and selection statements; moves onto loops; and then solves problems using both the ‘programming concept’ and the ‘power of MATLAB’ side-by-side. In-depth coverage is given to input/output, a topic that is fundamental to many engineering applications. Vectorized Code has been made into its own chapter, in order to emphasize the importance of using MATLAB efficiently. There are also expanded examples on low-level file input functions, Graphical User Interfaces, and use of MATLAB Version R2012b; modified and new end-of-chapter exercises; improved labeling of plots; and improved standards for variable names and documentation. This book will be a valuable resource for engineers learning to program and model in MATLAB, as well as for undergraduates in engineering and science taking a course that uses (or recommends) MATLAB.

CUDA Programming

  • 1st Edition
  • November 13, 2012
  • Shane Cook
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 4 1 5 9 3 3 - 4
  • eBook
    9 7 8 - 0 - 1 2 - 4 1 5 9 8 8 - 4
If you need to learn CUDA but don't have experience with parallel computing, CUDA Programming: A Developer's Introduction offers a detailed guide to CUDA with a grounding in parallel fundamentals. It starts by introducing CUDA and bringing you up to speed on GPU parallelism and hardware, then delving into CUDA installation. Chapters on core concepts including threads, blocks, grids, and memory focus on both parallel and CUDA-specific issues. Later, the book demonstrates CUDA in practice for optimizing applications, adjusting to new hardware, and solving common problems.

An Introduction to Programming with Specifications

  • 1st Edition
  • November 10, 2012
  • Bozzano G Luisa
  • English
  • eBook
    9 7 8 - 0 - 0 8 - 0 9 8 4 4 6 - 9
A feature of modern advanced computing is the functional approach to programming. In this book, the authors present an introduction to the mathematics which underline functional programming, emphasizing the understanding of definition and specification--a prerequisite of good programming and problem solving with a computer. The book is self-contained, requiring a low level of mathematical sophistication and may be used as an introduction to the mathematics of programming.