» książki » Computers - Programming - General
topmenu
 |
The Case of the Killer Robot: Stories about the Professional, Ethical, and Societal Dimensions of Computing
ISBN: 9780471138235 / Angielski / Miękka / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A unique and entertaining look at the ethical issues in the computer science profession, this book tells the fictional story of a robot programmed to automate an assembly line that ended up taking the life of a worker. Using a variety of materials, from newspaper clippings, interviews, and the trial manuscript, the book explores the full complexity of the topic and the need to take into account the -human factor.-
A unique and entertaining look at the ethical issues in the computer science profession, this book tells the fictional story of a robot programmed to ...
|
cena:
395,55 |
 |
Programming for Design: From Theory to Practice
ISBN: 9780471196457 / Angielski / Twarda / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Architectural programming refers to the process of information gathering, analysis, and concept development involved in defining a design problem. This book is a guide to the process. It is divided into two parts: the first part covers analytical, synthetical, organizational, and communication skills; and the second focuses on an actual programming project.
Architectural programming refers to the process of information gathering, analysis, and concept development involved in defining a design problem. Thi...
|
cena:
400,75 |
 |
Testing Computer Software 2e
ISBN: 9780471358466 / Angielski / Miękka / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book will teach you how to test computer software under real-world conditions. The authors have all been test managers and software development managers at well-known Silicon Valley software companies. Successful consumer software companies have learned how to produce high-quality products under tight time and budget constraints. The book explains the testing side of that success. Who this book is for: * Testers and Test Managers * Project Managers-Understand the timeline, depth of investigation, and quality of communication to hold testers accountable for. This book will teach you how to test computer software under real-world conditions. The authors have all been test managers and software development m...
|
cena:
354,14 |
 |
Better Software Project Management: A Primer for Success
ISBN: 9780471395553 / Angielski / Twarda / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A complete guide to piloting a software project to success-on time and within budget
This book provides novice software project managers, software developers, and anyone delivering reusable software with strategies for mastering the basics of directing a software project. Well-known management consultant Marsha Lewin uses a "been there, done that" approach designed to solve on-the-job problems quickly and efficiently. Learn how to get a project in motion immediately in the first chapter's "quick start" tutorial. This comprehensive overview outlines the ins and outs of software... A complete guide to piloting a software project to success-on time and within budget
This book provides novice software project managers, softwa... |
cena:
432,00 |
 |
Problem Solving in Automata, Languages, and Complexity
ISBN: 9780471439608 / Angielski / Twarda / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A practical introduction to essential topics at the core of computer science
Automata, formal language, and complexity theory are central to the understanding of computer science. This book provides, in an accessible, practically oriented style, a thorough grounding in these topics for practitioners and students on all levels. Based on the authors’ belief that the problem-solving approach is the most effective, Problem Solving in Automata, Languages, and Complexity collects a rich variety of worked examples, questions, and exercises designed to ensure understanding and mastery of... A practical introduction to essential topics at the core of computer science
Automata, formal language, and complexity theory are central to the un... |
cena:
760,11 |
 |
Great Software Debates
ISBN: 9780471675235 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The industry's most outspoken and insightful critic explains how the software industry REALLY works.
In Great Software Debates, Al Davis, shares what he has learned about the difference between the theory and the realities of business and encourages you to question and think about software engineering in ways that will help you succeed where others fail. In short, provocative essays, Davis fearlessly reveals the truth about process improvement, productivity, software quality, metrics, agile development, requirements documentation, modeling, software marketing and sales, empiricism,... The industry's most outspoken and insightful critic explains how the software industry REALLY works.
In Great Software Debates, Al Davis, shares wha... |
cena:
411,17 |
 |
Software Measurement and Estimation: A Practical Approach
ISBN: 9780471676225 / Angielski / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An effective, quantitative approach for estimating and managing software projects
How many people do I need? When will the quality be good enough for commercial sale? Can this really be done in two weeks? Rather than relying on instinct, the authors of Software Measurement and Estimation offer a new, tested approach that includes the quantitative tools, data, and knowledge needed to make sound estimations. The text begins with the foundations of measurement, identifies the appropriate metrics, and then focuses on techniques and tools for estimating the effort... An effective, quantitative approach for estimating and managing software projects
How many people do I need? When will the quality... |
cena:
577,83 |
 |
Software Project Management For Dummies
ISBN: 9780471749349 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych.
|
cena:
145,77 |
 |
Z: An Introduction to Formal Methods
ISBN: 9780471939733 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Now that formal methods are seen as a necessary and beneficial theoretical tool for systems designers and programmers, this book offers a thorough and comprehensive tutorial introduction to Z taking as its starting point the practical use of this formal specification language. Case studies are used to illustrate all aspects of Z and are introduced early on in order to motivate the mathematical notations that have to be covered. Standard notation is used throughout. Many proofs are included and they are presented using the commonest format for natural deduction proofs. With exercises given and...
Now that formal methods are seen as a necessary and beneficial theoretical tool for systems designers and programmers, this book offers a thorough and...
|
cena:
307,01 |
 |
Requirements Engineering: A Good Practice Guide
ISBN: 9780471974444 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Requirements engineering is the process of discovering, documenting and managing the requirements for a computer-based system. The goal of requirements engineering is to produce a set of system requirements which, as far as possible, is complete, consistent, relevant and reflects what the customer actually wants. Although this ideal is probably unattainable, the use of a systematic approach based on engineering principles leads to better requirements than the informal approach which is still commonly used. This book presents a set of guidelines which reflect the best practice in requirements...
Requirements engineering is the process of discovering, documenting and managing the requirements for a computer-based system. The goal of requirement...
|
cena:
322,63 |
 |
