Book picks similar to
Logics for Computer Science: Classical and Non-Classical by Anita Wasilewska
mathematics-and-logic
philosophy-of-mathematics-logic
philosophy-of-science-logic
programming
IBM PC Assembly Language and Programming
Peter Abel - 1987
Coverage starts from scratch, discussing the simpler aspects of the hardware, and the language, then introduces technical details and instructions as they are needed.
Real World Java EE Patterns--Rethinking Best Practices
Adam Bien - 2009
:-)
The 8088 and 8086 Microprocessors: Programming, Interfacing, Software, Hardware, and Applications
Walter A. Triebel - 1991
This volume offers thorough, balanced, and practical coverage of both software and hardware topics. Develops basic concepts using the 8088 and 8086 microprocessors, but the 32-bit version of the 80x86 family is also discussed. Examines how to assemble, run, and debug programs, and how to build, test, and troubleshoot interface circuits. Provides detailed coverage of floating-point processing and the single instruction multiple data (DIMD) processing capability of the advanced Pentium processor. Includes added material on number systems, logic functions and operations, conversion between number systems, and addition/subtraction of binary numbers. Includes new advanced material such as floating Point Architecture and Instructions, Multimedia (MMX) Architecture and Instructions, and the hardware and hardware architecture of the Pentium 3 and Pentium 4 processors. Covers the Intel architecture microprocessor families: 8088, 8086, 80286, 80386, 80486, and the latest Pentium(R) processors. Illustrates commands of the DEBUG program and how to assemble, disassemble, load, save, execute, and debug programs on the IBM PC. Introduces the contents of the 8088's instruction set. Explores practical implementation techniques, covering the use of latches, transceivers, buffers, and programmable logic devices in the memory and I/O interfaces of the microcomputer system. A valuable handbook for self-study in learning microprocessors, for electrical engineers, electronic technicians, and all computer programmers.
Thinking in CSS
Aravind Shenoy - 2014
Instead of wandering through loads of theory, we will understand CSS more practically so that we can design a webpage using CSS. We have used Notepad for the examples in this book. Alternatively, you can also use Notepad++ or any advanced editor. All that you need to do is copy the code and paste it into Notepad. Upon execution, you will get the output as depicted in the screenshots. Screenshots are provided for each sample code. Coding gets better with practice. The examples in this book are compatible with almost every browser. Instead of using the verbatim code, you can modify the code and see the change in the output, thereby understanding the subtle nuances of CSS. By the end of the book, with practice, you can achieve better things and get more acquainted with CSS.
Core Java: An Integrated Approach
R. Nageswara Rao - 2008
Considering just how java is dominating the software industry these days, it is vital for all software and it professionals to be knowledgeable in it. This book is ideal even for new learners as it provides detailed descriptions even of the basic concepts of java, in a very simple and easily understandable way. The best part about using this book is that once you have gone through it, you are sure to be able to write basic java programs on your own. Another highlight of this book is that instead of being vague, it provides you with a detailed explanation of all the concepts that concern this topic. Core java: an integrated approach includes many examples that are helpful as they help students get rid of the fears that they have, concerning programming. Students are also provided with an exhaustive list of questions concerning the topic, which are frequently asked in interviews. This is beneficial for students as they appear for interviews in the future. The first edition of the core java: an integrated approach has been published by dreamtech press in the year 2008 and is available in paperback.key features: this book includes 32 chapters that focus on various java-related topics. Students are provided with an exhaustive list of questions that often feature in interviews for programming jobs.
Exploring CQRS and Event Sourcing
Dominic Betts - 2012
It presents a learning journey, not definitive guidance. It describes the experiences of a development team with no prior CQRS proficiency in building, deploying (to Windows Azure), and maintaining a sample real-world, complex, enterprise system to showcase various CQRS and ES concepts, challenges, and techniques.The development team did not work in isolation; we actively sought input from industry experts and from a wide group of advisors to ensure that the guidance is both detailed and practical.The CQRS pattern and event sourcing are not mere simplistic solutions to the problems associated with large-scale, distributed systems. By providing you with both a working application and written guidance, we expect you’ll be well prepared to embark on your own CQRS journey.
Fundamentals of Computer Algorithms
Ellis Horowitz - 1978
The book comprises chapters on elementary data structures, dynamic programming, backtracking, algebraic problems, lower bound theory, pram algorithms, mesh algorithms, and hypercube algorithms. In addition, the book consists of several real-world examples to understand the concepts better. This book is indispensable for computer engineers preparing for competitive examinations like GATE and IES.
Data Structures and Algorithm Analysis in C
Mark Allen Weiss - 1992
The book's conceptual presentation focuses on ADTs and the analysis of algorithms for efficiency, with a particular concentration on performance and running time. The second edition contains a new chapter that examines advanced data structures such as red black trees, top down splay trees, treaps, k-d trees, and pairing heaps among others. All code examples now conform to ANSI C and coverage of the formal proofs underpinning several key data structures has been strengthened.
Systems Analysis and Design
Alan Dennis - 2002
Building on their experience as professional systems analysts and award-winning teachers, authors Dennis, Wixom, and Roth capture the experience of developing and analyzing systems in a way that students can understand and apply.With
Systems Analysis and Design, 4th edition
, students will leave the course with experience that is a rich foundation for further work as a systems analyst.
Programmable Logic Controllers
Frank D. Petruzella - 1989
It's not intended to replace manufacturer's or user's manuals, but rather complements and expands on the information contained in these materials. All topics are covered in small segments. Students systematically carry out a wide range of generic programming exercises and assignments. All of the information about PLCs has been updated.
Domain-Driven Design in PHP
Carlos Buenosvinos
Explore applying the Hexagonal Architecture within your application, whether within an open source framework or your own bespoke system. Finally, look into integrating Bounded Contexts, using REST and Messaging approaches.
Murach's HTML5 and CSS3: Training and Reference
Zak Ruvalcaba - 2011
This title also teaches you how to use the HTML5 and CSS3 features alongside the earlier standards.
Working with UNIX Processes
Jesse Storimer - 2011
Want to impress your coworkers and write the fastest, most efficient, stable code you ever have? Don't reinvent the wheel. Reuse decades of research into battle-tested, highly optimized, and proven techniques available on any Unix system.This book will teach you what you need to know so that you can write your own servers, debug your entire stack when things go awry, and understand how things are working under the hood.http://www.jstorimer.com/products/wor...