Bücher veröffentlicht von Springer Vieweg

Mathematik für die Informatik: Dieses Buch bringt Ihnen die Grundlagen beiDas Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Weiterhin demonstriert es Anwendungen von mathematischen Konzepten und Methoden in der Informatik. Diese betreffen insbesondere formale Methoden der Programmverifikation und -entwicklung und den Entwurf von generischen Programmen. Ein spezielles Konzept mit einer leicht verständlichen Vermittlung des Stoffs, vielen Beispielen mit Rückgriffen auf die Schul-Mathematik und detaillierten Beweisen (verbunden mit der Erklärung des logischen Hintergrunds) erleichtert den Einstieg in die Mathematik an einer wissenschaftlichen Hochschule. Dadurch werden die Studierenden auch auf spätere Begriffe und tiefergehende Anwendungen der Mathematik in der Informatik gut vorbereitet. Die 157 Übungsaufgaben, aufgeteilt in die 12 einzelnen Kapitel, sollen helfen, das Erlernte zu festigen und zu kontrollieren. Zahlreiche Lösungsvorschläge am Ende des Buchs ermöglichen die Überprüfung der eigenen Lösungen.Mit diesem Buch gelingt der Einstieg ins Informatik-StudiumMit diesem Buch schaffen Sie eine solide Basis für die Mathematikausbildung im Rahmen des Informatikstudiums. Zudem sind Sie durch die vorgestellten Problemstellungen in der Lage, selbstständig mathematische Konzepte und Methoden anzuwenden. Zielgruppen dieses Buchs über Mathematik in der Informatik sind Bachelor-Studierende in den ersten Studiensemestern folgender Fachbereiche:InformatikMathematikIngenieurwissenschaften

Die Beiträge des Bandes Commercial Vehicle Technology 2020/2021 sind eine Sammlung von Publikationen für das 6. CVT Symposium der Commercial Vehicle Alliance Kaiserslautern. Wie in den Jahren zuvor, wurden zahlreiche Beiträge zu aktuellen Entwicklungen im Nutzfahrzeugbereich zu einer interessanten und informativen Sammlung zusammengestellt. Die Beiträge sind für Maschinenbauer, Elektrotechniker und Informatiker aus Industrie und Wissenschaft von Interesse und zeigen den aktuellen Stand der Technik auf diesem Gebiet. Die Inhalte der Publikationen umfassen die Themen automatisiertes und vernetztes Fahren und Arbeiten; Energie- und Ressourceneffizienz; Innovative Antriebe, Elektromobilität, alternative Kraftstoffe; Innovative Entwicklungen und Anwendungen; Nutzungsvariabilität, Lastdatenanalyse und Auslegungslasten; Sicherheit, Zuverlässigkeit und Lebensdauer sowie Simulationsmethoden.The proceedings of Commercial Vehicle Technology 2020/2021 area collection of publications for the 6th CVT Symposium of the Commercial Vehicle Alliance Kaiserslautern. As in previous years numerous submissions focusing on current developments in the field of commercial vehicles have been composed into an interesting and informative collection. The contributions are of interest for mechanical engineers, electrical engineers and computer scientists working in industry and academia and show the current state-of-the-art in this field. The contents of the publications span the topics automated and connected driving and working; energy and resource efficiency; innovative drives, electromobility, alternative fuels; innovative development and applications; usage variability, load data analysis and design load targets; safety, reliability and durability as well as simulation methods.

