» książki » Computers - Programming - General
topmenu
 |
Programmierung von Datenverarbeitungsanlagen
ISBN: 9783111013046 / Niemiecki / Twarda / 145 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
469,41 |
 |
Multimediale Datenbanken: Einsatz Von Datenbanktechnik in Multimedia-Systemen
ISBN: 9783519124191 / Niemiecki / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Nach einer detaillierten Beschreibung multimedialer Daten werden grundlegende Techniken im Bereich der Betriebssysteme und Datenbanken diskutiert, die fur die besondere Aufgabe der Verwaltung benotigt werden.
In der neuen Auflage werden auch die Aspekte berucksichtigt, die durch die rasante Verbreitung des Internet in Erscheinung getreten sind. Anhand von Ubungsaufgaben kann der Leser das erlangte Wissen festigen und vertiefen. " Nach einer detaillierten Beschreibung multimedialer Daten werden grundlegende Techniken im Bereich der Betriebssysteme und Datenbanken diskutiert, die...
|
cena:
124,70 |
 |
iOS 5. Podręcznik programisty
ISBN: 9788324651214 / Polski / Miękka / 728 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Najlepsze przepisy dla każdego dewelopera!
iOS to jeden z najpopularniejszych systemów operacyjnych wykorzystywanych w urządzeniach mobilnych. Znajdziesz go we wszystkich sprzętach Apple — iPhone’ach, iPadach i iPodach. Różnorodność urządzeń gwarantuje Ci dużą liczbę użytkowników, ale z drugiej strony dostarcza wielu nowych wyzwań. Zastanawiasz się, jak poradzić sobie z codziennymi problemami, pojawiającymi się w trakcie tworzenia aplikacji dla iOS? W tej książce Erica Sadun - autorka bestsellerów i guru programowania na platformie iOS - umieściła wszystkie... Najlepsze przepisy dla każdego dewelopera!
iOS to jeden z najpopularniejszych systemów operacyjnych wykorzystywanych w urządzeniach mobiln... |
cena:
119,00 |
 |
A Course on Mathematical Logic
ISBN: 9781461457459 / Angielski / Miękka / 198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Godel s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to branch out in several areas of mathematics related to foundations and computability, such as logic, axiomatic set theory, model theory, recursion theory, and computability. In this new... This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics an... |
cena:
262,86 |
 |
Requirements Engineering Und Projektmanagement
ISBN: 9783642294310 / Niemiecki / Twarda / 188 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die erfolgreiche Planung und Durchfuhrung eines Projektes braucht umfangreiche Anforderungsdefinitionen. Das Requirements Engineering und Management gibt systematische Entscheidungshilfen, wo das Projektmanagement effizienter werden kann. Der Ratgeber erklart die Anforderungen an Projektleiter und gibt konkrete Handlungsempfehlungen, um Ziele zu erreichen. Eine Darstellung der Rahmenbedingungen fur den optimalen Einsatz von Requirements Engineering rundet das Buch ab. Am Ende jedes Kapitels sorgt eine Zusammenfassung fur schnelle Anwendbarkeit."
Die erfolgreiche Planung und Durchfuhrung eines Projektes braucht umfangreiche Anforderungsdefinitionen. Das Requirements Engineering und Management g...
|
cena:
453,56 |
 |
Dual Tableaux: Foundations, Methodology, Case Studies
ISBN: 9789400734364 / Angielski / Miękka / 523 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, threshold logics, logics of conditional decisions). The distinguishing feature of most of these applications is that the corresponding dual tableaux...
This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathem...
|
cena:
606,65 |
 |
Systems and Software Variability Management: Concepts, Tools and Experiences
ISBN: 9783642365829 / Angielski / Twarda / 317 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The success of product line engineering techniques in the last 15 years has popularized the use of software variability as a key modeling approach for describing the commonality and variability of systems at all stages of the software lifecycle. Software product lines enable a family of products to share a common core platform, while allowing for product specific functionality being built on top of the platform. Many companies have exploited the concept of software product lines to increase the resources that focus on highly differentiating functionality and thus improve their... The success of product line engineering techniques in the last 15 years has popularized the use of software variability as a key modeling approach ... |
cena:
404,42 |
 |
