Formale Methoden Und Kleine Systeme
DOWNLOAD
Download Formale Methoden Und Kleine Systeme PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Formale Methoden Und Kleine Systeme book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Formale Methoden Und Kleine Systeme
DOWNLOAD
Author : Dirk Siefkes
language : de
Publisher: Springer-Verlag
Release Date : 2013-03-08
Formale Methoden Und Kleine Systeme written by Dirk Siefkes and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-03-08 with Technology & Engineering categories.
Wieviele Menschen können an einem Gespräch teilnehmen? Drei, vier, fünf. Darüber wird's schwierig. Darunter wird's ernst: ein Wort unter vier Augen. Auch bei einem Selbstgespräch bin ich noch ZU zweit. Ist die Gruppe größer, bilden sich Strukturen heraus: Es treten Wortführer auf, Untergruppen erscheinen, manche kommen nie zu Wort, werden schweigsam. Bei noch mehr Teilnehmern ergreift man Maßnahmen: Wortmeldungen, Refer enten, Arbeitsgruppen; braucht man Hilfsmittel: Rednerlisten, Mikrofone; muß man laut und deutlich reden; lernt man die einzelnen nicht mehr kennen; lernt man nicht mehr, sondern sagt seine Meinung. Je größer die Gruppe, desto größer die Abstände und desto schwieriger die Verständigung. Ich kann nicht einmal denen richtig zuhören, die neben mir stehen. Die Probleme zu großer Gruppen können auch in kleinen auftreten. Während einer Ehekrise kann man auf einmal nur noch schriftlich kommunizieren; muß man Sprechzeiten festlegen; hört man nicht, was der Partner sagt; kann sich nicht mehr verständigen. Etwas ist zu groß geworden. Ob eine Gruppe groß oder klein ist, hängt nicht nur von der Anzahl ab. Also wovon dann? Mit festen Formen ermöglichen oder verbessern wir die Verständigung in größeren Gruppen: Jeder kommt mal dran; wir sprechen alle eine Sprache; wir achten uns. Aber Formen erstarren. Aus der Achtung wird Verachtung, als Höf lichkeit getarnt. Wir reden in Floskeln. Tuscheln hinter vorgehaltener Hand mit dem Nachbarn. Wieder kommt es nicht auf die Art der Formen an, sondern was wir daraus machen.
Foundations Of Computer Science
DOWNLOAD
Author : Wilfried Brauer
language : en
Publisher: Springer Science & Business Media
Release Date : 1997-10-24
Foundations Of Computer Science written by Wilfried Brauer and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 1997-10-24 with Computers categories.
Content Description #Dedicated to Wilfried Brauer.#Includes bibliographical references and index.
Semiotic Evolution And The Dynamics Of Culture
DOWNLOAD
Author : Marcel Bax
language : en
Publisher: Peter Lang
Release Date : 2004
Semiotic Evolution And The Dynamics Of Culture written by Marcel Bax and has been published by Peter Lang this book supported file pdf, txt, epub, kindle and other format this book has been release on 2004 with Language Arts & Disciplines categories.
This book is about patterns of development in the history of culture. Bringing together three areas of research: semiotics, cultural history, and evolutionary psychology, it attempts to bridge the gap that still separates the study of culture from the cognitive sciences. The multidisciplinary approach chosen by the contributors derives its impetus from the deep conviction that in order to understand the logic of cultural development, one must take the building blocks of culture, that is, signs and language, as a starting point for research. Central issues related to patterns of cultural evolution are dealt with in contributions on the development of mind and culture, the history of the media, the diversity of sign systems, culture and code, and the dynamics of semiosis. Theoretically oriented contributions alternate with in-depth case studies on such diverging topics as the evolution of language and art in prehistory, ritual as the fountainhead of indirect communication, developments in renaissance painting, the evolution of classification systems in chemistry, changing attitudes toward animal consciousness, and developments in computer technology.
Digitale Hardware Software Systeme
DOWNLOAD
Author : Christian Haubelt
language : de
Publisher: Springer-Verlag
Release Date : 2010-06-03
Digitale Hardware Software Systeme written by Christian Haubelt and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2010-06-03 with Computers categories.
Eingebettete Systeme sind aus unserem täglichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezialisiertheit werden diese zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches, über Hardware- und Softwaregrenzen hinausgehendes Verständnis der Verifikationsproblematik erforderlich. Das vorliegende Lehrbuch dient als Einführung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur Hardware- und Software-Verifikation als auch bei der Verifikation der Schnittstellen. Alle Verfahren werden in einer einheitlichen Notation für Hard- und Software beschrieben. Die wesentlichen Aspekte reichen, angefangen bei der Spezifikation, von der Verifikation der Funktionalität bis hin zur Überprüfung des Zeitverhaltens. Das vorliegende Buch bietet Studierenden der Informatik, Elektrotechnik, Informationstechnik und Mechatronik fundiertes Wissen und ist zugleich ein wertvolles Referenz- und Nachschlagewerk für Entwickler eingebetteter Systeme.
Robotic Systems
DOWNLOAD
Author : Ashish Dutta
language : en
Publisher: BoD – Books on Demand
Release Date : 2012-02-03
Robotic Systems written by Ashish Dutta and has been published by BoD – Books on Demand this book supported file pdf, txt, epub, kindle and other format this book has been release on 2012-02-03 with Technology & Engineering categories.
This book brings together some of the latest research in robot applications, control, modeling, sensors and algorithms. Consisting of three main sections, the first section of the book has a focus on robotic surgery, rehabilitation, self-assembly, while the second section offers an insight into the area of control with discussions on exoskeleton control and robot learning among others. The third section is on vision and ultrasonic sensors which is followed by a series of chapters which include a focus on the programming of intelligent service robots and systems adaptations.
Sozialgeschichte Der Informatik
DOWNLOAD
Author :
language : de
Publisher: Springer-Verlag
Release Date : 2013-07-02
Sozialgeschichte Der Informatik written by and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-07-02 with Business & Economics categories.
Die Entwicklung des Wissenschafts- und Technikfeldes Informatik wird als kultureller und sozialer Prozeß beschrieben und problematisiert. Für diesen interdisziplinären Ansatz wird eine geeignete Methodologie entwickelt und in Detailstudien exemplifiziert.
Schnittstellen
DOWNLOAD
Author : Britta Schinzel
language : de
Publisher: Springer-Verlag
Release Date : 2013-09-03
Schnittstellen written by Britta Schinzel and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-09-03 with Technology & Engineering categories.
Die in diesem Band versammelten Texte behandeln aktuelle Probleme der Informationstechnik. Es geht um die beeindruckenden Leistungen ebenso wie um die Mängel und Gefahren der neuen elektronischen Medien. Dabei richten die hier vorgelegten Analysen ihr besonderes Augenmerk auf die gesellschaftlichen Folgen, die mit der zunehmenden "Computerisierung" von Arbeit und Freizeit sowie der Kommunikation generell verbunden sind. Es wird aber nicht allein eine Bestandsaufnahme der gegenwärtigen Lage versucht, sondern auch nach aussichtsreichen theoretischen und praktischen Mitteln gefragt, die angemessene Reaktionen auf die vielfältigen Probleme der IT begünstigen. So werden einerseits theoretische Beschreibungs- und Erklärungsmöglichkeiten vorgestellt und erprobt, die ungewöhnliche Perspektiven eröffnen und zugleich der Komplexibilität des Gegenstands gerecht werden wollen. Andererseits steht exemplarisch die normative Kraft und Reichweite jener handlungsleitenden Instrumente, die uns Recht und Moral bereitstellen, auf dem Prüfstand.
Konomie Multiperspektivischer Unternehmensmodellierung
DOWNLOAD
Author : Frank Wolff
language : de
Publisher: Springer-Verlag
Release Date : 2009-03-24
Konomie Multiperspektivischer Unternehmensmodellierung written by Frank Wolff and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2009-03-24 with Business & Economics categories.
Die Unternehmensmodellierung ist ein zentrales Forschungsthema der Wirtschaftsinformatik. Die Forschung ist dabei vor allem auf den Entwurf einschlägiger Modellierungssprachen und -methoden sowie begleitender Integrationsrahmen und Referenzmodelle gerichtet. Dabei wird i. d. R. vereinfachend davon ausgegangen, dass Unternehmensmodelle einen signifikanten wirtschaftlichen Vorteil versprechen, der den mit ihrer Erstellung und Pflege verbundenen Aufwand rechtfertigt. Diese Annahme ist allerdings aus wissenschaftlicher Sicht nicht überzeugend: Die Erstellung differenzierter Unternehmensmodelle kann mit erheblichem Aufwand verbunden sein, der gewiss nicht immer durch den erzielten Nutzen kompensiert wird. In der Praxis ist eine überzeugende Analyse der Wirtschaftlichkeit der Unternehme- modellierung von grundlegender Bedeutung. Größere Investitionen in die Modellierung dürften in den meisten Unternehmen nachvollziehbare Schätzungen von Kosten und Nutzen voraussetzen. Darüber hinaus ist die Wirtschaftlichkeit der Unternehmensmodellierung auch ex post ? also nach der Erstellung von Modellen ? ein bedeutsames Thema für das Controlling. Es kann deshalb vermutet werden, dass die Vernachlässigung einschlägiger Ansätze zur Wirtschaftlichkeitsberechnung die Verbreitung von Ansätzen der Unternehme- modellierung in der Praxis behindert hat. Vor diesem Hintergrund ist das Werk von Frank Wolff auf zwei Ziele gerichtet. Einerseits untersucht es die Faktoren, die die Wirtschaftlichkeit der Unternehmensmodellierung bee- flussen. Andererseits wird eine Methode entwickelt, die die Bewertung der Wirtschaftlichkeit der Unternehmensmodellierung für ein einzelnes interessiertes Unternehmen unterstützt. Dabei schlägt Herr Wolff mit seiner Arbeit die Brücke zwischen Theorie undPraxis.
Gabler Wirtschafts Informatik Lexikon
DOWNLOAD
Author : Eberhard Stickel
language : de
Publisher: Springer-Verlag
Release Date : 2013-03-13
Gabler Wirtschafts Informatik Lexikon written by Eberhard Stickel and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-03-13 with Business & Economics categories.
Unternehmen und Märkte sind zurzeit durch neue Informations- und Kommunikationstechniken einem grundlegenden Wandel unterworfen. Studenten der Wirtschaftsinformatik müssen sich heute mit diesem Wandel auseinander setzen, um morgen betriebliche Abläufe erfolgreich gestalten zu können. Das Gabler Wirtschaftsinformatik-Lexikon bietet das gesamte Wissen der Wirtschaftsinformatik zum Nachschlagen, Verstehen, Anwenden. Es informiert umfassend über fachliche und technische Analysemöglichkeiten, über die Planung von Kommunikationssystemen bis zu ihrer Implementierung und Nutzung im Unternehmen.
Neuronale Netze Und Subjektivit T
DOWNLOAD
Author : Anita Lenz
language : de
Publisher: Springer-Verlag
Release Date : 2013-03-13
Neuronale Netze Und Subjektivit T written by Anita Lenz and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-03-13 with Technology & Engineering categories.
Neuronale Netze sind en vogue. Als neue Theorie von der Künstlichen Intelligenz hat sie die klassische KI beerbt. Die Neuro-Theorien haben die Definitionsmacht bei der Schaffung von Leitbegriffen übernommen. Dabei geht es um zwei zentrale Konzepte, um Bedeutungen und Lernen.Das wird in diesem Buch untersucht - erstmals mit dem theoretischen Ansatz der Kritischen Psychologie. Die Etappen des Buches sind: - Einführung in die Prinzipien Neuronaler Netze - Entstehung von Bedeutungen und die Verwendung von Bedeutungstheorien in der Informatik - Entwicklung des Lernens und die Verwendung von Lerntheorien bei Neuronalen Netzen - Untersuchung der Reichweite und Grenzen der Neuro-Theorien an Beispielen.