• Wyszukiwanie zaawansowane
  • Kategorie
  • Kategorie BISAC
  • Książki na zamówienie
  • Promocje
  • Granty
  • Książka na prezent
  • Opinie
  • Pomoc
  • Załóż konto
  • Zaloguj się

 » książki  » Computers - Programming - General

zaloguj się | załóż konto
Logo Krainaksiazek.pl

koszyk

konto

szukaj
topmenu
Księgarnia internetowa
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
 
 
Wyszukiwanie zaawansowane
Pusty koszyk
Bezpłatna dostawa dla zamówień powyżej 40 złBezpłatna dostawa dla zamówień powyżej 40 zł

Kategorie główne

• Nauka
 [3147299]
• Literatura piękna
 [2059703]

  więcej...
• Turystyka
 [57460]
• Informatyka
 [177611]
• Komiksy
 [39964]
• Encyklopedie
 [25200]
• Dziecięca
 [765242]
• Hobby
 [103520]
• AudioBooki
 [1563]
• Literatura faktu
 [252667]
• Muzyka CD
 [354]
• Słowniki
 [4136]
• Inne
 [510320]
• Kalendarze
 [2117]
• Podręczniki
 [182659]
• Poradniki
 [581537]
• Religia
 [647303]
• Czasopisma
 [531]
• Sport
 [74003]
• Sztuka
 [272883]
• CD, DVD, Video
 [3424]
• Technologie
 [253830]
• Zdrowie
 [131419]
• Książkowe Klimaty
 [128]
• Zabawki
 [2671]
• Puzzle, gry
 [4619]
• Literatura w języku ukraińskim
 [274]
• Art. papiernicze i szkolne
 [7984]
Kategorie szczegółowe BISAC

Kategoria BISAC: Computers >> Programming - General

ilość książek w kategorii: 6486

Wyświetl książki:
Dostępne języki:
Cena:
od:
do:
ilość na stronie:


On Concurrent Programming Fred B. Schneider 9780387949420 Springer
On Concurrent Programming

ISBN: 9780387949420 / Angielski / Twarda / 473 str.

ISBN: 9780387949420/Angielski/Twarda/473 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Fred B. Schneider
Concurrent computing is gaining ground in interest as it becomes increasingly feasible to implement distributed computing across networks of workstations. This book, by one of the subject's leading figures, provides a comprehensive survey of the subject beginning with proposotional logic and concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed to be used as a graduate text. There are exercises at the end of each chapter to extend and illustrate the main themes covered. Professor Schneier emphasizes the use of formal methods and...
Concurrent computing is gaining ground in interest as it becomes increasingly feasible to implement distributed computing across networks of workstati...
cena: 209,75

Practical Software Testing: A Process-Oriented Approach Burnstein, Ilene 9780387951317 Springer
Practical Software Testing: A Process-Oriented Approach

ISBN: 9780387951317 / Angielski / Twarda / 710 str.

ISBN: 9780387951317/Angielski/Twarda/710 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jean-Francois Collard; Ilene Burnstein
Software testing is rapidly evolving as a critical sub-discipline of software engineering. The industry needs professionals educated in the modern methods and tools of software testing and quality assurance. Based on the needs of software professionals, "Practical Software Testing" takes a unique approach to teaching readers how to effectively plan for testing, design test cases, test at multiple levels, organize a testing team, and optimize use of testing tools. It introduces testing concepts that are managerial-, technical-, and process-oriented, using the Testing Maturity Model (TMM) as a...
Software testing is rapidly evolving as a critical sub-discipline of software engineering. The industry needs professionals educated in the modern met...
cena: 503,45

A Discipline of Multiprogramming: Programming Theory for Distributed Applications Misra, Jayadev 9780387952062 Springer
A Discipline of Multiprogramming: Programming Theory for Distributed Applications

ISBN: 9780387952062 / Angielski / Twarda / 420 str.

