![]() |
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
ISBN: 9783642074479 / Angielski / Miękka / 607 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.
The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties,... Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in siz...
|
cena:
363,97 |
![]() |
Coordination of Internet Agents: Models, Technologies, and Applications
ISBN: 9783642074882 / Angielski / Miękka / 524 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As today's most complex computing environment, the Internet confronts IT researchers, system designers, and application developers with completely new challenges and, as a fascinating new computing paradigm, agent technology has recently attracted broad interest and strong hopes for shaping the future information society. Relating both, the Internet and agents, opens up a whole new range of advanced applications in vibrant subfields of information technology such as middleware, mobile commerce, e-learning, collaborative working, and intelligent information services. Many modern advanced...
As today's most complex computing environment, the Internet confronts IT researchers, system designers, and application developers with completely new...
|
cena:
202,19 |
![]() |
History of Computing: Software Issues: International Conference on the History of Computing, Ichc 2000 April 5-7, 2000 Heinz Nixdorf Museumsforum Pade
ISBN: 9783642076534 / Angielski / Miękka / 283 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The papers in this volume were presented at a conference that was designed to map out historical study needs in one area of the history of computing, namely, software. The Paderbom conference was sponsored by the Heinz Nixdorf Muse- umsForum and co-sponsored by the Charles Babbage Institute and the Heinz Nixdorf Institute of the University of Paderbom. The idea for the conference emerged from the consideration of a larger concept that was to prepare a new handbook on the history of computing. Believing that preparation of the handbook would encounter obstacles in some areas of computing that...
The papers in this volume were presented at a conference that was designed to map out historical study needs in one area of the history of computing, ...
|
cena:
202,19 |
![]() |
Invasive Software Composition
ISBN: 9783642079375 / Angielski / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Over the past two decades, software engineering has come a long way from object-based to object-oriented to component-based design and development. Invasive software composition is a new technique that unifies and extends recent software engineering concepts like generic programming, aspect-oriented development, architecture systems, or subject-oriented development. To improve reuse, this new method regards software components as grayboxes and integrates them during composition. Building on a minimal set of program transformations, composition operator libraries can be developed that... Over the past two decades, software engineering has come a long way from object-based to object-oriented to component-based design and development.... |
cena:
202,19 |
![]() |
Ludwig Wittgenstein: His Place in the Development of Semantics
ISBN: 9789048183210 / Angielski / Miękka / 62 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Various students of general linguistics and semantics quote and discuss Wittgenstein, among others, OGDEN and RICHARDS (1960), ULLMANN (1951, 1962), PAGLIARO (1952, 1957), WELLS (1960), REGNELL (1960) and 1 ZIFF (1960). For the most part however they quote the Tractatus and not 2 the Philosophical Investigations; not all of them consider the most important ideas in the Tractatus but often discuss marginal points; above all they often make the discussion of Wittgenstein's ideas secondary to the development of their own thought. It should be added, moreover, that these students are exceptions....
Various students of general linguistics and semantics quote and discuss Wittgenstein, among others, OGDEN and RICHARDS (1960), ULLMANN (1951, 1962), P...
|
cena:
404,42 |
![]() |
Compilerbau, Teil 2, Compilerbau
ISBN: 9783486252668 / Niemiecki / Twarda / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Jeder kennt das Drachenbuch, den Meilenstein in der Literatur zum Compilerbau. Der "neue Drache," hier Teil 2, geschrieben von der Arbeitsgruppe Alfred V. Aho, Ravi Sethi und Jeffrey D. Ullman und ubersetzt von Prof. Dr. Gerhard Barth und seinen Mitarbeitern, bietet die gleichen Basis-Informationen wie der alte, befasst sich dabei aber auch mit den jungsten Forschungen."
Jeder kennt das Drachenbuch, den Meilenstein in der Literatur zum Compilerbau. Der "neue Drache," hier Teil 2, geschrieben von der Arbeitsgruppe Alfre...
|
cena:
469,41 |
![]() |
Free Revealing: How Firms Can Profit from Being Open
ISBN: 9783834914750 / Angielski / Miękka / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Over the last decade, the commercial world has more and more embraced open source software such as the Linux operating system. What started out as an ideological movement for "Free Software" and as a hobbyists' thing has largely turned into a ma- stream part of the IT industry. By 2008, even the long-time open source critic Microsoft has created two open source licenses, and it comes as little surprise when Google - leases the complete mobile operating system stack of its Android phone as open source. Yet, how exactly open source software and in particular the open source style of software...
Over the last decade, the commercial world has more and more embraced open source software such as the Linux operating system. What started out as an ...
|
cena:
202,19 |
![]() |
Anforderungsmanagement: Formale Prozesse, Praxiserfahrungen, Einführungsstrategien Und Toolauswahl
ISBN: 9783540009634 / Niemiecki / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Gerhard Versteegen Ziele dieses Buches Dieses Buch gibt eine Einfuhrung in die Thematik des profession- len und werkzeuggestutzten Anforderungsmanagements innerhalb der Software-Entwicklung und soll dem Leser einerseits dazu v- helfen, die Bedeutung des Anforderungsmanagements zu verstehen und andererseits ihn in die Lage versetzen, Anforderungen korrekt zu formulieren, so dass sie auch in Software umgesetzt werden k- nen. Ferner gibt das Buch eine Einfuhrung in das marktfuhrende Produkt Telelogic DOORS, die verdeutlicht, wie ein werkzeugg- tutztes Anforderungsmanagement funktioniert und...
Gerhard Versteegen Ziele dieses Buches Dieses Buch gibt eine Einfuhrung in die Thematik des profession- len und werkzeuggestutzten Anforderungsmanagem...
|
cena:
291,01 |
![]() |
Entwurf einer EDV gestützten Qualitätssicherung für marktforschende Telefonstudios
ISBN: 9783640303731 / Niemiecki / Miękka / 102 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diplomarbeit aus dem Jahr 2009 im Fachbereich Informatik - Angewandte Informatik, Note: 1,0, Fachhochschule Koln, 68 Quellen im Literaturverzeichnis, Sprache: Deutsch, Abstract: Zu exzellenten Verkaufszahlen gehort ein Produkt und ein werbewirksam gestaltetes Marketing, welches ggf. durch PR-Manahmen unterstutzt wird. Das Wissen um Kundenpraferenzen und Trends auf dem Markt ist hierfur unumganglich. Taglich werden Menschen in den Medien oder auf der Strasse mit Umfragen zu Produkten und Dienstleistungen oder zu Meinungen konfrontiert. Marktforschende Unternehmen werden mit der Ermittlung...
Diplomarbeit aus dem Jahr 2009 im Fachbereich Informatik - Angewandte Informatik, Note: 1,0, Fachhochschule Koln, 68 Quellen im Literaturverzeichnis, ...
|
cena:
373,84 |
![]() |
Datenbankentwicklung in It-Berufen: Eine Praktisch Orientierte Einführung Mit MS Access Und MySQL
ISBN: 9783834801524 / Niemiecki / Miękka / 116 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Thema Datenbanken und Datenbankentwicklung ist sehr umfangreich und vor allem sehr komplex. Fur das Zielpublikum dieses Buches Auszubildende in den IT-Berufe, aber auch S- dierende und SchulerInnen der Oberstufe mit dem Nebenfach Informatik und dem Schwerpunkt Datenbanken versuche ich, mit diesem Buch eine moglichst einfach gehaltene Einfuhrung in diese Thematik zu geben. Das Ziel ist dabei die Entwicklung von Datenbanken theoretisch und praktisch zu begreifen . Mein Schwerpunkt liegt auf der Darstellung von Grundbegriffen, Grundzusammenhangen und Konzepten und nicht so sehr auf (r) der...
Das Thema Datenbanken und Datenbankentwicklung ist sehr umfangreich und vor allem sehr komplex. Fur das Zielpublikum dieses Buches Auszubildende in de...
|
cena:
86,92 |
![]() |
SQL Mit Oracle: Eine Aktuelle Einführung in Die Arbeit Mit Relationalen Und Objektrelationalen Datenbanken Unter Einsatz Von Oracle Ex
ISBN: 9783834805270 / Niemiecki / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fur Internet und eCommerce sind datenbankgestutzte Applikationen grundlegend. Dieses Buch vermittelt das notwendige Grundwissen und die aktuellen Techniken fur den Einsatz von SQL und die Programmierung von ORACLE-Datenbanken unter Verwendung der kostenlos aus dem Internet beziehbaren Software ORACLE Express. Die dritte Auflage wurde aktualisiert und um SQL-Entwicklungen erganzt, die zusatzliche komfortable Verarbeitungsformen ermoglichen. Insbesondere werden die ORACLE-spezifische Programmiersprache PL/SQL und die Verarbeitung von XML-Dokumenten berucksichtigt. Der Erfolg des Buches ist zum...
Fur Internet und eCommerce sind datenbankgestutzte Applikationen grundlegend. Dieses Buch vermittelt das notwendige Grundwissen und die aktuellen Tech...
|
cena:
170,08 |
![]() |
Datenbank-Engineering: Analyse, Entwurf Und Implementierung Objektrelationaler Datenbanken -- Mit Uml, Db2-SQL Und Java
ISBN: 9783528251833 / Niemiecki / Miękka / 602 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Klare Systematik und anspruchsvoller Praxisbezug zu den Themen Datenmodellierung mit UML, Datenzugriff mit DB2-SQL und Datenbankprogrammierung mit Java. Die tragenden Konzepte sind UML, die universelle Modellierungsprache fur Entity-Relationship-Modelle, die Verwendung des objektrelationalen Datenmodells sowie die Datenbanksprache SQL als umfassende Sprache von DB2 Universal Database. Die Beispiele: Aufbau und Struktur von Data Warehouses, Rechnungsschreibung, Stucklistenorganisation, Aufbauorganisation, Netzplane.
" Klare Systematik und anspruchsvoller Praxisbezug zu den Themen Datenmodellierung mit UML, Datenzugriff mit DB2-SQL und Datenbankprogrammierung mit Jav...
|
cena:
188,97 |
![]() |
Rechneraufbau und Rechnerstrukturen
ISBN: 9783486578492 / Niemiecki / Twarda / 583 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das erfolgreiche Standard-Lehrbuch zu den Grundbausteinen und den wichtigsten Architekturprinzipien heutiger Rechner. Das Buch beschreibt konsequent die logischen Aspekte und diskutiert technologische Fragen. Besonderen Stellenwert haben erläuternde und weiterführende Beispiele und Übungen.Über das Internet ist ein Foliensatz zur Vorlesungsvorbereitung abrufbar.
Das erfolgreiche Standard-Lehrbuch zu den Grundbausteinen und den wichtigsten Architekturprinzipien heutiger Rechner. Das Buch beschreibt konsequent d...
|
cena:
191,91 |
![]() |
Einführung in Die Mathematische Logik: Ein Lehrbuch
ISBN: 9783834805782 / Niemiecki / Miękka / 257 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses umfassende Lehrbuch wurde geschrieben fur Studenten und Dozenten der Mathematik und Informatik, und wegen der ausfuhrlichen Darstellung der Godelschen Unvollstandigkeitssatze auch fur Fachstudenten der Philosophischen Logik.
Fur diese Neuauflage wurde der Text sachlich und stilistisch vollstandig uberarbeitet, er enthalt verbesserte Beweise und Ubungen mit Losungshinweisen sowie eine historisch orientierte Einleitung. Das Buch kann ganz unabhangig von Vorlesungen aber auch zum Selbststudium genutzt werden. " Dieses umfassende Lehrbuch wurde geschrieben fur Studenten und Dozenten der Mathematik und Informatik, und wegen der ausfuhrlichen Darstellung der God...
|
cena:
151,15 |
![]() |
Datenbanken: Theorie, Entwurf Und Programmierung Relationaler Datenbanken
ISBN: 9783835101630 / Niemiecki / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch habe ich von meinen Schulern gelernt. Arnold Schonberg, Harmonielehre Wer sollte dieses Buch lesen? Dieses Buch entstand aus einem Skript zu einer vierstundigen Vorlesung uber Datenbanken an der Fachhochschule Frankfurt am Main. Es war daher zunachst fur Studentinnen und S- denten eines Studiengangs Informatik oder eines Ingenieurstudiengangs an Fachhochschulen und Universitaten gedacht. Es ist dann aber ein Buch geworden, das man genauso einem Informatiker in der beruflichen Praxis, der sich (noch) einmal mit Datenbanken oder einz- nen Aspekten von Datenbanken beschaftigen...
Dieses Buch habe ich von meinen Schulern gelernt. Arnold Schonberg, Harmonielehre Wer sollte dieses Buch lesen? Dieses Buch entstand aus einem Skript ...
|
cena:
151,15 |
![]() |
Grundlagen Des Software-Marketing: Von Der Softwareentwicklung Zum Nachhaltigen Markterfolg
ISBN: 9783528058937 / Niemiecki / Miękka / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Wer glaubt, dass die Entwicklung und die Markteinfuhrung von Software weitgehend getrennt erfolgen kann, sollte umdenken. Immer kurzere Entwicklungszyklen und ein verscharfter Wettbewerb erfordern Anpassungen bei klassischen Marketing-Instrumenten und Softwareentwicklungsprozessen. Das Buch zeigt Zusammenhange auf, die fur eine erfolgreiche Positionierung innovativer Software-Produkte und die Bearbeitung des Software-Marktes relevant sind. Moderne Strategien und Ansatze des Software-Marketing sowie fundamentale rechtliche Fragen sind kompakt dargestellt - eine grundlegende Orientierung fur...
Wer glaubt, dass die Entwicklung und die Markteinfuhrung von Software weitgehend getrennt erfolgen kann, sollte umdenken. Immer kurzere Entwicklungszy...
|
cena:
245,67 |
![]() |
Grundlagen Der Informatik Für Ingenieure: Eine Einführung Mit C/C++
ISBN: 9783519004288 / Niemiecki / Miękka / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fur den erfolgreichen Umgang mit Software braucht man das Verstandnis fur das Zusammenspiel zwischen Mensch und Computer. Dies lasst sich am besten aus eigener Erfahrung gewinnen. Das Buch vermittelt den Lesern, vor allem Studierenden der Ingenieurwissenschaften an Universitaten und Fachhochschulen, das notwendige Rustzeug, eigene Rechnerlosungen zu schaffen. Ausgehend von der Bedeutung der Algorithmen werden unter Nutzung der Programmiersprache C/C++ Losungswege beschrieben. Es wird dabei Wert darauf gelegt, dass der komplette Losungsprozess von der Problemanalyse bis zur Ergebnistestung...
Fur den erfolgreichen Umgang mit Software braucht man das Verstandnis fur das Zusammenspiel zwischen Mensch und Computer. Dies lasst sich am besten au...
|
cena:
132,26 |
![]() |
Implementing Semantic Web Services: The SESA Framework
ISBN: 9783642095757 / Angielski / Miękka / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this book, Dieter Fensel and his qualified team lay the foundation for understanding the Semantic Web Services infrastructure, aimed at eliminating human intervention and thus allowing for seamless integration of information systems. They focus on the currently most advanced SWS infrastructure, namely SESA and related work such as the Web Services Execution Environment (WSMX) activities and the Semantic Execution Environment (OASIS SEE TC) standardization effort.
In this book, Dieter Fensel and his qualified team lay the foundation for understanding the Semantic Web Services infrastructure, aimed at eliminat... |
cena:
202,19 |
![]() |
Object-Oriented Metrics in Practice: Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
ISBN: 9783642063749 / Angielski / Miękka / 207 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Metrics are paramount in every engineering discipline. Software engineering, however, is not considered a classical engineering activity for several reasons. In general, if a software system is seen to deliver the required functionality, only few people if any care about the internals. Moreover, defining, understanding and applying software metrics often looks like an overly complex activity, recommended only to 'trained professionals'. Lanza and Marinescu demystify the design metrics used to assess the size, quality and complexity of object-oriented software systems. Based... Metrics are paramount in every engineering discipline. Software engineering, however, is not considered a classical engineering activity for severa... |
cena:
262,86 |
![]() |
Iec 61131-3: Programming Industrial Automation Systems: Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making AIDS
ISBN: 9783642120145 / Angielski / Twarda / 390 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The rapid advances in performance and miniaturisation in microtechnology are constantly opening up new markets for the programmable logic controller (PLC). Specially designed controller hardware or PC-based controllers, extended by hardware and software with real-time capability, now control highly complex automation processes. This has been extended by the new subject of safe- related controllers, aimed at preventing injury by machines during the production process. The different types of PLC cover a wide task spectrum - ranging from small network node computers and distributed compact units...
The rapid advances in performance and miniaturisation in microtechnology are constantly opening up new markets for the programmable logic controller (...
|
cena:
687,54 |