Ihr Informatikdienstleistungen Shop

Semantic Web
29,99 € *
ggf. zzgl. Versand

Das Buch Semantic Web - Grundlagen vermittelt als erstes deutschsprachiges Lehrbuch die Grundlagen des Semantic Web in verständlicher Weise. Es ermöglicht einen einfachen und zügigen Einstieg in Methoden und Technologien des Semantic Web und kann z.B. als solide Grundlage für die Vorbereitung und Durchführung von Vorlesungen genutzt werden. Die Autoren trennen dabei sauber zwischen einer intuitiven Hinführung zur Verwendung semantischer Technologien in der Praxis einerseits, und der Erklärung formaler und theoretischer Hintergründe andererseits. Nur für letzteres werden Grundkenntnisse in Logik vorausgesetzt, die sich bei Bedarf jedoch durch zusätzliche Lektüre und mit Hilfe eines entsprechenden Kapitels im Anhang aneignen lassen. Das Lehrbuch richtet sich primär an Studenten mit Grundkenntnissen in Informatik sowie an interessierte Praktiker welche sich im Bereich Semantic Web fortbilden möchten. Aus den Rezensionen: ´´... RDF, RDF-S und OWL. Diese Sprachen ... werden von den Autoren dargestellt. Bei der Darstellung ... fallen sie selten zu schwierigen Fachslang, sondern liefern eine gut nachvollziehbare Schilderung mit einfachen Beispielen, auch Übungsaufgaben runden die Kapitel ab. ... Semantic Web ist ein einfach geschriebenes und anschauliches Buch, das In die Grundkonzepte der Semantic-Web-Techniken einführt. Wer sich schnell in RDF, RDF-S und Co. einarbeiten muss und etwas Vorbildung in Logik und Algebra mitbringt, der trifft mit diesem Lehrbuch sicherlich eine gute Wahl ...´´

Anbieter: buecher.de
Stand: 09.08.2018
Zum Angebot
Formal Methods
73,99 € *
ggf. zzgl. Versand

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018 The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems that interact with physical processes, and systems that use artificial intelligence technology. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.

Anbieter: buecher.de
Stand: 11.08.2018
Zum Angebot
Formal Grammar 2018
41,99 € *
ggf. zzgl. Versand

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 23rd International Conference on Formal Grammar, FG 2018, collocated with the European Summer School in Logic, Language and Information in August 2018. The 7 full papers were carefully reviewed and selected from 11 submissions. The focus of papers are as follows: Formal and computational phonology, morphology, syntax, semantics, and pragmatics Model-theoretic and proof-theoretic methods in linguistics Logical aspects of linguistic structure Constraint-based and resource-sensitive approaches to grammar Learnability of formal grammar Integration of stochastic and symbolic models of grammar Foundational, methodological, and architectural issues in grammar and linguistics Mathematical foundations of statistical approaches to linguistic analysis

Anbieter: buecher.de
Stand: 11.08.2018
Zum Angebot
Quantitative Evaluation of Systems
67,99 € *
ggf. zzgl. Versand

This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods.

Anbieter: buecher.de
Stand: 12.08.2018
Zum Angebot
Modellierung von Informationssystemen nach dem ...
14,99 € *
ggf. zzgl. Versand

