Computer science Books
Walter de Gruyter Mensch & Computer 2013 - Tagungsband: 13.
Book Synopsis
£78.30
Springer Fachmedien Wiesbaden Logik für Informatiker: Eine Einführung
Book Synopsis1 Einführung und mathematische Grundlagen.- 1.1 Einführung in die Fragestellung.- 1.2 Allgemeine mathematische Grundbegriffe.- 1.3 Berechenbarkeit.- 1.4 Erzeugungssysteme, Termmengen.- 2 Aussagenlogik.- 2.1 Aussagenlogische Formeln, die Syntax.- 2.2 Interpretationen und Belegungen.- 2.3 Tautologien und logische Äquivalenz.- 2.4 Ausdrucksstärke, Normalformen, Kompaktheitssatz.- 3 Prädikatenlogik.- 3.1 Einleitung.- 3.2 Syntax der Prädikatenlogik.- 3.3 Semantik und logische Grundbegriffe.- 3.4 Formalisierung des logischen Schließens.- 3.5 Normalformen prädikatenlogischer Formeln.- 3.6 Herbrand-Strukturen, Kompaktheit und rekursive Aufzählbarkeit der logischen Konsequenz.- 3.7 Die Unentscheidbarkeit der Prädikatenlogik.- 3.8 Prädikatenlogik mit Gleichheit.- 3.9 Theorien.- 3.10 Ausdrucksstärke der Prädikatenlogik 1. Stufe.- 4 Grundlagen der Logischen Programmierung.- 4.1 Logik-Programme.- 4.2 Unifikation.- 4.3 Berechnungen von Logik-Programmen.- 4.4 Korrektheit und Vollständigkeit des Resolutionsverfahrens.- 5 Modale Aussagenlogik.- 5.1 Einführung in die Modallogik.- 5.2 Entscheidbarkeit.- 5.3 Von der Modallogik zur Temporären Logik.- Übungsaufgaben.- Das Griechische Alphabet.- Verzeichnis der verwendeten Symbole.- Stichwort- und Namensverzeichnis.Table of Contents1 Einführung und mathematische Grundlagen.- 1.1 Einführung in die Fragestellung.- 1.2 Allgemeine mathematische Grundbegriffe.- 1.3 Berechenbarkeit.- 1.4 Erzeugungssysteme, Termmengen.- 2 Aussagenlogik.- 2.1 Aussagenlogische Formeln, die Syntax.- 2.2 Interpretationen und Belegungen.- 2.3 Tautologien und logische Äquivalenz.- 2.4 Ausdrucksstärke, Normalformen, Kompaktheitssatz.- 3 Prädikatenlogik.- 3.1 Einleitung.- 3.2 Syntax der Prädikatenlogik.- 3.3 Semantik und logische Grundbegriffe.- 3.4 Formalisierung des logischen Schließens.- 3.5 Normalformen prädikatenlogischer Formeln.- 3.6 Herbrand-Strukturen, Kompaktheit und rekursive Aufzählbarkeit der logischen Konsequenz.- 3.7 Die Unentscheidbarkeit der Prädikatenlogik.- 3.8 Prädikatenlogik mit Gleichheit.- 3.9 Theorien.- 3.10 Ausdrucksstärke der Prädikatenlogik 1. Stufe.- 4 Grundlagen der Logischen Programmierung.- 4.1 Logik-Programme.- 4.2 Unifikation.- 4.3 Berechnungen von Logik-Programmen.- 4.4 Korrektheit und Vollständigkeit des Resolutionsverfahrens.- 5 Modale Aussagenlogik.- 5.1 Einführung in die Modallogik.- 5.2 Entscheidbarkeit.- 5.3 Von der Modallogik zur Temporären Logik.- Übungsaufgaben.- Das Griechische Alphabet.- Verzeichnis der verwendeten Symbole.- Stichwort- und Namensverzeichnis.
£999.99
Springer Fachmedien Wiesbaden Komplexitätstheorie Band I: Grundlagen:
Book SynopsisDie Komplexitätstheorie untersucht den algorithmischen Aufwand zur Lösung von Problemen mit Hilfe einer Maschine. Dabei werden Rechnermodelle wie Turing-Maschinen oder Registermaschinen verwendet, um von speziellen Architektur- und Implementationsdetails unabhängige Ergebnisse zu gewinnen.Table of Contents1 Das TM-Modell.- 1.0 Vorbemerkungen.- 1.0.1 Mengen.- 1.0.2 Graphen.- 1.0.3 Strings, Sprachen.- 1.1 Turing-Maschinen.- 1.1.1 Das allgemeine Modell.- 1.1.2 Verschiedene Speichertypen.- 1.1.3 Beispiele für die Arbeitsweise von TM.- 1.1.4 Berechenbarkeit.- 1.1.5 Nichtdeterministische Berechnungen.- 1.2 Das Rechnen mit TM.- 1.2.1 Elementare Techniken.- 1.2.2 Simulation, Band- und Kopf-Reduktion.- 1.2.3 Universelle Maschinen.- 1.3 Mathematische Grundlagen.- 1.3.1 Notation.- 1.3.2 Asymptotisches Wachstum.- 1.3.3 Wachstumsordnungen.- 1.3.4 Rekursionsgleichungen.- 1.4 Die Komplexität von TM.- 1.4.1 Schranken, Maße und Konstruierbarkeit.- 1.4.2 Komplexitätsklassen.- 1.4.3 Diagonalisierung.- 1.4.4 Bandkompression.- 1.4.5 Lineare Beschleunigung.- 1.5 Übungsaufgaben.- 1.6 Bemerkungen und Literaturhinweise.- 2 Weitere Maschinenmodelle.- 2.1 Registermaschinen.- 2.1.1 Das RAM-Modell.- 2.1.2 Komplexitätsmaße für RAMs.- 2.1.3 Simulation von RAMs durch TM.- 2.1.4 Simulation von TM durch RAMs.- 2.2 Schaltkreis-Familien.- 2.2.1 Boolesche Funktionen und Schaltkreise.- 2.2.2 Schaltkreiskomplexität.- 2.2.3 Uniformität.- 2.2.4 Simulation von Schaltkreisfamilien durch TM.- 2.2.5 Simulation von TM durch Schaltkreisfamilien.- 2.2.6 Universelle Schaltkreise.- 2.3 Arithmetische Modelle, Entscheidungsgraphen.- 2.3.1 Arithmetische RAMs und Schaltkreise.- 2.3.2 Entscheidungsbaum-Modelle.- 2.4 Übungsaufgaben.- 2.5 Bemerkungen und Literaturhinweise.- 3 Hierarchie-Sätze.- 3.1 Untere Schranken und Komplexitätslücken.- 3.1.1 Logarithmische Platzschranke.- 3.1.2 Quadratische Zeitschranke für 1-Band Maschinen.- 3.1.3 Komplexitätslücke bei zeitbeschränkten 1-Band TM.- 3.1.4 Komplexitätslücke bei kleinen Platzschranken.- 3.2 Deterministische Hierarchien.- 3.2.1 Allgemeiner Hierarchiesatz.- 3.2.2 Zeithierarchien.- 3.2.3 Platzhierarchien.- 3.3 Translation.- 3.4 Nichtdeterministische Hierarchien.- 3.4.1 Komplementabschluß von nichtdeterministischem Platz.- 3.4.2 Nichtdeterministischer Platzhierarchiesatz.- 3.4.3 Nichtdeterministischer Zeithierarchiesatz.- 3.5 Das Komplexitätsmaß Reversal.- 3.5.1 Reversalbeschränkte TM.- 3.5.2 Vergleich von Time und Reversal.- 3.5.3 Vergleich von Space und Reversal.- 3.5.4 Bandreduktion und Reversal für NTM.- 3.6 Abstrakte Komplexitätstheorie.- 3.6.1 Allgemeines Gap-Theorem.- 3.6.2 Speedup-Theorem.- 3.6.3 Union-Theorem.- 3.6.4 Abstrakte Komplexitätsmaße.- 3.7 Übungsaufgaben.- 3.8 Bemerkungen und Literaturhinweise.- 4 Vergleich von Speicherstrukturen.- 4.1 Ein allgemeines Speichermodell.- 4.1.1 On-line versus off-line.- 4.1.2 Konstruierbare Speicher.- 4.1.3 Lineare Bandsimulation konstruierbarer Speicher.- 4.2 1-dimensionale Speicher.- 4.2.1 Bandreduktion für NTM.- 4.2.2 Simulation von Mehrkopf-Maschinen.- 4.2.3 TM mit separatem Einweg-Eingabeband.- 4.2.4 1 versus 2 Bänder bei Zweiweg-Eingabe.- 4.3 Untere Schranken für Speicherzugriffe.- 4.3.1 Kolmogorov-Komplexität von Strings.- 4.3.2 Der Einfluß des Radius.- 4.4 Obere Schranken für Speicherzugriffe.- 4.4.1 Einbettung von Graphen.- 4.4.2 Kompaktifizierung.- 4.4.3 Schnelle Simulationen.- 4.5 Übungsaufgaben.- 4.6 Bemerkungen und Literaturhinweise.- 5 Zeit- versus Platzkomplexität.- 5.1 Time-Space-Relationen für 1-Band TM.- 5.1.1 Simulation platzbeschränkter 1-Band DTM.- 5.1.2 Simulation platzbeschränkter 1-Band NTM.- 5.1.3 Mehrdimensionale 1-Band TM.- 5.2 Das Pebble-Game.- 5.2.1 Berechnungsgraphen.- 5.2.2 Superkonzentratoren.- 5.2.3 Schichtungen von Graphen.- 5.3 Platzeffiziente Simulation von TM und RAMs.- 5.3.1 Lineare Speicher.- 5.3.2 Nichtlineare Speicher.- 5.3.3 Auxiliary Pushdown TM.- 5.4 Simultane Ressource-Schranken.- 5.4.1 Schaltkreisweite.- 5.4.2 Vergleich der Ressourcen von TM und Schaltkreisen.- 5.5 Übungsaufgaben.- 5.6 Bemerkungen und Literaturhinweise.- 6 Sequentielle Komplexitätsklassen.- 6.1 Einführung.- 6.1.1 Notation.- 6.1.2 Zeit-Platz-Hierarchie.- 6.1.3 Reduzierbarkeit, Vollständigkeit.- 6.2 Die Klassen von L bis P.- 6.2.1 Labyrinth-Probleme zur Charakterisierung von L und NL.- 6.2.2 P -vollständige Probleme.- 6.3 NP-vollständige Probleme.- 6.3.1 Das Erfüllbarkeitsproblem.- 6.3.2 Selbstreduzierbarkeit.- 6.3.3 Erfüllbarkeit für 3-CNF.- 6.3.4 Graphenprobleme: Cliquen, Kreise und Überdeckungen.- 6.3.5 Das Färbungsproblem für Graphen.- 6.3.6 Diskrete Optimierung.- 6.3.7 NP -Vollständigkeit im strengen Sinne.- 6.3.8 Obere Schranken und Parameterkomplexität.- 6.4 Von NP bis PSP ACE.- 6.4.1 Die Struktur von NP.- 6.4.2 Die Relation zwischen NP und co-NP.- 6.4.3 UP, Einweg-Funktionen und Kryptologie.- 6.4.4 PSP ACE -Vollständigkeit.- 6.5 Linguistische Klassifikationen.- 6.5.1 Formale Grammatiken.- 6.5.2 Die Chomsky-Hierarchie.- 6.5.3 Kontextfreie Sprachen und Log CFL.- 6.5.4 Reguläre Ausdrücke.- 6.6 Übungsaufgaben.- 6.7 Bemerkungen und Literaturhinweise.- Stichwortverzeichnis.- Symbolverzeichnis.- Zeitschriftenverzeichnis.- Konferenzverzeichnis.- Verzeichnis von Fachorganisationen.
£40.84
Springer Fachmedien Wiesbaden Skriptum Informatik: eine konventionelle
Book SynopsisDrei Ziele haben Stoffauswahl und Darstellung dieses Buches: Studierende erlernen die Codierung von Algorithmen mit MODULA-2, einer modernen imperativen Programmiersprache, die so einfach und sauber ist, dass die Grundbegriffe der Programmierung klar und systematisch eingeführt werden können, die sich aber andererseits auch in der Praxis bewährt. Wichtig ist auch die Möglichkeit, in MODULA-2 den Objektbegriff vorzubereiten. Theoretische Aspekte, z.B. Berechenbarkeit, Grammatiken, Semantik und Programmierverifikation, werden ganz überwiegend im Zusammenhang mit konkreten Problemen der Programmierung behandelt, so dass der praktische Nutzen jederzeit erkennbar bleibt.Trade Review"Das mit vielen vollständigen Programmbeispielen aufgelockerte Skript eignet sich daher für Studiengänge der Hauptfach-, Nebenfach-, oder sogenannten Bindestrich-Informatik, in denen Konzepte und Praxis der Programmierung nicht separat, sondern gegenseitig stützend entwickelt werden sollen." RKW - BücherdienstTable of Contents1. Grundlagen.- 1.1 Algorithmus und Berechenbarkeit.- 1.1.1 Algorithmus.- 1.1.2 Turing-Maschine.- 1.1.3 Berechenbarkeit.- 1.2 Sprache und Grammatik.- 1.2.1 Sprache.- 1.2.2 Grammatik.- 1.3 Rechner.- 1.3.1 Von-Neumann-Rechnerarchitektur.- 1.3.2 Rechnersysteme.- 1.4 Informatik als Wissenschaft.- 2. Imperative Programmierung — die Sprache Modula-2.- 2.1 Syntaxdarstellungen.- 2.2 Elementare funktionale Modula-2-Programme.- 2.2.1 Eine Modula-2-Teilsprache.- 2.2.2 Programmverzweigungen.- 2.2.3 Funktionen und Prozeduren.- 2.2.4 Elementare Datentypen, Aufzählungs- und Bereichstypen.- 2.2.5 Eingabevariablen.- 2.2.6 Rekursive Funktionen und Prozeduren.- 2.2.7 Nachteile funktional-rekursiver Programme.- 2.3 Iterative Programme.- 2.3.1 Wertzuweisungen und Referenzparameter.- 2.3.2 Gültigkeitsbereich und Lebensdauer.- 2.3.3 Anweisungen zur Iteration.- 2.3.4 Vergleich iterativer und rekursiver Lösungen.- 2.3.5 Sprunganweisungen.- 2.3.6 Prozedurtypen.- 2.4 Komplexe Datentypen.- 2.4.1 Mengen (Sets).- 2.4.1.1 Darstellung und Manipulation von Mengen.- 2.4.1.2 Ein Beispiel für Sets.- 2.4.2 Arrays (Felder).- 2.4.3 Records (Verbunde).- 2.4.3.1 Einfache Records.- 2.4.3.2 Records mit Varianten.- 2.4.4 Zeiger (Pointer) und dynamische Variablen.- 2.4.4.1 Die Speicherung auf der Halde.- 2.4.4.2 Operationen auf Zeigern.- 2.4.4.3 Verkettete Listen.- 2.4.4.4 Anwendungen und Probleme dynamischer Variablen.- 2.4.5 Dateien (Files).- 2.4.5.1 Eigenschaften und formale Beschreibung.- 2.4.5.2 Dateien in Pascal.- 2.4.5.3 Dateien in Modula-2.- 3. Abstraktion.- 3.1 Abstraktionskonzepte in Programmiersprachen.- 3.2 Abstraktion in Modula-2.- 3.2.1 Das Prinzip der separaten Übersetzung.- 3.2.2 Modularisierung eines Programms.- 3.2.3 Datenkapselung.- 3.2.4 Abstrakte Datentypen.- 3.2.4.1 Das Prinzip des Abstrakten Datentyps.- 3.2.4.2 Abstrakte Datentypen Schlange und Stack.- 3.2.4.3 Abstrakter Datentyp für große Zahlen.- 3.2.4.4 Abstrakter Datentyp für komplexe Zahlen.- 4. Semantik, Verifikation und Test.- 4.1 Konzepte für eine Semantikdefinition.- 4.1.1 Semantik: Begriff und Motivation.- 4.1.2 Grundprinzipien von Semantiknotationen.- 4.1.3 Ein Beispiel für die operationale Semantik.- 4.2 Spezifikation und Verifikation von Programmen.- 4.2.1 Vor-und Nachbedingungen.- 4.2.2 Schwächste Vorbedingungen.- 4.2.3 Die Verifikation.- 4.2.4 Beschreibung einer Schleife durch eine Invariante.- 4.2.5 Konstruktion iterativer Programme.- 4.2.6 Zusammenfassung.- 4.3 Test.- 4.3.1 Begriffsbildung und Prinzipien.- 4.3.1.1 Begriffliche Abgrenzung.- 4.3.1.2 Aufgabenteilung und Zielsetzung.- 4.3.1.3 Material und Resultate des Tests.- 4.3.2 Grenzen des Testens.- 4.3.3 Die Konstruktion von Testdaten.- 4.3.4 Zusammenfassung.- 5. Programmierparadigmen und -sprachen.- 5.1 Programmierparadigmen.- 5.1.1 Imperatives Programmieren.- 5.1.2 Funktionales Programmieren.- 5.1.3 Logik-basiertes Programmieren.- 5.1.4 Objektorientiertes Programmieren.- 5.1.5 Regel-basiertes Programmieren.- 5.1.6 Programmierung von Mehrprozessor-Systemen.- 5.2 Übersicht über Programmiersprachen.- 6. Datenstrukturen und Algorithmen.- 6.1 Komplexität und Effizienz.- 6.1.1 Motivation und Begriffsbildung.- 6.1.2 Effizienz und Komplexität von Algorithmen.- 6.1.3 Komplexität von Funktionen und Sprachen.- 6.2 Graphen und Bäume.- 6.2.1 Graphen.- 6.2.2 Bäume.- 6.3 Suchen in gegebenen Datenstrukturen.- 6.3.1 Suchen in Tabellen.- 6.3.2 Suchen von Zeichenketten.- 6.4 Datenorganisationen für effizientes Suchen.- 6.4.1 Suchverfahren auf Bäumen.- 6.4.1.1 Binäre Suchbäume.- 6.4.1.2 AVL-Bäume.- 6.4.1.3 Optimale Suchbäume.- 6.4.1.4 B-Bäume.- 6.4.1.5 Weitere balancierte Suchbäume.- 6.4.2 Hashing.- 6.4.2.1 Begriffsbildung und Anforderungen.- 6.4.2.2 Perfektes Hashing.- 6.4.2.3 Kollisionsbehandlung.- 6.4.2.4 Löschen in Hash-Tabellen.- 6.4.2.5 Aufwandsabschätzung.- 6.4.2.6 Implementierung von Kollisionsbehandlungen.- 6.5 Sortieren.- 6.5.1 Klassifizierung und allgemeine Betrachtungen.- 6.5.2 Interne Sortierverfahren.- 6.5.2.1 Einfache Sortierverfahren.- 6.5.2.2 Schnelle Sortierverfahren.- 6.5.2.3 Implementierung ausgewählter Sortierverfahren.- 6.5.2.4 Aufwandsvergleich der Sortierverfahren.- 6.5.2.5 Sortieren durch Streuen und Sammeln.- 6.5.3 Externe Sortierverfahren.- 6.5.3.1 Direktes Mischen.- 6.5.3.2 Natürliches Mischen.- 6.5.3.3 Mehrwege-Mischen.- 6.6 Speicherverwaltung.- 6.6.1 Algorithmische Konzepte.- 6.6.2 Implementierung von Stacks.- Anhang A: Mathematische Grundbegriffe und Formeln.- Anhang B: Syntaxdiagramme für Modula-2.- Literatur.- Abkürzungsverzeichnis.- Modula-2-Index.
£31.34
Springer Fachmedien Wiesbaden LAN Praxis lokaler Netze
Book SynopsisDer Prozess der Vernetzung von Computern, vom firmeninternen Intranet bis zum weltweiten Internet, hat gerade erst richtig begonnen. Dieses Buch bietet auf dem Gebiet der Netzwerk- und Übertragungstechnologien in der sich schnell verändernden Welt zwischen Mainframe, Desktopcomputer, Laptop und Internet Hilfe und Orientierung. Es wendet sich vor allem an Praktiker und Systemverantwortliche, die oft nach nur kurzer Einweisung die Verantwortung für das neu installierte System übernehmen müssen. Die vierte überarbeitete und erweiterte Ausgabe beschreibt neueste Netzformen und Sicherheitskonzepte, berücksichtigt aktuelle Fassungen geltender Normen und behandelt Trends bei der Verkabelung und im Netzdesign.Trade Review"Das Buch zeichnet sich -trotz der in diesem Bereich rasanten Entwicklung- durch eine hohe Aktualität und Professionalität aus. Durch die hohe Kompetenz der beiden Autoren wird -auch dem weniger erfahrenem Anwender- ein schneller und unkomplizierter Einstieg in ein recht komplexes Gebiet ermöglicht." www.chemieonline.de, 02.12.2002Table of ContentsGrundlagen - Das physikalische Netz: Verkabelung und Anschlusstechnik - Netzarten, Topologien und Zugriffsverfahren - Aktive Netzwerkkomponenten, Koppelelemente und Internetworking - Protokolle - Verteilte Systeme - Betriebssysteme - Internet: Netz der Netze - Sicherheit - Management, Konzeption und Trends
£37.99
Springer Fachmedien Wiesbaden BASIC-Wegweiser für den Commodore 64:
Book SynopsisDas Wegweiser-Buch weist Wege zum erfolgreichen Einsatz des Commo dore 64. Das Wegweiser-Buch vermittelt aktuelles Grundlagenwissen zur Datenver arbeitung bzw. Informatik: -Was ist Hardware, Software und Firmware? - Was sind Großcomputer und Mikrocomputer? - Was sind Datenstrukturen und Programmstrukturen? -Was sind Betriebssysteme und Anwenderprogramme? - Was heißt ,fertige Programm-Pakete einsetzen'? -Was beinhaltet das eigene Programmieren? Nach der Lektüre dieses Abschnitts sind Sie in der Lage, den Commodore 64 in den Gesamtrahmen des Gebiets "Datenverarbeitung/Informatik" einzu ordnen. Das Wegweiser-Buch gibt eine erste Bedienungsanleitung: -Wie bediene ich Tastatur, Bildschirm, Floppy bzw. Disketteneinheit und Drucker des Commodore 64? -Wie erstelle ich mein erstes Programm in der Programmiersprache BASIC 2.0? -Welche Befehle umfaßt BASIC 2.0 (zu jedem Befehl wird ein Beispiel an gegeben)? -Welche Möglichkeiten bieten die drei Sprachversionen BASIC 2.0, BASIC 4.0 und SIMON's BASIC? - Laufen die Programme des Commodore 64 auf anderen Mikrocomputern von Commodore? Nach dem Durcharbeiten dieses Abschnitts können Sie Ihren Commodore 64 bedienen, Programme laufen lassen und einfache BASIC-Programme selbst erstellen und speichern. Das Wegweiser-Buch enthält einen kompletten Programmierkurs mit folgen den grundlegenden BASIC-Anwendungen: - Programme mit den wichtigen Ablaufstrukturen (Folge-, Auswahl-, W- derholungs-und Unterprogrammstrukturen). - Verarbeitung von Text, Ein-/Ausgabe und Tabellen. - Maschinennahe Programmierung( ... Bit für Bit). - Suchen, Sortieren, Mischen und Gruppieren von Daten. - Sequentielle Datei und Direktzugriff-Datei mit den Sprachen BASIC 2.0 und BASIC 4.0. Vorwort VI - Normale Grafik mit der Standardsprache BASIC 2.0. - Hl RES-Grafik und Sprite-Grafik mit SIMON's BASIC.Table of Contents1 Computer allgemein.- 2 Einstieg in die BASIC-Programmierung des Commodore 64.- 3 Programmierkurs mit BASIC 2.0, BASIC 4.0 und SIMON’s BASIC.- Programmverzeichnis.- Sachwortverzeichnis.
£999.99
Springer Fachmedien Wiesbaden Simulation dynamischer Systeme: Grundwissen,
Book Synopsis1. Systemanalyse: Eine Einführung 1. 0 Überblick Unsere Wirklichkeit wird nicht so sehr geprägt durch die Einzelfunktionen ihrer vielen Bestandteile, sondern vielmehr durch deren Zusammenwirken. Manche Kom ponenten wirken stark aufeinander, andere nur schwach, weitere schließlich haben überhaupt nichts miteinander zu tun. Wir verwenden das Wort 'System', um damit eine Anzahl von Bestandteilen abzugrenzen, die untereinander relativ stark, mit ihrer gemeinsamen Systemumwelt aber nur relativ schwach interagieren und das so, daß man dem beobachteten Verhalten dieses Systems einen 'Zweck' zuordnen kann. Bei näherer Betrachtung ist unsere Realität voll solcher Systeme, und sogar voller Sy steme von Systemen: Menschen, Tiere, Pflanzen, Ökosysteme, Maschinen, Fabriken, Städte, Staaten. Um die Rolle der Systemanalyse zu diskutieren, befassen wir uns hier beispielhaft mit den komplexesten dieser Systeme: mit natürlichen Systemen (Orga nismen und Ökosystemen). Im Laufe der Evolution haben nur diejenigen natürlichen Systeme überleben können, denen es gelungen ist, Systemprozesse zu entwickeln, die ihre Erhaltung sichern, d. h. , die die Fähigkeit erworben haben, auch unter schwierigen und unerwarteten Bedin gungen zu überleben. Allerdings sind die meisten natürlichen Systeme nicht in der Lage, erfolgreich mit den schweren Störungen fertigzuwerden, die ihnen durch den hohen Ressourcenverbrauch und die Umweltbelastungen der modernen Gesell schaften aufgezwungen werden. Um die Zerstörung der ökologischen Basis und der natürlichen Ressourcen zu vermeiden, müssen wir lernen, diese Systeme in ihrem Verhalten besser zu verstehen und die Folgen unserer Handlungen zuverlässig abzu schätzen. Das Werkzeug für diese Aufgabe ist die Systemanalyse.Table of Contents0. Überblick und Vorbemerkungen.- 1. Systemanalyse: Eine Einführung.- 2. Grundwissen der Modellbildung und Simulation.- 3. Verhalten und Stabilität dynamischer Systeme.- 4. Simulationsmodelle.- 5. Anhang.- Anmerkungen zu den Programmen auf der Begleitdiskette.
£40.84
Springer Fachmedien Wiesbaden Studienführer IT an Fachhochschulen: Studieren
Book SynopsisDer Student erhält eine zuverlässige und detaillierte Übersicht über das konkrete Studienangebot der Fachhochschule. Gleichzeitig bekommt er konkrete Praktikums- und Karriereoptionen aufgezeigt: Mit spannenden Praktikerportraits und über 70 Firmenprofilen solcher Unternehmen, die die Vorzüge des FH-Studiums für das eigene Unternehmen zu schätzen wissen. Das neue Werk versteht sich als aktuelles und umfassendes Servicehandbuch, Übersicht und Orientierungshilfe für Studienbewerber, Studienanwärter, Fachhochschulstudenten und -absolventen. Es bietet einen detaillierten Einblick in das Studium der IT-Studiengänge an der Fachhochschule und die damit verbundenen Berufs- und Karrierechancen. Trade Review"Angesichts des Bedarfs gerade von FH-Absolventen dürfte der Führer auf breites Interesse stoßen." (ekz-Bibliotheksdienst, ID 29/02)Table of ContentsBildungsauftrag der Fachhochschule - Gestaltung der Praxisnähe - FH-Professoren: Erreichbare Coaches - IT-Studiengänge an der Fachhochschule - Praktika, Persönliche Qualifizierung - Tipps für Studium und Berufseinstieg - Erfolgs-Stories von IT-Praktikern mit FH-Abschluss - Fachhochschulen stellen sich vor - Unternehmen stellen sich vor
£37.99
Springer Fachmedien Wiesbaden The Efficiency of Theorem Proving Strategies: A
Book SynopsisDieses Buch in englischer Sprache widmet sich dem Thema der Effizienz von Beweisstrategien und bietet eine vergleichende und asymptotische Analyse. Das Werk stellt erstmalig asymptotische Schranken für die Größe der von vielen gebräuchlichen Beweisstrategien erzeugten Suchfelder bereit. Auf diese Weise erlaubt es ein theoretisches Verständnis der Effizienz unterschiedlicher Beweisverfahren. Es wird ein fundamental neues Werkzeug für den Effizienzvergleich von Beweisstrategien bereitgestellt. Die zweite Auflage wurde gegenüber der ersten leicht verbessert, neuere Literaturhinweise zudem berücksichtigt. This book is unique in that it gives asymptotic bounds on the sizes of the search spaces generated by many common theorem proving strategies. Thus it permits one to gain a theoretical unterstanding of the efficiencies of many different theorem proving methods. This is a fundamental new tool in the comparative study of theorem proving strategies.Table of ContentsBereitstellung asymptotischer Schranken für die Größe von Suchfeldern der von vielen gebräuchlichen Beweisstrategien erzeugten Suchräume - Gewinnung eines theoretischen Verständnisses der Effizienz unterschiedlicher Beweisverfahren - Effizienzvergleich von Beweisstrategien Asymptotic bounds on the sizes of the search spaces generated by many common theorem proving strategies - gaining a theoretical understanding of the efficiencies of many different theorem proving methods - a comparative study of theorem proving strategies
£40.49
Springer Fachmedien Wiesbaden Lehr- und Übungsbuch für die Rechner
Book Synopsis
£999.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Theorie und Numerik restringierter
Book SynopsisAufbauend auf Vorlesungen an den Universitäten Hamburg und Trier stellen die Autoren die „Theorie und Numerik restringierter Optimierungsaufgaben" umfassend dar. Ausführlich behandelt werden lineare Programme, Simplex-Verfahren und Innere-Punkte-Methoden, Optimalitätsbedingungen, nichtlineare restringierte Programme, nichtglatte Optimierung sowie Variationsungleichungen. Mit ca. 140 Aufgaben unterschiedlichen Schwierigkeitsgrades.Trade ReviewIch habe das Buch mit großem Interesse gelesen. Es enthält alle für Vorlesungen auf diesem Gebiet der nichtlinearen endlichdimensionalen Optimierung notwendigen Aussagen. Ausgehend von ihm können die Gebiete der linearen Optimierung, der Theorie nichtlinearer Optimierungsaufgaben, der Numerik nichtlinearer Optimierung und der Variationsaufgaben studiert werden. Es unterscheidet sich positiv von vielen weiteren auf dem Markt befindlichen Lehrbüchern dadurch, dass es sowohl eine umfangreiche Diskussion von Lösungsalgorithmen für Optimierungsaufgaben als auch die theoretischen Aussagen zu Optimalitäts- und Regularitätsbedingungen in hinreichender Breite und Tiefe enthält. Die Aussagen sind durchweg bewiesen, was für Vorlesungen für mathematische Studiengänge notwendig ist. Hervorheben möchte ich auch die Aufnahme von Übungsaufgaben. Zusammenfassend kann ich sagen: Das Buch ist das beste Lehrbuch zu Theorie und Lösungsverfahren der mathematischen Optimierung. Ich kann es sowohl Studierenden (mathematischer und auch anderer) Fachrichtungen als auch den Lehrenden auf dem Gebiet der mathematischen Optimierung sehr empfehlen. Anwendern von Optimierungsmethoden zum Beispiel im Operations Research wird dieses Buch ebenfalls ein wertvolles Nachschlagewerk sein. Prof. Dr. Stephan Dempe, TU Bergakademie Freiberg.Table of Contents1. Einführung.- 2. Optimalitätsbedingungen.- 3. Lineare Programme.- 4. Innere—Punkte—Methoden.- 5. Nichtlineare Optimierung.- 6. Nichtglatte Optimierung.- 7. Variationsungleichungen.
£999.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Coordination Technology for Collaborative
Book SynopsisGiven the broad popularity of Internet technology, even in its present immature state, and also the recent progress made towards a human-centered view of information technology, the time now seems ripe to essentially extend the scope and power of enterprise information systems.This carefully arranged book concentrates on the relationships between coordination technology and business application requirements and introduces general elements of a cooperative infrastructure allowing for the construction of collaborative applications. It is essential reading for research and development professionals active in the area as well as for IT managers interested in applying this promising new technology in order to remain competitive in the future.Table of ContentsA perspective on technology-assisted collaboration.- Coordination in knowledge-intensive organizations.- Co-ordination of management activities — Mapping organisational structure to the decision structure.- A cooperative approach to distributed applications engineering.- Towards logic programming based coordination in virtual worlds.- Enhancement of creative aspects of a daily conversation with a topic development agent.- Coordinating human and computer agents.- Coordination in workflow management systems — A rule-based approach.- A framework and mathematical model for collaboration technology.- Practical experiences and requirements on workflow.- Coordination science: Challenges and directions.- Supporting autonomous work and reintegration in collaborative systems.- Workspace awareness for distributed teams.- GeM and WeBUSE: Towards a WWW-database interface.- Post-client/server coordination tools.- An experimental delay analysis for local audio video streams for desktop collaborations.- Supporting both client-server and peer-to-peer models in a framework of a distributed object management system.
£38.24
Peter Lang AG Analyse oekonomischer Modelle mit Methoden des
Book SynopsisQualitative Aussagen zum Verhalten ökonomischer Systeme, die als qualitative Modelle formuliert sind, stehen im Mittelpunkt ökonomischer Analyse. Die Anwendung von Methoden des Qualitative Reasoning auf die Analyse ökonomischer Modelle liegt daher nahe. Jedoch sind die Ergebnisse der Anwendung der bekannten Methoden des Qualitative Reasoning unbefriedigend: Eine allmähliche, zyklische Annäherung der Werte qualitativ definierter Variablen wird nicht erkannt. Die in dieser Arbeit vorgestellte Methode qualitativer Simulation interdependenter Zusammenhänge löst das grundlegende Problem der Methoden des Qualitative Reasoning. Dem ökonomischen Analyseinstrumentarium kann die qualitative Simulation interdependenter Zusammenhänge als neue Methode hinzugefügt werden.
£71.01
Peter Lang AG Die Publizitaet von Normen im Internet: Unter
Book SynopsisAls Produzent der Ware Recht verlangt der Staat von allen Bürgern, daß sie die von ihm geschaffenen Gesetze beachten und ihren Regelungen Folge leisten. Dazu muß er sicherstellen, daß der einzelne den Inhalt der Rechtsnormen zur Kenntnis nehmen kann. Gesetze müssen daher vom Staat selbst veröffentlicht werden und jedermann zugänglich sein. Die Arbeit beschäftigt sich mit den rechtlichen Auswirkungen der relativ neuen Möglichkeiten des Internets auf die Publizität der Rechtsnormen. Untersucht wird dabei die Frage einer Publikationspflicht für den Staat. Außerdem werden die Spielräume ausgelotet, die der Staat bei der Ausgestaltung des Online-Zugangs zum Recht besitzt. Dabei wird auch geklärt, inwieweit er sich durch die Publikation an der Verwertung des Rechts als Wirtschaftsgut beteiligen und für den Abruf der Informationen Entgelte verlangen darf.
£53.28
Peter Lang AG Die Online-Videokonferenz im Zivilprozess
Book Synopsis
£53.28
Peter Lang AG Interaktionsorientiertes Wissensmanagement
Book SynopsisDie Nutzung und die Erzeugung von Wissen ist Alltag in vielen Unternehmen. Wissensmanagement ist daher kein Modethema, sondern eine strategische Aufgabe. Ziel des Wissensmanagements ist es nicht nur, vorhandenes Wissen zu teilen, es transparent und organisationsweit verfügbar zu machen, sondern auch für die im Arbeitsprozess auftretenden Herausforderungen neues Wissen zu erzeugen und dies zunehmend kooperativ, in der Gruppe. In einer immer mehr von Wissensarbeit gekennzeichneten Arbeitswelt bilden Interaktionsprozesse die Voraussetzung dafür, dass vorhandenes Wissen genutzt sowie neues Wissen erzeugt und somit die Handlungs- und Innovationsfähigkeit der einzelnen Mitarbeiter und des Unternehmens als Ganzes gestärkt wird. Während bisher informationsorientierte und kommunikationsorientierte Ansätze des Wissensmanagements weitgehend getrennt betrieben und isoliert betrachtet werden, wird in diesem Buch die Zusammenführung, gemeinsame Ausrichtung und Balance von organisationsweiter Wissensbereitstellung und kooperativer Wissenserzeugung angestrebt und aus verschiedenen Blickwinkeln beschrieben.
£53.28
Peter Lang AG Lokalisierbarkeit von User-Interface-Strings:
Book SynopsisDer Autor erforscht Gründe für das Entstehen sprachlicher Defekte in lokalisierten Oberflächen von Computerprogrammen. Dabei geht es nicht um Defizite in der Sprachkompetenz des Übersetzers, sondern um erzwungene Normverstöße, die dann entstehen, wenn der Übersetzer die Kontrolle über das Translat verliert. Der Fokus liegt deswegen auf dem technologischen und sozioökonomischen Kontext der Lokalisierungsleistung. Die Analyse zeigt, warum und wie die digitale Revolution das übersetzerische Berufsbild verändern wird. Das Buch bietet neue Überlegungen zur Zukunft des Übersetzens und zur Ausbildung von Übersetzern.
£48.82
Peter Lang AG Trans*-faire Sexualpaedagogik unter Einbeziehung
Book SynopsisForschungsergebnisse aus Deutschland und der Anglophonie belegen, dass Trans*-Jugendliche stärker unter Ausgrenzung und Benachteiligung leiden als ihre Altersgenossen. Forscher_innen rufen deshalb zur Sichtbarmachung von alternativen Lebensweisen zugunsten von Vielfalt auf. Die Autorin visualisiert, wie hierzu im Kontext der Sexualerziehung an Schulen sowie Bildungseinrichtungen Jugendliteratur eingesetzt werden kann und evaluiert Vorschläge für die pädagogische Praxis. Anhand eines Textkorpus diskutiert sie, dass der Roman einen Erlebnisraum eröffnet, in dem durch persönlichen Kontakt mit Trans*-Charakteren eine Fremdheitserfahrung möglich wird. Zunächst auf der emotionalen Ebene des Leibes beginnend, kann diese für eine selbstreflexive, kognitive Auseinandersetzung mit Vielfalt und der sozialen Konstruktion von Geschlechtskörpern genutzt werden.
£55.80
Peter Lang AG Sport in Der Kommune ALS Managementaufgabe
Book SynopsisDieser Sammelband thematisiert die zahlreichen Anknüpfungspunkte zwischen (organisiertem) Sport und kommunalen Aufgabenbereichen. Dazu zählen unter anderem Planung, Bau und Betrieb von Sportstätten, die Stadt- beziehungsweise Sportentwicklungsplanung, das Stadtmarketing, das Eventmanagement und die kommunale Sportpolitik. Auch gesellschaftspolitische Themenstellungen, wie Integrationspolitik, Freizeitgestaltung oder bürgerschaftliches Engagement finden Betrachtung. Die Beiträge geben einen ersten Überblick über die vielfältigen Zusammenhänge von Sport und Kommune und zeigen auf, wie der Sport mit kommunalen Belangen untrennbar verknüpft ist und gestaltend mitwirkt. Fachleute aus verschiedenen Kompetenzbereichen haben in diesem Band Zusammenhänge zwischen Sport, kommunaler Aufgabenerfüllung und Zielstellung aus verschiedenen Blickwinkeln beleuchtet.
£65.11
Peter Lang AG Schulreform 1946 in Der Sowjetischen
Book SynopsisDer Sammelband thematisiert die Schulreform in der Sowjetischen Besatzungszone im Jahr 1946. Ziele, Inhalte und gesetzliche Grundlegung dieser Reform werden unter historischen, juristischen, schulgeschichtlichen und pädagogischen Aspekten analysiert. Geprägt wurde die Reform von der vielfältigen politischen, sozialen und kulturellen Suche nach neuen rationellen und nachhaltigen Wegen einer umfassenden antifaschistischen Demokratisierung, die einen grundlegenden Wandel der Bildung und Erziehung der heranwachsenden Generation anstrebte. Erstmalig in der Geschichte der deutschen Schule wurden gleiche Bildungschancen über Klassen-, Geschlechts- und regionale Unterschiede hinweg zum bildungspolitischen und pädagogischen Programm.
£51.12
Peter Lang AG Biographische Identitaetsarbeit beim Uebergang
Book SynopsisDie Autorin diskutiert die Begriffe Sozialisation, Biographie und Identität und entwickelt ein Modell mit Bezug zu den Fachdisziplinen Berufspädagogik, Pädagogik, Soziologie, Psychologie. Sie untersucht dieses Modell in einer qualitativen Studie mit beruflich qualifizierten Studierenden in der Forschungspraxis, um unterschiedliche Konzepte biographischer Identitätsarbeit sowie Motivkonstellationen und Realisationen in Bezug auf das Studium beruflich Qualifizierter zu ermitteln. Das Buch behandelt die Darstellung biographischer Identitätsarbeit von Studierenden mit beruflicher Qualifikation aus subjektiver und bildungspolitischer Perspektive vor dem Hintergrund, ein Beschreibungs- beziehungsweise Erklärungswissen über diese Studierendengruppe zu erlangen.
£51.12
Peter Lang AG Ritter und Intellektueller - Hieronymus Beck von
Book SynopsisDas Buch stellt die bisher unbekannte, einzigartige österreichische Bibliothek der Ritterfamilie Beck von Leopoldsdorf aus dem Ende des 16. Jahrhunderts vor. Diese ging Ende des Dreißigjährigen Krieges als Kriegsbeute nach Schweden und wurde dort zerstreut. Die Büchersammlung gehörte zu den progressiven Typen von Adelsbibliotheken. Die Autorin stellt diese Bibliothek in Kontext zu anderen zeitgenössischen aristokratischen Bibliotheken der habsburgischen Länder und offenbart hierbei den intellektuellen Horizont des Bibliotheksbesitzers. Ein Teil der Monographie ist auch eine virtuelle Rekonstruktion dieser Bibliothek in Form einer detaillierten Bestandsaufnahme.
£77.99
Peter Lang AG Was sagt die Wikipedia?: Studie zur Praesenz von
Book SynopsisDas Buch untersucht aus der Perspektive der germanistischen Mediävistik, inwieweit facheinschlägige Wikipedia-Artikel profunde Informationsquellen liefern oder zumindest eine verlässliche Erstinformation bieten. Zur Klärung dieser Frage rekapituliert die Autorin die allgemeine Geschichte der Enzyklopädie bis hin zur Etablierung der Online-Enzyklopädie Wikipedia. Repräsentative Metadaten auf Basis des Qualitätsbegriffs der Wikipedia bilden im Anschluss den Ausgangspunkt für eine semiautomatische Analyse von Artikeln zur mittelalterlichen Sprache und Literatur. Die Autorin stützt das Ergebnis durch kritische Detailanalysen.
£37.12
Peter Lang AG La Vérification Empirique de Mise En Place Des
Book SynopsisLa monographie scientifique présente est le fruit de neuf ans de recherche dans le domaine du FLE. Elle introduit également les résultats partiels des recherches scientifiques. Une communication en langue étrangère ne se réduit pas à la maîtrise de la langue. Ce sont les problèmes de communication sur le plan social et culturel et leur réflexion au niveau de quelques pensées éducatives, qui constituent le principal champ de recherche. Le premier chapitre traite de divers concepts culturels. Dans le deuxième chapitre, nous proposons une vue contemporaine sur la politique linguistique slovaque et le sujet du développement de l'interculturel dans les documents pédagogiques. Dans le troisième, nous nous arrêtons sur la problématique des concepts et principes de l'approche interculturelle. Le quatrième conclut une mise en place de l'enseignement de l'interculturel. Il propose des résultats de la mise en œuvre de ce sujet sur trois plans : le contenu, les manuels et le professeur en cours.
£30.21
Peter Lang AG Plurilingual Literacy Practices at School and in
Book SynopsisThis book offers a variety of theoretical and empirical foundations regarding the development of plurilingual literacy practices in primary school contexts around Europe. It presents a range of concepts related to multilingual education and multilingual teacher education, such as pluriliteracy, identity, the pluralistic approaches (namely intercomprehension and éveil aux langues) and translanguaging in pedagogy. From an empirical perspective, the authors present and discuss suggestions regarding the integration of multilingual activities in the classroom and in teaching education programs.
£35.46
Peter Lang AG Bildungsurlaub - Vom gesellschaftspolitischen
Book SynopsisIn einer diskursanalytisch angelegten Studie erforscht die Autorin Bildungsurlaubsdiskurse in der Weiterbildung. Mittels Interviews und Programmanalysen untersucht sie, inwieweit sich eine Akzentverschiebung vom gesellschaftspolitischen Anliegen zum Instrument beruflicher Qualifizierung im Bildungsurlaub vollzogen hat. Die Befunde zu den Bildungskonzeptionen, Planungsstrategien und Begründungslogiken zeigen, dass es nicht einen einheitlichen Bildungsurlaubsdiskurs gibt, sondern träger- und fachbereichsspezifische Spezialdiskurse. Die Autorin rekonstruiert diese im Spannungsfeld gesellschaftspolitischer Ansprüche, pädagogischer Prinzipien und ökonomischer Kriterien.
£40.05
Peter Lang AG Der Deutsche Erfolgsfilm: Determinanten
Book SynopsisFilmemachen ist ein Hochrisikogeschäft, in dem es meist um Millionen geht. Trotzdem verlässt sich die deutsche Filmbranche überwiegend auf ihr sogenanntes Bauchgefühl.Diese Untersuchung versucht erstmals, erfolgsinduzierte Regelmäßigkeiten und Cluster innerhalb der erfolgreichsten deutschen Kinofilme sichtbar zu machen. Warum haben sich Zuschauer konkret für einen Kinofilm entschieden? Welche morphologischen Prozesse liefen ab? Wie sind die erfolgreichsten deutschen Kinofilme hinsichtlich ihres Filmthemas, Story, Zeitgeist, Erzählton, Genre, Schauspieler, Regie, Vorlage, Budget, Vertriebspower, Besuchsgrund usw. beschaffen? Lassen sich wiederkehrende Deutsche Präferenzen und eine Deutsche Kinematografie des Erfolgs detektieren? Die Ergebnisse dieser Untersuchung ermöglichen der Filmbranche einen Schritt weg vom Bauchgefühl hin zu bewussteren Entscheidungen...
£41.36
Peter Lang AG Beschaeftigtendatenschutz nach der
Book SynopsisDie Datenschutz-Grundverordnung (DS-GVO) ist seit Mai 2018 unmittelbar anwendbar. Trotz einer Öffnungsklausel für den Beschäftigtendatenschutz ergeben sich große Neuerungen zum Beispiel für betriebliche Datenschutzbeauftragte. Ebenso besteht dadurch die Möglichkeit, Regelungen durch Betriebsvereinbarungen zu treffen. Der Autor untersucht die europarechtlichen Vorgaben etwa hinsichtlich Zweckbindung, Profiling und Scoring und lotet den nationalen Gestaltungsspielraum und die Auswirkungen für die Praxis aus. Dabei liegt der Schwerpunkt auf der Beurteilung von Big Data-Anwendungen, die im Personalwesen etwa im Bereich der Eignungsdiagnostik bereits vermehrt eingesetzt werden. Die Ergebnisse liefern einen wertvollen Beitrag für die Diskussion über die Möglichkeit und die Notwendigkeit eines eigenständigen Beschäftigtendatenschutzgesetzes.
£54.86
Peter Lang AG Analoges Recht in der digitalen Welt: Braucht das
Book SynopsisDie Frage, ob das BGB den Herausforderungen der Digitalisierung noch gerecht werden kann, steht im Mittelpunkt dieser Publikation. Um dem auf den Grund zu gehen, untersucht der Autor den Begriff digitale Inhalte, der seit Umsetzung der Verbraucherrechterichtlinie im BGB zu finden ist. Mithilfe einer Kategorisierung der Erscheinungsformen digitaler Inhalte ordnet er diese vertragstypologisch zu. Mit dem so gefundenen Ergebnis macht der Autor legislative Vorschläge für eine alternative rechtliche Handhabbarkeit. Dabei nimmt er auch den von der Europäischen Kommission vorgelegten Vorschlag für eine spezielle Richtlinie für digitale Inhalte in den Blick und verbindet mit ihm die Zuversicht, dass es sich dabei um ein sinnvolles Update für das BGB handeln könnte.
£38.12
Peter Lang AG Fachkraft-Kind-Relation versus
Book SynopsisIm Rahmen des aktuell diskutierten Fachkräftemangels im Elementarbereich beleuchtet der Band die Betreuungsrelation in bayerischen Kindertagesstätten. Mithilfe einer Forschungstrias zeigt die Autorin einen Abriss über die Rahmenbedingungen in Kindertagesstätten sowie deren Auswirkungen auf das Personal auf. Die Forschung ergibt eine Differenz zwischen der formalen und realen Betreuungsrelation. Die Annahme, dass die Qualifikation des Personals den wichtigsten Faktor für die Qualität der Kinderbetreuung darstellt, bestätigt sich aus Sicht des Personals nicht. Die individuellen Qualitätsansprüche beeinflussen eine gelingende Teamarbeit und eine gute Betreuungsrelation. Auch das subjektive Erleben der Mitarbeiter_innen stellt einen wichtigen Faktor dar.
£50.04
Peter Lang AG Russische Bibliotheken in Deutschland
Book SynopsisDieser Band vereinigt Beiträge verschiedener Autoren aus Deutschland, Russland und Schottland zu den öffentlichen, militärischen, kirchlichen und akademischen russischen Bibliotheken in Deutschland von der Mitte des 19. Jahrhunderts bis auf unsere Tage. Am Beginn dieser Darstellungen steht eine systematische Einleitung des Herausgebers, auch mit Hinweis aufneue Funde.
£49.18
Peter Lang AG Virtual Standard Setting: Setting Cut Scores
Book SynopsisVirtual standard setting became more popular since the global outbreak of Covid-19 in 2020. Standard setting practitioners needed to conduct either cut score studies and/or linking studies online. The research presented in this book predates Covid-19 and explores virtual standard setting in two e-communication media (audio and video) and then compares them to the face-to-face environment. The interplay of quantitative methods [i.e., classical test theory (CTT) and Rasch measurement theory (RMT)] and qualitative methods [(i.e., constant comparative method (CCM), and media naturalness theory (MNT)] unravel Ariadne’s thread into the labyrinth of virtual standard setting. Illustrative examples of how to conduct and evaluate a virtual workshop are offered to stimulate standard setting practitioners to embrace the opportunities of the virtual environment. Table of ContentsCharalambos Kollias- Introduction - Literature review- Methodology- Cut score data analysis- Survey data analysis- Focus group interview data analysis- Integration and discussion of findings- Implications, future research, and conclusion- Appendices- References- Author index- Subject index
£48.60
Peter Lang AG Mehrsprachigkeit und transkulturelle Praxis in
Book SynopsisJugendliche mit unterschiedlichen sprachlichen und kulturellen Hintergründen besuchen fünf deutsche Schulen in Brasilien, Rumänien und Venezuela. Der Band untersucht die Durchlässigkeit dieser Begegnungsflächen. Die kritische Analyse institutioneller Diskurse bringt sprachliche Einstellungen ans Licht, während Schülerinnen und Schüler Briefe wechseln und unabhängige Zwischenräume aufbauen. Inwieweit vereinbaren sich politisch-pädagogische Leitsätze für den binationalen Dialog mit dem organischen Identitätsaustausch und der Entwicklung von interkultureller und mehrsprachiger Kompetenz? Die ausgetauschten Texte ermöglichen die Beobachtung des Annäherungsprozesses sowie die Verhandlung und Neuausarbeitung von Zeichen, die die Begegnungssprache Deutsch durchlässiger und hybrider machen.
£46.08
Peter Lang AG Agile Programmierung: Lehren aus dem privaten
Book SynopsisEs ist branchenübergreifend ein zunehmendes Streben nach Agilität erkennbar. Agile Arbeitsweisen lösen sich von klassischen Hierarchien und setzen auf Kooperation und Kommunikation. Zahlreiche Softwareentwickler wenden sich mittlerweile von einer Programmierung nach dem sogenannten Wasserfallmodell ab und entscheiden sich für eine agile Programmierung.Rechtlich wirft eine agile Programmierung jedoch zahlreiche Fragen auf. Rechtsdogmatische Unklarheiten und fehlende Rechtsprechung wirken sich unmittelbar auf die Vertragsgestaltung der Unternehmer aus. Der Autor greift die praktisch relevanten und besonders klärungsbedürftigen Problemstellungen einer agilen Programmierung (insbesondere durch den Einsatz von SCRUM) auf und zieht Parallelen zum privaten Baurecht und den dort ausgearbeiteten Lösungsansätzen.
£50.26
Peter Lang AG Daenische Zwillingsformeln in Theorie und Praxis:
Book Synopsis
£44.73
Peter Lang AG Profile der Germanistik in Mittelosteuropa -
Book SynopsisDie Forschungsstudie erfasst und dokumentiert Wechselwirkungen und Transformationsprozesse der curricularen Entwicklung an germanistischen Lehrstühlen und Instituten in Mittelosteuropa zwischen den Wendejahren 1989 und der zweiten Dekade unseres Jahrhunderts. Als Referenzstaaten für die besagte Region wurden Polen, die Tschechische Republik, die Slowakei, Ungarn und Rumänien gewählt.Neben der Analyse von Dokumenten und Fachliteratur bilden narrative Interviews mit Entscheidungsträgern und Führungspersönlichkeiten, die als Stakeholder und Experten in Funktionsstellen Einfluss auf die Entwicklung der Germanistik in Mittelosteuropa genommen hatten, den Kern der Studie. Diese vermitteln narrativ episodisches Wissen und retrospektive Interpretationen des eigenen Handels sowie prozedurales Wissen über Vorgänge, Abläufe und Einschätzungen bis hin zu Zukunftsvisionen zur Viabilität der Germanistik in Mittelosteuropa.
£36.94
Peter Lang AG Superintelligenz?: Moeglichkeiten und Grenzen
Book SynopsisIm Zusammenhang mit der Weiterentwicklung der KI und damit einhergehender technischer Konstruke stellt sich die Frage, wie sich Künstliche Intelligenz von menschlicher Intelligenz unterscheidet und was genau unter Intelligenz zu verstehen ist. Wird hier irgendwann eine eigenständige Art von bewusstem Leben entstehen, das nicht leibgebunden und körperbezogen ist? Ob und wie werden Autonomie und Intentionalität in künstlichen Intelligenzsystemen ausgeübt und Verantwortung adressiert? Welche theologischen Impulse gibt es zur Einordnung und kritischen Begleitung der KI? Die Beiträge dieses Buches geben Antworten in interdisziplinärer Perspektive, werfen aber auch neue Fragen auf.
£27.50
Peter Lang AG Formación del profesorado europeo de Educación
Book Synopsis
£34.02
Peter Lang AG Facharbeit und duale Berufsausbildung unter den
Book SynopsisSchon immer hat Technologiewandel zu Veränderungen in der Facharbeit und damit auch in der dualen Berufsausbildung geführt. In dem vorliegenden Band wird der Wandel des Überganges von der Festnetz-Telefonie zur Internet Protocol-Telefonie empirisch untersucht. Die evidenzbasierten Ergebnisse werden zu konkreten Vorschlägen zur Implementierung in die Lernfeldstruktur, zu Handlungsempfehlungen für schulinterne Curricula sowie zu Vorschlägen zur Implementierung in den Unterricht weiterentwickelt und dargestellt.
£40.82
Peter Lang AG Flucht - Nation - Soziale Ungleichheit: Eine
Book SynopsisBerichte über Flucht*Migration waren im Jahr 2015 sehr präsent in deutschen Medien. Als Diskursanalyse untersucht der Beitrag die Titelbilder der Wochenzeitung Die Zeit aus dem Jahr 2015, die dieses Thema behandelten. Es werden die Fragen verfolgt, wie Flüchtlings- und Nationalstaatskonstruktionen repräsentiert wurden, in welchem Verhältnis diese Repräsentationen zueinanderstehen und inwieweit die gewählten Repräsentationen geeignet sind, soziale Ungleichheit von geflüchteten*migrierten Personen zu legitimieren. Ziel der Arbeit ist es, herauszuarbeiten, inwieweit die medialen Repräsentationen exkludierend wirken. Diskutiert wird, welche Schlussfolgerungen sich daraus für (sozial-)pädagogische Handlungsfelder ergeben. Die Arbeit leistet einen Beitrag zu einer kritischen Medienpädagogik.
£36.00
Peter Lang AG Theologie Angesichts Des Digitalen: Beitraege Zu
Book Synopsis
£34.20
Springer Fachmedien Wiesbaden Theoretische Informatik: Formale Sprachen,
Book SynopsisDas Ziel dieses Buches ist es, den Leser an den Grundlagen der Informatik zu begeistern. Um dies zu erreichen, bieten wir außer der üblichen rigorosen und detaillierten Präsentation eine leicht verständliche und anschauliche Darstellung der Grundkonzepte und Ideen und erweitern die klassischen Themen wie Berechenbarkeit und Komplexität um die faszinierenden Errungenschaften neuer Gebiete wie Randomisierung, Kryptographie und Kommunikation in Netzen.Table of ContentsAlphabete, Wörter, Sprachen und Aufgaben - Endliche Automaten - Turingmaschinen - Berechenbarkeit - Komplexitätstheorie - Algorithmik für schwere Probleme - Randomisierung - Kommunikation und Kryptographie - Grammatik und Chomsky-Hierarchie
£42.74
Springer Fachmedien Wiesbaden Multiskalenmodellierung der Progression von
Book SynopsisTina Anne Schütz entwickelt und diskutiert ein neues Multiskalenmodell zur Abbildung der frühen Wachstumsphase von Glioblastomen. Um mehrere Skalen abzubilden, koppelt die Autorin ein hybrides Modell auf der mikroskopischen Ebene mit dem Modell eines molekularen Interaktionsnetzwerkes. Durch den Vergleich mit In-vitro-Daten validiert sie das Modell und führt Simulationen durch, um so Rückschlüsse für die Biologie und Medizin zu ziehen. Insbesondere liefert das Modell Hinweise auf neue prognostische Marker für die Progression von Glioblastomen und auf neue Therapieansätze.Table of ContentsTumorwachstumsmodelle.- Reaktionskinetik und gewöhnliche Differentialgleichungen.- Agentenbasierte Modellierung.- Einfluss der Krebsstammzellhypothese.- Sensitivitätsanalyse des Multiskalenmodells.- Existenz- und Stabilitätsanalyse.
£999.99
Springer Fachmedien Wiesbaden Komplexität im Projektmanagement: Methoden und
Book SynopsisPraxisnah und mit vielen Beispielen stellt das Buch einen Methodenkoffer für jeden Projektleiter dar: vom Umgang mit erodierenden Zielen bis hin zum HALO Effekt. Der Ablauf von Projekten gestaltet sich zunehmend komplexer und neue Schwerpunkte im Umgang mit Projekten werden gesetzt, sodass ein vielfältiges Methodenspektrum notwendig ist. Wie können Kosten, Reputationsschaden und Imageverlust vermieden werden? Dieses Buch diskutiert, wie sich Komplexität im Projektalltag widerspiegelt und welche Möglichkeiten es gibt, dieser gezielt zu begegnen. Neben theoretischen Bausteinen werden Beispiele aus IT und Energieversorgung gezeigt, anhand derer Aspekte wie Prozesse, Stakeholder und Fallstricke erläutert werden.Table of ContentsKomplexität, was ist das? - Standortbestimmung in Projekten - Sieben Projekt-Dimensionen unter die Lupe genommen - Merkmale von komplexen Projekten und der Umgang damit - Zusammenfassung und Fazit
£23.74
Springer Fachmedien Wiesbaden Digital Humanities: Grundlagen und Technologien
Book SynopsisDieses Lehrbuch für die digitalen Geisteswissenschaften vermittelt in der 2. Auflage fundierte theoretische und praktische Kenntnisse, die für ein effizientes und selbstständiges Arbeiten in den Digital Humanities notwendig sind. Das Ziel ist ein allgemeines Verständnis der Konzepte und verschiedenen Softwaresysteme, denn nur durch die Verbindung von geisteswissenschaftlichen Kenntnissen mit informationstechnischer Kompetenz lassen sich digitale Medien gezielt in allen klassischen Disziplinen der Geisteswissenschaften einsetzen. Praktische Aufgaben sowie ein größeres Projekt, wie es im beruflichen Alltag vorkommt, zeigen die Umsetzung in konkreten Projekten.Table of ContentsFortgeschrittene Web-Basics (HTML, CSS, JS, php, AJAX) - Sicherheitsaspekte für Webprojekte - Markupsprachen am Beispiel von XML (DTD, Schema, XSLT, SVG) - TEI - Einführung in die Bildbearbeitung - Informationssysteme (GIS)
£28.49
Springer Fachmedien Wiesbaden Recht für Medienberufe: Kompaktes Wissen zu allen
Book SynopsisMit diesem Buch finden Sie sich schnell im Dschungel der medienspezifischen Rechtsfragen zurecht. Es orientiert sich am Lehrplan und hilft Ihnen, die für Ihren Beruf relevanten Themen schnell zu begreifen und mit ihnen umgehen zu können. Insbesondere liegt der Schwerpunkt auf dem Urheberrecht, dem Kennzeichen- und Markenrecht, dem Internetrecht, dem Wettbewerbsrecht sowie dem Datenschutz und Presserecht.Table of ContentsVertragsrecht - Urheberrecht - Kennzeichen- und Markenrecht - Internetrecht - Werberecht - Datenschutz - Presserecht
£26.59
Springer Fachmedien Wiesbaden Qualitätsmanagement in agilen IT-Projekten – quo
Book SynopsisChristian Brandes und Michael Heller diskutieren Missverständnisse zur Koexistenz von Agilität und Qualitätsmanagement in IT-Projekten. Diese sind nach ihrer Ansicht oft Ursache von Irritationen oder gar Frustrationen bei QM-Verantwortlichen, die Transitionen von „klassischen“ zu agilen Vorgehensweisen vollziehen müssen. Die Autoren lösen diese Missverständnisse auf und präsentieren Erfolgsfaktoren aus der Praxis für hochqualitative agile Softwareentwicklung. Abschließend stellen sie aktuelle Trends aus der agilen Community vor und bewerten diese aus Qualitätssicht.Table of ContentsAgilität und Qualitätsmanagement: Eine Geschichte voller Missverständnisse.- Best Practices zu agiler Qualität.- Blick nach vorn: Trends und sich abzeichnende Veränderungen.- Agile Freiheitsgrade versus QM-Anforderungen: eine Empfehlung.
£11.77
Springer Fachmedien Wiesbaden Computational Engineering: Theorie und Praxis der
Book SynopsisDas Buch bietet ein ausgewogenes Verhältnis zwischen Theorie und praktischen Anwendungen des berechnenden Ingenieurswesens. Es illustriert sowohl die mathematischen Modelle im Computational Engineering, wie auch die zugehörigen Simulationsmethoden für die verschiedenen Ingenieursanwendungen und benennt geeignete Softwarepakete. Die umfangreichen Beispiele aus der berechnenden Ingenieurswissenschaft, welche Wärme- und Massentransport, Plasmasimulation und hydrodynamische Transportprobleme einschließen, geben dem Leser einen Überblick zu den aktuellen Themen und deren praktische Umsetzung in spätere Simulationsprogramme. Übungsaufgaben und prüfungsrelevante Fragen schließen die einzelnen Kapitel ab.Table of ContentsEinführung in Computational Engineering - Theoretischer Überblick zu den numerischen Verfahren - Theoretischer Überblick zu den Modellen - Schwerpunkt: Numerische Verfahren im Bereich der Transportmodelle - Schwerpunkt: Multiskalenmodelle und deren Multiskalenlöser - Algorithmische Umsetzung der theoretischen Verfahren - Praktische Anwendung in ingenieurswissenschaftlichen Problemstellungen.
£999.99