ISBN: 9780387952062/Angielski/Twarda/420 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jayadev Misra
This volume presents a programming model, similar to object-oriented programming, that imposes a strict discipline on the form of the constituent objects and interactions among them. Concurrency considerations have been eliminated from the model itself and are introduced only during implementation, thereby freeing programmers from dealing with concurrency explicitly. Moreover, the resulting software designs are typically more modular and easier to analyze than the more traditional ones. Numerous examples illustrate various aspects of the model and reveal that a few simple, integrated features...
This volume presents a programming model, similar to object-oriented programming, that imposes a strict discipline on the form of the constituent obje...
cena: 209,75

Advanced Topics in Term Rewriting Enno Ohlebusch 9780387952505 Springer
Advanced Topics in Term Rewriting

ISBN: 9780387952505 / Angielski / Twarda / 414 str.

ISBN: 9780387952505/Angielski/Twarda/414 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Enno Ohlebusch
Term rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e.g., equationally specified abstract data types), in programming languages (e.g., functional-logic programming), in computer algebra (e.g., symbolic computations, Grabner bases), in pro gram verification (e.g., automatically proving termination of programs), in automated theorem proving (e.g., equational unification), and in algebra (e.g., Boolean algebra, group theory). In other words, term rewriting has applications in practical computer science, theoretical computer science, and...
Term rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e.g., equationally specified abstract data t...
cena: 209,75

Computer Logic: Design Principles and Applications Hsu, John Y. 9780387953045 Springer
Computer Logic: Design Principles and Applications

ISBN: 9780387953045 / Angielski / Twarda / 198 str.

ISBN: 9780387953045/Angielski/Twarda/198 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
John Y. Hsu; J. Y. Hsu
An understanding of modern computer logic-incorporating core knowledge of number systems, number conversions, Boolean algebra, memories, and logic circuits-is fundamental to further study of computer architectures, system software, and computer networks. Computer Logic: Design Principles and Applications introduces and describes the relevant concepts, principles and applications of modern computer logic design. The book is self-contained, with an introductory chapter that concisely covers the history of computing devices, as well as number systems, number conversions, signed and unsigned...
An understanding of modern computer logic-incorporating core knowledge of number systems, number conversions, Boolean algebra, memories, and logic cir...
cena: 209,75

The Origin of Concurrent Programming: From Semaphores to Remote Procedure Calls Brinch Hansen, Per 9780387954011 Springer
The Origin of Concurrent Programming: From Semaphores to Remote Procedure Calls

ISBN: 9780387954011 / Angielski / Twarda / 534 str.

ISBN: 9780387954011/Angielski/Twarda/534 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Per Brinch Hansen; Per Brinch Hansen
This book is a collection of original papers written by the computer scientists who made the major breakthroughs in concurrent programming. It covers the pioneering era of the field, from the semaphores of the mid 1960s to the remote procedure calls of the late 1970s. "The Origin of Concurrent Programming" presents 19 seminal papers by E. W. Dijkstra, P. Brinch Hansen, and C. A. R. Hoare. While focusing on contributions of major and lasting importance, the book: * Features an essay that summarizes the papers and puts them in historical perspective. * Builds on fundamental programming...
This book is a collection of original papers written by the computer scientists who made the major breakthroughs in concurrent programming. It covers ...
cena: 419,54

Algorithms and Parallel VLSI Architectures III M. Moonen F. Catthoor Moonen 9780444821065 Elsevier Science
Algorithms and Parallel VLSI Architectures III

ISBN: 9780444821065 / Angielski / Twarda / 424 str.

ISBN: 9780444821065/Angielski/Twarda/424 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
M. Moonen; F. Catthoor; Jef Moonen
A comprehensive overview of the current evolution of research in algorithms, architectures and compilation for parallel systems is provided by this publication.

The contributions focus specifically on domains where embedded systems are required, either oriented to application-specific or to programmable realisations. These are crucial in domains such as audio, telecom, instrumentation, speech, robotics, medical and automotive processing, image and video processing, TV, multimedia, radar and sonar.