Studienarbeit aus dem Jahr 2003 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1,3, Universität des Saarlandes (Wirtschaftsinformatik), Veranstaltung: Master of Science in Information Systems, Sprache: Deutsch, Abstract: Mit der steigenden Verbreitung von Informationstechnologie in Unternehmen einerseits und den immer komplexer werdenden Geschäftsprozessen von Unternehmen in globalen Märkten andererseits steigt der Bedarf an ganzheitlich unterstützenden integrierenden Konzepten. Die Wirtschaftsinformatik liefert einen solchen Ansatz und untersucht Beziehungen zwischen betriebswirtschaftlichen Abläufen sowie der Informations- und Kommunikationstechnik. Damit die Konzepte dieser wechselseitigen Wirkung umgesetzt werden können, müssen sie durch Informationssysteme in die betrieblichen Abläufe integriert werden. Die Realisierung dieser Informationssysteme kann entweder durch Eigenentwicklung oder Kauf von Standardsoftware bzw. einzelner Softwarekomponenten erfolgen. Beide Vorgehensweisen unterscheiden sich zwar hinsichtlich ihrer Stärken und Schwächen, ihnen gemein ist jedoch die hohe Komplexität der Modellierung. Der Entwurf und die erfolgreiche Umsetzung eines betriebswirtschaftlichen Geschäftsprozesses, wie etwa die Optimierung eines Herstellungsprozesses, bedingt die Berücksichtigung der Tätigkeiten, der Ablauf- und Aufbauorganisation, der Umfelddaten, der Kommunikation im Rahmen der Tätigkeiten, der Sicht auf die materiellen und immateriellen Leistungen und letztendlich der Integration all dieser Komponenten. Die vorliegende Arbeit diskutiert die Hintergründe der Modellierung von Informationssystemen nach dem ARIS-Konzept, am Beispiel eines Informationssystems für die Fußballweltmeisterschaft 2006. Im Anschluss an die Einleitung werden zunächst die theoretischen Grundlagen diskutiert. Hierzu wird das Basis-Geschäftsmodell für ARIS vorgestellt und entlang des ARIS Vorgehensmodells die Modellierung der einzelnen Schichten dargestellt. Das Phasenmodell und schließlich das Konzept des Geschäftsprozessmanagements (House of Business Engineering (HOBE)) wird skizziert. Im dritten Teil werden dann die theoretisch beschriebenen Konzepte durch eine Fallstudie, der Entwicklung eines Informationssystems für die Fußball-WM 2006, verdeutlicht. Die Arbeit schließt mit einer zusammenfassenden Bewertung und einem Ausblick auf weiterführende Entwicklungen.

Anbieter: buecher.de
Stand: 09.08.2018
Zum Angebot
Systems, Software and Services Process Improvement
91,99 € *
ggf. zzgl. Versand

This volume constitutes the refereed proceedings of the 25th European Conference on Systems, Software and Services Process Improvement, EuroSPI conference, held in Bilbao, Spain, in September 2018. The 56 revised full papers presented were carefully reviewed and selected from 95 submissions. They are organized in topical sections on SPI context and agility, SPI and safety testing, SPI and management issues, SPI and assessment, SPI and safety critical, gamifySPI, SPI in industry 4.0, best practices in implementing traceability, good and bad practices in improvement, safety and security, experiences with agile and lean, standards and assessment models,team skills and diversity strategies, SPI in medical device industry, empowering the future infrastructure.

Anbieter: buecher.de
Stand: 11.08.2018
Zum Angebot
Mathematik für Informatiker
34,99 € *
ggf. zzgl. Versand

Dieses Buch enthält in einem Band den Mathematik-Stoff, der für das Informatik-Studium in anwendungsorientierten Bachelor-Studiengängen benötigt wird. Der Inhalt entspringt der langjährigen Lehrerfahrung des Autors. Das heißt: - Sie finden immer wieder Anwendungen aus der Informatik. - Sie lernen nicht nur mathematische Methoden, es werden auch die Denkweisen der Mathematik vermittelt, die eine Grundlage zum Verständnis der Informatik bilden. - Beweise werden dann geführt, wenn Sie daraus etwas lernen können, nicht um des Beweisens willen. Mathematik ist für viele Studierende zunächst ein notwendiges Übel. Das Buch zeigt durch ausführliche Motivation, durch viele Beispiele, durch das ständige Aufzeigen von Querbezügen zwischen Mathematik und Informatik, dass Mathematik nicht nur nützlich ist, sondern interessant sein kann und manchmal auch Spaß macht.

Anbieter: buecher.de
Stand: 03.08.2018
Zum Angebot
Computer Aided Verification
42,99 € *
ggf. zzgl. Versand

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.

Anbieter: buecher.de
Stand: 11.08.2018
Zum Angebot
IT-Freelancer
46,90 € *
ggf. zzgl. Versand

