![]() |
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
ISBN: 9789401784443 / Angielski / Miękka / 140 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This new volume on logic follows a recognizable format that deals in turn with the topics of mathematical logic, moving from concepts, via definitions and inferences, to theories and axioms. However, this fresh work offers a key innovation in its 'pyramidal' graph system for the logical formalization of all these items. The author has developed this new methodology on the basis of original research, traditional logical instruments such as Porphyrian trees, and modern concepts of classification, in which pyramids are the central organizing concept. The pyramidal schema enables both the content...
This new volume on logic follows a recognizable format that deals in turn with the topics of mathematical logic, moving from concepts, via definitions...
|
cena:
484,18 |
![]() |
Introduction to Windows and Graphics Programming with Visual C++ (with Companion Media Pack) (Second Edition)
ISBN: 9789814641869 / Angielski / Twarda / 480 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Introduction to Windows® and Graphics Programming with Visual C++® (2nd Edition) provides an accessible approach to the study of Windows programming. It is intended to be an introduction to Visual C++ for technical people including practicing engineers, engineering students, and others interested in Windows programming and its convenient graphics capabilities. While the book is aimed at a technical audience, its mathematical content is modest and should be readable by most people with an interest in C++ programming. Readers are introduced to Windows programming in...
Introduction to Windows® and Graphics Programming with Visual C++® (2nd Edition) provides an accessible approach to the st...
|
cena:
353,89 |
![]() |
Wearable Android: Android Wear and Google Fit App Development
ISBN: 9781119051107 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software Development/Mobile/Android/Wearable/Fitness Build -Wearable- Applications on the Android Wear and Google Fit Platforms This book covers wearable computing and wearable application development particularly for Android Wear (smartwatches) and Google Fit (fitness sensors). It provides relevant history, background and core concepts of wearable computing and ubiquitous computing, as a foundation for designing/developing applications for the Android Wear and Google Fit platforms. This book is intended for Android wearable enthusiasts, technologists and software... Software Development/Mobile/Android/Wearable/Fitness Build -Wearable- Applications on the Android Wear and Google Fit Platforms <... |
cena:
290,62 |
![]() |
Validation of Evolving Software
ISBN: 9783319106229 / Angielski / Twarda / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to...
|
cena:
201,72 |
![]() |
Mastering Apache Maven 3: Enhance developer productivity and address exact enterprise build requirements by extending Maven
ISBN: 9781783983865 / Angielski / Miękka / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
208,56 |
![]() |
The Extra-Intracranial Bypass Operation for Prevention and Treatment of Stroke
ISBN: 9783709120606 / Angielski / Miękka / 167 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A decade has passed since systematic studies were initiated in the USA in an attempt at establishing the experimental basis for a surgical technique which was to prove an effective tool in combatting one of the most common diseases, i.e. cerebrovascular accidents. The development of such intricate vasculosurgical techniques as are required for extra- intracranial arterial bypass operations would not have been possible without the aid of the surgical microscope, which had been designed some years earlier. In the past few years increasing emphasis has been placed on establishing clear-cut...
A decade has passed since systematic studies were initiated in the USA in an attempt at establishing the experimental basis for a surgical technique w...
|
cena:
201,72 |
![]() |
Frontend Architecture for Design Systems
ISBN: 9781491926789 / Angielski / Miękka / 198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Imagine what a large-scale web project would look like if frontend development were not treated as an add-on, but as an equal partner with backend development and content strategy. This practical book takes experienced web developers through the new discipline of frontend architecture, including the latest tools, standards, and best practices that have elevated frontend web development to an entirely new level. Using real-world examples, case studies, and practical tips and tricks throughout, author Micah Godbolt introduces you to the four pillars of frontend architecture. He also... Imagine what a large-scale web project would look like if frontend development were not treated as an add-on, but as an equal partner with backend ... |
cena:
121,01 |
![]() |
Learning Apex Programming
ISBN: 9781782173977 / Angielski / Miękka / 302 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
208,56 |
![]() |
On Fuzziness: A Homage to Lotfi A. Zadeh - Volume 2
ISBN: 9783642437915 / Angielski / Miękka / 428 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The notion of Fuzziness stands as one of the really new concepts that have recently enriched the world of Science. Science grows not only through technical and formal advances on one side and useful applications on the other side, but also as consequence of the introduction and assimilation of new concepts in its corpus. These, in turn, produce new developments and applications. And this is what Fuzziness, one of the few new concepts arisen in the XX Century, has been doing so far. This book aims at paying homage to Professor Lotfi A. Zadeh, the father of fuzzy logic and also at giving credit...
The notion of Fuzziness stands as one of the really new concepts that have recently enriched the world of Science. Science grows not only through tech...
|
cena:
605,23 |
![]() |
Aspect-Oriented Security Hardening of UML Design Models
ISBN: 9783319161051 / Angielski / Twarda / 237 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book comprehensively presents a novel approach to the systematic security hardening of software design models expressed in the standard UML language. It combines model-driven engineering and the aspect-oriented paradigm to integrate security practices into the early phases of the software development process. To this end, a UML profile has been developed for the specification of security hardening aspects on UML diagrams. In addition, a weaving framework, with the underlying theoretical foundations, has been designed for the systematic injection of security aspects into UML models. The...
This book comprehensively presents a novel approach to the systematic security hardening of software design models expressed in the standard UML langu...
|
cena:
201,72 |
![]() |
AVR - Mikrocontroller
ISBN: 9783110407686 / Niemiecki / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book is intended for individuals who are just beginning to work with AVR microcontrollers but have previous experience programming in C and an assembly language. It elucidates the functional units of the controller and illustrates them with examples. It makes use of the programming languages C and Assembler. The book is intended for individuals who are just beginning to work with AVR microcontrollers but have previous experience programming in C and an ... |
cena:
170,16 |
![]() |
Ruby Pocket Reference: Instant Help for Ruby Programmers
ISBN: 9781491926017 / Angielski / Miękka / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Updated for Ruby 2.2, this handy reference offers brief yet clear explanations of Ruby's core elements--from operators to blocks to documentation creation--and highlights the key features you may work with every day. Need to know the correct syntax for a conditional? Forgot the name of that String method? This book is organized to help you find the facts fast. Ruby Pocket Reference, 2nd Edition is ideal for experienced programmers who are new to Ruby. Whether you've come to Ruby because of Rails, or you want to take advantage of this clean, powerful, and expressive... Updated for Ruby 2.2, this handy reference offers brief yet clear explanations of Ruby's core elements--from operators to blocks to documentation c... |
cena:
56,97 |
![]() |
Freedom and Enforcement in Action: A Study in Formal Action Theory
ISBN: 9789401798549 / Angielski / Twarda / 261 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Action theory is the object of growing attention in a variety of scientific disciplines and this is the first volume to offer a synthetic view of the range of approaches possible in the topic. The volume focuses on the nexus of formal action theory with a startlingly diverse set of subjects, which range from logic, linguistics, artificial intelligence and automata theory to jurisprudence, deontology and economics. It covers semantic, mathematical and logical aspects of action, showing how the problem of action breaks the boundaries of traditional branches of logic located in syntactics and... Action theory is the object of growing attention in a variety of scientific disciplines and this is the first volume to offer a synthetic view of t... |
cena:
201,72 |
![]() |
Designing Embedded Systems with the Signal Programming Language: Synchronous, Reactive Specification
ISBN: 9781489985125 / Angielski / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. I am very pleased to play even a small part in the publication of this book on the SIGNAL language and its environment POLYCHRONY. I am sure it will be a s- ni?cant milestone in the development of the SIGNAL language, of synchronous computing in general, and of the data?ow approach to computation. In data?ow, the computation takes place in a producer-consumer network of - dependent processing stations. Data travels in streams and is transformed as these streams pass through the processing stations (often called ?lters). Data?ow is an attractive model for many reasons, not least because it...
I am very pleased to play even a small part in the publication of this book on the SIGNAL language and its environment POLYCHRONY. I am sure it will b...
|
cena:
443,82 |
![]() |
One Hundred Prisoners and a Light Bulb
ISBN: 9783319166933 / Angielski / Miękka / 188 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no fixed order of interrogation, or interval between interrogations, and the same prisoner may be interrogated again at any stage. When interrogated, a prisoner can either do nothing, or toggle the... A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interro... |
cena:
75,98 |
![]() |
Advances in Computers: Volume 98
ISBN: 9780128021323 / Angielski / Twarda / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of significant, lasting value in this rapidly expanding field.
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, de...
|
cena:
610,83 |
![]() |
Methodenhandbuch Für Softwareschulungen
ISBN: 9783642454240 / Niemiecki / Twarda / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die komplett uberarbeitete und auf den neuesten Stand gebrachte Auflage bietet eine ansprechende und attraktive Methodensammlung fur IT- und Softwareschulungen. Alle beschriebenen Methoden wurden in der Praxis erprobt. Aufgebaut ist das Buch in zwei Bereiche: Der 1. Bereich beschreibt die besonderen Lernbedingungen in IT- und Softwareschulungen (Lernprozesse und -typen, IT-Lerninhalte) sowie die Ausbildung im IT-Bereich und erlautert Erfahrungen mit einem mehrmals durchgefuhrten Traineeprogramm. Weitere Schwerpunkte sind der Seminaraufbau, die Rolle des Trainers als Moderator,... Die komplett uberarbeitete und auf den neuesten Stand gebrachte Auflage bietet eine ansprechende und attraktive Methodensammlung fur IT- und Softwa... |
cena:
226,25 |
![]() |
Qt 5 Blueprints: Design, build, and deploy cross-platform GUI projects using the amazingly powerful Qt 5 framework
ISBN: 9781784394615 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
234,10 |
![]() |
Model-Integrating Software Components: Engineering Flexible Software Systems
ISBN: 9783658096458 / Angielski / Miękka / 333 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In his study, Mahdi Derakhshanmanesh builds on the state of the art in modeling by proposing to integrate models into running software on the component-level without translating them to code. Such so-called model-integrating software exploits all advantages of models: models implicitly support a good separation of concerns, they are self-documenting and thus improve understandability and maintainability and in contrast to model-driven approaches there is no synchronization problem anymore between the models and the code generated from them. Using model-integrating components, software will be...
In his study, Mahdi Derakhshanmanesh builds on the state of the art in modeling by proposing to integrate models into running software on the componen...
|
cena:
201,72 |
![]() |
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
ISBN: 9783319192482 / Angielski / Miękka / 610 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The...
|
cena:
201,72 |