The book will be of particular interest to the academic community because of the detailed...

A comprehensive overview of the current evolution of research in algorithms, architectures and compilation for parallel systems is provided by this pu...
cena: 1748,25

Tree Automata and Languages: Volume 10 Nivat, M. 9780444890269 North-Holland
Tree Automata and Languages: Volume 10

ISBN: 9780444890269 / Angielski / Twarda / 496 str.

ISBN: 9780444890269/Angielski/Twarda/496 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
M. Nivat; A. Podelski
The theory of tree languages, founded in the late Sixties and still active in the Seventies, was much less active during the Eighties. Now there is a simultaneous revival in several countries, with a number of significant results proved in the past five years. A large proportion of them appear in the present volume.

The editors of this volume suggested that the authors should write comprehensive half-survey papers. This collection is therefore useful for everyone interested in the theory of tree languages as it covers most of the recent questions which are not treated in the very few rather...

The theory of tree languages, founded in the late Sixties and still active in the Seventies, was much less active during the Eighties. Now there is a ...
cena: 1126,95

Puzzles for Programmers and Pros Dennis E. Shasha 9780470121689 Wrox Press
Puzzles for Programmers and Pros

ISBN: 9780470121689 / Angielski / Miękka / 240 str.

ISBN: 9780470121689/Angielski/Miękka/240 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Dennis E. Shasha
  • Aimed at both working programmers who are applying for a job where puzzles are an integral part of the interview, as well as techies who just love a good puzzle, this book offers a cache of exciting puzzles
  • Features a new series of puzzles, never before published, called elimination puzzles that have a pedagogical aim of helping the reader solve an entire class of Sudoku-like puzzles
  • Provides the tools to solve the puzzles by hand and computer
  • The first part of each chapter presents a puzzle; the second part shows readers how to solve several classes of...
  • Aimed at both working programmers who are applying for a job where puzzles are an integral part of the interview, as well as techies who just...
cena: 89,32

Program Construction: Calculating Implementations from Specifications Backhouse, Roland 9780470848821 John Wiley & Sons
Program Construction: Calculating Implementations from Specifications

ISBN: 9780470848821 / Angielski / Miękka / 352 str.

ISBN: 9780470848821/Angielski/Miękka/352 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Roland Backhouse
  • Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmer
  • This comprehensive guide is a balanced combination of mathematical theory and the practice of programming
  • Straightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functions
  • Includes a wide range of entertaining and challenging examples and exercises

  • Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmer
  • This comprehensive guide is...
cena: 284,60

Agile Documentation: A Pattern Guide to Producing Lightweight Documents for Software Projects Rüping, Andreas 9780470856178 John Wiley & Sons
Agile Documentation: A Pattern Guide to Producing Lightweight Documents for Software Projects

ISBN: 9780470856178 / Angielski / Miękka / 226 str.

ISBN: 9780470856178/Angielski/Miękka/226 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Andreas Ruping
Software documentation forms the basis for all communication relating to a software project. To be truly effective and usable, it should be based on what needs to be known. Agile Documentation provides sound advice on how to produce lean and lightweight software documentation. It will be welcomed by all project team members who want to cut out the fat from this time consuming task. Guidance given in pattern form, easily digested and cross-referenced, provides solutions to common problems.

Straightforward advice will help you to judge:

  • What details should be left in and...
Software documentation forms the basis for all communication relating to a software project. To be truly effective and usable, it should be based on w...
cena: 139,65

Embedded System Design: A Unified Hardware / Software Introduction Vahid, Frank 9780471386780 John Wiley & Sons
Embedded System Design: A Unified Hardware / Software Introduction

ISBN: 9780471386780 / Angielski / Twarda / 346 str.

