» książki » Computers - Programming - General
topmenu
 |
Practical Richfaces
ISBN: 9781430234494 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. RichFaces 4 is a component library for JavaServer Faces, and an advanced framework for easily integrating AJAX capabilities into business applications. It lets you quickly develop next-generation web applications based on JSF 2/Ajax.
In this definitive RichFaces 4 book, instead of using JBoss Tools, the author bases all examples on Maven so that any IDE can be used--whether it's NetBeans, Eclipse, JBoss or even Spring. Practical RichFaces also describes how to best take advantage of RichFaces--the integration of the Ajax4jsf and RichFaces libraries--to create flexible and... RichFaces 4 is a component library for JavaServer Faces, and an advanced framework for easily integrating AJAX capabilities into business applications...
|
cena:
201,24 |
 |
Java Programming: What Do You Want To Do?
ISBN: 9781450268943 / Angielski / Miękka / 188 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learning a programming language on you own can be daunting.
Programming books can be confusing and incomplete. Program listings often do not work until you have mucked around using trial and error. I like to use books as reference after I have read them. Invariably, none of the books have the particular information that I want, nor do they have references to other information sources. "Java Programming -- What Do You Want To Do?" changes all that. Inside there are clear instructions on how to do what you want to do -- Basic structures, graphics programming with AWT and NetBeans,... Learning a programming language on you own can be daunting.
Programming books can be confusing and incomplete. Program listings often do not wor... |
cena:
96,15 |
 |
Software Fault Tolerance: Achievement and Assessment Strategies
ISBN: 9783540552123 / Angielski / Miękka / 243 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The first ESPRIT programme contained several ambitious projects. of which REQUEST. with its wide brief covering all issues of assessment of quality and reliability of software process and product. was one. Within REQUEST. the research described in this volume. concerning those special problems of software that is required to have extremely high reliability. was particularly difficult and ambitious. The problems of software reliability are essentially twofold. On the one hand there is a concern with methods for achieving adequate reliability. on the other hand there is a need to evaluate what...
The first ESPRIT programme contained several ambitious projects. of which REQUEST. with its wide brief covering all issues of assessment of quality an...
|
cena:
402,53 |
 |
