![]() |
Software Engineering 1: Abstraction and Modelling
ISBN: 9783642059391 / Angielski / Miękka / 714 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its... The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The tex... |
cena:
343,75 |
![]() |
Pps in Formereien
ISBN: 9783540554233 / Niemiecki / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. K{ufer von Gu teilen stellen Ziele wie Termintreue und kurze Durchlaufzeitenheute gleichrangig neben die Forderung nach preisg}nstigen und qualitativ hochwertigen Gu teilen. Mit diesen Forderungen ergeben sich f}r die Gie ereierh-hte An- forderungen an die organisatorische Beherrschung der Lei- stungserstellungsprozesse im Gie ereiunternehmen. Die Praxis zeigt, da aber gerade hier bei den Zielen Termintreue, kur- ze Durchlaufzeiten, hohe Kapazit{tsauslastung und Transpa- renz des Betriebsgeschehens erhebliche Defizite vorhanden sind. Diese sind sehr h{ufig auf nicht anforderungsgerecht...
K{ufer von Gu teilen stellen Ziele wie Termintreue und kurze Durchlaufzeitenheute gleichrangig neben die Forderung nach preisg}nstigen und qualitativ ...
|
cena:
207,85 |
![]() |
Objektorientierte Software-Entwicklung Am Beispiel Von Et++: Design-Muster, Klassenbibliothek, Werkzeuge
ISBN: 9783540560067 / Niemiecki / Miękka / 193 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch konsolidiert Erkenntnisse im Bereich des objektorientierten Entwurfs, die w{hrend der Entwicklung von ET++, einer portablen und umfassenden Klassenbibliothek, gemacht wurden. Durch Abstraktion von Design-Strukturen, die in ET++ zur Anwendung kamen, werden sogenannte Design-Muster identifiziert und beschrieben. Design-Muster sind bestimmte abstrahierte Klassenstrukturen, die bei der Gestaltung von neuen objektorientierten Applikationen und Klassenbibliotheken verwendet werden k-nnen. Design-Muster erm-glichen so eine Art der Wiederverwendung von Design und stellen dem Entwickler...
Dieses Buch konsolidiert Erkenntnisse im Bereich des objektorientierten Entwurfs, die w{hrend der Entwicklung von ET++, einer portablen und umfassende...
|
cena:
207,85 |
![]() |
Objektorientierte Architektur Für Grafische Benutzungsoberflächen: Realisierung Der Portablen Fenstersystemschnittstelle Von Et++
ISBN: 9783540560104 / Niemiecki / Miękka / 206 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Buch gibt einen ]berblick }ber die Architektur der vom Autormitentwickelten Klassenbibliothek ET++ und beschreibt in seinem zentralen Kapitel ausf}hrlich die Entwurfs}berlegungen, die zur Realisierung einer portablen und effizienten Schnittstelle zum Fenstersystem f}hrten.Au erdem wird nachgewiesen, da viele der bisher in Fenstersystemen realisierten Mechanismen ohne Mehraufwand in objektorientierte Toolkits verlagert werden k-nnen und damit sehr viel flexibler erweiterbar werden. Mit dieser Thematik wendet sich das Buch in erster Linie an exisitierende oder zuk}nftige...
Das vorliegende Buch gibt einen ]berblick }ber die Architektur der vom Autormitentwickelten Klassenbibliothek ET++ und beschreibt in seinem zentralen ...
|
cena:
207,85 |
![]() |
Rechnerarchitektur
ISBN: 9783540563556 / Niemiecki / Twarda / 482 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch gibt einen umfassenden Uberblick uber die Hardware- und Software-Konzepte, auf denen moderne Rechnersysteme beruhen, von den Arbeitsplatzrechnern bis zu den Supercomputern und den zukunftigen massiv-parallelen Rechnern. Im Anschluss an die Betrachtung der Architektur sequentieller Rechner, ihrer Prozessoren und ihrer Speicherhierarchien werden die Grundlagen fur die Parallelarbeit dargelegt. Zunachst werden die Prinzipien der Parallelarbeit im Prozessor behandelt, was zu den VLIW-Maschinen und den superskalaren Prozessoren fuhrt, und die damit verbundenen Compilerprobleme erortert....
Das Buch gibt einen umfassenden Uberblick uber die Hardware- und Software-Konzepte, auf denen moderne Rechnersysteme beruhen, von den Arbeitsplatzrech...
|
cena:
188,80 |
![]() |
Shell-Programmierung ... Im Alleingang: Die Korn-Shell in Der Praxis
ISBN: 9783540617211 / Niemiecki / Mixed media product / 568 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Korn-Shell ermoglicht eine effektive Nutzung von UNIX-Systemen. Nicht nur fur den Systemprogrammierer, auch fur jeden UNIX-Anwender sind Kenntnisse der Shell-Funktionsweise und -Programmierung unabdingbar. Der Leser wird in diesem Buch Schritt fur Schritt in den Umgang mit der Korn-Shell eingefuhrt, wobei grundlegende UNIX-Kenntnisse vorausgesetzt werden. Sachverhalte, die erfahrungsgemass gerade Einsteigern Schwierigkeiten bereiten, werden anhand von zahlreichen, nachvollziehbaren Beispielen verdeutlicht. Der Leser erlernt anhand einer komplexen Anwendung - einer Adressverwaltung - das...
Die Korn-Shell ermoglicht eine effektive Nutzung von UNIX-Systemen. Nicht nur fur den Systemprogrammierer, auch fur jeden UNIX-Anwender sind Kenntniss...
|
cena:
207,85 |
![]() |
Qualitätsmanagement Bei Der Softwareerstellung: Leitfaden Für Die Umsetzung Der Din En ISO 9000
ISBN: 9783540622628 / Niemiecki / Miękka / 83 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Vielen Unternehmen ist die Zertifizierung nach DIN EN ISO 9001 ein Buch mit sieben Siegeln. Das kann diese knappe Anleitung andern: Sie bietet kleinen und mittelstandischen Unternehmen der Software-Branche einen verstandlichen Einstieg in das Thema "Qualitatsmanagement" und hilft ihnen, sich auf die Zertifizierung nach DIN EN ISO 9001 vorzubereiten."
Vielen Unternehmen ist die Zertifizierung nach DIN EN ISO 9001 ein Buch mit sieben Siegeln. Das kann diese knappe Anleitung andern: Sie bietet kleinen...
|
cena:
188,80 |
![]() |
Deontic Logic, Agency and Normative Systems: ?Eon '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 - 13
ISBN: 9783540760153 / Angielski / Miękka / 235 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the latest volume in the "Workshops in Computing" series and contains papers to be presented at the Third International Workshop on Deontic Logic in Computer Science (DEON '96) to be held in Sesimbra, Portugal 11 - 13 January 1996. It contains a variety of contributions covering the relationship between deontic logics, logics of action and normative systems (i.e. systems of or about interacting agents whose behaviour is subject to ideal constraints that may not always be fulfilled in practice). The papers range from the theoretical studies of the logical and conceptual tools needed,...
This is the latest volume in the "Workshops in Computing" series and contains papers to be presented at the Third International Workshop on Deontic Lo...
|
cena:
404,42 |
![]() |
Safety and Reliability of Software Based Systems: Twelfth Annual Csr Workshop (Bruges, 12-15 September 1995)
ISBN: 9783540760344 / Angielski / Miękka / 461 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Safety and Reliability of Software Based Systems contains papers, presented at the twelfth annual workshop organised by the Centre for Software Reliability. Contributions come from different industries in many countries, and provide discussion and cross-fertilisation of ideas relevant to systems whose safety and/or reliability are of paramount concern.
This book discusses safety cases and their varying roles in different industries; using measurement to improve reliability and safety of software-based systems; latest developments in managing, developing and assessing software... Safety and Reliability of Software Based Systems contains papers, presented at the twelfth annual workshop organised by the Centre for Software...
|
cena:
404,42 |
![]() |
Die Schnittstellen von UNIX-Programmen: Tips zur Programm-Organisation unter UNIX
ISBN: 9783540535218 / Niemiecki / Miękka / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch vermittelt die grundlegende Philosophie der Problemlosung im Betriebssystem UNIX. UNIX bietet dem Benutzer eine gut durchdachte und bewahrte Grundmenge universell verwendbarer Werkzeuge, durch deren Kombination viele Probleme mit sehr geringem eigenem Programmieraufwand gelost werden konnen. Zugleich sind die so entstehenden Losungen meist ubersichtlich und gut portabel. Wahrend ubliche Bucher uber UNIX nach Werkzeugen gegliedert sind, ist dieses an den Schnittstellen orientiert, die Werkzeuge verbinden. Dieser mehr datenorientierte Zugang entspricht der Vorgehensweise der...
Dieses Buch vermittelt die grundlegende Philosophie der Problemlosung im Betriebssystem UNIX. UNIX bietet dem Benutzer eine gut durchdachte und bewahr...
|
cena:
207,85 |
![]() |
Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992
ISBN: 9783540198185 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI standardisation in the UK, and has been proposed for ISO standardisation internationally. In recent years researchers have begun to focus increasingly on the development of techniques and tools to encourage the wider application of Z and other formal methods and notations. This volume contains papers from...
The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It ...
|
cena:
202,19 |
![]() |
Asynchronous Digital Circuit Design
ISBN: 9783540199014 / Angielski / Miękka / 265 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous alternatives. Based on reworked and expanded papers from the VII Banff Higher Order Workshop, this volume examines asynchronous methods which have been used in large circuit design, ranging from initial formal specification to more standard finite state machine based control models. Written by leading practitioners in the area, the papers cover many aspects of current practice including practical design, silicon compilation, and...
As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asy...
|
cena:
202,19 |
![]() |
Pervasive Linux: Basistechnologien, Softwareentwicklung, Werkzeuge
ISBN: 9783540209409 / Niemiecki / Book Termin realizacji zamówienia: ok. 5-8 dni roboczych. Der Band bietet eine grundlegende Einfuhrung in das Thema Linux fur mobile Endgerate wie z. B. PDAs (Personal Digital Assistants) oder Mobiltelefone. Der Autor erlautert zunachst die Spezifika sogenannter eingebetteter Systeme und erklart dann, was beim Einsatz von Linux als Betriebssystem zu beachten ist. Anschliessend werden die zentralen Komponenten eines Linux-Systems vorgestellt und die Programmierung unter Linux mithilfe gangiger Werkzeuge im Detail dargelegt. Berucksichtigt wird insbesondere die Entwicklung von Benutzeroberflachen. "Der Band bietet eine grundlegende Einfuhrung in das Thema Linux fur mobile Endgerate wie z. B. PDAs (Personal Digital Assistants) oder Mobiltelefon... |
cena:
215,42 |
![]() |
Theory Is Forever: Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday
ISBN: 9783540223931 / Angielski / Miękka / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This commemorative book celebrates the 70th birthday of Arto Kustaa Salomaa, one of the most influential researchers in theoretical computer science. variety of topics in theoretical computer science and impressively reflect the breadth and the depth of Arto Salomaa's scientific work.
This commemorative book celebrates the 70th birthday of Arto Kustaa Salomaa, one of the most influential researchers in theoretical computer science. ...
|
cena:
202,19 |
![]() |
Informatik Kompakt: Eine Grundlegende Einführung Mit Java
ISBN: 9783540243045 / Niemiecki / Miękka / 234 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Autoren geben eine fundierte Einfuhrung in die Informatik, die von Anfang an die Zusammenhange zwischen den Teilgebieten des Faches betont. Das Buch ist kompakt, weil der gemeinsame Kern der verschiedenen Informatikgebiete betrachtet wird. In einer integrativen Sichtweise werden Modellierung, abstrakte Datentypen, Algorithmen sowie nebenlaufige und verteilte Programmierung behandelt. Die grundlegenden Konzepte der Informatik werden dabei mittels der Programmiersprache Java realisiert. Wesentliches Anliegen der Autoren ist es, die Informatik als Wissenschaft der... Die Autoren geben eine fundierte Einfuhrung in die Informatik, die von Anfang an die Zusammenhange zwischen den Teilgebieten des Faches betont. Das... |
cena:
124,70 |
![]() |
Semantic Web for the Working Ontologist: Effective Modeling in RDFS and OWL
ISBN: 9780123859655 / Angielski / Miękka / 354 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Semantic Web for the Working Ontologist: Effective Modeling in RDFS and OWL, Second Edition, discusses the capabilities of Semantic Web modeling languages, such as RDFS (Resource Description Framework Schema) and OWL (Web Ontology Language). Organized into 16 chapters, the book provides examples to illustrate the use of Semantic Web technologies in solving common modeling problems. It uses the life and works of William Shakespeare to demonstrate some of the most basic capabilities of the Semantic Web.
The book first provides an overview of the Semantic Web and aspects of the Web. It then... Semantic Web for the Working Ontologist: Effective Modeling in RDFS and OWL, Second Edition, discusses the capabilities of Semantic Web modeling langu...
|
cena:
224,78 |
![]() |
Computersysteme -- Aufbau Und Funktionsweise
ISBN: 9783211817827 / Niemiecki / Miękka / 270 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Seit mehr als einem Vierteljahrhundert beeinflul1t der Computer unser Leben auf mannigfaitige Weise. Abgesehen von den heute schon selbstverstandlichen Anwendungen in Verwaitung, Wirtschaft und Technik hat der Computer auch in Wissenschaft und Forschung seinen festen Platz eingenommen. Viel wichtiger als diese passive Rolle als Hilfsmittel scheint mir jedoch die stimulierende Wirkung, die das Gedankengut der Informatik auf samtliche anderen Wissensgebiete ausiibt. Erst der Computer gab Anstol1 ftiT die Behand lung allgemeiner Fragen, wie etwa der Methodik des Planens und Handelns oder der...
Seit mehr als einem Vierteljahrhundert beeinflul1t der Computer unser Leben auf mannigfaitige Weise. Abgesehen von den heute schon selbstverstandliche...
|
cena:
207,85 |
![]() |
Shifting Paradigms in Software Engineering: Proceedings of the 7th Joint Conference of the Austrian Computer Society (Ocg) and the John Von Neumann So
ISBN: 9783211824085 / Angielski / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object-orientation and the need for multi-paradigmatic systems constitute a challenge for researchers, practitioners and instructors. Presentations at the OCG/NJSZT joint conference in Klagenfurt, Austria, in September 1992 addressed these issues. The proceedings comprise such topics as: project management, artificial intelligence - modelling aspects, artificial intelligence - tool building aspects, language features, object-orientied software development, the challenge of coping with complexity, methodology, and experience, software engineering education, science policy, etc.
Object-orientation and the need for multi-paradigmatic systems constitute a challenge for researchers, practitioners and instructors. Presentations at...
|
cena:
202,19 |
![]() |
Software-Entwicklung: Fa1/4r Kommunikationsnetze
ISBN: 9783540432654 / Niemiecki / Twarda / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
337,79 |
![]() |
APL Programs for the Mathematics Classroom
ISBN: 9780387970028 / Angielski / Miękka / 185 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The idea for this book grew out of proposals at the APL86 con- ference in Manchester which led to the initiation of the I-APL (International APL) project, and through it to the availability of an interpreter which would bring the advantages of APL within the means of vast numbers of school children and their teachers. The motivation is that once school teachers have glimpsed the possibilities, there will be a place for an "ideas" book of short programs which will enable useful algorithms to be brought rapidly into classroom use, and perhaps even to be written and developed in front of the...
The idea for this book grew out of proposals at the APL86 con- ference in Manchester which led to the initiation of the I-APL (International APL) proj...
|
cena:
202,19 |