topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 33
 |
Modellbildung in Der Informatik
ISBN: 9783642622670 / Niemiecki / Miękka / 2013 / 256 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Leitlinie dieser Einfuhrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfugung stehen, um Informatiksysteme analysieren oder entwerfen zu konnen. Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch pragnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustandsubergangs- und Sequenzdiagramme. Inharenter Bestandteil dieser grafischen Beschreibungstechniken ist die Charakterisierung der zugrundeliegenden Daten (z.B. in funktionaler... Leitlinie dieser Einfuhrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Technik... |
cena:
112,95 zł |
 |
Logische und Methodische Grundlagen der Entwicklung verteilter Systeme
ISBN: 9783662673164 / Niemiecki / Miękka / 2023 / 460 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Softwareentwicklung erfordert - ausgehend von informellen Problemstellungen - Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die Verifikation der Korrektheit. Zur Bewältigung dieser Aufgaben hat die Informatik eine Reihe grundlegender Ansätze und Methoden entwickelt, die in zwei Bänden in einem einheitlichen Rahmen zusammengefasst und an Beispielen erläutert werden. Der erste Band widmet sich der Spezifikationen von Daten- und Rechenstrukturen, der Spezifikation und Implementierung sowie dem Nachweis der Korrektheit funktionaler, prozeduraler und...
Softwareentwicklung erfordert - ausgehend von informellen Problemstellungen - Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implem...
|
cena:
188,52 zł |
 |
Software-Entwicklung Für Kommunikationsnetze
ISBN: 9783642627927 / Niemiecki / Miękka / 2012 / 274 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Das Buch behandelt Prinzipien und Methoden der Software-Entwicklung fur Kommunikationsnetze, basierend auf praktischen Erfahrungen aus einer Reihe von Software-Projekten. Die spezifischen Merkmale dieser Software sind parallele Ablaufe, zeitkritisches Antwortverhalten, komplexe Funktionalitat und sehr hohe Qualitatsanforderungen. Eine wesentliche Rolle bei der Beherrschung der Software-Komplexitat spielt die Architektur. Sie stellt die Regeln und Methoden fur einen effektiven Systementwurf zur Verfugung, auf dem sich der gesamte Entwicklungsprozess abstutzen kann. Dazu gehort eine...
Das Buch behandelt Prinzipien und Methoden der Software-Entwicklung fur Kommunikationsnetze, basierend auf praktischen Erfahrungen aus einer Reihe von...
|
cena:
207,36 zł |
 |
Program Design Calculi
ISBN: 9783540569435 / Angielski / Twarda / 1993 / 416 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Several design calculi for software and hardware systems are described and demonstrated in this monograph. The contributors discuss recent developments in the systematic study of the specification, refinement and verification of sequential, functional and distributed systems.
Several design calculi for software and hardware systems are described and demonstrated in this monograph. The contributors discuss recent development...
|
cena:
806,99 zł |
 |
Logische Und Methodische Grundlagen Der Programm- Und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle Und Objektorientierte Programmieru
ISBN: 9783658263010 / Niemiecki / Miękka / 2019 / 451 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
131,95 zł |
 |
Informatik: Eine Grundlegende Einführung. Band 2: Systemstrukturen Und Theoretische Informatik
ISBN: 9783540643920 / Niemiecki / Twarda / 1998 / 404 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Diese in der Neuauflage zweibandige Einfuhrung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere formale Fundierung und begriffliche Klarheit aus. Der vorliegende Band 2 fasst die in der 1. Auflage getrennt erschienenen Teile III und IV zusammen. Teil III behandelt Grundbegriffe und Beschreibungstechniken fur verteilte informationsverarbeitende Systeme sowie systemnahe Programmierung und Betriebssysteme. Teil IV geht auf die...
Diese in der Neuauflage zweibandige Einfuhrung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten ...
|
cena:
124,40 zł |
 |
Informatik. Eine Grundlegende Einführung: Teil III: Systemstrukturen Und Systemnahe Programmierung
ISBN: 9783540576723 / Niemiecki / Miękka / 1994 / 187 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Dieser dritte Teil der vierteiligen Einfuhrung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung. Nach den Grundbegriffen verteilter Systeme und den zugrundeliegenden mathematischen Modellen werden elementare Beschreibungstechniken fur Systeme, z.B. Petri-Netze und die Hoare'sche Notation fur kommunizierende, sequentielle Programme, vorgestellt sowie die Programmierung parallel ablaufender Programme. Weiter werden typische Aspekte der systemnahen Programmierung wie Aufbau und Wirkungsweise von Betriebssystemen besprochen sowie die...
Dieser dritte Teil der vierteiligen Einfuhrung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung. ...
|
cena:
188,36 zł |
 |
Informatik Und Mathematik
ISBN: 9783642766787 / Niemiecki / Miękka / 2011 / 464 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Dieser Band dokumentiert ein Kolloquium mit dem Titel "Informatik im Kreuzungspunkt von Numerischer Mathematik, Rechnerentwurf, Programmierung, Algebra und Logik." Es fand im 14. Juni 1989 an der Bayerischen Akademie der Wissenschaften anl lich des 65. Geburtstags von Herrn Prof. Dr. Dr. h.c. mult. Friedrich L. Bauer statt, dem die Informatik von Anfang an entscheidende Impulse verdankt. Die Beitr ge spannen ein breites Themenspektrum auf, das durch die Dichte der Zusammenh nge fasziniert. Mehrere Jahrzehnte der Entwicklung der Informatik haben gezeigt, wie eng Fragestellungen der Numerik,...
Dieser Band dokumentiert ein Kolloquium mit dem Titel "Informatik im Kreuzungspunkt von Numerischer Mathematik, Rechnerentwurf, Programmierung, Algebr...
|
cena:
282,79 zł |
 |
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
ISBN: 9781461265184 / Angielski / Miękka / 2012 / 348 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinements.
A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of...
|
cena:
201,72 zł |
 |
Formal Systems Specification: The Rpc-Memory Specification Case Study
ISBN: 9783540619840 / Angielski / Miękka / 1996 / 543 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification.
Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion... The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a...
|
cena:
201,72 zł |
 |
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Sys
ISBN: 9781402035319 / Angielski / Miękka / 2005 / 404 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in... Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircr... |
cena:
806,99 zł |
 |
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, Psi 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 200
ISBN: 9783540208136 / Angielski / Miękka / 2004 / 572 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Thevolumecomprises?nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference Perspectives of System Informatics, Akademgorodok (Novosibirsk, Russia), July 9 12, 2003. The main goal of the conference was to give an overview of research directions that are decisive for growth in the major areas of research activities in system informatics. The conference was held to honor the 70th anniversary of Ershov s closest colleague, the late Prof. Igor Pottosin (1933 2001), and his outstanding cont- bution towards advancing informatics. The ?rst four Andrei Ershov conferences...
Thevolumecomprises?nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference Perspectives of System Informatics, Akademgo...
|
cena:
201,72 zł |
 |
Software Pioneers: Contributions to Software Engineering
ISBN: 9783642639708 / Angielski / Miękka / 2014 / 728 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) A Brief Status Report The major advancement in the area of modular programming has been the development of coding techniques and assemblers which (1) allow one modu1e to be written with little knowledge of the code in another module, and (2) alJow modules to be reas- sembled and replaced without reassembly of the whole system.
A Brief Status Report The major advancement in the area of modular programming has been the development of coding techniques and assemblers which (1) ...
|
cena:
605,23 zł |
 |