Der vorliegende Band aus der Reihe Handbuch für Bauingenieure erläutert wichtige grundlegende und aktuelle Inhalte der Fachgebiete, welche sowohl durch die lebensnotwendige Ressource Wasser gekennzeichnet sind, als auch essentielle Auswirkungen auf diese hat.Es werden die Grundlagen als auch die angewandten Disziplinen behandelt. Zu den Grundlagendisziplinen zählen die Hydrologie und die Wasserwirtschaft sowie die technische Hydraulik, während zu den angewandten Disziplinen der Wasserbau, die Siedlungswasserwirtschaft mit den Teilbereichen Wasserversorgung sowie Abwassertechnik und die Abfalltechnik gehören.Dieser Band ist Teil der Reihe Handbuch für Bauingenieure, die insgesamt sieben Bände umfasst. Dazu gehören die Allgemeine Grundlagen des Bauingenieurwesens; Bauwirtschaft und Baubetrieb; Konstruktiver Ingenieurbau und Hochbau; Geotechnik; Wasserbau, Siedlungswasserwirtschaft, Abfalltechnik; Raumplanung, Stadtentwicklung und Öffentliches Baurecht; Verkehrsplanung sowie Bau und Betrieb von Verkehrsanlagen.

Die Fließbandfertigung hat ausgehend von der Automobilbranche die industrielle Massenproduktion von Gütern ermöglicht und erlaubt als Variantenfließfertigung bei einem stabilen Variantenmix auch die effiziente Herstellung ähnlicher Produktvarianten auf einer Linie.Im Umgang mit der steigenden Vielfalt und Dynamik im Automobilbau werden jedoch die Mehraufwände zur Aufrechterhaltung sowie die Grenzen der Variantenfließfertigung deutlich.Das Konzept der Modularen Produktion beschreibt eine alternative Organisationsform ohne Band und Takt für die variantenreiche Serienmontage, um auch in einem dynamischen Umfeld weiterhin eine effektive und effiziente Herstellung zu gewährleisten. Es kombiniert die hohe Arbeitsteilung einer Fließbandfertigung mit der Flexibilität und Wandlungsfähigkeit einer Inselfertigung und integriert zugleich Logistik- und Fertigstellungsprozesse. Dieses Buch umfasst die Organisation, Planung und Steuerung eines modularen Montagesystems sowie deren Anwendungauf eine Vormontage im Automobilbau.

Über die letzten Jahrzehnte ist ein anhaltender Wandel der Arbeitsbelastung durch die fortschreitende Technisierung und Computerisierung in allen Gesellschaftsbereichen sowie durch das Verlagern der Beschäftigungen in die Informationsverarbeitungs- und Dienstleistungstätigkeiten wahrnehmbar. Somit nahm auch das Bewusstsein in der Forschung, der Politik und der Arbeitswelt über die Ausmaße der Gesundheitsfolgen von der psychischen (Fehl-)Belastung am Arbeitsplatz zu. Eine Prämisse zur Verfolgung arbeitswissenschaftlicher Prinzipien für den nachhaltigen Gesundheitserhalt liegt in dem validen, objektiven, praktikablen und nicht zuletzt in dem ökonomischen ¿Detektieren¿ etwaiger (Fehl-)Belastung an Arbeitsplätzen. Die Idee, das endogene, spontane und unwillkürliche Lidschlagverhalten des Menschen und insbesondere die Lidschlag- oder Lidschlussfrequenz als objektiven Indikator für die aktuelle kognitive Beanspruchung zu nutzen, ist nicht neu. Trotz der recht zahlreichen Studien sind dieErkenntnisse bis heute nicht hinreichend. Norman Reßut widmet sich daher der Zielstellung, die aktuelle Erkenntnislage vom Zusammenhang der psychisch (mentalen) Belastung/ Beanspruchung und dem Lidschlagverhalten in Teilen zu überprüfen und zu erweitern.

Stefan Scholz stellt in diesem essential die wesentlichen Anforderungen an die Arbeitsweise für eine sichere Kostenplanung dar. Der Leser erhält außerdem Hinweise und Tipps aus der Praxis für die sichere Kostenermittlung von Bauvorhaben. Die Arbeitsdateien und das Praxisprojekt zum Buch ermöglichen eine kurzfristige Umsetzung von Kostenplanungen des eigenen Projektes.