ISBN: 9780471386780/Angielski/Twarda/346 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Frank Vahid; Tony D. Givargis;Vahid
This book introduces a modern approach to embedded system design, presenting software design and hardware design in a unified manner. It covers trends and challenges, introduces the design and use of single-purpose processors ("hardware") and general-purpose processors ("software"), describes memories and buses, illustrates hardware/software tradeoffs using a digital camera example, and discusses advanced computation models, controls systems, chip technologies, and modern design tools. For courses found in EE, CS and other engineering departments.
This book introduces a modern approach to embedded system design, presenting software design and hardware design in a unified manner. It covers trends...
cena: 1061,06

The 123s of ABC in SAP: Using SAP R/3 to Support Activity-Based Costing Jackiw, Christopher F. 9780471397007 John Wiley & Sons
The 123s of ABC in SAP: Using SAP R/3 to Support Activity-Based Costing

ISBN: 9780471397007 / Angielski / Twarda / 408 str.

ISBN: 9780471397007/Angielski/Twarda/408 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Dawn J. Sedgley; Christopher F. Jackiw
Incorporate the Benefits of Activity-Based Costing into the Efficiencies of Your SAP R/3 System

Given SAP's dominance in the enterprise resource planning (ERP) market, many companies and their managers encounter SAP AG applications in some form or another. Many of these organizations have recognized the value of utilizing Activity-Based Costing/Management concepts to perform more accurate cost assignments or drive performance initiatives. Managers are then faced with trying to determine how Activity-Based Costing can be incorporated into the SAP environment. The 123s of ABC in SAP...

Incorporate the Benefits of Activity-Based Costing into the Efficiencies of Your SAP R/3 System

Given SAP's dominance in the enterprise reso...

cena: 541,84

Independent Verification and Validation: A Life Cycle Engineering Process for Quality Software Lewis, Robert O. 9780471570110 Wiley-Interscience
Independent Verification and Validation: A Life Cycle Engineering Process for Quality Software

ISBN: 9780471570110 / Angielski / Twarda / 384 str.

ISBN: 9780471570110/Angielski/Twarda/384 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Robert O. Lewis; Andrew Lewis
Comprehensive and up-to-date, it covers the most vital part of software development, independent verification and validation. Presents a variety of methods that will ensure better quality, performance, cost and reliability of technical products and systems.
Comprehensive and up-to-date, it covers the most vital part of software development, independent verification and validation. Presents a variety of me...
cena: 865,55

Karel the Robot: A Gentle Introduction to the Art of Programming Pattis, Richard E. 9780471597254 John Wiley & Sons
Karel the Robot: A Gentle Introduction to the Art of Programming

ISBN: 9780471597254 / Angielski / Miękka / 176 str.

ISBN: 9780471597254/Angielski/Miękka/176 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Richard E. Pattis;Pattis; Jay Roberts
Get a Fast, Clear Understanding of the Concepts and Skills of Good Programming Karel the Robot, Second Edition Karel the Robot teaches you the fundamental concepts and skills of programming quickly and easily By emphasizing logic and structure over calculation, it provides a nonthreatening introduction to the central ideas in programming the same ideas that apply to all computer programming languages. This widely-praised guide begins by introducing Karel, a literal-minded robot whose built-in capabilities allow him to explore his world and manipulate simple objects in it. It then introduces...
Get a Fast, Clear Understanding of the Concepts and Skills of Good Programming Karel the Robot, Second Edition Karel the Robot teaches you the fundam...
cena: 418,67

UML 2.0 Models Unhelkar, Bhuvan 9780471727835 Wiley-Interscience
UML 2.0 Models

ISBN: 9780471727835 / Angielski / Twarda / 312 str.

ISBN: 9780471727835/Angielski/Twarda/312 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Bhuvan Unhelkar
A practical approach to enhancing quality in software models using UML Version 2.0

"Despite its increasing usage, many companies are not taking the best advantage of UML and, occasionally, individuals have experienced frustration in applying its standards. Perhaps this is because they have not yet read this book "
-From the Foreword by Prof. Brian Henderson-Sellers

This book presents a practical checklist approach to enhancing the quality of software models created with the Unified Modeling Language (UML) Version 2.0. The foundation for quality is set by the...
A practical approach to enhancing quality in software models using UML Version 2.0