Informatik Eine Grundlegende Einführung: Band 1: Programmierung Und Rechnerstrukturen
ISBN: 9783540632344 / Niemiecki / Miękka / 1997 / 471 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Diese Einfuhrung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere, formale Fundierung und begriffliche Klarheit aus. Der erste Teil stellt das gesamte Gebiet der problemnahen Programmierung vor, von Algorithmenbegriffen uber Techniken der funktionalen und der prozeduralen Programmierung und Datenstrukturen zur Programmiermethodik. Der zweite behandelt die technische Informationsverarbeitung, von der Binarcodierung...
Diese Einfuhrung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsge...
|
cena:
143,25 zł |
 |
Informatik: Eine Grundlegende Einführung Teil I. Problemnahe Programmierung
ISBN: 9783540551911 / Niemiecki / Miękka / 1992 / 250 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfaltiger Weise Methoden und Techniken fur die Modellierung, Darstellung und Implementierung informationsverarbeitender Systeme bereitstellt. Diese grundlegende Einfuhrung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Dabei wird auf eine saubere, formale Fundierung und begriffliche Klarheit Wert gelegt.
In diesem ersten von vier Banden wird das gesamte Gebiet der... Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfaltiger Weise Methoden und Techniken fur die Modellierung, Darst...
|
cena:
188,36 zł |
 |
Deductive Program Design
ISBN: 9783642648496 / Angielski / Miękka / 2011 / 470 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program design needs methods, heuristics, and understanding of the required forms and formats of the development result that go far beyond those found in logical theories. The summer school presents a very broad spectrum of approaches to these issues. Edsger W. Dijkstra gives a number of beautiful examples that show how to design proofs. Samson Abramsky, Simon...
Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subj...
|
cena:
806,99 zł |
 |
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Sys
ISBN: 9781402035302 / Angielski / Twarda / 2005 / 404 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in... Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircr... |
cena:
806,99 zł |
 |
Einführung in Die Softwaretechnik
ISBN: 9783662502624 / Niemiecki / Twarda / 2021 / 666 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
226,25 zł |
 |
Program Design Calculi
ISBN: 9783642081644 / Angielski / Miękka / 2010 / 416 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
806,99 zł |
 |
Übungen Zur Einführung in Die Informatik: Strukturierte Aufgabensammlung Mit Musterlösungen
ISBN: 9783540420651 / Niemiecki / Twarda / 2001 / 376 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Der vorliegende Ubungsband enthalt Aufgaben zu einer viersemestrigen Vorlesung "Einfuhrung in die Informatik." Er ist eng abgestimmt auf die zweibandige Informatik-Einfuhrung von M. Broy - das Gelernte kann so von der Theorie in die Praxis umgesetzt werden. Neben Aufgaben, die alle wichtigen Themengebiete der Einfuhrung abdecken, werden vertiefende und weiterfuhrende Aufgaben angeboten. Daruber hinaus umfasst das Buch Programmieraufgaben in den funktionalen bzw. objektorientierten Sprachen Gofer und Java sowie der Assemblersprache MI, erganzt durch kurze Einfuhrungen in diese modernen...
Der vorliegende Ubungsband enthalt Aufgaben zu einer viersemestrigen Vorlesung "Einfuhrung in die Informatik." Er ist eng abgestimmt auf die zweibandi...
|
cena:
188,52 zł |
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
