ilość książek w kategorii: 2327
![]() |
Analysis and Design of Information Systems
ISBN: 9781849966399 / Angielski / Miękka / 418 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This third edition of the successful information systems guide is a thorough introduction to all aspects of business transformation and analysis. It offers a complex set of tools covering all types of systems, including legacy, transactional, database and web/ecommerce topics and integrates them within a common method for the successful analyst/designer. With additional chapters on topics such as Web interface tools and data warehouse system design, and providing new case studies, it is a valuable resource for all information systems students, as well as professionals.
This third edition of the successful information systems guide is a thorough introduction to all aspects of business transformation and analysis. I... |
cena:
201,24 |
![]() |
Introduction to Formal Hardware Verification
ISBN: 9783642084775 / Angielski / Miękka / 299 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique. Each chapter contains an introduction...
Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete...
|
cena:
201,24 |
![]() |
Program Design Calculi
ISBN: 9783642081644 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step. A careful, systematic, and disciplined structuring of the development process is most adequate. It should start from basic requirement specifications in which aU the relevant details of the problem to be solved are formalized. The envisaged solution should be developed step by step by adding more and more details and giving evidence-in the best case by formal...
The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by no...
|
cena:
805,10 |
![]() |
Performance of Communication Systems: A Model-Based Approach with Matrix-Geometric Methods
ISBN: 9783642074707 / Angielski / Miękka / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is about efficient communication. The role of communication, as a means for the transmission of information among people, is one of the key factors driving the development of our civilization. There are numerous examples where new achievements in the communi cations area had a crucial impact on our society. The human language can be considered as one of the first steps for the efficient delivery of informa tion between people. Similarly, the influence of other milestones like written communication, bookprinting, telegraphy and the telephone and television system was essential....
This book is about efficient communication. The role of communication, as a means for the transmission of information among people, is one of the key ...
|
cena:
603,81 |
![]() |
Adaptive, Dynamic, and Resilient Systems
ISBN: 9781439868485 / Angielski / Twarda / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As the complexity of today s networked computer systems grows, they become increasingly difficult to understand, predict, and control. Addressing these challenges requires new approaches to building these systems. Adaptive, Dynamic, and Resilient Systems supplies readers with various perspectives of the critical infrastructure that systems of networked computers rely on. It introduces the key issues, describes their interrelationships, and presents new research in support of these areas. As the complexity of today s networked computer systems grows, they become increasingly difficult to understand, predict, and control. Addressing t... |
cena:
661,20 |
![]() |
Architecture of Computing Systems - Arcs 2011: 24th International Conference, Lake Como, Italy, February 24-25, 2011. Proceedings
ISBN: 9783642191367 / Angielski / Miękka / 271 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 24th International Conference on Architecture of Computing Systems, ARCS 2011, held in Lake Como, Italy, in February 2011. The 22 revised full papers presented in seven technical sessions were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on customization and application specific accelerators; multi/many-core architectures; adaptive system architectures; processor architectures; memory architectures optimization; organic and autonomic computing; network-on-chip architectures.
This book constitutes the refereed proceedings of the 24th International Conference on Architecture of Computing Systems, ARCS 2011, held in Lake Como...
|
cena:
201,24 |
![]() |
Advances in Natural Multimodal Dialogue Systems
ISBN: 9781402039348 / Angielski / Miękka / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The main topic of this volume is natural multimodal interaction. The book is unique in that it brings together a great many contributions regarding aspects of natural and multimodal interaction written by many of the important actors in the field. Topics addressed include talking heads, conversational agents, tutoring systems, multimodal communication, machine learning, architectures for multimodal dialogue systems, systems evaluation, and data annotation. The main topic of this volume is natural multimodal interaction. The book is unique in that it brings together a great many contributions regarding... |
cena:
402,53 |
![]() |
Fault-Tolerant Computing Systems: Tests, Diagnosis, Fault Treatment 5th International Gi/Itg/GMA Conference Nürnberg, September 25-27, 1991 Proceeding
ISBN: 9783540545453 / Angielski / Miękka / 425 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In den Proceedings zur 5. Internationalen GI/ITG/GMA-Tagung }ber Fehlerorientierte Rechensysteme in N}rnberg standen Tests, Diagnose und Fehlerbehandlung als Leitthemen im Mittelpunkt. Allerdings wurden auch die Themen Zuverl{ssigkeit, Verf}gbarkeit und Sicherheit in Hard- und Softwaresystemen behandelt. Der Tagungsband gibt mit eingeladenen und eingereichten Beitr{gen, die von einem internationalen Programmausschu sorgf{ltig ausgew{hlt wurden, eine ]bersicht }ber den Stand der Forschung, Entwicklung und Anwendungen aller Fehlertoleranz- und Zuverl{ssigkeitsaspekte.
In den Proceedings zur 5. Internationalen GI/ITG/GMA-Tagung }ber Fehlerorientierte Rechensysteme in N}rnberg standen Tests, Diagnose und Fehlerbehandl...
|
cena:
402,53 |
![]() |
Messung, Modellierung Und Bewertung Von Rechensystemen: 6. Gi/Itg-Fachtagung, Neubiberg, 18.-20. September 1991
ISBN: 9783540545507 / Niemiecki / Miękka / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Tagungsband der 6. GI/ITG-Fachtagung "Messung, Modellierung und Bewertung von Rechensystemen. Tagungsinhalt ist der Austausch neuer Ideen und Erfahrungen bei der quantitativen Untersuchung von Rechensystemen und Netzen. Dabei werden einerseits das volle methodische Spektrum (Me instrumentierung/Messung, Modellbildung/simulative und mathematische Modellanalyse, Bewertung und Synthese) in leistungsorientierter bzw. leistungs/zuverl{ssigkeitsorientierter Sicht abgedeckt, sowie andererseits }ber praktische Erfahrungen beim Einsatz dieser Methoden und Techniken bei Entwurf,...
Tagungsband der 6. GI/ITG-Fachtagung "Messung, Modellierung und Bewertung von Rechensystemen. Tagungsinhalt ist der Austausch neuer Ideen und Erfahrun...
|
cena:
206,88 |
![]() |
Telekommunikation Und Multimediale Anwendungen Der Informatik: Gi-21. Jahrestagung, Darmstadt, 14.-18. Oktober 1991
ISBN: 9783540547556 / Niemiecki / Miękka / 710 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die in diesem Buch ver-ffentlichten Aufs{tze behandeln das Thema Telekommunikation und multimediale Anwendungen der Informatik mit Schwerpunktlagerung zu folgenden Themen: - Interpersonal Computing - the Third Revolution in Desktop Publishing - Next Generation User Interface Development Tools - Entwicklungslinien der Ger{tetechnik f}r Graphiksysteme - Betriebserfahrungen und Messungen an einem gro en FDDI-Netz ... und sich daraus ergebende Konsequenzen - Visualisation Activities in the UK - From Broadband ISDN to Multimedia Computer Networks - Constructing an Image Database for the Collection...
Die in diesem Buch ver-ffentlichten Aufs{tze behandeln das Thema Telekommunikation und multimediale Anwendungen der Informatik mit Schwerpunktlagerung...
|
cena:
206,88 |
![]() |
Pearl 91 - Workshop Über Realzeitsysteme: 12. Fachtagung Des Pearl-Vereins E.V. Unter Mitwirkung Von GI Und Gma, Boppard, 28./29. November 1991 Procee
ISBN: 9783540549093 / Niemiecki / Miękka / 197 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Seit vielen Jahren sind Rechner bei der Automatisierung technischer Prozesseunverzichtbar. Dabei reicht die Palette der eingesetzten Systeme von Kleinstsystemen auf einer einfachen Europakarte bis zu sehr teuren Multiprozessorarchitekturen. Fast immer m}ssen die Rechnersystemef{hig sein, auf spontane {u ere Ereignisse schnell zu reagieren oder evtl. gleichzeitig komplizierte zeitliche Steuerungsvorhaben einhalten zu k-nnen. Dieses "Echtzeitverhalten" ist zentrales Thema dieses Tagungsbandes. Dabei werden sowohl theoretische Aspekte, Methoden des Software-Engineering, technische Realisierungen...
Seit vielen Jahren sind Rechner bei der Automatisierung technischer Prozesseunverzichtbar. Dabei reicht die Palette der eingesetzten Systeme von Klein...
|
cena:
206,88 |
![]() |
Software-Bewertung: Ein Semantischer Ansatz Für Infomationsmaße
ISBN: 9783540551515 / Niemiecki / Miękka / 114 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die vorliegende Arbeit stellt einen Ansatz zur quantitativen Erfassung semantischer Informationsinhalte vor. Da Programme Transformationen von Information beschreiben, werden gr- ere Kenntnisse der Charakteristika von Information auch zu einem besseren Verst{ndnis der Software-Produktion f}hren. Eine Analyse traditioneller Software-Ma e zeigt deren grunds{tzliche Schw{chen auf. Ein m-glicher Ausweg k-nnte darin bestehen, vermehrt Erkenntnisse aus semantischen Theorien der Programmiersprachen mit in die Betrachtungen einzuschlie en. Der hier vorgestellte Ansatz baut auf der denotationellen...
Die vorliegende Arbeit stellt einen Ansatz zur quantitativen Erfassung semantischer Informationsinhalte vor. Da Programme Transformationen von Informa...
|
cena:
206,88 |
![]() |
Parallele Datenverarbeitung Mit Dem Transputer: 3. Transputer-Anwender-Treffen Tat '91, Aachen, 17.-18. September 1991
ISBN: 9783540553861 / Niemiecki / Miękka / 393 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Der vorliegende Band ist bereits der dritte Tagungsbericht des j{hrlich stattfindenden Transputer-Anwender-Treffens in Aachen. Gegenstand dieses Buches sind Anwendungen und Entwicklungen f}r verteilte, parallele Rechnersysteme, die aus einer variablen Anzahl von Transputermodulen aufgebaut sind. Behandelt werden exemplarische Transputeranwendungen ausForschung und Industrie, sowie die erzielten Ergebnisse und gewonnenen Erfahrungen mit Transputersystemen, insbesondere im Vergleich zu herk-mmlichen Rechnern. Potentiellen neuen Anwendern wird aufgezeigt, welche M-glichkeiten in dieser neuen...
Der vorliegende Band ist bereits der dritte Tagungsbericht des j{hrlich stattfindenden Transputer-Anwender-Treffens in Aachen. Gegenstand dieses Buche...
|
cena:
206,88 |
![]() |
Client/Server-Anwendungen: Planung Und Entwicklung
ISBN: 9783540556916 / Niemiecki / Miękka / 195 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Client/Server Umgebung ist verf}hrerisch. Anders als in Mainframe-Umgebungen besitzt der Systementwickler hier vollst{ndige Kontrolle }ber Entwicklung und Ausf}hrung der Anwendungen. Da aber Richtlinien und Prinzipien wie in der Gro rechner-Umgebung fehlen, vollziehtsich die System-Planung dabei oft sehr nachl{ssig. Je gr- er die Client/Server Umgebung wird, desto chaotischer kann sie werden. In seinem Buch "Client/Server Anwendungen" definiert W.H. Inmon Richtlinien undPrinzipien der Systementwicklung, die in einer solchen Umgebung gelten sollten - wie sie aussehen, wie man sie...
Die Client/Server Umgebung ist verf}hrerisch. Anders als in Mainframe-Umgebungen besitzt der Systementwickler hier vollst{ndige Kontrolle }ber Entwick...
|
cena:
206,88 |
![]() |
Pearl 92: Workshop Über Realzeitsysteme Fachtagung Der Gi-Fachgruppe 4.4.2 Echtzeitprogrammierung, Pearl Boppard, 3./4. Dezember
ISBN: 9783540562672 / Niemiecki / Miękka / 183 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. PEARL ist tot -es lebe PEARL, konnte man meinen, wenn man den Untertitel der neuen GI-Fachgruppe liest .... Nur, diese Botschaft ist wohl etwas verkiirzt. Richtig, den stark von Rechner-Hersteller-Interessen bestimrnten PEARL-Verein gibt es nicht mehr. Da allenthalben propdetiire Betdebssysteme durch Stan dard-Betdebssysteme wie UNIX abgelost werden, muBte auch fiir PEARL eine zeitgem1iBere LOsung ge funden werden, die - die Verdienste des PEARL-Vereins zur Forderung einer "standardisierten" Echtzeitprogrammierung sowie - die positiven, wissenschaftlichen und didaktischen Ansatze von PEARL...
PEARL ist tot -es lebe PEARL, konnte man meinen, wenn man den Untertitel der neuen GI-Fachgruppe liest .... Nur, diese Botschaft ist wohl etwas verkii...
|
cena:
206,88 |
![]() |
Die X/Motif Umgebung: Eine Einführung Für Anwender Und Systemverwalter
ISBN: 9783540568278 / Niemiecki / Miękka / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. F}r UNIX-Anwender stellt das X/Motif-Fenstersystem die Standard-Arbeitsumgebung auf dem Rechner zur Verf}gung. Deren optimale Einrichtung und Anpassung ist daher eine entscheidende Voraussetzung f}r ein effizientes Arbeiten. Anhand zahlreicher Beispiele vermittelt der Autor praxisbezogene Kenntnisse im Umgang mit X/Motif, ohne den Leser mit der Programmierung des Systems zu belasten. Dabei wird vorallem auf folgende Gebiete eingegangen: - individuelle Anpassung von Anwendungen an die eigenen Bed}rfnisse des Nutzers - die optimale Einrichtung einer X/Motif-Arbeitsumgebung - die Einrichtung von...
F}r UNIX-Anwender stellt das X/Motif-Fenstersystem die Standard-Arbeitsumgebung auf dem Rechner zur Verf}gung. Deren optimale Einrichtung und Anpassun...
|
cena:
206,88 |
![]() |
Pearl 95: Workshop Über Realzeitsysteme Fachtagung Der Gi-Fachgruppe 4.4.2 Echtzeitprogrammierung, Pearl Boppard, 30.November-1.
ISBN: 9783540606680 / Niemiecki / Miękka / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ob Multimedia Chancen hat, zum Modewort des Jahres gekront zu werden, ist nicht abzusehen. Tatsache ist, daB einem dieser Begriff auf Schritt und Tritt begegnet. Ftir viele mag Multimedia etwas sein, urn Kids am PC festzuhalten und das Geld der Eltem zu binden. Tatsache ist aber auch, daB Multimedia etwas Sinnvolles sein kann und z.B. dazu dienen kann, rechnergesttitzte Heimarbeitsplatze attraktiv zu gestalten, aufwendige Reisen durch Conferencing-Systeme zu ersetzen, das Lemen effektiver zu machen, telemedizinische Anwendungen zu ermoglichen. Nur, was hat das mit Echtzeitprogrammierung zu...
Ob Multimedia Chancen hat, zum Modewort des Jahres gekront zu werden, ist nicht abzusehen. Tatsache ist, daB einem dieser Begriff auf Schritt und Trit...
|
cena:
206,88 |
![]() |
Pearl 96: Workshop Über Realzeitsysteme
ISBN: 9783540616412 / Niemiecki / Miękka / 120 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Manchmal kommt es noch schlimmer, als gedacht. Standen im Vorjahr bereits BefUrchtungen im Raum, der Workshop PEARL'95 konnte angesichts flauer Konjunktur und allgemein riickHiufiger Teilnehmerzahlen nicht mehr abgehalten werden, so sind - die offentliche Diskussion liillt keinen unberiihrt - in diesem Jahr die wirtschaftliche Lage noch angespannter, die SparmaBnahmen noch rigoroser. Ob das Sparen gerade bei der Fachdiskussion zu kiinftigen Entwicklungsstragien so weise ist, fragt sich sicher nicht nur die Redaktion des PEARL Workshops. So hat denn nur das immer noch positive Ergebnis der...
Manchmal kommt es noch schlimmer, als gedacht. Standen im Vorjahr bereits BefUrchtungen im Raum, der Workshop PEARL'95 konnte angesichts flauer Konjun...
|
cena:
206,88 |
![]() |
Pearl 97: Workshop Über Realzeitsysteme
ISBN: 9783540635628 / Angielski / Miękka / 147 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Wer in dieser Zeit einen technisch orientierten Workshop veranstaltet und einen Tagungsband herausgibt, findet sich schon seit Jahren - das Vorwort des letzten Jahres lat gruen - in einem Zwiespalt zwischen Bedenken wegen des eingegangenen wirtschaftlichen Risikos und Vertrauen in die Attraktivitat des Programms. Die Fachgruppe Echtzeitprogrammierung ist das Risiko wieder eingegangen. Ermutigt war die Fachgruppe durch den leichten Anstieg der Teilnehmerzahlen bei PEARL'96. Zumindest im Vorfeld bestarkt wurde dies durch die steigende Anzahl von Vortragsan- meldungen. Bemerkenswert ist dabei...
Wer in dieser Zeit einen technisch orientierten Workshop veranstaltet und einen Tagungsband herausgibt, findet sich schon seit Jahren - das Vorwort de...
|
cena:
206,88 |
![]() |
Computer and Computing Technologies in Agriculture III: Third IFIP TC 12 International Conference, CCTA 2009 Beijing, China, October 14-17, 2009 Revis
ISBN: 9783642122194 / Angielski / Twarda / 561 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. I want to express my sincere thanks to all authors who submitted research papers to support the Third IFIP International Conference on Computer and Computing Te- nologies in Agriculture and the Third Symposium on Development of Rural Infor- tion (CCTA 2009) held in China, during October 14-17, 2009. This conference was hosted by the CICTA (EU-China Centre for Information & Communication Technologies, China Agricultural University), China National En- neering Research Center for Information Technology in Agriculture, Asian Conf- ence on Precision Agriculture, International Federation for...
I want to express my sincere thanks to all authors who submitted research papers to support the Third IFIP International Conference on Computer and Co...
|
cena:
402,53 |