Viele IT-Freelancer lassen Geschäftspotential ungenutzt. Sie machen sich kaum Gedanken über ihr Dienstleistungsprodukt und beschränken sich auf die gewohnten, bequemen Vertriebswege. Das Buch ermuntert sie, egal ob Einsteiger oder alte Hasen, das eigene Leistungsangebot zu definieren oder zu überdenken, bestehende Geschäftsbeziehungen auf den Prüfstand zu stellen und neue zu knüpfen. Die Autoren behandeln vier Kernfragen, die sich der IT-Freelancer in jeder Phase seiner Selbständigkeit immer wieder stellen muss: Was ist mein Produkt? Wie gewinne ich Kunden? Wie erbringe ich meine Leistung? Wie schütze ich meine Interessen? Für nahezu alle unternehmerischen Entscheidungen, die man im Laufe seines Freelancerlebens trifft, gibt es vielfältige Alternativen. Egal, ob es Fachgebiet, Branche, Rolle im Projekt oder Vertriebsweg betrifft, eine vor Jahren getroffene Wahl ist nicht in Stein gemeißelt. Steht eine Entscheidung für einen neuen Geschäftspartner, einen Projektauftrag oder gar eine Neuausrichtung an, hilft es, den eigenen Handlungsspielraum ausgelotet zu haben. Dieses Handbuch behandelt alle Themen, die dem IT-Freelancer in seiner geschäftlichen Tätigkeit begegnen. Es bietet fundierten Rat in juristischen Fragen und begleitet kundig durch die Selbständigkeit in der Informatik.

Anbieter: buecher.de
Stand: 09.08.2018
Zum Angebot
E-Learning in der Lehre
33,99 € *
ggf. zzgl. Versand

Studienarbeit aus dem Jahr 2008 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1,0, FOM Essen, Hochschule für Oekonomie & Management gemeinnützige GmbH, Hochschulleitung Essen früher Fachhochschule (Wirtschaftsinformatik), Veranstaltung: Fallstudie II, 26 Quellen im Literaturverzeichnis, Sprache: Deutsch, Abstract: E-Learning wird als Sammelbegriff für das Lernen mit Software und das Nutzen des Internets verwendet. In Deutschland ist diese Form der Weiterbildung anerkannt und wird bereits in einigen Schulen und Universitäten respektive Fachhochschulen eingesetzt. Auch Unternehmen setzen diese Lernmethode ein, um Ihre Mitarbeiter zu schulen. Mit Hilfe von E-Learning kann der Unterrichtsprozess flexibler gestaltet und erweitert werden. Der Markt um E-Learning hat sich in den letzten Jahren sehr gut entwickelt und viele Unternehmen bieten zahlreiche kommerzielle E-Learning Systeme und OpenSource E-Learning Angebote an. Aufgrund der immer weiter wachsenden Konkurrenz unterscheiden sich die OpenSource Produkte in der Bedienung von den kommerziellen Systemen. Innerhalb kürzester Zeit ist aufgrund gestiegener Benutzerfreundlichkeit der Aufbau eines E-Learning Angebotes mit OpenSource Software möglich. Um ein optimales E-Learning Angebot erstellen zu können, sollten man sich jedoch einige Zeit mit E-Learning auseinandersetzen und genügend Zeit für die Planung und Umsetzung planen. Um dies zu ermöglichen werden in dieser Fallstudie die Vorteile und Grenzen, sowie die Einsatzgebiete von E-Learning erläutert. Dies wird ergänzt durch eine Betrachtung von E-Learning in der Lehre, welches mit einem Fragebogen erweitert wird. Da die auf dem Markt vorhandenen E-Learning Systeme recht unterschiedliche Ansätze bieten, wird die Fallstudie durch eine Nutzwertanalyse abgerundet und ein Praxisbeispiel für den Einsatz von E-Learning vorgestellt. Bei der Vorstellung des Praxisbeispiels wurden nur wenige Module des E-Learning Systems verwendet, da der Aufbau des gesamten Systems den zeitlichen Rahmen der Fallstudie überschreiten würde. In kürzester Zeit ist es jedoch möglich mit relativ geringem Aufwand ein gutes Ergebnis mit eingeschränktem Funktionsumfang zu erstellen.

