» książki » Computers - Languages - General
topmenu
 |
Programming Environments for Massively Parallel Distributed Systems: Working Conference of the Ifip Wg 10.3, April 25-29, 1994
ISBN: 9783764350901 / Angielski / Twarda / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Massively parallel systems, with their scalable computation and storage space promises, are becoming increasingly important for high-performance computing. Growing acceptance of MPSs in academia is clearly visible now. However, in industrial companies, their usage is still low. The programming of MPSs is still the big obstacle, and solving this software problem is sometimes referred to as one of the most challenging tasks of the 1990s. These papers from the 1994 conference on programming environments for massively parallel systems address the spectrum of software problems, including virtual...
Massively parallel systems, with their scalable computation and storage space promises, are becoming increasingly important for high-performance compu...
|
cena:
489,86 |
 |
Logic of Computation
ISBN: 9783540629634 / Angielski / Twarda / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The latest work by the world's leading authorities on the use of formal methods in computer science is presented in this volume, based on the 1995 International Summer School in Marktoberdorf, Germany. Logic is of special importance in computer science, since it provides the basis for giving correct semantics of programs, for specification and verification of software, and for program synthesis. The lectures presented here provide the basic knowledge a researcher in this area should have and give excellent starting points for exploring the literature. Topics covered include semantics and...
The latest work by the world's leading authorities on the use of formal methods in computer science is presented in this volume, based on the 1995 Int...
|
cena:
489,86 |
 |
Object-Oriented Technology: Ecoop '97 Workshop Reader: Ecoop'97 Workshops Jyväskylä, Finland, June 9-13, 1997 Proceedings
ISBN: 9783540640394 / Angielski / Miękka / 555 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Jan Bosch Stuart Mitchell University of Karlskrona/Ronneby University of York Dept of Computer Science Dept of Computer Science SoftCenter, S-372 25, Ronneby, Sweden York, United Kingdom Jan.Bosch@ide.hk-r.se Stuart@minster.cs.york.ac.uk 1 Introduction Although becoming more accepted in software industry, object-oriented technology still is an active ?eld of research with many issues remaining to be addressed. This workshop reader, in a way, presents the width of the ongoing research activities in object-orientation. However, we feel one can classify these activities into three cate- ries:...
Jan Bosch Stuart Mitchell University of Karlskrona/Ronneby University of York Dept of Computer Science Dept of Computer Science SoftCenter, S-372 25, ...
|
cena:
272,09 |
 |
Software Technologies: 9th International Joint Conference, Icsoft 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers
ISBN: 9783319255781 / Angielski / Miękka / 385 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 9th International Joint Conference on Software Technologies, ICSOFT 2014, held in Vienna, Austria, in August 2014.
The 15 revised full papers and 6 short papers presented were carefully reviewed and selected from 145 submissions. The papers focus on enterprise software technologies; software engineering and systems security; distributed systems; and software project management. This book constitutes the thoroughly refereed proceedings of the 9th International Joint Conference on Software Technologies, ICSOFT 2014, held in ... |
cena:
203,61 |
 |
Building Secure Defenses Against Code-Reuse Attacks
ISBN: 9783319255446 / Angielski / Miękka / 74 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides an in-depth look at return-oriented programming attacks. It explores several conventional return-oriented programming attacks and analyzes the effectiveness of defense techniques including address space layout randomization (ASLR) and the control-flow restrictions implemented in security watchdogs such as Microsoft EMET. Chapters also explain the principle of control-flow integrity (CFI), highlight the benefits of CFI and discuss its current weaknesses. Several improved and sophisticated return-oriented programming attack techniques such as just-in-time... This book provides an in-depth look at return-oriented programming attacks. It explores several conventional return-oriented programming attacks an... |
cena:
203,61 |
 |
Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen
ISBN: 9783540511724 / Niemiecki / Miękka / 151 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch rekursive Regeln spezifiziert und durch Untertermersetzung ohne explizite Kontrolle ausgewertet. Die logische Programmierung geht auf den Anfang der 70er Jahre zuruck und wurde besonders popular in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzugen Mitte der 70er Jahre, als die ersten Arbeiten uber die Spezifikation abstrakter Datentypen veroffentlicht wurden. Obwohl die algebraische und...
Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch ...
|
cena:
209,31 |
 |
Parallele Implementierung funktionaler Programmiersprachen
ISBN: 9783540520498 / Niemiecki / Miękka / 385 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Funktionale Programmiersprachen sind seiteneffektfrei und bilden daher eine vielversprechende Basis fur die Programmierung von Parallelrechnern. Sie enthalten in der Regel keine expliziten Sprachkonstrukte zur Spezifizierung von Parallelitat. Ein parallelisierender Compiler kann die in einem funktionalen Programm implizit enthaltene Parallelitat entdecken und das Progamm in parallel ausfuhrbare Prozesse zerlegen. Der Programmierer braucht sich also nicht, wie etwa in einer um Parallelkonstrukte erweiterten imperativen Programmiersprache, um die Verwaltung der parallelen Prozesse sowie...
Funktionale Programmiersprachen sind seiteneffektfrei und bilden daher eine vielversprechende Basis fur die Programmierung von Parallelrechnern. Sie e...
|
cena:
209,31 |
 |
