» książki » Computers - Programming - Compilers
 |
Foundations of Software Science and Computation Structures: 16th International Conference, Fossacs 2013, Held as Part of the European Joint Conference
ISBN: 9783642370748 / Angielski / Miękka / 451 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013 The 28 papers presented in this volume were carefully reviewed and selected from 109 submissions. They are organized in topical sections named: models of computation; reasoning about processes; bisimulation; modal and higher-order logics; reasoning about programs; computational complexity;...
This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 20...
|
cena:
192,30 zł |
 |
Languages and Compilers for Parallel Computing: 25th International Workshops, Lcpc 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers
ISBN: 9783642376573 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2012, held in Tokyo, Japan, in September 2012. The 16 revised full papers, 5 poster papers presented with 1 invited talk were carefully reviewed and selected from 39 submissions. The focus of the papers is on following topics: compiling for parallelism, automatic parallelization, optimization of parallel programs, formal analysis and verification of parallel programs, parallel runtime systems, task-parallel libraries, parallel...
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Languages and Compilers for Parallel C...
|
cena:
176,95 zł |
 |
The Field Programming Environment: A Friendly Integrated Environment for Learning and Development
ISBN: 9781461359302 / Angielski / Miękka / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. FIELD has been a remarkably successful research project. The ideas first exhibited in the environment now form the basis for most of the current generation of programming environments, including Hewlett-Packard's Softbench, DEC's FUSE, Sun's Tooltalk, Lucid's Energize, and SGI's Codevision. FIELD pioneered the notion of broadcast messaging as a basis for tool integration. Moreover, many of the other tool concepts introduced in FIELD have made their way into these environments. Thus in discussing the FIELD environment, this book actually explains the inner workings of today's programming...
FIELD has been a remarkably successful research project. The ideas first exhibited in the environment now form the basis for most of the current gener...
|
cena:
576,96 zł |
 |
FORTRAN: Einführung Für Techniker
ISBN: 9783528140366 / Niemiecki / Miękka / 129 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Programmiersprache FORTRAN ist eine mathematisch-naturwissenschaftlich orientierte Programmiersprache. Sie ist vor allem auf die Bedurfnisse von Wissenschaftlern, Ingenieuren und Technikern zugeschnitten. Es ist nicht erforderlich, uber elementare Grundkenntnisse in dieser Programmiersprache hinauszugehen, wenn nur gelegentlich Probleme selbststandig zu programmieren sind und es nicht darauf ankommt, wie elegant das Problem programmtechnisch gelost wird, sondern nur, dass es gelost wird. Dieses Buch isoliert deshalb bewusst den Teil der Programmiersprache FORTRAN, der unbedingt zur...
Die Programmiersprache FORTRAN ist eine mathematisch-naturwissenschaftlich orientierte Programmiersprache. Sie ist vor allem auf die Bedurfnisse von W...
|
cena:
197,68 zł |
 |
Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, Mompes 2012, Essen, Germany, September 4, 2012, Revised Pap
ISBN: 9783642382086 / Angielski / Miękka / 139 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012. The 7 revised full papers presented together with 1 short papers were carefully reviewed and selected from 16 submissions. The papers cover a large spectrum of topics including model-driven engineering, model analysis, runtime verification, modeling of reactive systems, variability modeling, and domain-specific languages.
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive...
|
cena:
176,95 zł |
 |
Integrated Formal Methods: 10th International Conference, Ifm 2013, Turku, Finland, June 10-14, 2013, Proceedings
ISBN: 9783642386121 / Angielski / Miękka / 443 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in...
|
cena:
192,30 zł |
 |
Modelling Foundations and Applications: 9th European Conference, Ecmfa 2013, Montpellier, France, July 1-5, 2013, Proceedings
ISBN: 9783642390128 / Angielski / Miękka / 237 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 9th European Conference on Modelling Foundations and applications, ECMFA 2013, held in Montpellier, France, in July 2013. The 15 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are on all aspects of MDE, including topics such as model querying, consistency checking, model transformation; and model-based systems engineering and domain-specific modeling.
This book constitutes the proceedings of the 9th European Conference on Modelling Foundations and applications, ECMFA 2013, held in Montpellier, Franc...
|
cena:
176,95 zł |
 |
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
ISBN: 9783642391750 / Angielski / Miękka / 377 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing...
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA...
|
cena:
192,30 zł |
 |
Being Agile: Your Roadmap to Successful Adoption of Agile
ISBN: 9781430258391 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Being Agileis your roadmap to successfully transforming your organization to an Agile culture. Veteran agile coach Mario Moreira teaches new adopters how to implement a robust Agile framework to derive from it the maximum business benefit in terms of customer value, revenue, and employee engagement. Agile is a ubiquitous watchword in the corporate world, but only a minority of companies understand and practice what they pay lip service to. Too many content themselves with half-baked approximations such as Fragile (fragile Agile), ScrumBut (Scrum but not the... Being Agileis your roadmap to successfully transforming your organization to an Agile culture. Veteran agile coach Mario Moreira teaches n... |
cena:
192,30 zł |
 |
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
ISBN: 9783642396106 / Angielski / Miękka / 281 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in N...
|
cena:
176,95 zł |
 |
Pascal User Manual and Report: ISO Pascal Standard
ISBN: 9780387976495 / Angielski / Miękka / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. puter system. In 1971 one computer system had a Pascal compiler. By 1974 the number had grown to 10 and in 1979 there were more than 80. Pascal is always available on those ubiquitous breeds of computer systems: personal computers andl professional workstations. Questions arising out of the Southampton Symposium on Pascal in 1977 Reference 10] began the first organized effort to write an officially sanctioned, international Pascal Standard. Participants sought to consolidate the list of questions that naturally arose when people tried to implement Pascal compilers using definitions found in...
puter system. In 1971 one computer system had a Pascal compiler. By 1974 the number had grown to 10 and in 1979 there were more than 80. Pascal is alw...
|
cena:
653,90 zł |
 |
