![]() |
Autonome Mobile Systeme 2009: 21. Fachgespräch Karlsruhe, 3./4. Dezember 2009
ISBN: 9783642102837 / Niemiecki / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das 21. Fachgesprach Autonome Mobile Systeme (AMS 2009) ist ein Forum, das Wissenschaftlerinnen und Wissenschaftlern aus Forschung und Industrie, die auf dem Gebiet der autonomen mobilen Systeme arbeiten, eine Basis fur den Gedankenaustausch bietet und wissenschaftliche Diskussionen sowie Kooperationen auf diesem Forschungsgebiet fordert bzw. initiiert. Inhaltlich finden sich ausgewahlte Beitrage zu den Themen Humanoide Roboter und Flugmaschinen, Perzeption und Sensorik, Kartierung und Lokalisation, Regelung, Navigation, Lernverfahren, Systemarchitekturen sowie der Anwendung von autonomen... Das 21. Fachgesprach Autonome Mobile Systeme (AMS 2009) ist ein Forum, das Wissenschaftlerinnen und Wissenschaftlern aus Forschung und Industrie, d... |
cena:
280,62 zł |
![]() |
Autonome Mobile Systeme 2003: 18. Fachgespräch Karlsruhe, 4./5. Dezember 2003
ISBN: 9783540201427 / Niemiecki / Miękka / 345 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das 18. Fachgesprach "Autonome Mobile Systeme (AMS 2003)" ist ein Forum, in dem die neuesten Entwicklungen auf dem Gebiet wissenschaftlicher und industrieller autonomer Robotersysteme vorgestellt werden. Die Beitrage zu den Schwerpunkten Autonome Systeme im Straenverkehr, Autonome und kooperative Systeme, Industrielle Systeme, Flug- und Unterwassersysteme, Bildverarbeitung, Planungsverfahren, Anwendungen und ihr Einsatz in Fertigung, Service, Reinigung, Entertainment, Infotainment und Edutainment, sowie Verhaltensbasierte KI u.a. bilden den Inhalt dieses Bandes. Das 18. Fachgesprach "Autonome Mobile Systeme (AMS 2003)" ist ein Forum, in dem die neuesten Entwicklungen auf dem Gebiet wissenschaftlicher und in... |
cena:
309,63 zł |
![]() |
Programmverifikation: Sequentielle, Parallele Und Verteilte Programme
ISBN: 9783540574798 / Niemiecki / Twarda / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nichtdeterministische Programme, Programme mit gemeinsamen Variablen und verteilte Programme mit Kommunikation }berBotschaftenaustausch behandelt. F}r jede dieser Programmklassen werden eine operationelle Semantik, Syntax-gerichtete Verifikationsregeln mitsamt Korrektheitsbeweis und ein gr- eres Verifikationsbeispiel vorgestellt. Insbesondere...
Dieses Buch bietet als erstes Lehrbuch eine systematische Einf}hrung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werd...
|
cena:
109,17 zł |
![]() |
Methoden Und Werkzeuge Zur Gestaltung Benutzergerechter Computersysteme
ISBN: 9783110100709 / Niemiecki / Twarda / 293 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
479,28 zł |
![]() |
Event-Driven Architecture: Softwarearchitektur Für Ereignisgesteuerte Geschäftsprozesse
ISBN: 9783642024382 / Niemiecki / Twarda / 241 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Geschaftsprozesse in Unternehmen sind haufig ereignisgesteuert, da im Geschaftsumfeld eine Fulle von Ereignissen auftritt, auf die angemessen und moglichst in Echtzeit reagiert werden muss, etwa in Sensornetzwerken oder im automatischen Wertpapierhandel. Event-Driven Architecture (EDA) ist ein neues Paradigma der Softwarearchitektur, das auf der Verarbeitung von Ereignissen als zentralem Strukturierungskonzept beruht. Das Buch diskutiert die Motive und Grundprinzipien von EDA als Architekturstil aus Unternehmenssicht. Anschliessend fuhrt es die wichtigsten Konzepte der Ereignisverarbeitung...
Geschaftsprozesse in Unternehmen sind haufig ereignisgesteuert, da im Geschaftsumfeld eine Fulle von Ereignissen auftritt, auf die angemessen und mogl...
|
cena:
218,68 zł |
![]() |
Paralleles Rechnen: Performancebetrachtungen Zu Gleichungslösern
ISBN: 9783486598513 / Niemiecki / Miękka / 235 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Zunachst werden Grundlagen der Informatik gelegt, danach mathematische Algorithmen so einfach wie moglich als Rezepte vorgestellt, analysiert und deren Performance mit vielen Beispielen verbessert. Die Losung eines Gleichungssystems und die Performancebetrachtungen zu Speicherungstechniken ziehen sich dabei als roter Faden durch das Buch.
Zunachst werden Grundlagen der Informatik gelegt, danach mathematische Algorithmen so einfach wie moglich als Rezepte vorgestellt, analysiert und dere...
|
cena:
195,94 zł |
![]() |
Das Betriebssystem Z/OS Und Die Zseries: Die Darstellung Eines Modernen Großrechnersystems
ISBN: 9783486275285 / Niemiecki / Twarda / 305 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch gibt einen Uberblick uber das Betriebssystem IBM z/OS und die Grorechnerfamilie der IBM zSeries. Dabei werden alle wesentlichen Aspekte dargestellt, die zum Verstandnis des Mainframes notwendig sind.
Dieses Buch gibt einen Uberblick uber das Betriebssystem IBM z/OS und die Grorechnerfamilie der IBM zSeries. Dabei werden alle wesentlichen Aspekte da...
|
cena:
413,89 zł |
![]() |
GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen: Kiel, 19.–21. März 1980
ISBN: 9783540099529 / Niemiecki / Miękka / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Kieler Fachtagung "Struktur und Betrieb von Rechensystemen" ist die sechste Veranstaltung dieser Art, die gemeinsam von den Fachaus- schUssen "Rechnerorganisation und Betriebssysteme" der Gesellschaft fUr Informatik (GI) und "Technische Informatik" der Nachrichtentech- nischen Gesellschaft (NTG) in zweijahrigem Abstand seit 1970 veran- staltet wird. Die enge Verflechtung zwischen Rechnerstrukturen und Betriebssystemen, die in dieser gemeinsamen Tagung zum Ausdruck ge- bracht wird, hat in der "vertikalen Verlagerung" einen neuen sicht- baren Ausdruck erhalten. Auf beiden Gebieten finden in...
Die Kieler Fachtagung "Struktur und Betrieb von Rechensystemen" ist die sechste Veranstaltung dieser Art, die gemeinsam von den Fachaus- schUssen "Rec...
|
cena:
200,43 zł |
![]() |
Fachtagung Prozeßrechner 1981: München, 10. und 11. März 1981
ISBN: 9783540106173 / Niemiecki / Miękka / 476 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die dritte Fachtagung ProzeBrechner wird, ebenso wie die vorangegan genen ProzeBrechner-Fachtagungen 1974 (Karlsruhe) und 1977 (Augsburg) von der Gesellschaft fUr Informatik (GI), der Gesellschaft MeB- und Regelungstechnik (VDI/VDE-GMR) und dem Kernforschungszentrum Karlsruhe (KfK) gemeinsam veranstaltet. FederfUhrend bei der Fachtagung ProzeB rechner 1981 in MUnchen ist die Gesellschaft fUr Informatik. Auch die diesjahrige Tagung soll den allgemeinen Methoden der ProzeBrechen technik, insbesondere der Wechselwirkung zwischen speziellen Anwen dungsanforderungen einerseits und effizienten,...
Die dritte Fachtagung ProzeBrechner wird, ebenso wie die vorangegan genen ProzeBrechner-Fachtagungen 1974 (Karlsruhe) und 1977 (Augsburg) von der Gese...
|
cena:
200,43 zł |
![]() |
Mikroarchitekturen und Mikroprogrammierung: Formale Beschreibung und Optimierung: Formale Beschreibung und Optimierung
ISBN: 9783540133803 / Niemiecki / Miękka / 227 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Kapitel 2 umfaBt zuniichst eine verbale Beschreibung der fur die Mikroprogrammierung wichtigen Begriffe und Techniken (Abschnitt 2.1), wobei zur Erliiuterung abstrakte Maschinen oder Maschinen elemente dargestellt werden. Danach folgt in Abschnitt 2.2, aufbauend auf dem sogenannten Tupelmodell von Mikrooperationen, eine formale Priizisierung der eingefuhrten Begriffe. Zur Veranschaulichung werden in diesem Abschnitt Beispiele konkreter mikroprogrammierter Maschinen verwendet. Es handelt sich dabei jeweils urn Strukturen auf der Basis von Bitslice-Mikroprozessoren, also denjenigen Elementen,...
Kapitel 2 umfaBt zuniichst eine verbale Beschreibung der fur die Mikroprogrammierung wichtigen Begriffe und Techniken (Abschnitt 2.1), wobei zur Erlii...
|
cena:
200,43 zł |
![]() |
Mechanismen Zur Synchronisation Paralleler Prozesse
ISBN: 9783540172178 / Niemiecki / Miękka / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die vorliegende Arbeit entspricht inhaltlich meiner im Oktober 1985 yom Fach bereich Informatik der Technischen Hochschule Darmstadt genehmigten Disserta tion. Eine Ubersicht tiber die Themenstellungen der einzelnen Kapitel findet sich im Abschnitt "Thema und Gliederung der Arbeit." Ich mochte nicht versaumen, mich fur die Unterstutzung bei der Anfertigung dieser Arbeit zu bedanken: Mein besonderer Dank gilt Herrn Prof. Dr. J. L. Keedy, der diese Arbeit, zuerst in Darmstadt und spater in Newcastle/Australien, in hervorragender Weise be treut hat. Seine exzellente Sachkenntnis, sein...
Die vorliegende Arbeit entspricht inhaltlich meiner im Oktober 1985 yom Fach bereich Informatik der Technischen Hochschule Darmstadt genehmigten Disse...
|
cena:
200,43 zł |
![]() |
Programmiermethoden Der Künstlichen Intelligenz: Band 1
ISBN: 9783540194187 / Niemiecki / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Buch ist eine Einfuhrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise. Die Grundidee ist, dass jedem Problem ein angepasstes Verarbeitungsmodell (eine abstrakte Maschine) entspricht, das gefunden und mit Hilfe einer zugeordneten Programmiersprache operabel gemacht werden kann. Programmiersprachen konnen jedoch auch uminterpretiert werden, indem ihnen konzeptionell ein neues Verarbeitungsmodell zugrundegelegt wird. Diese Ausdrucksvielfalt fuhrt zu verschiedenen...
Das vorliegende Buch ist eine Einfuhrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung u...
|
cena:
200,43 zł |
![]() |
Parallelrechner-Architekturen: Ansätze Für Imperative Und Deklarative Sprachen
ISBN: 9783540500384 / Niemiecki / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parallelrechner-Architekturen zeigen den Weg zu hochleistungsfahigen, kostengunstigen Rechnerstrukturen. Um ihr Leistungspotential fur moglichst breite Anwendungsbereiche einfach und wirkungsvoll nutzbar zu machen, mussen Rechnerarchitektur und Softwarearchitektur einschliesslich der Programmiersprachen gemeinsam betrachtet und im Einklang miteinander entwickelt werden. In diesem Buch werden Aspekte der Parallelverarbeitung bei modernen imperativen und deklarativen Sprachen dargestellt, daraus resultierende Anforderungen an parallele Systemarchitekturen abgeleitet sowie geeignete...
Parallelrechner-Architekturen zeigen den Weg zu hochleistungsfahigen, kostengunstigen Rechnerstrukturen. Um ihr Leistungspotential fur moglichs...
|
cena:
200,43 zł |
![]() |
Visualisierung in Mathematik und Naturwissenschaften: Bremer Computergraphik-Tage 1988
ISBN: 9783540512240 / Niemiecki / Miękka / 139 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch gibt einen Querschnitt durch das Spektrum der Anwendungen der Computergraphik in Mathematik und Naturwissenschaften. Dabei werden auch neue computergraphische Algorithmen, komplexe Anwenderpakete und sogar HardwarelAsungen diskutiert. Die BeitrAge in diesem Band, die auf VortrAgen der ersten Bremer Computer-Graphik-Tage vom Juli 1988 basieren, sind entsprechend vielfAltig: Sie reichen von der Berechnung und Visualisierung mathematischer Objekte und Fraktale A1/4ber Probleme des Medical Imaging bei der Darstellung volumetrischer Daten, Untersuchungen von OberflAchentexturen fA1/4r...
Das Buch gibt einen Querschnitt durch das Spektrum der Anwendungen der Computergraphik in Mathematik und Naturwissenschaften. Dabei werden auch neue c...
|
cena:
200,43 zł |
![]() |
Architektur Von Rechensystemen: 12. Gi/Itg-Fachtagung, Kiel, 23.-25. März 1992
ISBN: 9783540553403 / Niemiecki / Miękka / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Tagungsreihe "Architektur von Rechensystemen" ist das wichtigste deutschsprachige Forum f}r das Fachgebiet "Rechensysteme". Die Tagungen dienen der Vorstellung neuer Ergebnisse und Entwicklungen aus den Bereichen Betriebssysteme, Rechnerarchitektur, Rechnerorganisation und Verteilte Systeme. Die Tagungen finden in zweij{hrigem Turnus statt und werden abwechselnd vom Fachbereich 3 "Technische Informatik und Architektur von Rechensystemen" der Gesellschaft f}r Informatik e.V. (GI) und vom Fachbereich 4 "Technische Informatik" der Informationstechnischen Gesellschaft im VDE (ITG)...
Die Tagungsreihe "Architektur von Rechensystemen" ist das wichtigste deutschsprachige Forum f}r das Fachgebiet "Rechensysteme". Die Tagungen dienen de...
|
cena:
200,43 zł |
![]() |
Funktionaler Entwurf Digitaler Schaltungen: Methoden Und Cad-Techniken
ISBN: 9783540567882 / Niemiecki / Miękka / 285 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diese Einfuhrung in den funktionalen Entwurf digitaler Schaltungen behandelt Methoden zum Logik-, Steuerwerks- und Datenpfadentwurf sowie die Implementierung solcher Entwurfe in integrierten Schaltungen. Ausserdem deckt sie die wesentlichen Aspekte ab, die fur das Verstandnis, den Einsatz und die Entwicklung entsprechender CAD-Werkzeuge wichtig sind. Das weiterfuhrende Lehrbuch wendet sich in erster Linie an Studierende der Informatik und der Elektrotechnik; ausser dem im Grundstudium aller Elektrotechnik- und Informatik-Fachbereiche vermittelten Wissen setzt es keine speziellen...
Diese Einfuhrung in den funktionalen Entwurf digitaler Schaltungen behandelt Methoden zum Logik-, Steuerwerks- und Datenpfadentwurf sowie die Implemen...
|
cena:
200,43 zł |
![]() |
Multiprozessor-Systeme: Architektur und Leistungsbewertung
ISBN: 9783540502623 / Niemiecki / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch behandelt den Aufbau und die Bedeutung von Multiprozessor-Systemen. Die beschriebenen Systeme - und zwar sowohl kommerziell verfugbare als auch erst im Forschungsstadium befindliche - werden auf ihre relevanten Merkmale hin untersucht und einander gegenubergestellt. Die resultierende Klassifikation ist in dieser Form in der Literatur noch nicht vorhanden. Sie schafft zum einen Licht im Begriffsdickicht und kann zum anderen als Basis fur Entscheidungen dienen. Ziel ist, dem Leser einen breiten Uberblick sowie fundierte Hintergrundinformation zu geben. Er kann das Buch auch als...
Das Buch behandelt den Aufbau und die Bedeutung von Multiprozessor-Systemen. Die beschriebenen Systeme - und zwar sowohl kommerziell verfugbare als au...
|
cena:
200,43 zł |
![]() |
Parallele Implementierung funktionaler Programmiersprachen
ISBN: 9783540520498 / Niemiecki / Miękka / 385 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Funktionale Programmiersprachen sind seiteneffektfrei und bilden daher eine vielversprechende Basis fur die Programmierung von Parallelrechnern. Sie enthalten in der Regel keine expliziten Sprachkonstrukte zur Spezifizierung von Parallelitat. Ein parallelisierender Compiler kann die in einem funktionalen Programm implizit enthaltene Parallelitat entdecken und das Progamm in parallel ausfuhrbare Prozesse zerlegen. Der Programmierer braucht sich also nicht, wie etwa in einer um Parallelkonstrukte erweiterten imperativen Programmiersprache, um die Verwaltung der parallelen Prozesse sowie...
Funktionale Programmiersprachen sind seiteneffektfrei und bilden daher eine vielversprechende Basis fur die Programmierung von Parallelrechnern. Sie e...
|
cena:
200,43 zł |
![]() |
Programmiermethoden Der Künstlichen Intelligenz
ISBN: 9783540524694 / Niemiecki / Miękka / 430 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Buch ist der 2. Teil einer Einfuhrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise. Die Grundidee ist, dass es zu jedem Problem ein angepasstes Verarbeitungsmodell (eine abstrakte Maschine) gibt, das mit Hilfe einer zugeordneten Programmiersprache operabel gemacht werden kann. Programmiersprachen konnen jedoch auch uminterpretiert werden, indem ihnen konzeptionell ein neues Verarbeitungsmodell zugrunde gelegt wird. Diese Ausdrucksvielfalt fuhrt zu verschiedenen...
Das vorliegende Buch ist der 2. Teil einer Einfuhrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -impl...
|
cena:
182,06 zł |
![]() |
Massiv parallele Programmierung mit dem Parallaxis-Modell
ISBN: 9783540528531 / Niemiecki / Miękka / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die vorliegende Arbeit entstand wiilirend meiner Zeit als wissenschaftlicher Mitarbeiter der Universitat Stuttgart am Lehrstuhl fUr Programmiersprachen und ihre Ubersetzer, bei Herrn Prof. Dr. Gerhard Barth (inzwischen Leiter des Deutschen Forschungszentrums fUr Kiinstliche Intelligenz in Kaiserslautern, DFKI), sowie wahrend meines fast zweijiilirigen Aufenthalts in den USA, an der University of Southern California, Los Angeles, der durch ein Stipendium der Fulbright-Kommission ermoglicht wurde. Dieses Buch gliedert sich in fiinfzehn Kapitel und einen Anhang. Nach der Einleitung und der...
Die vorliegende Arbeit entstand wiilirend meiner Zeit als wissenschaftlicher Mitarbeiter der Universitat Stuttgart am Lehrstuhl fUr Programmiersprache...
|
cena:
200,43 zł |