Migrationssteuerung und Konfigurationsverwaltung für verteilte objektorientierte Anwendungen
ISBN: 9783540525424 / Niemiecki / Miękka / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mit der zunehmenden Leistungsfahigkeit verteilter Rechnersysteme und dem wachsenden Bedarf fur verteilte Anwendungen steigen auch die Anforderungen an die Entwicklungsunterstutzung fur solche Anwendungen. In den letzten Jahren gewannen daher verteilte objektorientierte Techniken nach dem Vorbild das Systems Smalltalk zunehmende Bedeutung. Dieses Buch fuhrt zunachst in den verteilten objektorientierten Ansatz ein und vergleicht diesen mit anderen Mechanismen zur Erstellung verteilter Anwendungen. In ihrem Kernteil befasst sich die Arbeit dann mit der Erweiterung dieses Ansatzes um neue...
Mit der zunehmenden Leistungsfahigkeit verteilter Rechnersysteme und dem wachsenden Bedarf fur verteilte Anwendungen steigen auch die Anforderungen an...
|
cena:
209,31 |
 |
Supercomputer '90: Anwendungen, Architekturen, Trends Mannheim, 21.-23. Juni 1990
ISBN: 9783540527923 / Niemiecki / Miękka / 209 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieser Band enthalt alle Hauptvortrage des funften Mannheimer Seminars uber Supercomputer. Das als fuhrende Veranstaltung zu dieser Thematik im deutschsprachigen Raum anerkannte Seminar versammelte wiederum Supercomputer-Anwender, -Betreiber und -Hersteller zu einem fruchtbaren Dialog und Erfahrungsaustausch. Es wurden insbesondere die neuesten Entwicklungen dieses stark innovativen Gebiets unter anwendungsbezogenen, praktischen Aspekten aufgearbeitet. Die Schwerpunkte des diesjahrigen Seminars waren: - Anwendungen in Industrie und Wissenschaft - Parallelrechner-Architekturen - Supercomputer...
Dieser Band enthalt alle Hauptvortrage des funften Mannheimer Seminars uber Supercomputer. Das als fuhrende Veranstaltung zu dieser Thematik im deutsc...
|
cena:
209,31 |
 |
Automatische Komplexitätsanalyse Funktionaler Programme
ISBN: 9783540534303 / Angielski / Mikrofilm / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Es gibt im Bereich der Softwaretechnik viele Werkzeuge, die den Programmentwicklungsprozess unterstutzen. Sie stellen die Korrektheit der Implementierung sicher, nicht aber ihre Effizienz. Die vorliegende Arbeit fuhrt daher eine Methode ein, die es erlaubt, die Zeitkomplexitat funktionaler Programme automatisch zu ermitteln. Die Grundidee dieser Methode besteht darin, ein funktionales Programm in ein System von Rekurrenzgleichungen zu ubersetzen, dessen Losung das Zeitverhalten des Programms angibt. Durch Einfuhrung von bedingten Rekurrenzen und Rekurrenzfamilien ist es moglich, obere und...
Es gibt im Bereich der Softwaretechnik viele Werkzeuge, die den Programmentwicklungsprozess unterstutzen. Sie stellen die Korrektheit der Implementier...
|
cena:
209,31 |
 |
Pearl 90 -- Workshop Über Realzeitsysteme: 11. Fachtagung Des Pearl-Vereins E.V. Unter Mitwirkung Von GI Und Gma, Boppard, 29./30. November 1990, Proc
ISBN: 9783540534648 / Niemiecki / Miękka / 187 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Seit vielen Jahren sind Rechner bei der Automatisierung technischer Prozesse unverzichtlich. Dabei reicht die Palette der eingesetzten Systeme von Kleinstsystemen auf einer Kreditkarte bis zu sehr teuren Multiprozessorarchitekturen. Fast immer mussen die Rechnersysteme fahig sein, auf spontane aussere Ereignisse schnell zu reagieren oder - eventuell gleichzeitig - komplizierte zeitliche Steuerungsvorhaben einzuhalten. Dieses "Echtzeitverhalten" ist zentrales Thema dieses Tagungsbandes. Dabei werden sowohl theoretische Aspekte, Methoden des Software-Engineering, technische Realisierungen als...
Seit vielen Jahren sind Rechner bei der Automatisierung technischer Prozesse unverzichtlich. Dabei reicht die Palette der eingesetzten Systeme von Kle...
|
cena:
209,31 |
 |
