ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Books  (195)
  • 2015-2019  (79)
  • 2010-2014  (64)
  • 2005-2009  (50)
  • 1985-1989  (2)
  • Computer Science  (195)
Collection
Source
Language
Years
Year
  • 1
    Unknown
    Tokyo : TERRAPUB
    Keywords: space simulations ; simulation techniques ; simulation software
    Description / Table of Contents: Simulation Techniques --- One-dimensional Electromagnetic Particle Code: KEMPO1 A Tutorial on Microphysics in Space Plasmas / Y. Omura / pp. 1-21 --- Vlasov-code simulation / J. Büuchner / pp. 23-46 --- δf Particle-in-Cell Plasma Simulation Model: Properties and Applications / R. D. Sydora / pp. 47-60 --- Automatic Adaptive Multi-Dimensional Particle In Cell / G. Lapenta / pp. 61-76 --- Generalized Curvilinear Coordinates in Hybrid and Electromagnetic Codes / D. W. Swift / pp. 77-89 --- A New Methodology for Multi-Scale Simulation of Plasmas / H. Karimabadi, Y. Omelchenko, J. Driscoll, R. Fujimoto, and K. Perumalla / pp. 91-99 --- Numerical methods used in the Lyon-Fedder-Mobarry Global code to model the magnetosphere / J. G. Lyon / pp. 101-109 --- Unstructured Meshes and Finite Elements in Space Plasma Modelling: Principles and Applications / R. Marchand, J. Y. Lu, K. Kabin, and R. Rankin / pp. 111-143 --- Visualization of Tangled Vector Field Topology and Global Bifurcation of Magnetospheric Dynamics / D. Cai, K. Nishikawa, and B. Lembege / pp. 145-166 --- Introduction to Virtual Reality Visualization by the CAVE system / N. Ohno and A. Kageyama / pp. 167-207 --- Simulation Software --- KEMPO1 Kyoto university ElectroMagnetic Particle cOde: 1d version / Y. Omura / pp. 209-235 --- The Elements for Setting up a Hybrid or Electromagnetic Code in Curvilinear Coordinates / D. W. Swift / pp. 237-282
    Pages: Online-Ressource (VII, 282 Seiten)
    ISBN: 9784887041387
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Unknown
    Bonn : Galileo Press
    Keywords: VisualBASIC 2005 ; ADO.NET 2.0
    Description / Table of Contents: In diesem Buch stellt Andreas Kühnel die .Net-basierte Programmierung mit Visual Basic 2005 in all ihren Facetten vor. Neben dem Framework und der Entwicklungsumgebung Visual Studio sowie der Sprachsyntax von Visual Basic geht er ausführlich auf die objektorientierte Programmierung ein, stellt häufig verwendete Programmtechniken vor und zeigt, wie man grafische Oberflächen entwickelt. Sein umfassendes Kompendium wird sowohl Umsteigern als auch Einsteigern gerecht.
    Pages: Online-Ressource (1233 Seiten)
    Edition: 2., akt. und erw. Aufl.
    ISBN: 3898425851
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Unknown
    Bonn : Galileo Press
    Keywords: JavaScript ; AJAX
    Description / Table of Contents: Dies ist die 7. Auflage des Standardwerkes zu JavaScript. Sie wurde vollständig überarbeitet und aktualisiert. Der erste Teil vermittelt eine umfangreiche Einführung in JavaScript mit unverbrauchten, originellen Beispielen. Im zweiten Teil kommen die JavaScript-Kenner voll auf ihre Kosten: Ein eigenes umfangreiches AJAX-Kapitel wurde ergänzt, weitere Themen sind Browserkompatibilität, Formulare, DHTML, Kommunikation mit Java-Applets – kurz: Die ganze Palette des praktischen Einsatzes der Sprache. Im letzten Teil des Buches befindet sich eine ausführliche Referenz zum Nachschlagen.
    Pages: Online-Ressource (841 Seiten)
    Edition: 7., akt. Aufl.
    ISBN: 3898428591
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Unknown
    Bonn : Rheinwerk Verlag
    Keywords: Java ; Java Version 8 ; JSE 8
    Description / Table of Contents: Unser Handbuch ist die erste Wahl, wenn es um aktuelles und praktisches Java-Wissen geht. Java-Einsteiger, Studenten und Umsteiger profitieren seit mehr als einem Jahrzehnt von diesem Lehrwerk. Neben der Behandlung der Sprachgrundlagen von Java (Neu in Java 8: Lambda-Ausdrücke) gibt es kompakte Einführungen in Spezialthemen. So erfahren Sie einiges über Threads, Swing, Netzwerkprogrammierung, NetBeans, RMI, XML und Java, Servlets und Java Server Pages. Dieses Buch gehört in das Regal eines jeden Java-Programmierers.
    Pages: Online-Ressource (1312 Seiten) , Illustrationen, Diagramme
    Edition: 12., akt. Aufl.
    ISBN: 9783836241199
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Keywords: Ubuntu
    Description / Table of Contents: Umfassender geht es nicht! Hier erfahren Sie alles, was Sie mit der Version 11.04 »Natty Narwhal« (dt. »Schicker Zahnwal«) der beliebtesten Linux-Distribution Ubuntu anstellen können. Von der Installation, der Paketverwaltung über Optimierung, Programmierung, Migration und Kernelkompilierung bis hin zur Virtualisierung und Netzwerktechnik finden Sie alle wichtigen Fragen zu Ubuntu Linux in diesem Buch beantwortet. Darüber hinaus profitieren Sie von mehr als 300 eigens gekennzeichneten Tipps und Tricks sowie von zahlreichen Praxisworkshops. Werden Sie mit diesem Buch ganz einfach zum Ubuntu-Profi! Übrigens: Auch eingefleischte Ubuntu-Nutzer werden in dieser Ausgabe zur aktuellen Version viel Neues entdecken - denn Ubuntu setzt seit »Natty Narwhal« mit der Unity-Oberfläche auf einen neuen Look.
    Pages: Online-Ressource (1118 Seiten)
    Edition: 7., akt. Aufl.
    ISBN: 9783836217651
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Unknown
    Bonn : Galileo Press
    Keywords: Visual C sharp 2008 ; .NET
    Description / Table of Contents: Dieses Buch bietet Ihnen einen gründlichen und umfassenden Einstieg in die C#-Programmierung. Der erste Teil enthält eine Einführung in .NET, Visual Studio 2008, C# und die objektorientierte Programmierung. Hier werden besonders Einsteiger angesprochen, die noch nicht objektorientiert unter .NET programmiert haben. Im zweiten Teil werden elementare Klassen und Programmiertechniken vorgestellt. Daran schließt sich die Windows-Programmierung an. Großen Raum nimmt die Entwicklung von grafischen Benutzerschnittstellen mit der neuen Windows Presentation Foundation, kurz WPF, ein. Auch ADO.NET und LINQ sind wichtige Themen des Buches.
    Pages: Online-Ressource (1365 Seiten)
    Edition: 4., akt. und erw. Aufl.
    ISBN: 9783836211727
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Unknown
    Bonn : Galileo Press
    Keywords: Visual Basic 2008
    Description / Table of Contents: Aktuell zum neuen Visual Studio 2008 erscheint diese Einführung in die Programmierung mit Visual Basic 2008. Hier finden Sie alles, was Sie zum Programmieren mit VB wissen müssen, angefangen bei den Grundlagen zu Variablen, Operatoren, Schleifen und Co. über Fehlerbehandlung, objektorientierte Programmierung bis hin zu Datenbank-Anwendungen mit ADO.NET und Internet-Anwendungen mit ASP.NET. Auch Einsteiger ohne Vorkenntnisse werden sich schnell zurechtfinden. Schritt-für-Schritt-Anleitungen, Übungsaufgaben mit kommentierten Lösungen und regelmäßige Zusammenfassungen erleichtern das Lernen und garantieren einen schnellen Erfolg. Ein umfangreiches Kapitel widmet sich detailliert den Neuerungen in Visual Basic 2008 im Vergleich zur Vorgängerversion.
    Pages: Online-Ressource (441 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783836211925
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Unknown
    Bonn : Galileo Press
    Keywords: Ruby on Rails 2.0
    Description / Table of Contents: Das erste deutsche Rails-Handbuch für Entwickler zur aktuellen Version 2! Hier werden die zahlreichen und komplexen Möglichkeiten des Frameworks ausführlich und verständlich gezeigt. Lesen Sie, wie Sie Rails installieren, wie Sie Ihre ersten Anwendungen erstellen und lernen Sie schließlich alle Module des Frameworks kennen. Das Buch bleibt stets praxisbezogen, da Rails anhand mehrerer »Realworld«-Beispiele erläutert wird. Alle Applikationen sind dabei systematisch aufgebaut, von einfachen bis hin zu komplexen Anwendungen. Für alle, die zum ersten Mal mit Ruby arbeiten, enthält das Buch außerdem eine umfassende Einführung in die Programmiersprache.
    Pages: Online-Ressource (699 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783898427791
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Unknown
    Bonn : Galileo Press
    Keywords: Python 2.5
    Description / Table of Contents: Dieses Buch bietet sowohl eine umfassende Einführung in die Sprache Python als auch viele weiterführende Kapitel zu fortgeschrittenen Themen wie GUI-Entwicklung, Web-Programmierung mit Django oder Netzwerkkommunikation. Nach der Lektüre sind Sie in der Lage, Python professionell einzusetzen. Die Einführung erfolgt systematisch vom ersten einfachen Programm bis hin zu komplexen objektorientierten Programmen. Das Buch ist konsequent praxisorientiert und zum Lernen und Nachschlagen hervorragend geeignet.
    Pages: Online-Ressource (819 Seiten) , Illustrationen, Diagramme, Karten
    Edition: 1. Aufl.
    ISBN: 9783836211109
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Unknown
    Bonn : Galileo Press
    Keywords: Informatik ; Informationstechnik ; Lehrbuch
    Description / Table of Contents: Dieses Standardwerk hat sich seit vielen Jahren in Ausbildung und Studium bewährt. Gut strukturiert und in gut lesbaren Lerneinheiten vermittelt es Ihnen einen Überblick über das Gesamtgebiet der Fachinformatik, wie es die Prüfungsordnung der IHK für eine zwei- oder dreijährige Berufsausbildung vorschreibt. Sascha Kersken bietet Ihnen einen leichten Zugang zu allen Themen und Grundlagen der modernen Informationstechnik, wie sie Fachinformatiker in Ihrer Ausbildung benötigen: Aufbau der Computerhardware, Betriebssysteme, Netzwerktechnik, -protokolle und -anwendungen sowie Grundlagen der Programmierung werden ebenso wie das Thema Datenbanken und Multimedia berücksichtigt. Die neue Auflage wurde um viele aktuelle Themen und Trends erweitert. HTML5, CSS3, jQuery, Cloud Computing oder Scrum wurden dabei ebenso behandelt wie die aktuellen Versionen der Betriebssysteme Windows, Mac OS X und Linux.
    Pages: Online-Ressource (1216 Seiten)
    Edition: 6., akt. und erw. Aufl.
    ISBN: 9783836222341
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    Unknown
    Bonn : Galileo Press
    Keywords: Shell ; Shellscript
    Description / Table of Contents: In den ersten zehn Kapiteln des Buches erfahren Sie alles, was Sie zur Shell-Programmierung wissen müssen. Weitere Kapitel gehen auf die unverzichtbaren Tools grep, sed und awk ein, die in Kombination (oder auch allein) mit der Shellscript-Programmierung zu wertvollen Helfern werden können.
    Pages: Online-Ressource (782 Seiten)
    Edition: 1. Aufl.
    ISBN: 3898426831
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    Unknown
    Bonn : Galileo Press
    Keywords: LINUX ; UNIX ; SHELL ; Systemprogrammierung
    Description / Table of Contents: Dieses umfassende Handbuch bietet Ihnen nahezu vollständiges Linux-Wissen. Es erklärt, wie man Linux als leistungsstarke Workstation nutzen kann und widmet sich ausführlich professionelleren Themen wie Administration des Systems, Shell, Netzwerkkonfiguration und Sicherheit. Das Buch ist geeignet für Nutzer aller gängigen Linux-Distributionen. Die beiliegenden Multiboot-DVDs enthalten eine große Auswahl an Linux-Systemen. Das Buch ist konsequent praxisnah geschrieben, immer verständlich und sehr gründlich in der Behandlung aller Themen. Diese 5. Auflage wurde umfassend aktualisiert und verbessert. Sowohl Einsteiger als auch Profis werden von diesem kompetenten Handbuch profitieren.
    Pages: Online-Ressource (1282 Seiten)
    Edition: 5., akt. Aufl.
    ISBN: 9783836218221
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Keywords: Dreamweaver 8.0
    Pages: Online-Ressource (639 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783898427395
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    Keywords: PHP ; PEAR ; PECL
    Description / Table of Contents: Wer PHP effizient einsetzen will, sollte die umfangreichen Erweiterungen von PEAR nutzen. Dabei ist PEAR mehr als nur eine einfache Bibliothek. Vergleichbar dem CPAN-Projekt für Perl bietet PEAR zahlreiche Bibliotheken und nützliche Hilfsmittel für PHP-Entwickler, die sich dank des PEAR-Installers auf einfache Weise in bestehende PHP-Installationen integrieren lassen. So lassen sich Entwicklungprozesse erheblich verkürzen. Ein Hindernis stellten bisher lediglich die unzureichnenden Dokumentationen dar. Das Buch von Carsten Möhrke schafft Abhilfe. Es führt in die Nutzung ein, beschreibt ausführlich die Installation und alle wichtigen PEAR- und PECL-Pakete. Auch die Entwicklung eigener Pakete für das Archiv wird beschrieben.
    Pages: Online-Ressource (798 Seiten)
    Edition: 1. Aufl.
    ISBN: 3898425800
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    Unknown
    Beijing : O'Reilly
    Keywords: PHPUnit ; API ; PHP
    Pages: Online-Ressource (84 Seiten)
    Edition: 1. Aufl.
    ISBN: 3897215152
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    Keywords: Subversion
    Pages: Online-Ressource (329 Seiten)
    Edition: 1. Aufl.
    ISBN: 3897213907
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Keywords: Open Source ; Lizenzvertrag
    Pages: Online-Ressource (182 Seiten)
    Edition: 1. Aufl.
    ISBN: 3897213893
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Unknown
    Beijing : O'Reilly
    Keywords: Internet ; Kryptoanalyse ; Computersicherheit ; Datensicherung ; Firewall ; Electronic Banking ; Passwort ; Zugriffskontrolle
    Pages: Online-Ressource (349 Seiten)
    Edition: 3. Aufl.
    ISBN: 9783897217157
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Unknown
    Beijing : O'Reilly
    Keywords: Flex 2.0 ; Flash ; Rich Internet Applications
    Pages: Online-Ressource (91 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783897216259
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Unknown
    Saarbrücken : Bomots
    Keywords: Scribus
    Pages: Online-Ressource (118 Seiten)
    Edition: 2. Aufl.
    ISBN: 9783000143878
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    Unknown
    Beijing : O'Reilly
    Keywords: Ruby on Rails
    Pages: Online-Ressource (545 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783897217140
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    Unknown
    Bonn : Galileo Press
    Keywords: Windows Server 2008 R2 ; Hyper-V ; Active Directory ; Remotedesktopdienste ; Webserver IIS ; Netzwerkprotokolle ; Kerberos-Authentifizierung
    Description / Table of Contents: Das lösungsorientierte und praktische Handbuch zum Windows Server 2008 R2 mit zahlreichen fundierten Hintergrundinformationen! Der Autor Ulrich B. Boddenberg greift bei der Beschreibung des Servers auf seine praktischen Erfahrungen in zahlreichen Projekten bei mittleren und großen Kunden zurück. Denn ein modernes Betriebssystem wie Windows Server 2008 R2 bietet weit mehr als nur die Möglichkeit, Programme auszuführen. Er beschreibt alle zentralen Technologien, wie die Virtualisierung mit Hyper-V, Active Directory, Terminaldienste und den Webserver IIS. Neben diesen konkreten Technologien geht es auch um Grundlagen wie Netzwerkprotokolle, Kerberos-Authentifizierung oder die eingesetzte Hardware. Zentrale Aspekte wie Performance, Verfügbarkeit und Sicherheit ziehen sich durch das gesamte Buch.
    Pages: Online-Ressource (1410 Seiten)
    Edition: 3., akt. und erw. Aufl.
    ISBN: 9783836215282
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    Unknown
    Bonn : Galileo Press
    Keywords: Objektorientierte Programmierung ; OOP ; C++ ; Java ; Ruby ; C# ; Aspektorientierung
    Description / Table of Contents: In diesem Buch finden Sie alles, was Sie brauchen, um sich in die objektorientierte Programmierung einzuarbeiten. Die beiden Autoren erläutern alle Prinzipien und ihre Umsetzung anschaulich und verständlich anhand einer Vielzahl typischer Beispiele. Als Sprachen werden C++, Java, Ruby, C# und PHP eingesetzt. Anhand eines größeren Projekts bekommen Sie zudem einmal von Anfang bis Ende gezeigt, wie Sie OOP konsequent realisieren können. Des Weiteren bietet das Buch eine Einführung in die aspektorientierte Programmierung.
    Pages: Online-Ressource (656 Seiten)
    Edition: 2., akt. und erw. Aufl.
    ISBN: 9783836214018
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    Unknown
    Bonn : Galileo Press
    Keywords: Visual Basic ; Visual Basic 2008 ; Visual Studio ; Objektorientierte Programmierung ; OOP
    Description / Table of Contents: Wer Anwendungen mit Visual Basic 2008 programmieren will, findet in diesem Buch alles, was er dafür braucht. Neben dem Framework und der Entwicklungsumgebung Visual Studio sowie der Sprachsyntax von Visual Basic wird ausführlich auf die objektorientierte Programmierung eingegangen. Häufig verwendete Programmiertechniken werden ebenso gezeigt wie die Entwicklung grafischer Oberflächen mit WinForms und WPF sowie die Datenbankanbindung mit ADO.Net. Das Buch enthält alle Neuerungen des Visual Studio 2008. So werden die Themen LINQ (Language Integrated Query, ganz neu in .NET 3.5) oder etwa XAML (eXtensible Application Markup Language) sehr ausführlich in eigenen neuen Kapiteln behandelt.
    Pages: Online-Ressource (1323 Seiten)
    Edition: 3., akt. und erw. Aufl.
    ISBN: 9783836211710
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    Keywords: Joomla! ; Joomla! 1.5 ; CMS ; Content Management System
    Description / Table of Contents: Joomla! ist ein populäres Open-Source-CMS, das durch seine leichte Zugänglichkeit, Leistungsfähigkeit und Flexibilität besticht. Es basiert auf PHP und MySQL und kann daher auf verschiedensten Serverumgebungen eingesetzt werden. Der Versionssprung von 1.0 auf 1.5 macht es deutlich: umfangreiche Änderungen, wie z. B. die grundlegende Überarbeitung des Joomla!-Frameworks, Datenbankabstraktion und verbesserte Caching-Verfahren machen Joomla! 1.5 noch funktionsreicher, performanter und sicherer. Das Buch bietet eine umfassende Einführung in Installation, Funktionsumfang und Betrieb von Joomla! 1.5. Darüber hinaus werden auch professionelle Themen wie Websitemigration, Entwicklung von Erweiterungen und Datensicherung detailliert dargestellt.
    Pages: Online-Ressource (820 Seiten)
    Edition: 2., akt. und erw. Aufl.
    ISBN: 9783898428811
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    Unknown
    Bonn : Galileo Press
    Keywords: Softwareentwicklung ; Objektorientierung ; Objektorientierte Programmierung ; Aspektorientierte Programmierung
    Description / Table of Contents: Kaum eine Software, die nicht mehr objektorientiert entworfen und entwickelt wird! Die beiden Autoren geben eine umfassende Einführung in die Prinzipien und die Anwendung der Objektorientierung. Das Buch ist aufgabenorientiert, bietet Beispiele in den Sprachen C++, Java, Ruby, und C# sowie ein Kapitel zur aspektorientierten Programmierung.
    Pages: Online-Ressource (609 Seiten)
    Edition: 1. Aufl.
    ISBN: 3898426246
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    Keywords: Rechnernetz ; Systemverwaltung ; Netzwerkverwaltung ; Windows Server 2003 ; Active Directory ; Exchange Server 2003 ; Windows XP Professional Edition
    Description / Table of Contents: Ein Integrationshandbuch im besten Sinne: Das Wissen um das Zusammenspiel von Microsoft Windows Server 2003, ADS, Windows XP Professional, Office XP/2003 oder Exchange Server ist sehr komplex. Administratoren, die nach einer Gesamtlösung suchen, stellen fest, dass es immens viele Informationen, Fehlerbeschreibungen, Service Packs, Patches und Hotfixes zu den Einzelprodukten gibt, aber keinen Lösungsansatz, der dieses Wissen bündelt und in Beziehung setzt. Anders dieses Buch: Schritt für Schritt wird ein Gesamtsystem implementiert, das nicht nur über einen kurzen Zeitraum läuft, sondern wartbar bleibt und später auf neue Versionen upgedated werden kann. Die 3. Auflage des Standardwerkes wurde aktualisiert und erweitert um Ausführungen zu Small Business Server, Windows Server 2003 R2, Windows Terminalserver, Access-based Enumeration und Best Practices zum Drucken im Netzwerk.
    Pages: Online-Ressource (997 Seiten)
    Edition: 3., akt. und erw. Aufl.
    ISBN: 3898428478
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    Unknown
    Bonn : Galileo Press
    Keywords: iPad ; iPhone ; XCode ; Apps
    Description / Table of Contents: Klaus M. Rodewig und Clemens Wagner geben Ihnen einen Einblick in die Architektur des iPhone und des iPad und eine Anleitung zum Programmieren eigener Applikationen. Dabei werden alle wichtigen Themen in der gebotenen Tiefe mit Hintergrundwissen beschrieben. Praktische Beispiele unterstützen Sie von Anfang an, so dass Sie direkt loslegen können. Erste Ergebnisse können Sie im iPhone Simulator direkt testen. Sie erhalten einen Überblick über die verschiedenen iPhone- und iPod Touch-Modelle, erfahren, wie Sie in der Apple Developer Connection Mitglied werden können und Applikationen für das iPhone im Appstore anbieten können. Natürlich kommt in diesem Buch auch der Hintergrund nicht zu kurz. Eine kurze Einführung in Objective-C und Cocoa vermittelt Ihnen alles, was Sie wissen müssen. Inkl. Schnittstellen zum Datenaustausch, Events, Alerts, Datenverwaltung mit Core Data und die verschiedenen Möglichkeiten der Netzwerkprogrammierung. Profis werden von den Tipps und Tricks zur Konfiguration und Verwendung von Xcode, Debugging und der Arbeit mit einem Versionierungssystem profitieren.
    Pages: Online-Ressource (515 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783836214636
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    Unknown
    Bonn : Galileo Press
    Keywords: Betriebssystem ; Open Source ; LINUX ; UNIX
    Description / Table of Contents: Dieses Buch bietet einen umfassenden Einblick in die Systemprogrammierung unter Linux und Unix. Es ist für Leser mit Betriebssystem-Kenntnissen und C-Wissen geeignet. Aus dem Inhalt: Umfassende Einführung, E/A-Funktionen, Attribute von Dateien und Verzeichnissen, Zugriff auf Systeminformationen, Prozesse und Dämonprozesse, Umgebungsvariablen eines Prozesses, Signale, Interprozesskommunikation, Threads, Netzwerkprogrammierung, MySQL, Terminal E/A und Benutzerschnittstellen für die Konsole, Sicherheit, XWindow-Programmierung, Windowmanager, Systeminformationen, Devices, GTK+. Neu in dieser 2., erweiterten Auflage: ein Kapitel zu System- und Benutzerdateien, ein stark erweitertes Thread-Kapitel und Ausführungen zu Dämonen, Zombies und Prozessen und zu Unix-Domain-Sockets.
    Pages: Online-Ressource (1216 Seiten)
    Edition: 2., akt. und erw. Auf.
    ISBN: 9783898427494
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Keywords: ActionScript ; Flash 8 ; Flash MX 2004
    Pages: Online-Ressource (413 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783898427746
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    Unknown
    Bonn : Galileo Press
    Keywords: C ; ANSI C
    Description / Table of Contents: Hier bekommen Sie C-Wissen pur. Egal, ob Sie gerade anfangen, C zu lernen oder ein kompetentes Nachschlagewerk für Fragen rund um C benötigen, mit diesem Buch sind Sie bestens beraten. Ausführlich werden die Grundlagen von C dargestellt, angefangen von den elementaren Datentypen bis hin zu Arrays, Zeigern und dynamischer Speicherverwaltung. Auch fortgeschrittene Themen wie das Programmieren von Webanwendungen mit der CGI-Schnittstelle und eigenen Datenbank-Clients mit der C-API von MySQL, Netzwerk- und Cross-Plattform-Entwicklung kommen nicht zu kurz.
    Pages: Online-Ressource (1190 Seiten)
    Edition: 3., akt. und erw. Aufl.
    ISBN: 9783836214117
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    Unknown
    Tokyo : TERRAPUB
    Keywords: space plasmas ; computer simulations ; particle simulations ; MHD simulations
    Description / Table of Contents: PART I PARTICLE SIMULATIONS --- INTRODUCTION TO PARTICLE SIMULATION MODELS AND OTHER APPLICATION TO ELECTROSTATIC PLASMA WAVES / Hideo Okuda / pp. 3-41 --- PARTICLE SIMULATION OF ELECTROMAGNETIC WAVES AND ITS APPLICATION TO SPACE PLASMAS / Hiroshi Matsumoto and Yoshiharu Omura / pp. 43-102 --- RELATIVISTIC CODE APPLIED TO RADIATION GENERATION / A. T. Lin / pp. 103-116 --- MODERN DEVELOPMENT IN PARTICLE SIMULATION / J. C. Adam / pp. 117-130 --- PART II MHD SIMULATIONS --- PRINCIPLES OF MAGNETOHYDRODYNAMIC SIMULATION IN SPACE PLASMAS / Tetsuya Sato / pp. 133-153 --- MHD MODELLING OF THE EARTH'S MAGNETOSPHERE / C. C. Wu / pp. 155-177 --- NUMERICALLY-SIMULATED FORMATION AND PROPAGATION OF INTERPLANETARY SHOCKS / S. T. Wu / pp. 179-201 --- ANOMALOUS TRANSPORT BY KELVIN-HELMHOLTZ INSTABILITIES / Akira Miura / pp. 203-224 --- PART III OTHER-METHOD SIMULATIONS --- PARTICLE BEHAVIOR IN THE MAGNETOSPHERE / R. A. Wolf and R. W. Spiro / pp. 227-254 --- HYBRID SIMULATION TECHNIQUES APPLIED TO THE EARTH'S BOW SHOCK / D. Winske and M. M. Leroy / pp. 255-278 --- VLASOV SIMULATION OF ION ACOUSTIC DOUBLE LAYERS / G. Chanteur / pp. 279-301 --- SIMULATION MODELS FOR SPACE PLASMAS AND BOUNDARY CONDITIONS AS A KEY TO THEIR DESIGN AND ANALYSIS / Christian T. Dum / pp. 303-375
    Pages: Online-Ressource (X, 380 Seiten)
    ISBN: 9027719527
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    Unknown
    Bonn : Galileo Press
    Keywords: EXCEL 2007
    Description / Table of Contents: Dieses Buch bietet Ihnen umfassendes Excel-Wissen für den beruflichen Alltag. Es ist gleichermaßen Schritt-für-Schritt-Anleitung und Nachschlagewerk sowie eine Fundgrube praktischer Tipps. Lösungsorientiert lernen Sie »on the job« die wichtigsten Funktionen des Programms.
    Pages: Online-Ressource (1012 Seiten)
    Edition: 3., erw. und akt. Aufl.
    ISBN: 9783898428644
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    Keywords: Bioinformatics ; Biology ; Data processing ; Biotechnology ; Computer software ; Data structures (Computer science) ; Genetic engineering
    ISBN: 9782287339097
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    Keywords: Java 7
    Description / Table of Contents: Die Fortsetzung des Java-Kultbuchs für Entwickler! Hier bekommen Sie umfassendes und kompetentes Praxiswissen zu den vielen Bibliotheken und Technologien in einem Band. Am Beispiel konkreter Java-Projekte zeigt Christian Ullenboom, was man wissen muss über Swing, Netzwerk- und Grafikprogrammierung, RMI und Web-Services, JavaServer Pages und Servlets, Applets, JDBC, Reflection und Annotationen, Logging und Monitoring, Java Native Interface (JNI) und vieles mehr. Dieses Buch ist Ihr unersetzlicher Begleiter bei der täglichen Arbeit!
    Pages: Online-Ressource (1433 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783836215077
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Keywords: High Dynamic Range ; Digitale Photographie ; Bildverarbeitung
    Pages: Online-Ressource (281 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783836211031
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Keywords: LINUX
    Pages: Online-Ressource (430 Seiten)
    Edition: 1. Aufl.
    ISBN: 3897214164
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    Keywords: Spam-Mail ; Computervirus ; Mail-Filter ; Open Source
    Pages: Online-Ressource (351 Seiten)
    Edition: 1. Aufl.
    ISBN: 389721377X
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    Keywords: LINUX ; Linux device drivers ; Treiber
    Pages: Online-Ressource (615 Seiten)
    Edition: 3rd ed.
    ISBN: 9780596005900
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    Keywords: GNU ; GNU Emacs ; Make ; Utilities
    Pages: Online-Ressource (280 Seiten)
    Edition: 3rd ed., completely rev. & updated
    ISBN: 0596006101
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    Unknown
    Beijing : O'Reilly
    Keywords: Ruby on Rails
    Pages: Online-Ressource (346 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783897214767
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    Unknown
    Bonn : Galileo Press
    Keywords: Adobe Photoshop CS2
    Description / Table of Contents: Sie kennen sich mit Photoshop gut aus, suchen aber noch Tipps und Tricks für einen produktiveren Einsatz? Dieses Buch bietet reines Profiwissen! Im Fokus stehen hier Techniken für Fortgeschrittene, Hilfestellungen für einen effektiven Workflow und Tipps zur Automatisierung und Optimierung. So finden Sie Profiwissen z.B. zu den Themen Auswahlen, Effekte, Dritthersteller-Tools, Druckausgabe, Farbmanagement, Workflow, Bridge, Skripte, CameraRAW, Probleme mit Digitalfotos und vieles mehr. Grundlagenwissen wird hier nicht mehr erläutert! Ein Buch, das zum Schmökern einlädt und viele erhellende Zusammenhänge aufzeigt, Ihnen aber besonders hilft, Zeit zu sparen!
    Pages: Online-Ressource (508 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783898427005
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Unknown
    Beijing : O'Reilly
    Keywords: Firewall ; SuSE LINUX 9.0 ; LINUX 2.6 ; Kernel ; Debian GNU/LINUX 3.1
    Pages: Online-Ressource (632 Seiten)
    Edition: 2. Aufl.
    ISBN: 3897214466
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Keywords: LINUX ; Netzwerkverwaltung
    Pages: Online-Ressource (359 Seiten)
    Edition: 3. Aufl.
    ISBN: 3897214148
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    Unknown
    Beijing : O'Reilly
    Keywords: MySQL 5.0 ; MySQL 5.1 ; PHP 5.2
    Pages: Online-Ressource (349 Seiten)
    Edition: 2. Aufl.
    ISBN: 9783897217171
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Unknown
    München : Open Source Press
    Keywords: Linux ; Betriebssysteme
    Description / Table of Contents: Linux-Nutzer, die bei Einrichtung und Verwaltung ihres Systems großen Wert auf Unabhängigkeit legen, greifen zu Gentoo Linux. Herz einer jeden Gentoo-Installation ist Portage, ein fortschrittliches, den FreeBSD-Ports ähnliches Paketmanagementsystem. Anders als die Paketmanager anderer Distributionen setzt Portage nicht auf vorkompilierte Binärpakete, sondern arbeitet auf Quellcodebasis. Portage sowie die Vor- und Nachteile quellbasierten Paketmanagements allgemein bilden Kernthemen dieses Buches. Der Autor führt praxisnah durch Installation und Administration und beschreibt Besonderheiten insbesondere für jene, die bereits Erfahrung mit anderen Linux-Distributionen gesammelt haben, so dass auch versierte Anwender Neues über die Konzepte von Linux bzw. das Zusammenspiel seiner Komponenten erfahren. Als Beispielszenario dient das Einrichten eines Webservers. Das Buch zeigt darüber hinaus, wie man die Distribution selbst erweitert und den eigenen Rechner in ein maßgeschneidertes Linux-System verwandelt gemäß dem Motto des Projekts: "Gentoo is all about choices".
    Pages: Online-Ressource (416 Seiten)
    ISBN: 9783937514345
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    Unknown
    München : Open Source Press
    Keywords: Kultur ; Kreativität ; Medienindustrie
    Description / Table of Contents: Niemals zuvor lag die Macht zur Kontrolle von Kreativität derart konzentriert in der Hand einiger weniger – der Medienindustrie. Gemäß ihren wirtschaftlichen Interessen erstickt sie schöpferische Prozesse oder zwingt diese in für sie einträgliche Bahnen. Unsere Gesellschaft steht für den freien Markt ebenso wie für die Freiheit der Rede; warum aber lässt sie eine solche Bevormundung zu? Indem wir mit unserer Tradition der freien Kultur brechen, so zeigt Lawrence Lessig, "der bedeutendste Denker zum Thema geistiges Eigentum im Internet-Zeitalter" ("The New Yorker"), verlieren wir die Freiheit zur Kreativität und zuletzt auch die Freiheit, Neues zu denken. Mit Hartmut Pilch, dem Vorsitzenden des FFII, und Annegret Claushues haben wir zwei fachlich wie sprachlich hochkompetente Übersetzer gewinnen können, die Inhalt und Form des Textes jederzeit gerecht werden.
    Pages: Online-Ressource (304 Seiten)
    ISBN: 9783937514154
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    Keywords: Kultur ; Internet ; digitale Netze
    Description / Table of Contents: Noch nie war es einfacher, Menschen und ihr Wissen in Form von Texten, Bildern oder Tönen zusammenzubringen und zu vernetzen. Freie Netze sind der Versuch, dieses Potential von Internet und PC auszuschöpfen und möglichst alle Menschen daran teilhaben zu lassen. FREIES WISSEN. Der Zugang zu digitalen Netzen bedeutet noch nicht den Zugang zu Inhalten. Ein freier Zugang zu Wissen ist aber die Basis für Innovation und Emanzipation. Den neuen Möglichkeiten für freien Zugang zu Wissen stehen neue und alte, soziale und rechtliche Barrieren gegenüber. Von siebzehn Autorinnen und Autoren werden die verschiedenen Anwendungsbereiche von Freien Netzen und Freiem Wissen dargestellt. In jedem der neun Kapitel kommen in Interviews Menschen wie Lawrence Lessig oder Richard Stallman zu Wort, die mit dem Thema als ExpertInnen, PionierInnen oder unmittelbar Betroffene zu tun hatten oder haben. Am Ende jedes Kapitels finden sich konkrete Projektvorschläge zur Umsetzung auf lokaler Ebene als Beitrag für das Linzer Kulturhauptstadtjahr 2009.
    Pages: Online-Ressource (328 Seiten)
    ISBN: 3901761640
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    Unknown
    München : Open Source Press
    Keywords: TYPO3 ; CMS ; Content Management Systeme
    Description / Table of Contents: Vorwort Gut 80% aller Online-Kunden haben ihren Einkauf schon einmal wegen fehlender Funktionalität oder mangelnder Benutzerfreundlichkeit des Shops abgebrochen. Und: Fast die Hälfte aller Online-Shops in Deutschland basiert auf Open-Source-Lösungen.1 Damit ist die Motivation zu diesem Buch auch schon deutlich umrissen: TYPO3 ist als Content Management System international etabliert, und zwar im Bereich privater Webseiten ebenso wie bei konzernweiten Internetlösungen – Grund genug also, den wichtigen Bereich des Online-Shoppings für dieses System erstmals in Buchform unter die Lupe zu nehmen. Dieses Buch wendet sich somit an all jene, die einen Webshop auf TYPO3- Basis aufsetzen und betreiben möchten. Eine vorhandene TYPO3-Installation – sei es auch auf der Grundlage eines statischen Standard-Templates – ist hierfür Voraussetzung, denn es geht nicht um eine Einführung in TYPO3 selbst. Es genügt jedoch solides TYPO3-Grundlagenwissen, um Ihren Internetauftritt um einen Webshop zu erweitern. Auch HTML- und CSS Kenntnisse sollten Sie mitbringen, um die notwendigen Anpassungen an das jeweilige Layout vornehmen zu können. Zudem verlangen Installation und Konfiguration des Shops Administratorrechte; ein Redakteur-Account reicht dazu nicht aus.
    Pages: Online-Ressource (301 Seiten)
    ISBN: 9783937514437
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    Unknown
    Beijing : O'Reilly
    Keywords: Ruby
    Description / Table of Contents: Ruby ist die modernste und am klügsten konzipierte Programmiersprache. Sie ist objektorientiert und wird auch als "Multiparadigmen-Sprache" bezeichnet, weil sie dem Programmierer kein bestimmtes Programmierparadigma aufdrängt. Der Leser wird umfassend und praxisnah in diese moderne Programmiersprache eingeführt. Er wird mit allen Sprachgrundlagen vertraut gemacht, die zur Beherrschung dieser Sprache notwendig sind. Objektorientiertheit, Datenbankanbindung und Web-Anwendung mit Ruby stellen daneben die besonderen Schwerpunkte dieser Einführung dar. Die Arbeit mit dem Webframework Ruby on Rails runden das Buch ab. Wer bisher zögerte, eine Programmiersprache zu erlernen, hat mit dem Erscheinen dieses Buches keine Ausrede mehr. Niemals war es so leicht, sich eine komplexe Programmiersprache anzueignen.
    Pages: Online-Ressource (408 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783897214781
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    Unknown
    Beijing : O'Reilly
    Keywords: Groovy ; Java
    Description / Table of Contents: Groovy ist eine neue Open-Source-Programmiersprache, die mit dem Ziel erschaffen wurde, produktivitätssteigernde Features moderner Interpretersprachen wie Python, Ruby und Smalltalk nahtlos in die Java-Welt zu integrieren. Was Java-Entwickler wissen müssen, um diese aufregenden Eigenschaften für ihre Arbeit zu nutzen, erfahren Sie in diesem Buch. Mit großem Sachverstand stellt Jörg Staudemeyer die Unterschiede zu Java, die verschiedenen Einsatzmöglichkeiten und so manchen verblüffenden Kniff vor. Das Buch behandelt bereits die wichtigesten Neuerungen der Version 1.5.
    Pages: Online-Ressource (352 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783897214835
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    Unknown
    Berlin : De Gruyter Saur
    Keywords: LOD ; linked open data ; FRBR ; Semantic Web
    Description / Table of Contents: Das Buch ist sowohl eine Einführung in die Themen Linked Data, Open Data und Open Linked Data als es auch den konkreten Bezug auf Bibliotheken behandelt. Hierzu werden konkrete Anwendungsprojekte beschrieben. Der Band wendet sich dabei sowohl an Personen aus der Bibliothekspraxis als auch an Personen aus dem Bibliotheksmanagement, die noch nicht mit dem Thema vertraut sind. Das Buch ist eine Einführung in die Themen Data.
    Pages: Online-Ressource (244 Seiten)
    ISBN: 9783110278736
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    Keywords: holography
    Description / Table of Contents: Chapter 1: Volume Holography: Novel Materials, Methods and Applications by Tina Sabel and Marga C. Lensen --- Chapter 2: Volume Holographic Optical Elements as Solar Concentrators by Maria Antonietta Ferrara, Gaetano Bianco, Fabio Borbone, Roberto Centore, Valerio Striano and Giuseppe Coppola --- Chapter 3: Volume Bragg Gratings: Fundamentals and Applications in Laser Beam Combining and Beam Phase Transformations by Ivan Divliansky --- Chapter 4: Holographically Recorded Low Spatial Frequency Volume Bragg Gratings and Holographic Optical Elements by Suzanne Martin, Hoda Akbari, Sanjay Keshri, Dennis Bade, Izabela Naydenova, Kevin Murphy and Vincent Toal --- Chapter 5: Holographic Optical Elements and Application by Nam Kim, Yan-Ling Piao and Hui-Ying Wu --- Chapter 6: Holographic Data Storage Using Parallel-Aligned Liquid Crystal on Silicon Displays by Francisco J. Martínez Guardiola, Andrés Márquez Ruiz, Sergi Gallego Rico, Roberto Fernández Fernández, Jorge Francés Monllor, Manuel Ortuño Sánchez, Inmaculada Pascual Villalobos and Augusto Beléndez Vázquez --- Chapter 7: Microtopography and Thickness Measurement with Digital Holographic Microscopy Highlighting and Its Tomographic Capacity by Miguel León-Rodríguez, Juan A. Rayas-Alvarez, Amalia Martínez- García and Raúl R. Cordero --- Chapter 8: 3D Capture and 3D Contents Generation for Holographic Imaging by Elena Stoykova, Hoonjong Kang, Youngmin Kim, Joosup Park, Sunghee Hong and Jisoo Hong --- Chapter 9: Multiwavelength Digital Holography and Phase-Shifting Interferometry Selectively Extracting Wavelength Information: Phase-Division Multiplexing (PDM) of Wavelengths by Tatsuki Tahara, Reo Otani, Yasuhiko Arai and Yasuhiro Takaki --- Chapter 10: Dynamic Imaging with X-ray Holography by Büttner Felix --- Chapter 11: Indirect Off-Axis Holography for Antenna Metrology by Ana Arboleya, Jaime Laviada, Juha Ala-Laurinaho, Yuri Álvarez, Fernando Las-Heras and Antti V. Räisänen --- Chapter 12: Surface Characterization by the Use of Digital Holography by Dahi Ghareab Abdelsalam, Takeshi Yasui, Takayuki Ogawa and Baoli Yao --- Chapter 13: Digital Holographic Interferometry for Analysing High-Density Gradients in Fluid Mechanics by Jean-Michel Desse and François Olchewsky --- Chapter 14: Holography: The Usefulness of Digital Holographic Microscopy for Clinical Diagnostics by Zahra El-Schich, Sofia Kamlund, Birgit Janicke, Kersti Alm and Anette Gjörloff Wingren --- Chapter 15: Unlabeled Semen Analysis by Means of the Holographic Imaging by Giuseppe Coppola, Maria Antonietta Ferrara, Giuseppe Di Caprio, Gianfranco Coppola and Brian Dale --- Chapter 16: One-Step Holographic Photoalignment for Twisted Nematic Liquid Crystal Gratings by Kotaro Kawai, Moritsugu Sakamoto, Kohei Noda, Tomoyuki Sasaki, Nobuhiro Kawatsuki and Hiroshi Ono --- Chapter 17: Application of High Performance Photoinitiating Systems for Holographic Grating Recording by C. Ley, C. Carré, A. Ibrahim and X. Allonas --- Chapter 18: Fluorite Crystals with Color Centers: A Medium for Recording Extremely Stable but Broadly Transformable Holograms by Aleksandr I. Ryskin, Aleksandr E. Angervaks and Andrei V. Veniaminov --- Chapter 19: New Photo-Thermo-Refractive Glasses for Holographic Optical Elements: Properties and Applications by Nikonorov Nikolay, Ivanov Sergey, Dubrovin Victor and Ignatiev Alexander --- Chapter 20: Active Holography by Zurab V. Wardosanidze --- Chapter 21: Two-Wave Mixing in Organic-Inorganic Hybrid Structures for Dynamic Holography by Vera Marinova, Shiuan Huei Lin and Ken Yuh Hsu
    Pages: Online-Ressource (516 Seiten)
    ISBN: 9789535130383
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    Unknown
    Rijeka : InTech
    Keywords: computer modelling ; computer simulation
    Description / Table of Contents: Chapter 1: Modelling and Simulation of Complex Adaptive System: The Diffusion of Socio-Environmental Innovation in the RENDRUS Network by Aida Huerta Barrientos and Yazmin Dillarza Andrade --- Chapter 2: Rendering Techniques in 3D Computer Graphics Based on Changes in the Brightness of the Object Background by Nika Bratuž, Helena Gabrijelčič Tomc and Dejana Javoršek --- Chapter 3: Modelling and Visualisation of the Optical Properties of Cloth by Tanja Nuša Kočevar and Helena Gabrijelčič Tomc --- Chapter 4: Textile Forms’ Computer Simulation Techniques by Andreja Rudolf, Slavica Bogović, Beti Rogina Car, Andrej Cupar, Zoran Stjepanovič and Simona Jevšnik --- Chapter 5: Computer Simulation of Bioprocess by Jianqun Lin, Ling Gao, Huibin Lin, Yilin Ren, Yutian Lin and Jianqiang Lin --- Chapter 6: Developing a Hybrid Model and a Multi-Scale 3D Concept of Integrated Modelling High-Temperature Processes by Marcin Hojny --- Chapter 7: Computer-Aided Physical Simulation of the Soft-Reduction and Rolling Process by Marcin Hojny --- Chapter 8: Surrogate Modelling with Sequential Design for Expensive Simulation Applications by Joachim van der Herten, Tom Van Steenkiste, Ivo Couckuyt and Tom Dhaene --- Chapter 9: Computer Simulation of High-Frequency Electromagnetic Fields by Andrey D. Grigoriev --- Chapter 10: Modeling and Simulation of Task Allocation with Colored Petri Nets by Mildreth Alcaraz-Mejia, Raul Campos-Rodriguez and Marco Caballero-Gutierrez --- Chapter 11: Multi-Criteria Decision-Making in the Implementation of Renewable Energy Sources by Dejan Jovanovic and Ivan Pribicevic
    Pages: Online-Ressource (264 Seiten)
    ISBN: 9789535132066
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    Unknown
    Rijeka : InTech
    Keywords: Cloud computing ; Internet of Things
    Description / Table of Contents: Chapter 1: State-of-the-Art Antenna Technology for Cloud Radio Access Networks (C-RANs) by Waleed Tariq Sethi, Abdullah Alfakhri, Muhammad Ahmad Ashraf, Amr G. Alasaad and Saleh Alshebeili --- Chapter 2: Cloud Computing for Next-Generation Sequencing Data Analysis by Shanrong Zhao, Kirk Watrous, Chi Zhang and Baohong Zhang --- Chapter 3: Green-Aware Virtual Machine Migration Strategy in Sustainable Cloud Computing Environments by Xiaoying Wang, Guojing Zhang, Mengqin Yang and Lei Zhang --- Chapter 4: M-ary Optical Computing by Jian Wang and Yun Long --- Chapter 5: Networking Solutions for Integrated Heterogeneous Wireless Ecosystem by Roman Florea, Aleksandr Ometov, Adam Surak, Sergey Andreev and Yevgeni Koucheryavy
    Pages: Online-Ressource (138 Seiten)
    ISBN: 9789535132448
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    Keywords: heuristics
    Description / Table of Contents: Chapter 1: Hyper-Heuristics and Metaheuristics for Selected Bio-Inspired Combinatorial Optimization Problems by Aleksandra Swiercz --- Chapter 2: Multi-Objective Hyper-Heuristics by Mashael Suliaman Maashi --- Chapter 3: Heuristics Techniques for Scheduling Problems with Reducing Waiting Time Variance by Satyasundara Mahapatra, Rati Ranjan Dash and Sateesh K. Pradhan --- Chapter 4: Efficient Heuristics for Scheduling with Release and Delivery Times by Nodari Vakhania --- Chapter 5: Advanced Particle Filter Methods by Roi Yozevitch and Boaz Ben-Moshe --- Chapter 6: On the Use of Hybrid Heuristics for Providing Service to Select the Return Channel in an Interactive Digital TV Environment by Marcos César da Rocha Seruffo, Ádamo Lima de Santana, Carlos Renato Lisboa Francês and Nandamudi Lankalapalli Vijaykumar
    Pages: Online-Ressource (134 Seiten)
    ISBN: 9789535133841
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    Keywords: data science
    Description / Table of Contents: Chapter 1 Introduction --- Overview --- Data Science Is OSEMN --- Intermezzo Chapters --- What Is the Command Line? --- Why Data Science at the Command Line? --- A Real-World Use Case --- Further Reading --- Chapter 2 Getting Started --- Overview --- Setting Up Your Data Science Toolbox --- Essential Concepts and Tools --- Further Reading --- Chapter 3 Obtaining Data --- Overview --- Copying Local Files to the Data Science Toolbox --- Decompressing Files --- Converting Microsoft Excel Spreadsheets --- Querying Relational Databases --- Downloading from the Internet --- Calling Web APIs --- Further Reading --- Chapter 4 Creating Reusable Command-Line Tools --- Overview --- Converting One-Liners into Shell Scripts --- Creating Command-Line Tools with Python and R --- Further Reading --- Chapter 5 Scrubbing Data --- Overview --- Common Scrub Operations for Plain Text --- Working with CSV --- Working with HTML/XML and JSON --- Common Scrub Operations for CSV --- Further Reading --- Chapter 6 Managing Your Data Workflow --- Overview --- Introducing Drake --- Installing Drake --- Obtain Top Ebooks from Project Gutenberg --- Every Workflow Starts with a Single Step --- Well, That Depends --- Rebuilding Specific Targets --- Discussion --- Further Reading --- Chapter 7 Exploring Data --- Overview --- Inspecting Data and Its Properties --- Computing Descriptive Statistics --- Creating Visualizations --- Further Reading --- Chapter 8 Parallel Pipelines --- Overview --- Serial Processing --- Parallel Processing --- Distributed Processing --- Discussion --- Further Reading --- Chapter 9 Modeling Data --- Overview --- More Wine, Please! --- Dimensionality Reduction with Tapkee --- Clustering with Weka --- Regression with SciKit-Learn Laboratory --- Classification with BigML --- Further Reading --- Chapter 10 Conclusion --- Let’s Recap --- Three Pieces of Advice --- Where to Go from Here? --- Getting in Touch
    Pages: Online-Ressource (XVII, 191 pages) , illustrations, diagrams
    ISBN: 9781491947852
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    Keywords: Computer science ; Computer communication systems ; Information storage and retrieval ; Multimedia information systems ; Computers and civilization ; Management information systems ; Computer Science ; Computer Communication Networks ; Information Systems Applications (incl. Internet) ; Management of Computing and Information Systems ; Multimedia Information Systems ; Information Storage and Retrieval ; Computers and Society
    Description / Table of Contents: Software Driven Networks, Virtualisation, Programmability and Autonomic Management --- Towards a Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet (SmartenIT) --- The NEBULA Future Internet Architecture --- Open the Way to Future Networks – A Viewpoint Framework from ITU-T --- Towards a Minimal Core for Information-Centric Networking --- Managing QoS for Future Internet Applications over Virtual Sensor Networks --- High Availability in the Future Internet --- Integrating OpenFlow in IMS Networks and Enabling for Future Internet Research and Experimentation --- Computing and Networking Clouds Contrail: Distributed Application Deployment under SLA in Federated Heterogeneous Clouds --- Cloud–Based Evaluation Framework for Big Data --- Optimizing Service Ecosystems in the Cloud --- Resource Optimisation in IoT Cloud Systems by Using Matchmaking and Self-management Principles --- Towards a Secure Network Virtualization Architecture for the Future Internet --- Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures --- Internet of Things --- IoT6 – Moving to an IPv6-Based Future IoT --- SmartSantander: Internet of Things Research and Innovation through Citizen Participation --- A Cognitive Management Framework for Empowering the Internet of Things --- Building Modular Middlewares for the Internet of Things with OSGi --- Towards an Architecture for Future Internet Applications --- ComVantage: Mobile Enterprise Collaboration Reference Framework and Enablers for Future Internet Information Interoperability --- Test-Enabled Architecture for IoT Service Creation and Provisioning --- Enabling Technologies and Economic Incentives Sustainable Wireless Broadband Access to the Future Internet --- The EARTH Project --- An Internet-Based Architecture Supporting Ubiquitous Application User Interfaces --- Cooperative Strategies for Power Saving in Multi-standard Wireless Devices --- Counting the Cost of FIRE: Overcoming Barriers to Sustainable Experimentation Facilities --- User Involvement in Future Internet Projects --- Design and Implementation of Cooperative Network Connectivity Proxy Using Universal Plug and Play --- Book Sponsoring Projects Overview 3DLife - Bringing the Media Internet to Life --- CONCORD Project Management of the Future Internet --- FLAMINGO NoE Project Management of the Future Internet --- The GEYSERS Concept and Major Outcomes --- iCore: A Cognitive Management Framework for the Internet of Things --- IoT6 Project in a Nutshell --- Mobile Cloud Networking: Mobile Network, Compute, and Storage as One Service On-Demand --- The SmartenIT STREP Project: Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet --- The SmartSantander Project --- UniverSelf, Realizing Autonomics for Future Networks
    Pages: Online-Ressource (XLIV, 369 pages) , 131 illustrations
    ISBN: 9783642380822
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    Unknown
    Berlin, Heidelberg : Springer
    Keywords: Computer science ; Management information systems ; Industrial management ; Application software ; Computer Science ; Information Systems Applications (incl. Internet) ; Business Process Management ; Computer Appl. in Administrative Data Processing ; Management of Computing and Information Systems
    Description / Table of Contents: Introduction --- The Problem - Part I --- The Solution --- Transition --- The Problem - Part II --- The Solution - Part II --- Transition - Part II --- The Problem - Part III --- The Solution - Part III --- Transition - Part III --- The Problem, The Solution and The End - Final Part --- Troubleshooting
    Pages: Online-Ressource (X, 143 pages) , 210 illustrations in color
    ISBN: 9783642369049
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    Keywords: Computer science ; Management information systems ; Industrial management ; Software engineering ; Application software ; Computer Science ; Computer Appl. in Administrative Data Processing ; Business Process Management ; Information Systems Applications (incl. Internet) ; Software Engineering ; Software Management
    Description / Table of Contents: 1 Introduction --- Part I Business Operation Support --- 2 Subject-Oriented Business Processes Meet Strategic Management: Two Case Studies from the Manufacturing Industry --- 3 Communication- and Value-Based Organizational Development at the University Clinic for Radiotherapy-Radiation Oncology --- 4 Introducing S-BPM at an IT Service Providers --- 5 A Service Hardware Application Case Fiducia --- 6 Designing an Agile Process Layer for Competitive Differentiation --- Part II Consultancy and Education Support --- 7 Model as You Do: Engaging an S-BPM Vendor on Process Modelling in 3D Virtual Worlds --- 8 A Tangible Modeling Interface for Subject-Oriented Business Process Management --- 9 A Reference Model for Maintenance Processes --- 10 Role and Rights Management --- 11 Embodying Business Rules in S-BPM --- 12 Agents Implementing Subject Behaviour: A Manufacturing Scenario --- Part III Technical Execution Support --- 13 An Abstract State Machine Interpreter for S-BPM --- 14 Structured Communication—Approaching S-BPM with Microsoft Technologies --- 15 ERP Integration in S-BPM Processes
    Pages: Online-Ressource (XIV, 283 pages) , 134 illustrations
    ISBN: 9783319175423
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    Keywords: Computer science ; Computer communication systems ; Computer system failures ; Computer security ; Data structures (Computer science) ; Computers and civilization ; Computer Science ; Computer Communication Networks ; Systems and Data Security ; Data Structures, Cryptology and Information Theory ; System Performance and Evaluation ; Computers and Society ; Information Systems Applications (incl. Internet)
    Description / Table of Contents: Making Flow-Based Security Detection Parallel --- A Blockchain-Based Architecture for Collaborative DDoS Mitigation with Smart Contracts --- Achieving Reproducible Network Environments with INSALATA --- Towards a Software-Defined Security Framework for Supporting Distributed Cloud --- Optimal Service Function Chain Composition in Network Functions Virtualization --- An Optimized Resilient Advance Bandwidth Scheduling for Media Delivery Services --- The Evaluation of the V2VUNet Concept to Improve Inter-vehicle Communications --- Towards Internet Scale Quality-of-Experience Measurement with Twitter --- Hunting SIP Authentication Attacks Efficiently --- MoDeNA: Enhancing User Security for Devices in Wireless Personal and Local Area Networks --- Flow-Based Detection of IPv6-specific Network Layer Attacks --- Towards a Hybrid Cloud Platform Using Apache Mesos --- Visual Analytics for Network Security and Critical Infrastructures --- Preserving Relations in Parallel Flow Data Processing --- SmartDEMAP: A Smart Contract Deployment and Management Platform --- Optimizing the Integration of Agent-Based Cloud Orchestrators and Higher-Level Workloads --- Situational Awareness: Detecting Critical Dependencies and Devices in a Network --- A Framework for SFC Integrity in NFV Environments --- Multi-domain DDoS Mitigation based on Blockchains
    Pages: Online-Ressource (XX, 192 pages) , 55 illustrations
    ISBN: 9783319607740
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    Keywords: Computer science ; Data structures (Computer science) ; User interfaces (Computer systems) ; Application software ; Computers ; Computer Science ; History of Computing ; Computer Appl. in Arts and Humanities ; Data Structures ; User Interfaces and Human Computer Interaction
    Description / Table of Contents: Part I: Artistic Contributions --- The Computer Age --- Odes to Ted Nelson --- Part II: Peer Histories --- The Two-eyed Man --- Ted Nelson’s Xanadu—Caution: Four Letter Words Ahead --- Hanging Out with Ted Nelson --- Riffing on Ted Nelson—Hypermind --- Intertwingled Inspiration --- An Advanced Book for Beginners --- Part III: Hypertext and Ted Nelson-Influenced Research --- The Importance of Ted’s Vision --- Data, Metadata and Ted --- Making Links: Everything Really is Deeply Intertwingled --- Ted Nelson --- History Debugged --- We Can and Must Understand Computers NOW --- The Future of Transclusion --- Ted Nelson: A Critical (and Critically Incomplete) Bibliography --- Part IV: The Last Word --- What Box?
    Pages: Online-Ressource (XVI, 150 pages) , 43 illustrations
    ISBN: 9783319169255
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    Keywords: Business ; Management information systems ; Software engineering ; Computer science ; Business and Management ; Business Information Systems ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Full Research Papers --- Experience Reports --- Empirical Studies Papers --- Doctoral Symposium Papers
    Pages: Online-Ressource (XIII, 334 pages) , 37 illustrations
    ISBN: 9783319335155
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    Keywords: Computer science ; Research ; Moral and ethical aspects ; Computers ; Computers and civilization ; Computer Science ; Computers and Society ; History of Computing ; Diversity Management/Women in Business ; Research Ethics
    Description / Table of Contents: Shifting Identities in Computing: From a Useful Tool to a New Method and Theory of Science --- On the Big Impact of “Big Computer Science” --- On Informatics, Diamonds and T --- Leadership and Balance in Research --- Rational ethics --- Ethics for the digital age: where are the moral specs? --- Digital Sovereignty and IT-Security for a Prosperous Society --- Women in Computing and the contingency of informatics cultures --- Ada - poet of computing
    Pages: Online-Ressource (XI, 109 pages) , 22 illustrations in color
    ISBN: 9783319557359
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    Keywords: Computer science ; Management information systems ; Software engineering ; Computer Science ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Improving Agile Processes --- Reflection in Agile Retrospectives --- What influences the speed of prototyping? An empirical investigation of twenty software startups --- Key Challenges in Agile Requirements Engineering --- A Multiple Case Study on Selecting a Technique for User-Interaction Data Collecting --- Comparing Requirements Decomposition within the Scrum, Scrum with Kanban, XP, and Banana Development Processes --- Effects of Technical Debt Awareness: A classroom study --- Agile in Organizations --- Don’t Forget to Breathe: A Controlled Trial of Mindfulness Practices in Agile Project Teams --- Enhancing Agile Team Collaboration through the use of Large Digital Multi-touch Cardwalls --- Knowledge Sharing in a Large Agile Organisation: A Survey Study --- Teaching Agile Methods to Software Engineering Professionals: 10 Years, 1000 Release Plans --- Are Software Startups Applying Agile? the State of the Practice from a Large Survey --- Adopting Test Automation on Agile Development Projects: A Grounded Theory Study of Indian Software Organizations --- Safety Critical Software --- How is security testing done in agile teams? A cross-case analysis of four software teams --- An assessment of avionics software development practice: justifications for an agile development process --- Short Research Papers --- Inoculating an Agile Company with User-Centred Design: an Empirical Study --- On the Usage and Benefits of Agile Methods & Practices --- Checklists to Support Test Charter Design in Exploratory Testing --- Discovering Software Process Deviations Using Visualizations --- Exploring Workflow Mechanisms and Task Allocation Strategies in Agile Software Teams --- Are daily stand-up meetings valuable? A survey of developers in software teams --- Doctoral Symposium Papers --- Knowledge Management and Reflective Practice in Daily Stand-up and Retrospective Meetings --- Self-Assignment: Task Allocation Practice in Agile Software Development --- Software Development Practices Patterns.
    Pages: Online-Ressource (XIII, 306 pages) , 55 illustrations
    ISBN: 9783319576336
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    Keywords: Computer science ; Management ; Industrial management ; Information storage and retrieval ; Application software ; Computers and civilization ; Computer Science ; Information Storage and Retrieval ; Innovation/Technology Management ; Computer Applications ; Computers and Society
    Description / Table of Contents: Part I: The Big Data Opportunity --- The Big Data Value Opportunity --- Introduction to the BIG Project --- Part II: The Big Data Value Chain: Enabling and Value Creating Technologies --- The Big Data Value Chain: Definitions, Concepts, and Theoretical Approaches --- Big Data Acquisition --- Big Data Analysis --- Big Data Curation --- Big Data Storage --- Big Data Usage --- Part III: Usage and Exploitation of Big Data --- Big Data Driven Innovation in Industrial Sectors --- Big Data in the Health Sector --- Big Data in the Public Sector --- Big Data in the Finance and Insurance Sectors --- Big Data in the Energy and Transport Sectors --- Big Data in the Media and Entertainment Sectors --- Part IV: A Roadmap for Big Data Research --- Cross-Sectorial Requirements Analysis for Big Data Research --- New Horizons for a Data-Driven Economy: Roadmaps and Action Plans for Technology, Businesses, Policy, and Society.                        
    Pages: Online-Ressource (XX, 303 pages) , 34 illustrations
    ISBN: 9783319215693
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    Unknown
    Cham : Springer
    Keywords: Computer science ; Artificial intelligence ; Algorithms ; Robotics ; Automation ; Computer Science ; Artificial Intelligence (incl. Robotics) ; Algorithms ; Robotics and Automation
    Description / Table of Contents: Robots and their Applications --- Sensors --- Reactive Behavior --- Finite State Machines --- Robotic Motion and Odometry --- Control --- Local Navigation: Obstacle Avoidance --- Localization --- Mapping --- Mapping-based Navigation --- Fuzzy Logic Control --- Image Processing --- Neural Networks --- Machine Learning --- Swarm Robotics --- Kinematics of a Robotic Manipulator --- Appenix A:Units of Measurement --- Appendix B:Mathematical Derivations and Tutorials --- Index
    Pages: Online-Ressource (XVI, 308 pages) , 198 illustrations, 76 illustrations in color
    ISBN: 9783319625331
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    Keywords: Computer science ; Special purpose computers ; Database management ; User interfaces (Computer systems) ; Artificial intelligence ; Computer Science ; Artificial Intelligence (incl. Robotics) ; User Interfaces and Human Computer Interaction ; Database Management ; Special Purpose and Application-Based Systems
    Description / Table of Contents: Can Machines Design? Optimizing User Interfaces for Human Performance --- Geometrical Shapes Rendering on a Dot-Matrix Display --- Dynamic Hand Gesture Recognition for Mobile Systems Using Deep LSTM --- Adjustable Autonomy for UAV Supervision Applications Through Mental Workload Assessment Techniques --- Classification of Motor Imagery Based EEG Signals Using Sparsity Approach --- Mental Workload Assessment for UAV Traffic Control Using Consumer-Grade BCI Equipment --- Improving Classification Performance by Combining Feature Vectors with A Boosting Approach for Brain Computer Interface (BCI) --- List Navigation Using Edge Menu --- Simplexity and Vicariance. On Human Cognition Principles for Man-Machine Interaction --- Design Considerations for Self-paced Interactive Notes on Video Lectures - A Learner's Perspective and Enhancements of Learning Outcome --- Using Psycholinguistic Features for the Classification of Comprehenders from Summary Speech Transcripts --- Lector: Towards Reengaging Students in the Educational Process Inside Smart Classrooms --- Predicting Driver's Work Performance in Driving Simulator Based on Physiological Indices --- Interpersonal Human-Human and Human-Robot Interactions --- Exploring the Dynamics of Relationships Between Expressed and Experienced Emotions --- Standard Co-training in Multiword Expression Detection --- Comparative Study on Normalization in Emotion Recognition from Speech --- Detecting Vigilance in People Performing Continual Monitoring Task
    Pages: Online-Ressource (XVIII, 216 pages) , 78 illustrations
    ISBN: 9783319720388
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    Keywords: Computer science ; Health informatics ; Computer system failures ; Image processing ; Computer Science ; Health Informatics ; Health Informatics ; Image Processing and Computer Vision ; System Performance and Evaluation
    Description / Table of Contents: VISCERAL: Evaluation-as-a-Service for Medical Imaging --- Using the Cloud as a Platform for Evaluation and Data Preparation --- Ethical and Privacy Aspects of Using Medical Image Data --- Annotating Medical Image Data --- Datasets created in VISCERAL --- Evaluation Metrics for Medical Organ Segmentation and Lesion Detection --- VISCERAL Anatomy Benchmarks for Organ Segmentation and Landmark Localisation: Tasks and Results --- Retrieval of Medical Cases for Diagnostic Decisions: VISCERAL Retrieval Benchmark --- Automatic Atlas-Free Multi-Organ Segmentation of Contrast-Enhanced CT Scans --- Multi-organ Segmentation Using Coherent Propagating Level Set Method Guided by Hierarchical Shape Priors and Local Phase Information --- Automatic Multi-organ Segmentation using Hierarchically-Registered Probabilistic Atlases --- Multi-Atlas Segmentation Using Robust Feature-Based Registration --- Combining Radiology Images and Clinical Meta-data for Multimodal Medical Case-based Retrieval --- Text and Content-based Medical Image Retrieval in the VISCERAL Retrieval Benchmark
    Pages: Online-Ressource (XVIII, 254 pages) , 93 illustrations, 39 illustrations in color
    ISBN: 9783319496443
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    Keywords: Computer science ; Management information systems ; Computer engineering ; Economic policy ; Computer Science ; Privacy ; Computer Engineering ; Management of Computing and Information Systems ; Governance and Government ; R & D/Technology Policy
    Description / Table of Contents: 1 Introduction --- 2 Trust --- 3 What is an ICT-System? --- 4 Development of ICT Systems --- 5 Theoretical Foundation --- 6 Reverse Engineering of Code --- 7 Static Detection of Malware --- 8 Dynamic Detection Methods --- 9 Formal Methods --- 10 Software Quality and Quality Management --- 11 Containment of Untrusted Modules --- 12 Summary and Way Forward
    Pages: Online-Ressource (XIV, 116 pages) , 6 illustrations, 5 illustrations in color
    ISBN: 9783319749501
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    Keywords: Computer science ; Computer system failures ; Software engineering ; Computer logic ; Computer science ; Mathematics ; Artificial intelligence ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Artificial Intelligence (incl. Robotics) ; System Performance and Evaluation ; The Computing Profession ; Discrete Mathematics in Computer Science
    Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata
    Pages: Online-Ressource (XV, 583 pages) , 75 illustrations
    ISBN: 9783319893662
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    Keywords: Computer science ; Computer hardware ; Computer organization ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Programming Languages, Compilers, Interpreters ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Computing Methodologies ; Computing Milieux
    Description / Table of Contents: Language Design --- Consistent Subtyping for All --- HOBiT: Programming Lenses without using Lens Combinators --- Dualizing Generalized Algebraic Data Types by Matrix Transposition --- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach --- Probabilistic Programming --- An Assertion-Based Program Logic for Probabilistic Programs --- Fine-grained Semantics for Probabilistic Programs --- How long, O Bayesian network, will I sample thee? --- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus --- Types and Effects --- Failure is Not an Option: An Exceptional Type Theory --- Let Arguments Go First --- Behavioural equivalence via modalities for algebraic effects --- Explicit Effect Subtyping --- Concurrency --- A separation logic for a promising semantics --- Logical Reasoning for Disjoint Permissions --- Deadlock-Free Monitors --- Fragment Abstraction for Concurrent Shape Analysis --- Security --- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management --- Modular Product Programs --- Program Verification --- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification --- Verified Learning Without Regret --- Program Verification by Coinduction --- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq --- Program Analysis and Automated Verification --- Evaluating Design Tradeoffs in Numeric Static Analysis for Java --- An Abstract Interpretation Framework for Input Data Usage --- Higher-Order Program Verification via HFL Model Checking --- Quantitative Analysis of Smart Contracts --- Session Types and Concurrency --- Session-Typed Concurrent Contracts --- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems --- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings --- Concurrent Kleene Algebra: Free Model and Completeness --- Concurrency and Distribution --- Correctness of a Concurrent Object Collector for Actor Languages --- Paxos Consensus, Deconstructed and Abstracted --- On Parallel Snapshot Isolation and Release/Acquire Consistency --- Eventual Consistency for CRDTs --- Compiler Verification --- A Verified Compiler from Isabelle/HOL to CakeML --- Compositional Verification of Compiler Optimisations on Relaxed Memory
    Pages: Online-Ressource (XVI, 1058 pages) , 276 illustrations
    ISBN: 9783319898841
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    Keywords: Computer science ; Health informatics ; Data mining ; Information storage and retrieval ; Text processing (Computer science) ; Computational linguistics ; Computer Science ; Information Storage and Retrieval ; Health Informatics ; Document Preparation and Text Processing ; Health Informatics ; Language Translation and Linguistics ; Data Mining and Knowledge Discovery
    Description / Table of Contents: Introduction --- The history of the patient record and the paper record --- User needs: clinicians, clinical researchers and hospital management --- Characteristics of patient records and clinical corpora --- Medical classifications and terminologies --- Evaluation metrics and evaluation --- Basic building blocks for clinical text processing --- Computational methods for text analysis and text classification --- Ethics and privacy of patient records for clinical text mining research --- Applications of clinical text mining --- Networks and shared tasks in clinical text mining --- Conclusions and outlook --- References --- Index
    Pages: Online-Ressource (XVII, 181 pages) , 54 illustrations, 28 illustrations in color
    ISBN: 9783319785035
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    Keywords: Computer science ; Management information systems ; Software engineering ; Computer Science ; Software Engineering ; Software Management ; Management of Computing and Information Systems
    Description / Table of Contents: Agile requirements --- COSMIC User Story Standard --- Improving Mockup-based Requirement Specification with End-User Annotations --- Agile testing --- Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment --- Software tester, we want to hire you! An analysis of the demand for soft skills --- Developers' initial perceptions on TDD practice: A thematic analysis with distinct domains and languages --- Myths and Facts about Static Application Security Testing Tools: An Action Research at Telenor Digital --- Automated Acceptance Tests as Software Requirements: An Experiment to Compare the Applicability of Fit tables and Gherkin Language --- Agile transformation --- Interface Problems of Agile in a Non-Agile Environment --- Enterprise agility: Why is transformation so hard? --- Technical and Organizational Agile Practices: A Latin-American Survey --- Agile Software Development { Adoption & Maturity: An Activity Theory Perspective --- Scaling agile --- Do Agile Methods Work for Large Software Projects? --- Learning in the Large - An Exploratory Study of Retrospectives in Large-Scale Agile Development --- Reporting in Agile Portfolio Management: Routines, Metrics and Artefacts to Maintain an Effective Oversight --- Inter-team Coordination in Large-Scale Agile Development: A Case Study of Three Enabling Mechanisms --- Supporting Large-Scale Agile Development with Domain-driven Design --- Towards Agile Scalability Engineering --- Human-centric agile --- Stress in Agile Software Development: Practices and Outcomes --- Teamwork quality and team performance: Exploring differences between small and large agile projects --- Continuous experimentation --- Challenges and Strategies for Undertaking Continuous Experimentation to Embedded Systems: Industry and Research Perspectives --- ICOs overview: should investors choose an ICO developed with the Lean Startup methodology?
    Pages: Online-Ressource (XV, 309 pages) , 50 illustrations
    ISBN: 9783319916026
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    Keywords: Computer science ; Computer communication systems ; Special purpose computers ; Data encryption (Computer science) ; Computer Science ; Security ; Information Systems Applications (incl. Internet) ; Data Encryption ; Special Purpose and Application-Based Systems ; Computer Communication Networks
    Description / Table of Contents: Security of distributed interconnected systems --- Security of software systems --- Security of the Internet of Things
    Pages: Online-Ressource (XII, 159 pages) , 33 illustrations
    ISBN: 9783319951898
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    Keywords: Computer science ; Software engineering ; Algorithms ; Computer logic ; Mathematical logic ; Artificial intelligence ; Computer simulation ; Computer Science ; Logics and Meanings of Programs ; Software Engineering ; Artificial Intelligence (incl. Robotics) ; Mathematical Logic and Formal Languages ; Algorithm Analysis and Problem Complexity ; Simulation and Modeling
    Description / Table of Contents: 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
    Pages: Online-Ressource (XIX, 703 pages) , 146 illustrations
    ISBN: 9783319961453
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    Keywords: Computer science ; Computer organization ; Computer Science ; Computer Science, general ; Computer Systems Organization and Communication Networks
    Description / Table of Contents: Apress is proud to announce that Rethinking the Internet of Things was a 2014 Jolt Award Finalist, the highest honor for a programming book. And the amazing part is that there is no code in the book. Over the next decade, most devices connected to the Internet will not be used by people in the familiar way that personal computers, tablets and smart phones are. Billions of interconnected devices will be monitoring the environment, transportation systems, factories, farms, forests, utilities, soil and weather conditions, oceans and resources. Many of these sensors and actuators will be networked into autonomous sets, with much of the information being exchanged machine-to-machine directly and without human involvement. Machine-to-machine communications are typically terse. Most sensors and actuators will report or act upon small pieces of information - "chirps". Burdening these devices with current network protocol stacks is inefficient, unnecessary and unduly increases their cost of ownership. This must change. The architecture of the Internet of Things must evolve now by incorporating simpler protocols toward at the edges of the network, or remain forever inefficient. Rethinking the Internet of Things describes reasons why we must rethink current approaches to the Internet of Things. Appropriate architectures that will coexist with existing networking protocols are described in detail. An architecture comprised of integrator functions, propagator nodes, and end devices, along with their interactions, is explored
    Pages: Online-Ressource (XXVI, 192 pages) , 75 illustrations
    ISBN: 9781430257417
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    Unknown
    Berkeley, CA : Apress
    Keywords: Computer science ; Text processing (Computer science) ; Image processing ; Computer Science ; Image Processing and Computer Vision ; Document Preparation and Text Processing
    Description / Table of Contents: Computer Vision Metrics provides an extensive survey and analysis of over 100 current and historical feature description and machine vision methods, with a detailed taxonomy for local, regional and global features. This book provides necessary background to develop intuition about why interest point detectors and feature descriptors actually work, how they are designed, with observations about tuning the methods for achieving robustness and invariance targets for specific applications. The survey is broader than it is deep, with over 540 references provided to dig deeper. The taxonomy includes search methods, spectra components, descriptor representation, shape, distance functions, accuracy, efficiency, robustness and invariance attributes, and more. Rather than providing ‘how-to’ source code examples and shortcuts, this book provides a counterpoint discussion to the many fine opencv community source code resources available for hands-on practitioners
    Pages: Online-Ressource (XXXI, 508 pages) , 216 illustrations
    ISBN: 9781430259305
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    Unknown
    Amsterdam ; Boston : Elsevier
    Keywords: DDC 577.01/5118 ; LC TD170.2 ; Ecology - Mathematical models ; Environmental protection - Mathematical models ; Pollution - Mathematical models
    Pages: Online-Ressource (xviii, 373 pages)
    Edition: 1st ed
    ISBN: 9780444522092
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    Keywords: Adobe Photoshop CS4
    Description / Table of Contents: Sie setzen Adobe Photoshop CS4 oder Photoshop CS4 Extended professionell ein und müssen täglich unterschiedlichste Aufgabenstellungen lösen? Dann sind Sie sicher immer auf der Suche nach effizienten Problemlösungen, offen für neue Ideen und wollen auf dem neuesten Stand der (Photoshop-)Technik bleiben. Dieses Buch hilft Ihnen, über den Tellerrand zu schauen und vom fortgeschrittenen Anwender zum Photoshop-Profi zu werden. Lernen Sie, Probleme bei Digitalfotos zu beheben: Rauschen, Moiré, Unschärfe, Pixelfehler, Optische Verzerrungen. Trauen Sie sich, neue Wege zu gehen beim Einsatz altbekannter Funktionen wie Freistelltechniken, Masken, Kanälen und dem LAB-Modus -- oder setzen Sie gezielt alternative Programme von Drittanbietern ein. Dabei zeigt das Buch Strategien für die Anwendungsbereiche Fotobearbeitung, Videobearbeitung, Druckvorstufe, Web und 3D. Themen sind u.a. Camera Raw, HDR, Panoramen, Compositings & Montagen, Farb- und Tonwertkorrekturen, Farbmanagement, Sonderfarben, Filter, Animation, Workflow mit Dreamweaver, Fireworks und CS4-Videoprogrammen. Für die Beschleunigung Ihrer Arbeit gibt es außerdem Tipps zur Automatisierung, zum Scripten mit Photoshop und Flex, zum Teamwork und zur Versionierung. So schöpfen Sie das Potenzial von Photoshop CS4 wirklich aus!
    Pages: Online-Ressource (843 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783836212373
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    Keywords: Visual Basic 2010 ; .NET
    Description / Table of Contents: Sie möchten Visual Basic oder ganz allgemein programmieren lernen? Dann führt Sie dieses Buch schnell und sicher zum Ziel. Angefangen bei den absoluten Grundlagen zu Variablen, Operatoren, Schleifen und Co. über objektorientierte Programmierung und Fehlerbehandlung bis hin zu Datenbankanwendungen mit ADO.NET und Internetanwendungen mit ASP.NET werden alle wichtigen Themen anhand anschaulicher Beispiele gut verständlich erläutert. Ausführliche Schritt-für-Schritt-Anleitungen und regelmäßige Zusammenfassungen sichern dabei Ihren Lernerfolg. Ihr neu gewonnenes Wissen können Sie zudem an einer Vielzahl von Übungsaufgaben unter Beweis stellen und an Musterlösungen überprüfen, so dass Sie schon bald in der Lage sein werden, selbstständig eigene Windows-Programme zu entwickeln.
    Pages: Online-Ressource (467 Seiten)
    Edition: 2., akt. und erw. Aufl.
    ISBN: 9783836215411
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    Keywords: Computer science ; Production management ; Management information systems ; Special purpose computers ; Software engineering ; Application software ; Computer Science ; Information Systems Applications (incl. Internet) ; Business IT Infrastructure ; Computer Appl. in Administrative Data Processing ; Operations Management ; Software Engineering ; Special Purpose and Application-Based Systems
    Description / Table of Contents: Introduction to the Internet of Things --- The Need for a Common Ground for the IoT — The History and Reasoning Behind the IoT — A Project --- The IoT Architectural Reference Model as Enabler --- IoT in Practice: Examples — IoT in Logistics and Health --- IoT — A Guidance to the ARM --- A Process to Generate Concrete Architectures --- IoT Reference Model --- IoT Reference Architecture --- The IoT ARM Reference Manual --- Interactions --- Toward a Concrete Architecture --- ARM Testimonials --- Summary and Outlook
    Pages: Online-Ressource (X, 349 pages) , 131 illustrations, 116 illustrations in color
    ISBN: 9783642404030
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    Keywords: Computer science ; Computers ; Computer simulation ; Application software ; Bioinformatics ; Computer Science ; Simulation and Modeling ; Computational Biology/Bioinformatics ; Models and Principles ; Computer Appl. in Arts and Humanities
    Description / Table of Contents: Natural Computing --- Ethological response to periodic stimulation in Chara and Brepharisma --- Adaptive path-finding and transport network formation by the amoeba-like organism Physarum --- Aggregate "Calculation" in Economic Phenomena: Distributions and Fluctuations --- Towards Co-evolution of Information, Life and Artifcial Life --- Harness the Nature for Computation --- Things Theory of Art Should Learn From Natural Computing --- Study on the use of Evolutionary Techniques for inference in Gene Regulatory Networks --- Reconstruction of Gene Regulatory Networks from Gene Expression Data using Decoupled Recurrent Neural Network Model --- Design and control of synthetic biological systems --- Satellite Symposium on Computational Aesthetics --- Preface–Natural Computing and Computational Aesthetics --- The Significance of Natural Computing for Considering Computational Aesthetics of Nature --- Perceiving the Gap: asynchronous coordination of plural algorithms and disconnected logical types in ambient space --- Aesthetic Aspects of Technology-mediated Self-awareness Experiences
    Pages: Online-Ressource (XII, 155 pages) , 64 illustrations
    ISBN: 9784431543947
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    Unknown
    Amsterdam : Elsevier
    Pages: Online-Ressource (829-1660)
    ISBN: 9780444512536
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    Keywords: Computer science ; Computer communication systems ; Information storage and retrieval ; Multimedia information systems ; Computers and civilization ; Management information systems ; Computer Science ; Computer Communication Networks ; Information Systems Applications (incl. Internet) ; Management of Computing and Information Systems ; Multimedia Information Systems ; Information Storage and Retrieval ; Computers and Society
    Description / Table of Contents: Software Driven Networks, Virtualisation, Programmability and Autonomic Management --- Towards a Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet (SmartenIT) --- The NEBULA Future Internet Architecture --- Open the Way to Future Networks – A Viewpoint Framework from ITU-T --- Towards a Minimal Core for Information-Centric Networking --- Managing QoS for Future Internet Applications over Virtual Sensor Networks --- High Availability in the Future Internet --- Integrating OpenFlow in IMS Networks and Enabling for Future Internet Research and Experimentation --- Computing and Networking Clouds Contrail: Distributed Application Deployment under SLA in Federated Heterogeneous Clouds --- Cloud–Based Evaluation Framework for Big Data --- Optimizing Service Ecosystems in the Cloud --- Resource Optimisation in IoT Cloud Systems by Using Matchmaking and Self-management Principles --- Towards a Secure Network Virtualization Architecture for the Future Internet --- Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures --- Internet of Things --- IoT6 – Moving to an IPv6-Based Future IoT --- SmartSantander: Internet of Things Research and Innovation through Citizen Participation --- A Cognitive Management Framework for Empowering the Internet of Things --- Building Modular Middlewares for the Internet of Things with OSGi --- Towards an Architecture for Future Internet Applications --- ComVantage: Mobile Enterprise Collaboration Reference Framework and Enablers for Future Internet Information Interoperability --- Test-Enabled Architecture for IoT Service Creation and Provisioning --- Enabling Technologies and Economic Incentives Sustainable Wireless Broadband Access to the Future Internet --- The EARTH Project --- An Internet-Based Architecture Supporting Ubiquitous Application User Interfaces --- Cooperative Strategies for Power Saving in Multi-standard Wireless Devices --- Counting the Cost of FIRE: Overcoming Barriers to Sustainable Experimentation Facilities --- User Involvement in Future Internet Projects --- Design and Implementation of Cooperative Network Connectivity Proxy Using Universal Plug and Play --- Book Sponsoring Projects Overview 3DLife - Bringing the Media Internet to Life --- CONCORD Project Management of the Future Internet --- FLAMINGO NoE Project Management of the Future Internet --- The GEYSERS Concept and Major Outcomes --- iCore: A Cognitive Management Framework for the Internet of Things --- IoT6 Project in a Nutshell --- Mobile Cloud Networking: Mobile Network, Compute, and Storage as One Service On-Demand --- The SmartenIT STREP Project: Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet --- The SmartSantander Project --- UniverSelf, Realizing Autonomics for Future Networks
    Pages: Online-Ressource (XLIV, 369 pages) , 131 illustrations
    ISBN: 9783642380822
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    Unknown
    Bonn : Galileo Press
    Keywords: iPad ; iPhone ; XCode ; Apps
    Description / Table of Contents: Unsere Autoren zeigen Ihnen, wie Sie schnell zur eigenen App kommen. Dabei werden alle wichtigen Themen in der gebotenen Tiefe mit viel Hintergrundwissen beschrieben. Praktische und direkt nachvollziehbare Beispiele helfen beim Verständnis. Natürlich kommt in diesem Buch auch die Programmierung nicht zu kurz. Grundkenntnisse sollten jedoch vorhanden sein. Eine kurze Einführung in Objective-C und Cocoa vermittelt Ihnen alles, was Sie wissen müssen. Inkl. Schnittstellen zum Datenaustausch, Events, Alerts, Datenverwaltung mit Core Data, Sicherheit und die verschiedenen Möglichkeiten der Netzwerkprogrammierung.
    Pages: Online-Ressource (1172 Seiten)
    Edition: 1. Aufl.
    ISBN: 9783836227346
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    Unknown
    Bonn : Galileo Press
    Keywords: Windows Server 2012 R2 ; Hyper-V ; Active Directory ; Remotedesktopdienste ; Webserver IIS ; Netzwerkprotokolle ; Kerberos-Authentifizierung
    Description / Table of Contents: Das lösungsorientierte und umfassende Buch zum Windows Server 2012 R2 mit zahlreichen fundierten Hintergrundinformationen. Der Autor Ulrich B. Boddenberg greift bei der Beschreibung des Servers auf seine praktischen Erfahrungen in zahlreichen Projekten bei mittleren und großen Kunden zurück. Denn ein modernes Betriebssystem wie Windows Server 2012 R2 bietet weit mehr als nur die Möglichkeit, Programme auszuführen. Er beschreibt alle zentralen Technologien wie die Virtualisierung mit Hyper-V V3, Active Directory, Remotedesktopdienste, den Webserver IIS sowie SharePoint. Neben diesen konkreten Technologien geht es auch um Grundlagen wie Netzwerkprotokolle, Kerberos-Authentifizierung oder die eingesetzte Hardware. Zentrale Aspekte wie Performance, Verfügbarkeit und Sicherheit ziehen sich durch das gesamte Buch.
    Pages: Online-Ressource (1392 Seiten)
    Edition: 4., akt. Aufl.
    ISBN: 9783836220132
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Unknown
    Bonn : Galileo Press
    Keywords: Visual Basic ; Visual Basic 2012 ; Visual Studio ; Objektorientierte Programmierung ; OOP ; C# ; .NET
    Description / Table of Contents: Wenn Sie ein Buch suchen, dass Ihnen bei allen Fragen der C#-Entwicklung zuverlässig mit Rat und Tat zur Seite steht, dann ist unser bewährtes Kompendium genau das Richtige für Sie. Mittlerweile in der 6. Auflage dient es ambitionierten Ein- und Umsteigern durch seine strukturierte Vorgehensweise und die zahlreichen Anwendungsbeispiele als praxisorientierte Einführung; Fortgeschrittene und Profis unterstützt es als Nachschlagewerk optimal bei ihrer täglichen Arbeit. In den ersten Kapiteln werden zunächst die Grundlagen von C#, .NET und der objektorientierten Programmierung vermittelt. Es folgen Kapitel zur effizienten Entwicklung mit Visual Studio 2012, zur Fehlerbehandlung sowie zu fortgeschrittenen C#-Themen wie LINQ, Multithreading, Serialisierung u. v. m. Den größten Themenblock bildet die Entwicklung von grafischen Benutzeroberflächen. Neben einer fundierten Einführung in die WPF und XAML erfahren Sie hier alles Notwendige, um auch komplexe Anwendungen zu gestalten. Anschließend wird die Datenbankprogrammierung mit ADO.NET ausführlich behandelt und zu guter Letzt die Weitergabe von .NET-Anwendungen thematisiert. So sind Sie für Ihren Arbeitsalltag bestens gerüstet!
    Pages: Online-Ressource (1402 Seiten)
    Edition: 6., akt. und erw. Aufl.
    ISBN: 9783836219976
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    Keywords: Visual Basic 2012 ; .NET
    Description / Table of Contents: Sie möchten das Programmieren mit Visual Basic lernen? Dann führt Sie dieses Buch schnell und sicher zum Ziel. Anhand anschaulicher und leicht nachvollziehbarer Beispiele werden alle wichtigen Themen erläutert: Grundlagen zu Variablen, Operatoren, Schleifen und Co., objektorientierte Programmierung, Fehlerbehandlung, Erstellen von Datenbank- und Internetanwendungen. Auch in die Entwicklung von GUIs mit der Windows Presentation Foundation und von Windows Store Apps für Windows 8 werden Sie eingeführt. Ausführliche Schritt-für-Schritt-Anleitungen und regelmäßige Zusammenfassungen sichern Ihren Lernerfolg. Ihr neu gewonnenes Wissen können Sie an einer Vielzahl von Übungsaufgaben unter Beweis stellen und an Musterlösungen überprüfen. So werden Sie schon bald selbstständig eigene Windows-Programme entwickeln.
    Pages: Online-Ressource (579 Seiten)
    Edition: 3., akt. und erw. Aufl.
    ISBN: 9783836219594
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    Keywords: Computer science ; Software engineering ; Data encryption (Computer science) ; Computer Science ; Data Encryption ; Software Engineering/Programming and Operating Systems
    Description / Table of Contents: A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for developers. It shows security and TPM concepts, demonstrating their use in real applications that the reader can try out. Simply put, this book is designed to empower and excite the programming community to go out and do cool things with the TPM. The approach is to ramp the reader up quickly and keep their interest.A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security explains security concepts, describes the TPM 2.0 architecture, and provides code and pseudo-code examples in parallel, from very simple concepts and code to highly complex concepts and pseudo-code. The book includes instructions for the available execution environments and real code examples to get readers up and talking to the TPM quickly. The authors then help the users expand on that with pseudo-code descriptions of useful applications using the TPM
    Pages: Online-Ressource (XXVII, 392 pages) , 41 illustrations
    ISBN: 9781430265849
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    Unknown
    Berkeley, CA : Apress
    Keywords: Computer science ; Data encryption (Computer science) ; Computers ; Computer Science ; Information Systems and Communication Service ; Data Encryption
    Description / Table of Contents: Managing Risk and Information Security: Protect to Enable, an ApressOpen title, describes the changing risk environment and why a fresh approach to information security is needed. Because almost every aspect of an enterprise is now dependent on technology, the focus of IT security must shift from locking down assets to enabling the business while managing and surviving risk. This compact book discusses business risk from a broader perspective, including privacy and regulatory considerations. It describes the increasing number of threats and vulnerabilities, but also offers strategies for developing solutions. These include discussions of how enterprises can take advantage of new and emerging technologies—such as social media and the huge proliferation of Internet-enabled devices—while minimizing risk. With ApressOpen, content is freely available through multiple online distribution channels and electronic formats with the goal of disseminating professionally edited and technically reviewed content to the worldwide community. Here are some of the responses from reviewers of this exceptional work: "Managing Risk and Information Security is a perceptive, balanced, and often thought-provoking exploration of evolving information risk and security challenges within a business context.  Harkins clearly connects the needed, but often-overlooked linkage and dialog between the business and technical worlds and offers actionable strategies.   The book contains eye-opening security insights that are easily understood, even by the curious layman." Fred Wettling, Bechtel Fellow, IS&T Ethics & Compliance Officer, Bechtel "As disruptive technology innovations and escalating cyber threats continue to create enormous information security challenges, Managing Risk and Information Security: Protect to Enable provides a much-needed perspective. This book compels information security professionals to think differently about concepts of risk management in order to be more effective. The specific and practical guidance offers a fast-track formula for developing information security strategies which are lock-step with business priorities." Laura Robinson, Principal, Robinson Insight Chair, Security for Business Innovation Council (SBIC) Program Director, Executive Security Action Forum (ESAF) "The mandate of the information security function is being completely rewritten. Unfortunately most heads of security haven’t picked up on the change, impeding their companies’ agility and ability to innovate. This book makes the case for why security needs to change, and shows how to get started. It will be regarded as marking the turning point in information security for years to come." Dr. Jeremy Bergsman, Practice Manager, CEB     "The world we are responsible to protect is changing dramatically and at an accelerating pace. Technology is pervasive in virtually every aspect of our lives. Clouds, virtualization and mobile are redefining computing – and they are just the beginning of what is to come. Your security perimeter is defined by wherever your information and people happen to be. We are attacked by professional adversaries who are better funded than we will ever be. We in the information security profession must change as dramatically as the environment we protect. We need new skills and new strategies to do our jobs effectively. We literally need to change the way we think.   Written by one of the best in the business, Managing Risk and Information Security challenges traditional security theory with clear examples of the need for change. It also provides expert advice on how to dramatically increase the success of your security strategy and methods – from dealing with the misperception of risk to how to become a Z-shaped CISO.   Managing Risk and Information Security is the ultimate treatise on how to deliver effective security to the world we live in for the next 10 years. It is absolute must reading for anyone in our profession – and should be on the desk of every CISO in the world."   Dave Cullinane, CISSP CEO Security Starfish, LLC "In this overview, Malcolm Harkins delivers an insightful survey of the trends, threats, and tactics shaping information risk and security. From regulatory compliance to psychology to the changing threat context, this work provides a compelling introduction to an important topic and trains helpful attention on the effects of changing technology and management practices." Dr. Mariano-Florentino Cuéllar Professor, Stanford Law School Co-Director, Stanford Center for International Security and Cooperation (CISAC), Stanford University     "Malcolm Harkins gets it. In his new book Malcolm outlines the major forces changing the information security risk landscape from a big picture perspective, and then goes on to offer effective methods of managing that risk from a practitioner's viewpoint. The combination makes this book unique and a must read for anyone interested in IT risk." Dennis Devlin AVP, Information Security and Compliance, The George Washington University    "Managing Risk and Information Security is the first-to-read, must-read book on information security for C-Suite executives.  It is accessible, understandable and actionable. No sky-is-falling scare tactics, no techno-babble – just straight talk about a critically important subject. There is no better primer on the economics, ergonomics and psycho-behaviourals of security than this." Thornton May, Futurist, Executive Director & Dean, IT Leadership Academy     "Managing Risk and Information Security is a wake-up call for information security executives and a ray of light for business leaders.  It equips organizations with the knowledge required to transform their security programs from a "culture of no" to one focused on agility, value and competitiveness. Unlike other publications, Malcolm provides clear and immediately applicable solutions to optimally balance the frequently opposing needs of risk reduction and business growth. This book should be required reading for anyone currently serving in, or seeking to achieve, the role of Chief Information Security Officer." Jamil Farshchi, Senior Business Leader of Strategic Planning and Initiatives, VISA     "For too many years, business and security – either real or imagined – were at odds. In Managing Risk and Information Security: Protect to Enable, you get what you expect – real life practical ways to break logjams, have security actually enable business, and marries security architecture and business architecture. Why this book?  It's written by a practitioner, and not just any practitioner, one of the leading minds in Security today." John Stewart, Chief Security Officer, Cisco     "This book is an invaluable guide to help security professionals address risk in new ways in this alarmingly fast changing environment. Packed with examples which makes it a pleasure to read, the book captures practical ways a forward thinking CISO can turn information security into a competitive advantage for their business.    This book provides a new framework for managing risk in an entertaining and thought provoking way. This will change the way security professionals work with their business leaders, and help get products to market faster.   The 6 irrefutable laws of information security should be on a stone plaque on the desk of every security professional." Steven Proctor, VP, Audit & Risk Management, Flextronics
    Pages: Online-Ressource (XVII, 152 pages) , 19 illustrations
    ISBN: 9781430251149
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    Unknown
    London : Ubiquity Press
    Keywords: Open Data ; Open Science ; Open Access ; Text Mining ; Data Mining
    Description / Table of Contents: In 2010 the Panton Principles for Open Data in Science were published. These principles were founded upon the idea that "Science is based on building on, reusing and openly criticising the published body of scientific knowledge" (http://pantonprinciples.org) and they provide a succinct list of the fundamentals to observe when making your data open. Intended for a broad audience of academics, publishers and librarians, Issues in Research Data explores the implications of the Panton Principles through a number of perspectives on open research data in the sciences and beyond. The book features chapters by open data experts in a range of academic disciplines, covering practical information on licensing, ethics, and advice for data curators, alongside more theoretical issues surrounding the adoption of open data. As the book is open access, each chapter can stand alone from the main volume so that communities can host, distribute, build upon and remix the content that is relevant to them. Readers can access the online version via the QR code or DOI link at the front of the book.
    Pages: Online-Ressource (VI, 164 Seiten)
    ISBN: 9781909188327
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    Unknown
    Rijeka : InTech
    Keywords: mobile devices ; wireless devices ; MANET
    Description / Table of Contents: Chapter 1: Data-Gathering and Aggregation Protocol for Networked Carrier Ad Hoc Networks: The Optimal and Heuristic Approach by Chao Gao, Guorong Zhao and Jianhua Lu --- Chapter 2: A Composite Trust Model for Secure Routing in Mobile Ad-Hoc Networks by Rutvij H. Jhaveri, Narendra M. Patel and Devesh C. Jinwala --- Chapter 3: Performance Analysis of Three Routing Protocols in MANET Using the NS-2 and ANOVA Test with Varying Speed of Nodes by Subhrananda Goswami, Subhankar Joardar, Chandan Bikash Das, Samarajit Kar and Dibyendu Kumar Pal --- Chapter 4: Cooperative Routing in Multi-Radio Multi-Hop Wireless Network by Kun Xie, Shiming He, Xin Wang, Dafang Zhang and Keqin Li --- Chapter 5: MANET Network in Internet of Things System by Rasa Bruzgiene, Lina Narbutaite and Tomas Adomkus --- Chapter 6: Radio Frequency-Based Indoor Localization in Ad-Hoc Networks by Mehdi Golestanian, Joshua Siva and Christian Poellabauer
    Pages: Online-Ressource (146 Seiten)
    ISBN: 9789535131106
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    Unknown
    Rijeka : InTech
    Keywords: parallel computing ; distributed computing
    Description / Table of Contents: Chapter 1: Introductory Chapter: The Newest Research in Parallel and Distributed Computing by Wen-Jyi Hwang --- Chapter 2: Social Trust: Evaluating Node Influential Capability in Social Networks by Yap Hock Yeow and Lim Tong-Ming --- Chapter 3: A Distributed Computing Architecture for the Large-Scale Integration of Renewable Energy and Distributed Resources in Smart Grids by Ignacio Aravena, Anthony Papavasiliou and Alex Papalexopoulos --- Chapter 4: GPU Computing Taxonomy by Abdelrahman Ahmed Mohamed Osman --- Chapter 5: Distributed Software Development Tools for Distributed Scientific Applications by Vaidas Giedrimas, Leonidas Sakalauskas and Anatoly Petrenko --- Chapter 6: DANP-Evaluation of AHP-DSS by Wolfgang Ossadnik, Ralf H. Kaspar and Benjamin Föcke
    Pages: Online-Ressource (122 Seiten)
    ISBN: 9789535133162
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Unknown
    Berlin, Heidelberg : Springer Vieweg
    Keywords: Engineering ; Humanities ; Digital libraries ; Computers ; Educational technology ; Electrical engineering ; Engineering ; Communications Engineering, Networks ; Information Systems and Communication Service ; Digital Humanities ; Technology and Digital Education
    Description / Table of Contents: Seit Jahren wird unser Alltag geprägt von zunehmender Automation und Vernetzung, die Digitalisierung genannt wird. Sensoren erfassen immer mehr unterschiedliche Daten und werden von intelligenten Algorithmen zunehmend präzisier analysiert. Dies führt nicht nur zu einem anderen Verhältnis im Umgang und bei der Nutzung von Daten durch Menschen und Maschinen, sondern wird auch dramatisch Aufgaben und Prozesse verändern. Die damit verbundenen Arbeitsanforderungen werden zum massiven Wandel von Berufsbildern führen, in dem einfache Tätigkeiten automatisiert und komplexe Tätigkeiten vereinfacht werden. Nicht nur das Arbeiten sondern auch das Lernen, Lehren und Forschen verändert sich durch die Digitalisierung. Die technischen Möglichkeiten wandeln die Lebenswelten mit ihren urbanen Versorgungs- und Infrastrukturen und eröffnen den Wirtschaftsräumen neue Geschäftsmodelle. Diese parallel einsetzenden Entwicklungen führen zu radikalen Umbrüchen, die in den kommenden Jahren sämtliche Aspekte der Gesellschaft verändern werden
    Pages: Online-Ressource (IX, 199 Seiten)
    ISBN: 9783662528549
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    Keywords: computational fluid dynamics
    Description / Table of Contents: Chapter 1: High-Performance Computing: Dos and Don’ts by Guillaume Houzeaux, Ricard Borrell, Yvan Fournier, Marta Garcia- Gasulla, Jens Henrik Göbbert, Elie Hachem, Vishal Mehta, Youssef Mesri, Herbert Owen and Mariano Vázquez --- Chapter 2: Multilevel Variable-Block Schur-Complement-Based Preconditioning for the Implicit Solution of the Reynolds- Averaged Navier-Stokes Equations Using Unstructured Grids by Bruno Carpentieri and Aldo Bonfiglioli --- Chapter 3: Free-Surface Flow Simulations with Smoothed Particle Hydrodynamics Method using High-Performance Computing by Corrado Altomare, Giacomo Viccione, Bonaventura Tagliafierro, Vittorio Bovolin, José Manuel Domínguez and Alejandro Jacobo Cabrera Crespo --- Chapter 4: Highly Deforming Computational Meshes for CFD Analysis of Twin-Screw Positive Displacement Machines by Sham Rane, Ahmed Kovačević, Nikola Stošić and Ian Smith --- Chapter 5: Optimization Design by Coupling Computational Fluid Dynamics and Genetic Algorithm by Jong-Taek Oh and Nguyen Ba Chien --- Chapter 6: Applications of CFD for Process Safety by Luis G. Zárate, Sebastián Uribe and Mario E. Cordero --- Chapter 7: Adaptation to Climate Change at Local Scale: A CFD Study in Porto Urban Area by Vera Rodrigues, Sandra Rafael, Sandra Sorte, Sílvia Coelho, Hélder Relvas, Bruno Vicente, Joana Leitão, Myriam Lopes, Ana Isabel Miranda and Carlos Borrego --- Chapter 8: Computational Fluid Dynamics (CFD) Applied to a Glass Vaporization Chamber for Introduction of Micro- or Nano-Size Samples into Lab-Based ICPs and to a CFD-Derived (and Rapidly Prototyped Via 3D Printing) Smaller-Size Chamber for Portable Microplasmas by Hamid R. Badiei, Gordon Stubley, Ryan Fitzgerald, Melanie Saddler and Vassili Karanassios --- Chapter 9: Analysis of Biomass Waste Cofiring into Existing Coal-Fired Power Plant Using Computational Fluid Dynamics by Arif Darmawan, Dwika Budianto, Koji Tokimatsu and Muhammad Aziz --- Chapter 10: CFD Modelling of Coupled Multiphysics-Multiscale Engineering Cases by Mario E. Cordero, Sebastián Uribe, Luis G. Zárate, Reyna Natividad Rangel, Alejandro Regalado-Méndez and Ever Peralta Reyes --- Chapter 11: CFD Analysis of Turbulence Models to Achieve the Digester Mixing Process by Jorge Flores-Velazquez, Abraham Jesus Arzeta-Rios, Waldo Ojeda Bustamante and Teodoro Espinosa-Solares --- Chapter 12: CFD for the Design and Optimization of Slurry Bubble Column Reactors by Omar M. Basha and Badie I. Morsi --- Chapter 13: Two Different Formulations for Solving the Navier-Stokes Equations with Moderate and High Reynolds Numbers by Blanca Bermúdez, Alejandro Rangel-Huerta, Wuiyevaldo Fermín Guerrero-Sánchez and José David Alanís --- Chapter 14: Vibration Characteristics of Fluid-Filled Functionally Graded Cylindrical Material with Ring Supports by Muzamal Hussain, Aamir Shahzad, Muhammad Nawaz Naeem and Maogang He --- Chapter 15: CFD Simulations of Crude Oil Fouling on Heat Transfer Surfaces by Ramasamy Marappa Gounder and Sampath Emani --- Chapter 16: Surrogate Model Applied for Analysis of Uncertain Parameters in Turbulent Mixing Flows by Boštjan Končar, Andrej Prošek and Matjaž Leskovar
    Pages: Online-Ressource (410 Seiten)
    ISBN: 9789535137917
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    Unknown
    Berlin, Heidelberg : Springer Vieweg
    Keywords: Engineering ; Humanities ; Digital libraries ; Educational technology ; Electrical engineering ; Engineering ; Communications Engineering, Networks ; Digital Humanities ; Technology and Digital Education
    Description / Table of Contents: Vorwort --- Einleitung --- Bürger --- Wenn Bots sich unter Leute mischen: Social Bots in den Sozialen Medien --- Digitale Partizipation in Wissenschaft und Wirtschaft --- Entwicklung einer soziodigitalen Souveränität --- Unternehmen --- Digitale Souveränität – ein mehrdimensionales Handlungskonzept für die deutsche Wirtschaft --- Privatheit und digitale Souveränität in der Arbeitswelt 4.0 --- Staat --- Mehr Daten, weniger Vertrauen in Statistik – freie Fahrt für ‚alternative Fakten‘? --- Internationale Perspektiven auf digitale Souveränität --- Digitalisierung der Bildung als staatliche Aufgabe --- Ausblick
    Pages: Online-Ressource (IX, 187 Seiten) , 40 Abbildungen in Farbe
    ISBN: 9783662557969
    Language: German
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    Keywords: Computer science ; Computer system failures ; Software engineering ; Computer logic ; Computer science ; Mathematics ; Artificial intelligence ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Artificial Intelligence (incl. Robotics) ; System Performance and Evaluation ; The Computing Profession ; Discrete Mathematics in Computer Science
    Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata
    Pages: Online-Ressource (XV, 583 pages) , 75 illustrations
    ISBN: 9783319893662
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    Unknown
    Rijeka : InTech
    Keywords: image processing
    Description / Table of Contents: Chapter 1: Colorimetry and Dichromatic Vision by Humberto Moreira, Leticia Álvaro, Anna Melnikova and Julio Lillo --- Chapter 2: Image Segmentation Based on Mathematical Morphological Operator by Jianjun Chen, Haijian Shao and Chunlong Hu --- Chapter 3: Color Reconstruction and Resolution Enhancement Using Super-Resolution by Eduardo Quevedo Gutiérrez and Gustavo Marrero Callicó --- Chapter 4: Color Analysis and Image Processing Applied in Agriculture by Jesús Raúl Martínez Sandoval, Miguel Enrique Martínez Rosas, Ernesto Martínez Sandoval, Manuel Moisés Miranda Velasco and Humberto Cervantes De Ávila --- Chapter 5: A Proposal of Color Image Processing Applications for Education by Hiroshi Kamada, Tomohisa Ishikawa and Keitaro Yoshikawa --- Chapter 6: Real-Time Video Analysis in Agriculture by Using LabVIEW Software by Abdullah Beyaz --- Chapter 7: Diffusion-Steered Super-Resolution Image Reconstruction by Baraka J. Maiseli --- Chapter 8: A New Pansharpening Approach for Hyperspectral Images by Chiman Kwan, Jin Zhou and Bence Budavari --- Chapter 9: Thresholding Algorithm Optimization for Change Detection to Satellite Imagery by René Vázquez-Jiménez, Rocío N. Ramos-Bernal, Raúl Romero- Calcerrada, Patricia Arrogante-Funes, Sulpicio Sanchez Tizapa and Carlos J. Novillo --- Chapter 10: Clouds Motion Estimation from Ground-Based Sky Camera and Satellite Images by Ali Youssef Zaher and Afraa Ghanem
    Pages: Online-Ressource (206 Seiten)
    ISBN: 9789535137450
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...