» książki » Computers - Programming - Compilers
 |
Ict in Education, Research, and Industrial Applications: 8th International Conference, Icteri 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selecte
ISBN: 9783642357367 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012. The 14 revised full papers were carefully reviewed and selected from 70 submissions. This book begins with an invited contribution presenting the substance of one of ICTERI 2012 invited talks. The chapter deals with the issues of abstraction and verification of properties in real-time Java programs. The rest of the volume is structured in four topical parts: ICT Frameworks, Infrastructures, Integration, and...
This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in...
|
cena:
201,24 |
 |
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
ISBN: 9783642358869 / Angielski / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in... Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, ... |
cena:
201,24 |
 |
Das Siebte Buch: Objektorientierung Mit C++
ISBN: 9783519026495 / Niemiecki / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Eine sanfte und zum Selbststudium gedachte Einfuhrung in die objektorientierte Programmierung und den Umgang mit C++. Der Aufbau der einzelnen Abschnitte folgt dem Schema, dass Syntax und Semantik der entsprechenden Sprachkonstrukte jeweils aus einem Beispiel entwickelt werden. An Hand zahlreicher Beispiele und Ubungsaufgaben konnen die vorgestellten Themen nachvollzogen und geubt werden.
Eine sanfte und zum Selbststudium gedachte Einfuhrung in die objektorientierte Programmierung und den Umgang mit C++. Der Aufbau der einzelnen Abschni...
|
cena:
150,32 |
 |
Objektorientierte Anwendungsentwicklung Mit Der Postrelationalen Datenbank Caché
ISBN: 9783642627873 / Niemiecki / Miękka / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Neuentwickelte Software ist heute oft schon zum Zeitpunkt Ihrer Einfuhrung veraltet. Einen Ausweg aus dieser Krise bietet der objektorientierte Ansatz: Anwendungen werden als Software-Objekte modelliert, die sowohl die Eigenschaften als auch das Verhalten von Objekten aus der realen Welt beschreiben. Solche Objekte sind gekapselt und verbergen die innere Komplexitat hinter einer offentlich bekannt gegebenen Schnittstelle. Dadurch konnen Objekte in den verschiedensten Programmpaketen verwendet werden, ohne dass die interne Realisierung bekannt sein muss. Die Verbindung objektorientiert... Neuentwickelte Software ist heute oft schon zum Zeitpunkt Ihrer Einfuhrung veraltet. Einen Ausweg aus dieser Krise bietet der objektorientierte Ans... |
cena:
353,46 |
 |
Fundamental Approaches to Software Engineering: 16th International Conference, Fase 2013, Held as Part of the European Joint Conferences on Theory and
ISBN: 9783642370564 / Angielski / Miękka / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 25 papers presented in this volume were carefully reviewed and selected from 112 submissions. They are organized in topical sections named: model-driven engineering; verification and validation; software comprehension; analysis tools; model-driven engineering: applications; model transformations; and testing.
This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part ...
|
cena:
201,24 |
 |
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:
201,24 |
 |
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:
185,18 |
 |
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:
603,81 |
 |
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:
206,88 |
 |
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:
185,18 |
 |
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:
201,24 |
 |
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:
185,18 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
185,18 |
 |
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:
684,33 |
 |
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:
241,50 |
 |
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:
140,70 |
 |
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:
206,88 |
 |
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:
201,24 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