Parsing Theory: Volume I Languages and Parsing
ISBN: 9783540137207 / Angielski / Twarda / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The theory of parsing is an important application area of the theory of formal languages and automata. The evolution of modem high-level programming languages created a need for a general and theoretically dean methodology for writing compilers for these languages. It was perceived that the compilation process had to be "syntax-directed," that is, the functioning of a programming language compiler had to be defined completely by the underlying formal syntax of the language. A program text to be compiled is "parsed" according to the syntax of the language, and the object code for the program...
The theory of parsing is an important application area of the theory of formal languages and automata. The evolution of modem high-level programming l...
|
cena:
203,61 |
 |
First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, Usa, 13-15 July 1992
ISBN: 9783540198048 / Angielski / Miękka / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The LARCH family of formal specification languages and tools was originally developed in the USA. Its user community has now spread to Europe and several industrial trial firms are interested in using it in their system development programs. It differs from the other higher profile file languages such as Z and VDM in three respects: firstly, it was designed to specify programs rather than mathematical models and therefore addresses the complexities of real programs; secondly, it has been specifically developed as a practical tool for use in several major application domains; finally, it has a...
The LARCH family of formal specification languages and tools was originally developed in the USA. Its user community has now spread to Europe and seve...
|
cena:
203,61 |
 |
Database Programming Languages (Dbpl-4): Proceedings of the Fourth International Workshop on Database Programming Languages -- Object Models and Langu
ISBN: 9783540198536 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Fourth International Workshop on Database Programming Languages - Object Models and Languages (DBPL-4) took place in Manhattan, New York City, 30 August-1 September 1993. The areas of interest and the format of DBPL-4 focused on the integration of programming languages, object models, type systems and database systems. As in the previous DBPL workshops, the setting was informal, allowing the participants to actively discuss and argue about the ideas presented in the talks. The comments and remarks made by the participants during and after the presentations were taken into account in the...
The Fourth International Workshop on Database Programming Languages - Object Models and Languages (DBPL-4) took place in Manhattan, New York City, 30 ...
|
cena:
203,61 |
 |
Notations for Software Design
ISBN: 9783540199021 / Angielski / Miękka / 425 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Notations for Software Design aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process.
It examines COLD-1, which is currently being implemented by Philips in many of its business centres. The fact that it is a wide-spectrum language which supports many styles of specification makes it an excellent basis for the volume. It also examines some widely-used informal techniques, such as Venn diagrams and Petri nets, thus creating a strong link between current and future practice. Rather... Notations for Software Design aims to explain formal specification and design to practitioners in software development, and to set out the ingr...
|
cena:
203,61 |
 |
Persistent Object Systems: Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5-9 Septembe
ISBN: 9783540199120 / Angielski / Miękka / 546 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Sixth International Workshop on Persistent Object Systems was held at Les Mazets des Roches near Tarascon, Provence in southern France from the fifth to the ninth of September 1994. The attractive context and autumn warmth greeted the 53 participants from 12 countries spread over five continents. Persistent object systems continue to grow in importance. Almost all significant uses of computers to support human endeavours depend on long-lived and large-scale systems. As expectations and ambitions rise so the sophistication of the systems we attempt to build also rises. The quality and...
The Sixth International Workshop on Persistent Object Systems was held at Les Mazets des Roches near Tarascon, Provence in southern France from the fi...
|
cena:
203,61 |
 |
Modula-2 for Pascal Programmers
ISBN: 9780387960517 / Angielski / Miękka / 145 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes the programming language Modula-2. It is written for people who know the Pascal language and who wish to learn Modula-2 in terms of their knowledge of Pascal. The text is divided into three parts. Part 1 introduces concepts unique to Modula-2 and thus new to Pascal programmers. Part 2 describes differences from Pascal. Part 3 defines modules which provide basic programming facilities. The appendices include a glossary and syntax diagrams. Please note that this book does not offer a complete description of the Modula-2 language; it is intended to complement Niklaus Wirth's...
This book describes the programming language Modula-2. It is written for people who know the Pascal language and who wish to learn Modula-2 in terms o...
|
cena:
407,25 |
 |
Autonomics Development: A Domain-Specific Aspect Language Approach
ISBN: 9783034605397 / Angielski / Miękka / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces the concept of a domain-specific aspect language called a Distribution Definition Language that generalizes the distribution and distribution recovery concerns. This approach simplifies distributed systems and autonomics development. This book introduces the concept of a domain-specific aspect language called a Distribution Definition Language that generalizes the distribution a... |
cena:
203,61 |
 |
Report on the Programming Language Plz/Sys
ISBN: 9780387903743 / Angielski / Miękka / 90 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
203,61 |
 |
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
ISBN: 9783642204005 / Angielski / Miękka / 737 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Service-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy systems to building new, massively distributed, interoperable, evaluable systems and applications. The widespread use of SOC demonstrates the practical benefits of this approach. Furthermore it raises the standard for reliability, security, and performance for IT providers, system integrators, and software developers. This book documents the main results of Sensoria, an Integrated Project funded by the European Commission in the period 2005-2010....
Service-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy sy...
|
cena:
407,25 |
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