"Despite its increasing usage, many companies are not ...
cena: 614,18

An Illustrated Guide to Linear Programming Saul I. Gass 9780486262581 Dover Publications
An Illustrated Guide to Linear Programming

ISBN: 9780486262581 / Angielski / Miękka / 192 str.

ISBN: 9780486262581/Angielski/Miękka/192 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Saul I. Gass

-I would not hesitate to recommend the book.- -- Industrial Engineering
Linear programming is an extremely effective problem-solving tool, with applications in business, agriculture, government, manufacturing, transportation, engineering, and many other areas. This very readable book presents an elementary introduction to linear programming in a refreshing, often humorous style.
Requiring no math beyond high-school algebra, the book shows how linear programming can help anyone reach the optimum solution for a host of diverse problems. Chapter One introduces the basic concepts...

-I would not hesitate to recommend the book.- -- Industrial Engineering
Linear programming is an extremely effective problem-solving tool...

cena: 62,00

Deductive and Declarative Programming P. Padawitz C. J. Va S. Abramsky 9780521032513 Cambridge University Press
Deductive and Declarative Programming

ISBN: 9780521032513 / Angielski / Miękka / 288 str.

ISBN: 9780521032513/Angielski/Miękka/288 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
P. Padawitz; C. J. Van Rijsbergen; S. Abramsky
In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive theories of suitable data type specifications and exploit both classical theorem-proving and term rewriting. Detailed examples accompany the development of the methods, and their use is supported by a prototyping system that is documented at the end of the book.
In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive...
cena: 242,59

Program Construction R. G. Stone D. J. Cooke D. J. Jderek Johnn Cooke 9780521318839 Cambridge University Press
Program Construction

ISBN: 9780521318839 / Angielski / Miękka / 384 str.

ISBN: 9780521318839/Angielski/Miękka/384 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
R. G. Stone; D. J. Cooke; D. J. Jderek Johnn Cooke
This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. The formal verification of intermediate versions of the program is studied in considerable detail. The authors show how, given the formal specification of a program, data structure and program structure diagrams are drawn and then converted into a procedural program in a program design language (PDL). They demonstrate the conversion of PDL into a variety of real programming languages...
This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction fr...
cena: 237,56

Term Rewriting Systems Jan Willem Klop Roel d Terese 9780521391153 Cambridge University Press
Term Rewriting Systems

ISBN: 9780521391153 / Angielski / Twarda / 908 str.

ISBN: 9780521391153/Angielski/Twarda/908 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jan Willem Klop; Roel de Vrijer;Terese
Term rewriting systems, which developed out of mathematical logic, consist of sequences of discrete steps where one term is replaced with another. Their many applications range from automatic theorem proving systems to computer algebra. This book begins with several examples, followed by a chapter on basic notions that provides a foundation for the rest of the work. First-order and higher-order theories are presented, with much of the latter material appearing for the first time in book form. Subjects treated include orthogonality, termination, lambda calculus and term graph rewriting. There...
Term rewriting systems, which developed out of mathematical logic, consist of sequences of discrete steps where one term is replaced with another. The...
cena: 1077,13

Pierwsza Podprzednia  1  2  3  Następna Ostatnia

Facebook - konto krainaksiazek.pl



Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl
  • książki na zamówienie
  • granty
  • książka na prezent
  • kontakt
  • pomoc
  • opinie
  • regulamin
  • polityka prywatności

Zobacz:

  • Księgarnia czeska

  • Wydawnictwo Książkowe Klimaty

1997-2026 DolnySlask.com Agencja Internetowa

© 1997-2022 krainaksiazek.pl
     
KONTAKT | REGULAMIN | POLITYKA PRYWATNOŚCI | USTAWIENIA PRYWATNOŚCI
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
Polityka prywatnosci - link
Krainaksiazek.pl - płatnośc Przelewy24
Przechowalnia Przechowalnia