Beginning Arduino Programming
ISBN: 9781430237778 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Beginning Arduino Programming allows you to quickly and intuitively develop your programming skills through sketching in code. This clear introduction provides you with an understanding of the basic framework for developing Arduino code, including the structure, syntax, functions, and libraries needed to create future projects. You will also learn how to program your Arduino interface board to sense the physical world, to control light, movement, and sound, and to create objects with interesting behavior.
With Beginning Arduino Programming, you'll get the knowledge you... Beginning Arduino Programming allows you to quickly and intuitively develop your programming skills through sketching in code. This clear int...
|
cena:
230,76 zł |
 |
Semantics with Applications: An Appetizer
ISBN: 9781846286919 / Angielski / Miękka / 274 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science. This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas... Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need... |
cena:
134,44 zł |
 |
Die Programmiersprache Pascal: Eine Beschreibung Und Anleitung Zur Benutzung
ISBN: 9783528033378 / Niemiecki / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. Man scheut sich durchaus, etwas schoen zu be ginnen. Nicht nur, weil man nichts berufen will, sondern ideale Formen kraenkeln. Der erste Streit holt alles wieder auf, was vor her keinen Platz hatte in der edlen stillen Luft. Die Dinge duerfen nicht wie gemalt sein, sonst halten sie im Leben nicht. E. Bloch: Spuren In diesem Kapitel wird zunaechst die gewaehlte Darstellung der Sprache PASCAL begruendet. Fuer Leser ohne Datenverarbeitungs kenntnisse schliesst slch eine kurze Einfuehrung in Aufbau und Funktionsweise einer Datenverarbeitungsanlage sowie die Bespre chung eines einfachen...
Man scheut sich durchaus, etwas schoen zu be ginnen. Nicht nur, weil man nichts berufen will, sondern ideale Formen kraenkeln. Der erste Streit holt a...
|
cena:
197,68 zł |
 |
Model-Driven Engineering Languages and Systems: 16th International Conference, Models 2013, Miami, Fl, Usa, September 29 - October 4, 2013. Proceeding
ISBN: 9783642415326 / Angielski / Miękka / 792 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180 submissions. They are organized in topical sections named: tool support; dependability; comprehensibility; testing; evolution; verification; product lines; semantics; domain-specific modeling languages; models@RT; design and architecture; model transformation; model analysis; and system synthesis.
This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, he...
|
cena:
192,30 zł |
 |
Automated Reasoning: 8th International Joint Conference, Ijcar 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
ISBN: 9783319402284 / Angielski / Miękka / 580 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were...This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portu... |
cena:
307,69 zł |
 |
Building Arduino Projects for the Internet of Things: Experiments with Real-World Applications
ISBN: 9781484219393 / Angielski / Miękka / 285 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Gain a strong foundation of Arduino-based device development, from which you can go in any direction according to your specific development needs and desires. You'll build Arduino-powered devices for everyday use, and then connect those devices to the Internet. You'll be introduced to the building blocks of IoT, and then deploy those principles to by building a variety of useful projects. Projects in the books gradually introduce the reader to key topics such as internet connectivity with Arduino, common IoT protocols, custom web visualization, and Android apps that receive sensor... Gain a strong foundation of Arduino-based device development, from which you can go in any direction according to your specific development needs a... |
cena:
249,99 zł |
 |
Formal Specification Techniques for Engineering Modular C Programs
ISBN: 9781461368502 / Angielski / Miękka / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.
Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying... Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program ...
|
cena:
576,96 zł |
 |
Software Architecture: System Design, Development and Maintenance: 17th World Computer Congress - Tc2 Stream / 3rd Ieee/Ifip Conference on Software Ar
ISBN: 9781475765380 / Angielski / Miękka / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For more and more systems, software has moved from a peripheral to a central role, replacing mechanical parts and hardware and giving the product a competitive edge. Consequences of this trend are an increase in: the size of software systems, the variability in software artifacts, and the importance of software in achieving the system-level properties. Software architecture provides the necessary abstractions for managing the resulting complexity. We here introduce the Third Working IEEFlIFIP Conference on Software Architecture, WICSA3. That it is already the third such conference is in...
For more and more systems, software has moved from a peripheral to a central role, replacing mechanical parts and hardware and giving the product a co...
|
cena:
576,96 zł |
 |
FORTRAN Programmierte Einführung
ISBN: 9783322979087 / Niemiecki / Miękka / 127 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
197,68 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