Revisions- Und Konsistenzkontrolle in Einer Integrierten Softwareentwicklungsumgebung
ISBN: 9783540544326 / Niemiecki / Mikrofilm / 321 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Softwaresysteme werden immer gr- er und komplexer. Sie haben eine lange Lebensdauer und existieren in vielen verschiedenen Versionen. Die Softwarekonfigurationsverwaltung dient dazu, die Entwicklung, insbesondere aber die Wartung solcher Softwaresysteme, bew{ltigen zu k-nnen.Dabei spielen Revisions- und Konsistenzkontrolle eine wichtige Rolle. Das vorliegende Buch besch{ftigt sich mit der Frage, wie sich Revisions- und Konsistenzkontrolle durch integrierte, strukturbezogene Werkzeuge unterst}tzen lassen. Zur Spezifikation der Funktionalit{t entsprechender Werkzeuge wird eine neuartige formale...
Softwaresysteme werden immer gr- er und komplexer. Sie haben eine lange Lebensdauer und existieren in vielen verschiedenen Versionen. Die Softwarekonf...
|
cena:
206,88 |
 |
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:
480,69 |
 |
UK Parallel '96: Proceedings of the BCS Ppsg Annual Conference, 3-5 July 1996
ISBN: 9783540760689 / Angielski / Miękka / 207 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parallel processing is a key topic which is becoming more important as the technology becomes more widespread. UK Parallel '96 - Proceedings of the BCS PPSG Annual Group is the publication of the academic programme from the first in an annual series of national conferences covering the broad area of parallel and distributed computing. It was coordinated by the BCS Parallel Processing Specialist Group and provided a focus for both research and industrial presentations. This first conference was held at the University of Surrey in July 1996, and contains work from a number of...
Parallel processing is a key topic which is becoming more important as the technology becomes more widespread. UK Parallel '96 - Proceedings of...
|
cena:
201,24 |
 |
Qualität und Testbarkeit hochintegrierter Schaltungen: Qualitätssicherung durch regelbasierte Systeme
ISBN: 9783540516088 / Niemiecki / Miękka / 169 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch beschreibt ein hochkomplexes und neuartiges System zur Uberprufung pruftechnischer Entwurfsregeln bei digitalen Schaltungen und Systemen. Im Gegensatz zu traditionellen Ansatzen ist diese Analyse im vorliegenden Fall regelbasiert und erlaubt damit die Verarbeitung unterschiedlicher Regelsatze. Weitere Besonderheiten sind der hierarchische Ansatz und die Anwendbarkeit uber die Gatterebene hinaus auch auf der Registertransfer-Ebene. Das System wird abgerundet durch eine Regelaufbereitungskomponente in Form eines speziellen Expertensystems, die es erlaubt, zu berucksichtigende DFT...
Dieses Buch beschreibt ein hochkomplexes und neuartiges System zur Uberprufung pruftechnischer Entwurfsregeln bei digitalen Schaltungen und Systemen. ...
|
cena:
206,88 |
 |
Wissensbasierte Systeme: 3. Internationaler Gi-Kongreß München, 16.-17. Oktober 1989 Proceedings
ISBN: 9783540518389 / Niemiecki / Mikrofilm / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Durch die Reihe der GI-Kongresse uber wissensbasierte Systeme wird eine grossere Offentlichkeit uber den Stand der Entwicklung sowohl in den Entwurfsmethoden und Konstruktionstechniken als auch in der industriellen Anwendung unterrichtet. Ein wichtiges Ziel ist dabei, auf das grosse Potential an Anwendungsmoglichkeiten hinzuweisen und intensivere Kooperation zwischen verschiedenen Gebieten anzuregen. Behandelt werden diesmal neben den Grundlagen, Entwicklungen und Anwendungen von Expertensystemen auch maschinelles Lernen, naturlichsprachliche Systeme und Konnektionismus. Einen grossen Raum...
Durch die Reihe der GI-Kongresse uber wissensbasierte Systeme wird eine grossere Offentlichkeit uber den Stand der Entwicklung sowohl in den Entwurfsm...
|
cena:
206,88 |
 |
CIM-Rahmenplanung
ISBN: 9783540519102 / Niemiecki / Miękka / 265 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Realisierung der rechnerintegrierten Produktion ist die derzeit grosste Herausforderung an alle, die sich mit der Gestaltung von Produktionsbetrieben beschaftigen. CIM (Computer Integrated Manufacturing) erfordert den integrierten, zweckgerichteten Einsatz aller heute verfugbaren informations- und produktionstechnischen Mittel. Zur Unterstutzung der Entscheidungstrager in den Unternehmen wird ein Planungsansatz entwickelt, der es erlaubt, die Vielzahl der Einzelentscheidungen bei der CIM-Systemplanung zu erfassen und in einen integrativen Gesamtzusammenhang zu stellen. Dazu werden vier...
Die Realisierung der rechnerintegrierten Produktion ist die derzeit grosste Herausforderung an alle, die sich mit der Gestaltung von Produktionsbetrie...
|
cena:
206,88 |
 |
Flagorientierte Assoziativspeicher und -prozessoren
ISBN: 9783540524878 / Niemiecki / Miękka / 193 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Nach einer Diskussion bekannter Assoziativspeicherkonzepte beschreibt dieses Buch ein neues Verfahren zur Realisierung VLSI-gerechter assoziativer Monoprozessorarchitekturen als "flagorientierte Systeme," die sowohl arithmetisch-boolesche als auch komplexe Suchoperationen fur Datensatze vollparallel durchfuhren. Die Basis derartiger Architekturen bildet ein Transformationsverfahren, mit dem die zu verarbeitenden Daten in einen Bildbereich uberfuhrt und durch binare, als Flags bezeichnete Grossen reprasentiert werden. Die Parallelarbeit wird durch simultane Verarbeitung und Manipulation von...
Nach einer Diskussion bekannter Assoziativspeicherkonzepte beschreibt dieses Buch ein neues Verfahren zur Realisierung VLSI-gerechter assoziativer Mon...
|
cena:
206,88 |
 |
Software-Ergonomie in Der Praxis: Richtlinien, Methoden Und Werkzeuge Für Die Gestaltung Interaktiver Systeme
ISBN: 9783540531418 / Angielski / Miękka / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die ergonomische Gestaltung von Software-Systemen ist heute zu einer wesentlichen Voraussetzung fur deren Erfolg geworden. Dadurch ist in der Praxis der Systementwicklung ein wachsender Bedarf an Richtlinien, Methoden und Werkzeugen fur die Gestaltung interaktiver Systeme entstanden. Folgende Tendenzen und Probleme zeichnen sich ab: - Entwicklungswerkzeuge fur interaktive Syteme werden immer wichtiger. - Die bisherigen Software-Engineering-Methoden mussen im Hinblick auf die ergonomische Gestaltung der Systeme erweitert werden. - Bei der Umsetzung von Standards treten besondere Probleme auf....
Die ergonomische Gestaltung von Software-Systemen ist heute zu einer wesentlichen Voraussetzung fur deren Erfolg geworden. Dadurch ist in der Praxis d...
|
cena:
206,88 |
 |
Formal Methods for Trustworthy Computer Systems (Fm89): Report from Fm89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Syst
ISBN: 9783540196358 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com puter Systems (FM89} was an invitational workshop that brought together repre sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States. The workshop was held in Halifax, Nova Scotia, Canada, from July 23 through July 27, 1989. This document reports the activities, observations, recommendations and conclusions resulting. from FM89. 1. 1 Purpose of Workshop The primary purpose for holding FM89 was to assess the role of formal methods in the development and...
The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com puter Systems (FM89} was an invitational workshop that brought together repr...
|
cena:
201,24 |
 |
4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, Organised by Bcs-Facs, 9-11 January 1991, Cambridge
ISBN: 9783540196570 / Angielski / Miękka / 480 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains the papers from a Refinement Workshop, organized by the British Computer Society in Cambridge, 1991. "Refinement" describes the systematic and formal methodology of specifying hardware and software and transforming the specifications into designs and implementations.
Contains the papers from a Refinement Workshop, organized by the British Computer Society in Cambridge, 1991. "Refinement" describes the systematic an...
|
cena:
201,24 |
 |
Past, Present, Parallel: A Survey of Available Parallel Computer Systems
ISBN: 9783540196648 / Angielski / Miękka / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Past, Present, Parallel is a survey of the current state of the parallel processing industry. In the early 1980s, parallel computers were generally regarded as academic curiosities whose natural environment was the research laboratory. Today, parallelism is being used by every major computer manufacturer, although in very different ways, to produce increasingly powerful and cost-effec- tive machines. The first chapter introduces the basic concepts of parallel computing; the subsequent chapters cover different forms of parallelism, including descriptions of vector supercomputers, SIMD...
Past, Present, Parallel is a survey of the current state of the parallel processing industry. In the early 1980s, parallel computers were gener...
|
cena:
201,24 |
 |
Alpuk91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991
ISBN: 9783540197348 / Angielski / Miękka / 219 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues of Logic Programming which were often by-passed at the large international conferences. This...
Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point wher...
|
cena:
201,24 |
 |
Logic Program Synthesis and Transformation: Proceedings of Lopstr 91, International Workshop on Logic Program Synthesis and Transformation, University
ISBN: 9783540197423 / Angielski / Miękka / 337 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are extremely important as they allow the systematic construction of correct and efficient programs and have the potential to enhance current methods of software production. Transformation strategies are also being widely used in the field of logic program development. LOPSTR 91 was the first workshop to deal exclusively with both logic program...
Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing altern...
|
cena:
201,24 |
 |
Logic Program Synthesis and Transformation: Proceedings of Lopstr 92, International Workshop on Logic Program Synthesis and Transformation, University
ISBN: 9783540198062 / Angielski / Miękka / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to be the increased automation of software production: programmer productivity would improve, and correctness could be ensured by the application of mathematical methods. Because of their mathematical foundations, logic programs lend themselves particularly well to machine-assisted development techniques, and therefore to automation. This volume...
Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the cu...
|
cena:
201,24 |
 |
Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorn
ISBN: 9783540198420 / Angielski / Miękka / 329 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. It contains papers from almost every member of the Section, from our long-term academic visitors, and from those who have recently left us. The papers fall into four broad areas: semantics concurrency logic specification with some papers spanning a number of disciplines. The subject material varies from work on mathematical foundations to practical applications of this theory, expressing the Section's commitment to both the foundations of...
This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computin...
|
cena:
201,24 |
 |
Logic Program Synthesis and Transformation: Proceedings of Lopstr 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-La
ISBN: 9783540198642 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in Louvain-la-Neuve in July 1993. Much of the success of the workshop is due to Yves Deville who served as Organizer and Chair. Many people believe that machine support for the development and evolution of software will play a critical role in future software engineering environments. Machine support requires the formalization of the artifacts and processes that arise during the software lifecycle. Logic languages are unique in providing...
This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 9...
|
cena:
201,24 |
 |
6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, Organised by Bcs-Facs, London, 5-7 January 1994
ISBN: 9783540198864 / Angielski / Miękka / 309 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were submitted and accepted for presentation, together with two papers by invited speakers. The workshops in the series have generally occurred at one year intervals but in this last case a two year period had elapsed. These workshops have established themselves as an important event in the calendar for all those who are interested in progress in the underlying theory of refinement and in the take-up by industry of the methods supported by...
The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers whic...
|
cena:
201,24 |
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
