yusuke1997/dblp-id-title huggingface dataset:
Dynamical Systems - Examples of Complex Behaviour
Ruby in a nutshell - a desktop quick reference
ActionScript 3.0 design patterns - object-oriented programming techniques
Hardware evolution - automatic design of electronic circuits in reconfigurable hardware by artificial evolution
Formal Specification Level - Concepts, Methods, and Algorithms
Unitary group representations - in physis, probability, and number theory
Distributed systems - principles and paradigms, 2nd Edition
Potentiale der Informationstechnik - State-of-the-Art und Trends aus Anwendungssicht
Zero configuration networking - the definitive guide: things that just work: covers Apple's Bonjour APIs
Korrekter Entwurf und Verifikation verteilter Systeme - the temporal logic of transitions, ein unterstützender Rahmen
Automatische Spracherkennung - Grundlagen, statistische Modelle und effiziente Algorithmen
Android Application Development - Programming with the Google SDK
Handbook of Research on Computational and Systems Biology - Interdisciplinary Applications
Specification and implementation of an enhanced RTP translator with dynamic configuration features
Systems engineering with SysML / UML - modeling, analysis, design
A Brief Introduction to Continuous Evolutionary Optimization
Spectral properties of banded Toeplitz matrices
Programmieren mit C - Ansi Standard
Basiswissen Software-Projektmanagement - Aus- und Weiterbildung zum Certified Professional for Project Management nach iSQI-Standard, 2. Auflage
Hacking and Securing iOS Applications - Stealing Data, Hijacking Software, and How to Prevent It
JBoss at work - a practical guide: building and deploying J2EE in the real world
Solving nonlinear equations with Newton's method - fundamentals of algorithms
Computer publishing - Grundlagen und Anwendungen
Functional programming with HOPE
Differential geometry
SOA in der Praxis - System-Design für verteilte Geschäftsprozesse
Neuronale Netze - eine Einführung in die Neuroinformatik selbstorganisierter Netzwerke (2. Aufl.)
HTTP - pocket reference: hypertext transfer protocol
Iterative Erzeugung glatter Interpolanten
Measurement-based feedback in a process-centered software engineering environment
The power of events - an introduction to complex event processing in distributed enterprise systems
Moderne Betriebssysteme, 2. überarbeitete Auflage
Object orientation - the KISS method: from information architecture to information system
Asterisk - the future of telephony: join the open source PBX revolution: covers Asterisk 1.4 (2. ed.)
Exploring expect - a Tcl-based toolkit for automating interactive programs (2. ed.)
Équations avec opérateurs - un outil combinatoire
Weaving the web - the original design and ultimate destiny of the World Wide Web by its inventor
Adobe Encore DVD - in the studio: practical information and expert advice on designing and creating DVDs with Adobe Encore: covers Adobe Encore DVD 1.5
A connectionist approach for learning search-control heuristics for automated deduction systems
Network security fundamentals
The data handbook - a guide to understanding the organization and visualization of technical data (2. ed.)
Effizientes symbolisches Model-Checking von Realzeitaspekten für VHDL
Running Linux - one-stop shopping guide to Linux (3. ed.)
Softwaremanagement - Analyse und Entwurf
Normalization in λ-calculus and type theory
Software engineering risk management
Datenbanksysteme - Eine Einführung
Securing Emerging Wireless Systems - Lower-layer Approaches
Software measurement - establish, extract, evaluate, execute
Beginning algorithms
Getting Started with RFID - Identify Objects in the Physical World with Arduino
Intelligent image databases - towards advanced image retrieval
Modules and algebras - bimodule structure on group actions on algebras
Matroid decomposition
Internet-Shopping heute - der Einsatz des Internets als Vertriebs- und Distributionskanal: Analyse der Sicherheitsanforderungen bestehender und potentieller Betreiber
Compiling functional languages
Problem solving with C++ - the object of programming
Design methods for reactive systems - Yourdon, Statemate, and the UML
Approaches to interprocedural register allocation
MySQL in a nutshell - a desktop quick reference: covers version 5.1 (2. ed.)
Context-aware pervasive systems - architectures for a new breed of applications
JavaScript - the good parts: unearthing the excellence in JavaScript
Error detecting codes - general theory and their application in feedback communication systems
Computer Arithmetic and Formal Proofs - Verifying Floating-point Algorithms with the Coq System
Principles of Digital Image Processing - Advanced Methods
MAP and TOP communications - standards and applications
The pick programming language - BASIC
Organisation der Informationsverarbeitung - Grundlagen, Aufbau, Arbeitsteilung (2. Aufl.)
Object-oriented systems design - an integrated approach
Artificial immune systems - a new computational intelligence paradigm
Incorporating guarded execution into existing instruction sets
Konzeptuelle Datenmodellierung
Game of Life Cellular Automata
Cyberwar - Das Internet als Kriegsschauplatz
Smart home hacks - tips and tools for automating your house
Java Micro Edition - Entwicklung mobiler JavaME-Anwendungen mit CLDC und MIDP (2. Aufl.)
Java message service
Generating referring expressions - constructing descriptions in a domain of objects and processes
Computer graphics - transparency masters
Grundlagen der Dokumentenverarbeitung
Parallele Programmierung - eine Einführung
Model-driven design using business patterns
The Latex graphics companion - illustrating documents with Tex and PostScript
Business Analysis Using Regression - A Casebook
Interaktive Systeme - Software-Entwicklung und Software-Ergonomie
Photoshop Lightroom 2 adventure - mastering Adobe's next-generation tool for digital photographers
Coherence, reference, and the theory of grammar
Active knowledge modeling of enterprises
Distributed systems - software design and implementation
High-Level Verification - Methods and Tools for Verification of System-Level Designs
Software Architecture - Foundations, Theory, and Practice
Object-oriented software engineering - practical software development using UML and Java
GIMP 2 - anspruchsvolle Bildbearbeitung unter Linux, Windows und Mac OS X (2. Aufl.)
Geometrie und ihre Anwendungen - in Kunst, Natur und Technik
Non-asymptotic performance evaluation and sampling-based parameter estimation for communication networks with long memory traffic
A guide to LATEX - document preparation for beginners and advanced users (2. ed.)
Mit Perl programmieren lernen
Data communication technology
Software Engineering: Schlüssel zu Prozeßbeherrschung und Informationsmanagement
Default reasoning - causal and conditional theories
Maple V Release 3 - Einführung und Leitfaden für den Praktiker
Dienstgüteunterstützung für mobile Endsysteme in ATM-basierten Netzwerken
Ein Vorlinearisierungsprinzip zur Konvergenzverbesserung des Newton-Verfahrens
Form-oriented analysis - a new methodology to model form-based applications
Spiele programmieren mit Java ME - Handyspiele mit 3D-Grafik, Stereosound und Netzwerkanbindung selbst entwickeln
Learning UML 2.0 - a pragmatic introduction to UML
Sprachunabhängiges Refactoring - das Dagstuhl Middle Metamodel im Kontext sprachunabhängigen Refactorings
Learning the bash shell - Unix shell programming: covers bash 3.0 (3 ed.)
Condition - The Geometry of Numerical Algorithms
Stepping into virtual reality
Modellierung und Ausführung von Workflows mit Petri-Netzen
Ein multifunktionaler Büroarbeitsplatz für Blinde
XML and Datenbanken - Konzepte, Sprachen und Systeme
Dependence Logic - A New Approach to Independence Friendly Logic
Distributed computing with objects
Multi-objective optimization using evolutionary algorithms
Taschenbuch der Elektrotechnik (2. Aufl.)
Content syndication with RSS - sharing headlines and information using XML
Programmieren in C - mit dem C-Reference Manual in deutscher Sprache; ANSI C (2. Ausgabe)
Stochastic Models for Fault Tolerance - Restart, Rejuvenation and Checkpointing
Actors in Scala - concurrent programming for the multi-core era
Musical temperaments
Signal processing for computer vision
Mac OS X Tiger for Unix geeks - demystifying the geekier side of Mac OS X
Spatio-temporal Dynamics of the Cell - Characterization from Images and Computer Simulations
A guided tour of relational databases and beyond
Advanced animation and rendering techniques - theory and practice
Systems Practice - How to Act in a Climate-Change World
Innovations for Shape Analysis, Models and Algorithms
Windows and Mirrors - Interaction Design, Digital Art, and the Myth of Transparency
Software Product Line Engineering - Foundations, Principles, and Techniques
Software testing and analysis - process, principles and techniques
Topics in type theory
Exploiting fine-grain parallelism in concurrent constraint languages
Story Driven Modeling
Introduction to database management - a practical approach
Netzsicherheit - algorithmische Grundlagen und Protokolle
Methodenneutraler Fachentwurf - zu den Grundlagen einer anwendungsorientierten Informatik
Dozentenhandbuch
Beitrag zur Gestaltung von Sensorinterfacebaugruppen für speicherprogrammierbare Steuerungen
WiMAX - der IEEE-802.16-Standard: Technik, Anwendung, Potenzial
Einführung in die Codierungstheorie I
Die Gutenberg-Galaxis - das Ende des Buchzeitalters
Document imaging - computer meets press
Systematisches Requirements Engineering und Management - Anforderungen ermitteln, spezifizieren, analysieren und verwalten (2. Aufl.)
Synchronisation in verteilten Systemen - Problemstellung und Lösungsansätze unter Verwendung von objektorientierten Konzepten
AlphaPop demonstration copy for computers and thought - Macintosh version
HTML - the definitive guide: help for web authors: covers Netscape 4.0 (2. ed.)
Musical Creativity - Strategies and Tools in Composition and Improvisation
Künstliche neuronale Netze - das Lehrbuch (2. Aufl.)
Bash cookbook - solutions and examples for bash users
Agile Softwareentwicklung im Großen - ein Eintauchen in die Untiefen erfolgreicher Projekte
Reducing Electromagnetic Interference in DC-DC Converters with Chaos Control
Foundations of coding - theory and applications of error-correcting codes with an introduction to cryptography and information theory
Experimentation in mathematics - computational paths to discovery
Vergleich der Leistungsfähigkeit von artifiziellen neuronalen Netzen und biologischen neuronalen Netzen am Beispiel bekannter Lernmechanismen
An Archive's Perspective on DDI 3
A Course In Error-Correcting Codes
High integrity compilation - a case study
Konstruktion und Optimierung von Bewertungsfunktionen beim Schach
SNMP - versions 1 and 2: simple network management protocol: theory and practice
Database - theory and practice
ECCO - Data Centric Asynchronous Communication: Challenges for Event and Query Modelling and Asynchronous Message Passing
Thoughtful Machine Learning - A Test-Driven Approach
Online investing hacks - 100 industrial-strength tips and tools
Graphen, Netzwerke und Algorithmen, 3. Auflage
The asynchronous PRAM - a semi-synchronous model for shared memory MIMD machines
Causation, Prediction, and Search, Second Edition
Ein einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-Verifikation
Access data analysis cookbook - slicing and dicing to find the results you need
Introduction to multiagent systems
Pragmatic Ajax - A Web 2.0 Primer
Handbook of neural computing applications
Essential PHP security - a guide to building secure web applications
Modula-2 - a second course in programming
A multiresolution framework for volume rendering
Dynamic data structures on multiple storage media
CAD-Referenzmodell: zur arbeitsgerechten Gestaltung zukünftiger computergestützter Konstruktionsarbeit
Design and use of software architectures - adopting and evolving a product-line approach
Unix in a nutshell - a desktop quick reference for system V release 4 and Solaris 7 (3. ed.)
The efficiency of theorem proving strategies - a comparative and asymptotic analysis
Codierungstheorie
Network routing - algorithms, protocols, and architectures
Cloud Application Architectures - Building Applications and Infrastructure in the Cloud
Temporal logic - from ancient ideas to artificial intelligence
Regular Expressions Cookbook - Detailed Solutions in Eight Programming Languages
GNOME - der intuitive Desktop für Linux/Unix: Konfiguration und Anwendung
OSF/Motif programmer's reference - revision 1.1 for OSF/Motif release 1.1
Integrated Information Management - Applying Successful Industrial Concepts in IT
E-Finance - elektronische Dienstleistungen in der Finanzwirtschaft
Software Product Quality Control
Computerphilosophie zur Einführung
Leibniz's philosophy of logic and language (2. ed.)
Zykliden und Kanalflächen
Efficient Android Threading - Asynchronous Processing Techniques for Android Applications
Third Generation Web APIs - Bridging the Gap between REST and Linked Data
Data mining - a hands-on approach for business professionals
Robotik - Programmierung intelligenter Roboter
Der Mikrokontroller C167 (2. Aufl.)
Ein interaktives System zur visuellen Analyse von Simulationsergebnissen
Object-oriented databases - a semantic data model approach
Wörter und Zahlen - das Alphabet als Code
Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen
Multimedia systems
Metaheuristics - From Design to Implementation
Process algebra
Tomcat - the definitive guide: vital information for Tomcat programmers and amdinistrators: Tomcat 6.0 (2. ed.)
Software metrics - a rigorous approach
SELinux - NSA's open source security enhanced linux: beating the o-day vulnerability threat
Topics in combinatorial group theory
Multi-Domain Communication Management Systems
Korrekte Software - Semantik, Spezifikation, Verifikation und Testen von Programmen
Einführung in Software Engineering
Test Infrastructure Design - for Digital, Mixed-Signal and Hierarchical SOCs
Geometry, Structure and Randomness in Combinatorics
Systemobjektorientierte strukturierte Analyse und dienstorientierter Entwurf als Konstruktionsmethodik im Rahmen einer Informatiksystemtechnik
Optimization in Public Transportation - Stop Location, Delay Management and Tariff Zone Design in a Public Transportation Network
Logic and objects
Cooperating expert systems in mechanical design
Anti-spam measures - analysis and design
UNIX, C und Internet - moderne Datenverarbeitung in Wissenschaft und Technik (2. Aufl.)
Elementary induction on abstract structures
Java generics and collections
Human oriented proof presentation - a reconstructive approach
Putting Auction Theory to Work
Software perspectives - the system is the message
Geometric dilation and halving distance
Electronic Business und EDI mit XML
Computer architecture and design
Dynamische Leitungsvermittlungsnetz für verteilte Systeme
Extending mechanics to minds - the mechanical foundations of psychology and economics
Management of DDI 3.0 Unique Identifiers
Big Data und Recht
Logical frameworks for truth and abstraction - an axiomatic study
Safety licensable and high speed programmable digital controllers providing any required control behaviour
Arbeitsbuch Informations-Technische Grundbildung (ITG) Werkzeuge, Anwendungen, Projekte, gesellschaftliche Auswirkungen
Fundamentals of Discrete Math for Computer Science - A Problem-Solving Primer
Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design
Datenbanksysteme - eine Einführung (2. Aufl.)
Webmaster's building internet database servers with CGI
Elements of functional programming
Semantics with applications - a formal introduction
Nonlinear multiobjective optimization
Metaebenen-Architekturen logischer Programme
The blueprint handbook of print and production
Agile Softwareentwicklung - Werte, Konzepte und Methoden
Machine learning - applications in expert systems and information retrieval
Search Patterns - Design for Discovery
Nebenläufige Programme (2. Aufl.)
Game Theory and National Security
Guide to VHDL (2. ed.)
DevOps - A Software Architect's Perspective
Mac OS X hints - Jaguar edition: the 500 most amazing power tips
Software engineering with Ada (3. ed.)
Parallel program design - a foundation
Boundary representation modelling techniques
Rechnerarchitektur - Grundzüge des Aufbaus und der Organisation von Rechnerhardware
Creating effective JavaHelp
Applications to Regular and Bang-Bang Control - Second-Order Necessary and Sufficient Optimality Conditions in Calculus of Variations and Optimal Control
Ada - problems solving and program design
Intelligent technologies for information analysis
Logical Modeling of Biological Systems
Lectures on discrete geometry
Document Engineering - Analyzing and Designing Documents for Business Informatics and Web Services
Advanced Oracle PL/SQL - programming with packages
Enumerability, decidability, computability - an introduction to the theory of recursive functions
Implicit parallel programming in pH
Enjoying machines
Theorie et pratique du workflow - des processus metier renouveles
Entity-relationship modeling - foundations of database technology
Integrating Routing Decisions in Public Transportation Problems
Fachlicher Entwurf von Workflow-Management-Anwendungen
Constructing correct software (2. ed.)
Ein Software-System zur Synthese von Rechnerstrukturen und zur Erzeugung von Mikrocode
C++ - Programmieren mit Stil: eine systematische Einführung
Introduction to Computing and Programming in Python; 3rd Edition
Ordered grammars with equivalence classes - some formal and linguistic aspects
IEEE standards collection software engineering - 1997 edition
Programming .NET components - design and build maintainable systems using component-oriented programming
Effective polynomial computation
Satisfiability and Verification - From Core Algorithms to Novel Application Domains
Readings in distributed computing systems
Online-Marketing - Grundlagen, Modell und Fallstudie für Versicherungsunternehmen
Communication systems design with Estelle - on style, efficiency, and analysis
Automating System Administration with Perl - Tools to Make You More Efficient (2. ed.)
Integration of Information and Optimization Models for Routing in City Logistics
Internet-Technologien in der gesetzlichen Rentenversicherung - Effizienzsteigerung und Kostensenkung durch Internet-Technologien am Beispiel gesetzlicher Rentenversicherungsträger
OmeGA - a competent genetic algorithm for solving permutation and scheduling problems
Scheduling and automatic parallelization
Using Samba - a file and print server for Linux, Unix and Mac OS X
Geographic information metadata for spatial data infrastructures - resources, interoperability and information retrieval
EDIS - eine objektorientierte Software-Architektur für graphische Editoren
Human-centered e-business
Artificial intelligence and expert systems for engineers
Untersuchungen zur Bewertung von Rechensystemen
Workflow management - modeling concepts, architecture and implementation
Communication networks - a first course
DNS and BIND (2. ed.)
Filtering the web to feed data warehouses
Semiology of Graphics - Diagrams, Networks, Maps
Visual Analysis of Humans - Looking at People
Introduction to Autonomous Robots - Kinematics, Perception, Localization and Planning
The book of GENESIS - exploring realistic neural models with the GEneral NEural models SImulation system
Neuronale Netze - Grundlagen und mathematische Modellierung
Java Message Service - Creating Distributed Enterprise Applications (2. ed.)
Learning MySQL - get a handle on your data
Systems, models and measures
Etude de problemes d'optimisation dans les systemes distribues
JARTOS - A Real-Time Operating System in Java: Can developing a real-time operating system in Java result in a system that an errant process can't crash?
Die Megabit-Bombe - Essays zum Hyperspace
Programmieren für Mathematiker und Naturwissenschaftler - eine pragmatische Einführung mit C++ (2. Aufl.)
Head First iPhone Development - a Brain-Friendly Guide: Covers iPhone 3.1 SDK
Macintosh Terminal - Pocket Guide: Take Command of Your Mac
Algorithmen und Datenstrukturen - Eine Einführung mit Java, 4. Auflage
IA-64 and elementary functions - speed and precision
Intuitionismus
Object lifecyles - modeling the world in states
The cathedral and the bazaar - musings on Linux and open source by an accidental revoltionary (rev. ed.)
Combinatorial Algebraic Topology
Zertifizierung mehrseitiger IT-Sicherheit - Kriterien und organisatorische Rahmenbedingungen
New generation computing - recent research
Model-Driven Risk Analysis - The CORAS Approach
HTML - WWW effektiv nutzen
Agile web development with Rails - a pragmatic guide
Bargaining and market behavior - essays in experimental economics
Programming Google App Engine - Build and Run Scalable Web Apps on Google's Infrastructure
Language independent design - an introduction
Linear and Nonlinear Optimization (2. ed.)
Error-control coding for computer systems
Computer Englisch - ein Fachwörterbuch
Hierarchical Voronoi Graphs - Spatial Representation and Reasoning for Mobile Robots
BigNum math - implementing cryptographic multiple precision arithmetic
Ajax hacks - tips and tools for creating responsive web sites
Methoden und Werkzeuge zur visuellen objektorientierten Programmierung
The B-book - assigning programs to meanings
A connectionist language generator
Der Software-Entwicklungsprozeß - ganzheitliche Sicht: Grundlagen zu Entwicklungs-Prozeß-Modellen
Informix 6.0/7.1 - das relationale Datenbanksystem mit INFORMIX OnLine Dynamic Server
Handbuch der Chipkarten - Aufbau, Funktionsweise, Einsatz
Algorithmic theory of numbers, graphs and convexity
Programming in Mathematica, 2nd Edition
Softwarereflexionen - Ideen und Konzepte für die Praxis
Automatische Sichtprüfung - Grundlagen, Methoden und Praxis der Bildgewinnung und Bildauswertung
MATLAB für Ingenieure - systematische und praktische Einführung
Computational signal processing with wavelets
Theoretische Informatik - eine umfassende Einführung
Design, Measurement and Management of Large-Scale IP Networks - Bridging the Gap between Theory and Practice
Intelligent-Service-System - von der Vereinheitlichung von Neuro-Fuzzysystemen für SOA bis zur Realisierung einer intelligenten dynamischen Service-Rekonfiguration
Open systems
Cones d'accepteurs application a l'etude d'une hierarchie infinie de cones rationnels de langages d'accepteurs verificateurs
Getting Started with Storm - Continuous Streaming Computation with Twitter's Cluster Technology
Learning Unix for OS X Mountain Lion - Going Deep with the Terminal and Shell
Automated planning - theory and practice
Methoden zur Konfigurierung graphischer Systeme und ihre Anwendung
Conceptual mathematics - a first introduction to categories
Mathematica for the sciences
Workflow-Management für CORBA-basierte Anwendungen - systematischer Architekturentwurf eines OMG-konformen Workflow-Management-Dienstes
68000 and 68020 microprocessors - hardware, software and interfacing techniques
Java - Programmierhandbuch und Referenz für die Java-2-Plattform, Standard Edition (3. Aufl.)
Expressiveness of conditional equational systems with built-in predicates
Matrix Computations, Third Edition
Object-oriented 3D modeling, animation and interaction
Cognitive systems engineering
Monte Carlo-Algorithmen
Discovering genomics, proteomics and bioinformatics (2. ed.)
Digital computer programming
Neuronale Netze - Grundlagen, Anwendungen, Beispiele (2. Aufl.)
Ada - an advanced introduction (2. ed.)
Kurze Geschichte der Informatik - Heinz Nixdorf MuseumsForum
Von der Photographie zum 3D-Modell - Bestimmung computer-graphischer Beschreibungsattribute für reale 3D-Objekte mittels Analyse von 2D-Rasterbildern
Constraint-based verification
Maschinen mit Bewusstsein - wohin führt die künstliche Intelligenz?
MDA explained - the Model Driven Architecture: practice and promise
Designing embedded hardware - create new computers and devices (2. ed..)
Motivated Reinforcement Learning - Curious Characters for Multiuser Games
Frontiers in chemical engineering - research needs and opportunities
Work efficient parallel scheduling algorithms
Postscript language reference manual, Second Edition
10 minute guide to Word for Windows 6
SQL hacks - tips and tools for digging into your data