Programs, Recursion and Unbounded Choice
ISBN: 9780521018296 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Predicate transformation semantics is the best specification method for the development of correct and well-structured computer programs. This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction, and unbounded nondeterminacy. The author develops their theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming methodology. He gives proofs of the programming rules for partial and total correctness of...
Predicate transformation semantics is the best specification method for the development of correct and well-structured computer programs. This book is...
|
cena:
274,24 |
 |
Foundations of Parallel Programming
ISBN: 9780521018562 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Using parallel machines is difficult because of their inherent complexity and because their architecture changes frequently. This book presents an integrated approach to developing software for parallel machines that addresses software issues and performance issues together. The author describes a methodology for software construction that is architecture-independent and intellectually abstract. The software can execute efficiently on a range of existing and potential hardware configurations. The approach is based on the construction of categorical data types, a generalization of abstract...
Using parallel machines is difficult because of their inherent complexity and because their architecture changes frequently. This book presents an int...
|
cena:
232,41 |
 |
The B-Book: Assigning Programs to Meanings
ISBN: 9780521021753 / Angielski / Miękka / 816 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The B method is a means for specifying, designing and coding software systems. The long-awaited B Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of examples illustrating its use in practice. J.-R. Abrial, the inventor of B, has written the book in such a way that it can be used for self-study or for reference. It is in four parts, the first dealing with the mathematical foundations, including a systematic construction of predicate logic and set...
The B method is a means for specifying, designing and coding software systems. The long-awaited B Book is the standard reference for everything concer...
|
cena:
608,91 |
 |
Formal Specification and Design
ISBN: 9780521435925 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics,...
Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logi...
|
cena:
288,14 |
 |
Parallel Scientific Computing in C++ and Mpi: A Seamless Approach to Parallel Algorithms and Their Implementation
ISBN: 9780521520805 / Angielski / Miękka / 630 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a seamless approach to numerical algorithms, modern programming techniques and parallel computing. These concepts and tools are usually taught serially across different courses and different textbooks, thus observing the connection between them. The necessity of integrating these subjects usually comes after such courses are concluded (e.g., during a first job or a thesis project), thus forcing the student to synthesize what is perceived to be three independent subfields into one in order to produce a solution. The book includes both basic and advanced topics and places...
This book provides a seamless approach to numerical algorithms, modern programming techniques and parallel computing. These concepts and tools are usu...
|
cena:
371,90 |
 |
Qualified Types: Theory and Practice
ISBN: 9780521543262 / Angielski / Miękka / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. For example, qualified types can be viewed as a generalization of type classes in the functional language Haskell and the theorem prover Isabelle. These in turn are extensions of equality types in Standard ML. Other applications of qualified types include extensible records and subtyping. Using a general formulation of qualified types, the author extends the Damas/Milner type inference algorithm to support qualified types, which in turn specifies the set of all...
This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. For example, qualif...
|
cena:
232,41 |
 |
Fundamentals of Engineering Programming with C and FORTRAN
ISBN: 9780521620635 / Angielski / Twarda / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fundamentals of Engineering Programming with C and Fortran is a beginner's guide to problem solving with computers that shows how to quickly prototype a program for a particular engineering application. The book's side-by- side coverage of C and Fortran is unique. Myler emphasizes the importance of developing programming skills in C while carefully presenting the importance of maintaining a good reading knowledge of Fortran. Beginning with a brief description of computer architecture, he then covers the fundamentals of computer programming for problem solving. He also devotes separate...
Fundamentals of Engineering Programming with C and Fortran is a beginner's guide to problem solving with computers that shows how to quickly prototype...
|
cena:
474,98 |
 |
Fundamentals of Engineering Programming with C and FORTRAN
ISBN: 9780521629508 / Angielski / Miękka / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fundamentals of Engineering Programming with C and Fortran is a beginner's guide to problem solving with computers that shows how to quickly prototype a program for a particular engineering application. The book's side-by- side coverage of C and Fortran is unique. Myler emphasizes the importance of developing programming skills in C while carefully presenting the importance of maintaining a good reading knowledge of Fortran. Beginning with a brief description of computer architecture, he then covers the fundamentals of computer programming for problem solving. He also devotes separate...
Fundamentals of Engineering Programming with C and Fortran is a beginner's guide to problem solving with computers that shows how to quickly prototype...
|
cena:
193,79 |
 |
Programming a REAL Internet Site with ASP and HTML: Book I: HTML and Basic ASP
ISBN: 9780595271764 / Angielski / Miękka / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
62,30 |
 |
Programming Web Services with XML-RPC: Creating Web Application Gateways
ISBN: 9780596001193 / Angielski / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Have you ever needed to share processing between two or more computers running programs written in different languages on different operating systems? Or have you ever wanted to publish information on the Web so that programs other than browsers could work with it? XML-RPC, a system for remote procedure calls built on XML and the ubiquitous HTTP protocol, is the solution you've been looking for.Programming Web Services with XML-RPC introduces the simple but powerful capabilities of XML-RPC, which lets you connect programs running on different computers with a minimum of fuss, by... Have you ever needed to share processing between two or more computers running programs written in different languages on different operating syste... |
cena:
136,67 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