Anbieter: buecher.de
Stand: 03.08.2018
Zum Angebot
Algorithmen und Datenstrukturen
44,90 € *
ggf. zzgl. Versand

Kenntnisse von Algorithmen und Datenstrukturen sind ein Grundbaustein des Studiums der Informatik und verwandter Fachrichtungen. Das Buch behandelt diese Thematik in Verbindung mit der Programmiersprache Java und schlägt so eine Brücke zwischen den klassischen Lehrbüchern zur Theorie von Algorithmen und Datenstrukturen und den praktischen Einführungen in eine konkrete Programmiersprache. Die konkreten Algorithmen und deren Realisierung in Java werden umfassend dargestellt. Daneben werden die theoretischen Grundlagen vermittelt, die in Programmiersprachen-Kursen oft zu kurz kommen: abstrakte Maschinenmodelle, Berechenbarkeit, Algorithmenparadigmen sowie parallele und verteilte Abläufe. Einen weiteren Schwerpunkt bilden Datenstrukturen wie Listen, Bäume, Graphen und Hashtabellen sowie deren objektorientierte Implementierung mit modernen Methoden der Softwareentwicklung. Die 5. Auflage wurde überarbeitet und gibt u.a. einen Überblick über die mit Java 8 eingeführten Lambda-Ausdrücke, die eine Anwendung des applikativen (funktionalen) Paradigmas darstellen. Weiter wurden neue Beispiele, die aus dem Einsatz des Buches in einigen Einführungsvorlesungen entstanden sind, aufgenommen. Das Buch richtet sich an Studierende im Grundstudium an Universitäten und Fachhochschulen sowie an alle, die die Grundlagen der praktischen Informatik strukturiert erlernen wollen. Sie erwerben damit die Basis für die theoretischen und praktischen Vertiefungen im Hauptstudium und lernen gleichzeitig die Umsetzung in den ´´Alltag´´ der Softwareentwicklung kennen.

Anbieter: buecher.de
Stand: 03.08.2018
Zum Angebot
Wissenschaftliche HP-Taschenrechner im praktisc...
24,99 € *
ggf. zzgl. Versand

Fachbuch aus dem Jahr 2012 im Fachbereich Informatik - Allgemeines, , Veranstaltung: -, Sprache: Deutsch, Abstract: Das Buch beschreibt die vier wissenschaftlichen HP-Taschenrechner HP 48GX, HP 49G, HP 49g+ und HP 50g. Es führt sehr ausführlich Schritt für Schritt in den Gebrauch dieser HP-Taschenrechner ein und erläutert die Handhabung und Programmierung der Rechner in Theorie und Praxis anhand vieler Programmbeispiele und Bilder. Das Buch ist zum Lernen und Nachschlagen geeignet. Der Leser sollte Besitzer eines der beschriebenen Rechner sein oder zumindest eine Emulation eines HP-Taschenrechners auf dem Windows- oder MAC-PC verwenden. Ein gewisses Vorwissen aus der Lektüre der Original-Handbücher wäre von Vorteil. In diesem Buch werden aber nicht die Handbücher wiederholt, sondern diejenigen Anwenderprobleme ausführlich beschrieben, die in den Handbüchern nicht zufriedenstellend abgehandelt sind. Eine Kapitelübersicht und ein ausführliches Inhaltsverzeichnis sind dem Buch vorangestellt. Im Anhang befinden sich Literaturverzeichnis, Bilderverzeichnis, Formelverzeichnis, Tabellenverzeichnis, Verzeichnis der Learning Modules, ein detailliertes alphabetisches Sachverzeichnis und ein Kalender für das Jahr 2012. Zielgruppe: Insbesondere neue HP-Anwender, wie Schüler und Studierende und nicht zuletzt Ingenieure in der beruflichen Praxis, die zum ersten Mal mit einem HP arbeiten, werden ihren Nutzen daraus ziehen.

Anbieter: buecher.de
Stand: 03.08.2018
Zum Angebot

Stöbern Sie durch unser Sortiment


Alle Angebote

Eine Auswahl unserer Shops

Häufig gesucht