Software Requirements
ISBN: 9780735679665 / Angielski / Miękka / 672 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Now in its third edition, this classic guide to software requirements engineering has been fully updated with new topics, examples, and guidance. Two leaders in the requirements community have teamed up to deliver a contemporary set of practices covering the full range of requirements development and management activities on software projects.
Now in its third edition, this classic guide to software requirements engineering has been fully updated with new topics, examples, and guidance. T... |
cena:
191,58 |
 |
Logic, Language, and Computation: 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
ISBN: 9783642369759 / Angielski / Miękka / 277 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011. The book consists of summaries of 3 tutorials presented at the symposium together with 13 full papers that were carefully reviewed and selected from the submissions. The papers are organized in two sections, one on Language and one on Logic and Computation. The range of topics covered in the Language section includes natural language syntax, semantics, and pragmatics, frames in natural language semantics,...
This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Ku...
|
cena:
186,05 |
 |
Tools for High Performance Computing 2012
ISBN: 9783642373480 / Angielski / Twarda / 162 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The latest advances in the High Performance Computing hardware have significantly raised the level of available compute performance. At the same time, the growing hardware capabilities of modern supercomputing architectures have caused an increasing complexity of the parallel application development. Despite numerous efforts to improve and simplify parallel programming, there is still a lot of manual debugging and tuning work required. This process is supported by special software tools, facilitating debugging, performance analysis, and optimization and thus making a major contribution to...
The latest advances in the High Performance Computing hardware have significantly raised the level of available compute performance. At the same time,...
|
cena:
404,42 |
 |
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, Tableaux 2013, Nancy, France, September 16-19, 2013, Pr
ISBN: 9783642405365 / Angielski / Miękka / 289 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, France, in September 2013. The 20 revised research papers presented together with 4 system descriptions were carefully reviewed and selected from 38 submissions. The papers cover many topics as proof-theory in classical and non-classical logics, analytic tableaux for various logics, related techniques and concepts, e.g., model checking and BDDs, related methods (model elimination, sequent calculi, resolution, and...
This book constitutes the refereed proceedings of the 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods,...
|
cena:
186,05 |
 |
Defect and Fault Tolerance in VLSI Systems: Volume 1
ISBN: 9781461568018 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains an edited selection of papers presented at the International Workshop on Defect and Fault Tolerance in VLSI Systems held October 6-7, 1988 in Springfield, Massachusetts. Our thanks go to all the contributors and especially the members of the program committee for the difficult and time-consuming work involved in selecting the papers that were presented in the workshop and reviewing the papers included in this book. Thanks are also due to the IEEE Computer Society (in particular, the Technical Committee on Fault-Tolerant Computing and the Technical Committee on VLSI) and the...
This book contains an edited selection of papers presented at the International Workshop on Defect and Fault Tolerance in VLSI Systems held October 6-...
|
cena:
404,42 |
 |
Programming Logics: Essays in Memory of Harald Ganzinger
ISBN: 9783642376504 / Angielski / Miękka / 447 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving,...
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to w...
|
cena:
202,19 |
 |
A Framework of Software Measurement
ISBN: 9783110155877 / Angielski / Twarda / 784 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Zuse's textbook on software measurement provides basic principles as well as theoretical and practical guidelines for the use of numerous kinds of software measures. It is written to enable scientists, teachers, practit ioners, and students to define the basic terminology of Software Measurement and to contribute to theory building. The textbook considers, among other, qualitative and numerical models behind software measures. It explains step-by-step the importance of qualitative properties, the meaning of scale types, the foundations of the validation of measures, and the foundations of...
Zuse's textbook on software measurement provides basic principles as well as theoretical and practical guidelines for the use of numerous kinds of sof...
|
cena:
539,57 |
 |
Inheritance Relationships for Disciplined Software Construction
ISBN: 9781447110927 / Angielski / Miękka / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object-oriented inheritance has been in widespread use for a decade, and it is now realised that although inheritance is a powerful modelling tool with many associated advantages, its benefits are not automatically conferred on systems that simply use it.
This book introduces a model of inheritance based around five fundamental inheritance relationships. Each relationship has a clear conceptual basis, representing a fundamental, specialised use of inheritance. The resulting model replaces a confused notion of inheritance with five distinct conceptual relationships supporting more precise... Object-oriented inheritance has been in widespread use for a decade, and it is now realised that although inheritance is a powerful modelling tool wit...
|
cena:
202,19 |
 |
Software Engineering with Computational Intelligence
ISBN: 9781461350729 / Angielski / Miękka / 361 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The constantly evolving technological infrastructure of the modem world presents a great challenge of developing software systems with increasing size, complexity, and functionality. The software engineering field has seen changes and innovations to meet these and other continuously growing challenges by developing and implementing useful software engineering methodologies. Among the more recent advances are those made in the context of software portability, formal verification- techniques, software measurement, and software reuse. However, despite the introduction of some important and...
The constantly evolving technological infrastructure of the modem world presents a great challenge of developing software systems with increasing size...
|
cena:
606,65 |
 |
Compression and Coding Algorithms
ISBN: 9781461353126 / Angielski / Miękka / 275 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Compression and Coding Algorithms describes in detail the coding mechanisms that are available for use in data compression systems. The well known Huffman coding technique is one mechanism, but there have been many others developed over the past few decades, and this book describes, explains and assesses them. People undertaking research of software development in the areas of compression and coding algorithms will find this book an indispensable reference. In particular, the careful and detailed description of algorithms and their implementation, plus accompanying...
Compression and Coding Algorithms describes in detail the coding mechanisms that are available for use in data compression systems. T...
|
cena:
202,19 |
 |
Software Engineering and Environment: An Object-Oriented Perspective
ISBN: 9781461377108 / Angielski / Miękka / 323 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software Engineering and Environment examines the various aspects of software development, describing a number of software life cycle models. Twelve in-depth chapters discuss the different phases of a software life cycle, with an emphasis on the object-oriented paradigm. In addition to technical models, algorithms, and programming styles, the author also covers several managerial issues key to software project management. Featuring an abundance of helpful illustrations, this cogent work is an excellent resource for project managers, programmers, and other computer scientists involved...
Software Engineering and Environment examines the various aspects of software development, describing a number of software life cycle models....
|
cena:
202,19 |
 |
AutoCAD 2014 3D Modeling
ISBN: 9781938549618 / Angielski / Miękka / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides new and seasoned users with step-by-step procedures on creating and modifying 3D models, working with cameras and lights, assigning materials to objects, rendering, and printing. Unlike many AutoCAD competitors, it uses both metric and imperial units to illustrate the myriad tools for this popular application. Use the companion DVD to set up drawing exercises and projects and see all of the book s figures including color. AutoCAD 2014 3D Modeling includes 50 mini-workshops, that complete small projects from concept through actual plotting. Solving all of the workshops will...
This book provides new and seasoned users with step-by-step procedures on creating and modifying 3D models, working with cameras and lights, assigning...
|
cena:
213,26 |
 |
Allgemeine Anwendungen (Ti-59, Hp-41 C, Fx-602 P): Zeichnen -- Sortieren -- Rechnen, Elektrotechnik, Chemie, Bauwesen, Kleinkredite
ISBN: 9783528043117 / Niemiecki / Miękka / 106 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. I m Band 10 der Vieweg Programmbibliothek Taschenrechner wird nochmals die allgemeine Anwendung aus verschiedenen Bereichen aufgegriffen und programmtechnisch auf die Rechner TI-59, HP-41 C und FX-602P realisiert. Damit soll gleichzeitig eine Beendigung der Beitrage fur den weit verbreiteten Rechner TI-59 signalisiert werden, die stets in grosser Zahl den Herausgebern zur Veroffentlichung vorgelegt werden. Hierdurch wird dem Trend zur Anwendung von Rechnern mit erweiterten Moglichkeiten der Program mierung und Textverarbeitung Rechnung getragen. Andererseits ist jedoch auch eine Sattigung der...
I m Band 10 der Vieweg Programmbibliothek Taschenrechner wird nochmals die allgemeine Anwendung aus verschiedenen Bereichen aufgegriffen und programmt...
|
cena:
207,85 |
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
