yusuke1997/dblp-id-title huggingface dataset:
Algorithms for scheduling malleable and nonmalleable parallel tasks
The essence of information systems
RESTful web services - web services for the real world
The SPIN Model Checker - primer and reference manual
Frontiers of scientific visualization
TPC/IP-Grundlagen - Protokolle und Routing (3. Aufl.)
Informal Introduction to ALGOL 68, Second Edition
Partial differential equations - with Mathematica
Moderne Computernetzwerke - Überblick und Technologie
Completeness for parallel access to NP and counting class separations
A Gardner's workout - training the mind and entertaining the spirit
Term rewriting systems
High performance computing - RISC architectures, optimization and benchmarks (2. ed.)
Practical SGML (2. ed.)
System performance tuning - Optimierung von UNIX-Systemen
Wissensbasierte Diagnose- und Informationssysteme - Mit Anwendungen des Expertensystem-Shell-Baukastens D3
Program correctness over abstract data types, with error-state semantics
Designing collaborative systems - a practical guide to ethnography
Kortikale Karten und präattentive Wahrnehmung - über Segmentierungsleistungen und die Geometrie der Reizrepräsentation
Verteiltes Lösen von Constraint-Problemen in Multiagenten-Systemen zur optimierten Planung in einer Fließfertigung
Inside the Windows 95 file system - IFSMgr, the installable file system manager
Model Emergent Dynamics in Complex Systems
Grundlagen und Techniken des Compilerbaus (2. Aufl.)
The Presidential Election Game, 2nd edition
MySQL High Availability - Tools for Building Robust Data Centers, 2nd Edition
Minimalist mobile robotics - a colony-style architecture for an artificial creature
Interaktives Ray Tracing
Computational issues in calculi of partial inductive definitions
Referenzhandbuch Dateiformate - Datenbanken, Tabellenkalkulation, Text, Grafik, Multimedia, Sound und Internet (5. Aufl.)
Stability, Control, and Computation for Time-Delay Systems - An Eigenvalue-Based Approach (2. ed.)
Theory and design of digital computer systems (2. ed.)
Discrete mathematics (3. ed.)
Statistical learning theory
Systematischer Einsatz von SQL-dBase IV - ein Datenbanksystem in der Praxis
Computational molecular biology - an algorithmic approach
Parallelverarbeitung in einem semantischen Netzwerk für die wissensbasierte Musteranalyse
The transputer handbook
Fotobearbeitung und Bildgestaltung mit GIMP 2 - Arbeitsschritte, Techniken, Werkzeuge
Adobe InDesign CS4 one-on-one
The theory of evolution strategies
Engineering Design via Surrogate Modelling - A Practical Guide
Causation, coherence and concepts - a collection of essays
Graphic design for electronic documents and user interfaces
Technische Informatik - eine Einführung
Smart card security and applications (2. ed.)
Replikationskonzept für ein verteiltes Diskurssystem im Internet
Aufbau einer Datenbank - ein Praxisbeispiel
Symbolrechner TI-92 - Computeralgebra im Taschenformat
Diskrete Mathematik
HTML and XHTML - pocket reference: quick, comprehensive, indespensable (3. ed.)
Quantum methods with Mathematica
Linux kernel - in a nutshell: a quick desktop reference
Statistical models of shape - optimisation and evaluation
Stochastic Petri nets - an introduction to the theory
Trusted Cloud Computing
ELAN-Sprachbeschreibung
Ein integriertes Verfahren zur effizienten Planung und Ausführung von Roboterbewegungen in unscharfen Umgebungen
Modeling Time in Computing
Energy-Efficient High Performance Computing - Measurement and Tuning
Connection tableau calculi with disjunctive constraints
.NET and XML - understanding the code and markup behind the wizards
Ambient findability - what we find changes who we become
Efficient main-memory management of persistent objects
Measuring software reuse - principles, practices, and economic models
Apache security - the complete guide to securing your Apache web server
Sonifikation numerischer Daten für Visualisierung und virtuelle Realität
Information sharing - reference and presupposition in language generation and interpretation
Compiling Esterel
Relationale Datenbanken - eine Einführung für die Praxis (3. Aufl.)
Idiom Treatment Experiments in Machine Translation
Discrete groups, expanding graphs and invariant measures
Basiswissen Softwarearchitektur - verstehen, entwerfen, wiederverwenden (2. Aufl.)
Algorithmic Mechanism Design - Eine Einführung
Effective Computation in Physics - Field Guide to Research with Python
Learning Windows Server 2003 - the no-nonsense guide to administering Windows Servers: covers SP1 and R2 (2. ed.)
Facility location - applications and theory
The action-as-implication paradigm - formal systems and application
Firewalls und IT-Sicherheit - Grundlagen und Praxis sicherer Netze: IP-Filter, Content Security, PKI, Intrusion Detection und Applikationssicherheit, 3. Auflage
Legal and Ethical Issues in the Media
Content-based analysis of digital video
Computernetzwerke, 3. Auflage
The deductive foundations of computer programming - a one-volume version of "The logical basis for computer programming"
UNIX system V - programmer's guide
Betriebssysteme - Grundlagen, Konzepte, Systemprogrammierung
Timing analysis, scheduling, and allocation of periodic hard real-time tasks
Text generation - using discourse strategies and focus constraints to generate natural language text
LARIS 1.0 - LAnguage for Railway Interlooking Specifications
Introduction to electronic and analogue computers
Das flash!-Kochbuch zur Version 4.0 - Flash von Anfang an bis zu den neuesten Erweiterungen
Client-Honeypots - Exploring Malicious Websites
Objektorientierte 3D Grafik - Grundlagen, Konzepte und praktische Realisierung
Software entwickeln mit eXtreme Programming - Erfahrungen aus der Praxis
Mathematik in der Biologie
Software Engineering, 6. Auflage
Automatentheorie und Logik
Parallel Programming - for Multicore and Cluster Systems; 2nd Edition
Data Analysis with Open Source Tools - a Hands-on Guide for Programmers and Data Scientists
Distributed operating systems - the logical design
Graph theory as I have known it
Guide to C# and object orientation
Mathematics for computer graphics, Second Edition
X window system user's guide
Superscalar microprocessor design
Contribution a l'Algorithmique Systolique
Harnessing hibernate - a step-by-step guide to Java persistence
Business information systems (6. ed.)
Principles of model checking
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers (dissertation, updated version)
Introduction to VLSI systems
ML for the working programmer
The fifth generation - artificial intelligence and Japan's computer challenge to the world
A logical approach to computational theory building - with applications to sociology
Linux für Durchstarter (2. Aufl.)
Ansätze zur Unterstützung des Arbeitsablaufes bei der rechnerbasierten Modellierung verfahrenstechnischer Prozesse
Programming JavaScript Applications - Robust Web Architecture with Node, HTML5, and Modern JS Libraries
CGI programming in C and Perl - featuring C and Perl 5 source code
Programming with Turing and object oriented Turing - featuring object oriented Turing software
Liberating Voices - A Pattern Language for Communication Revolution
Linux - Pocket Guide: Essential Commands, 2nd Edition
Algorithmic Composition - A Guide to Composing Music with Nyquist
The Mathematica GuideBook for Symbolics
Numerical methods - for mathematics, science and engineering (2. ed.)
Principles of the spin model checker
Pattern Calculus - Computing with Functions and Structures
Managing projects with GNU make - use the power of GNU make to build anything: completely revised and updated (3. ed.)
Linked - how everything is connected to everything else and what it means for business, science, and everyday life
Understanding object-oriented software engineering
Introduction to stability theory
Gruppenkommunikation über verbindungsorientierte Netze
Bildverarbeitung und Objekterkennung - Computer Vision in Industrie und Medizin
Head First Excel - A Brain-Friendly Guide
Advances in Generative Lexicon Theory
A modular and extensible network storage architecture
Objektorientierte und wissensbasierte Bildverarbeitung
Turbo Pascal 5.5 - the complete reference
Java methods for financial engineering - applications in finance and investment
Combination of Multiple Image Segmentations
Designing Social Interfaces - Principles, Patterns, and Practices for Improving the User Experience
Modellierung verteilter Systeme - Konzeption, formale Spezifikation und Verifikation mit Produktnetzen
Software requirements and specifications - a lexicon of practice, principles and prejudices
Ant - eine praktische Einführung in das Java-Build-Tool (2. Aufl.)
The internet connection - system connectivity and configuration
Web design in a nutshell - completely revised for standards compliance, including CSS 2.1 and XHTML 1.0 (3. ed.)
Automated Physical Database Design and Tuning
Fuzzy logic and neural network handbook
Systementwurf mechatronischer Systeme - Methoden, Modelle, Konzepte
Computer Aided Concurrent Integral Design
SQL in a nutshell - a desktop quick reference (3. ed.)
Case - using software development tools (2. ed.)
The software factory - a fourth generation software engineering environment
Echtzeitfähige Multisensorintegration für autonome mobile Roboter
SQL Pocket Guide - a Guide to SQL Usage: DB2, MySQL, Oracle, PostgreSQL, SQL Server
Logic and programming in logic
CSS - pocket reference: covers CSS2 and CSS2.1 (3. ed.)
Analyzing computer architectures
Object-process methodology - a holistic systems paradigm
Solving problems in scientific computing using Maple and MATLAB (3. ed.)
Virtual Honeypots - From Botnet Tracking to Intrusion Detection
Spam kings - the real story behind the high-rolling hucksters pushing porn, pills, and @*#?% enlargements
Specification and design methodology for real-time embedded systems
VIM cookbook - Stand 28.01.2004
Visual computing - the integration of computer graphics, visual perception and imaging
Applied evolutionary algorithms in Java
Enabling Programmable Self with HealthVault - An Accessible Personal Health Record
Approximate Dynamic Programming - Solving the Curses of Dimensionality
Grundkurs digital fotografieren - Kameratechnik, Bildkomposition, Bildverarbeitung, Bildverwaltung
Bioinformatics - sequence and genome analysis (2. ed.)
Objektmodellierung - eine Einführung in die objektorientierte Analyse und das objektorientierte Design
Linux - vom PC zur Workstation: Grundlagen, Installation und praktischer Einsatz, 2. Auflage
A functional framework for efficient web-based scientific visualization systems
Programming principles - an introduction
Eine Verbesserung des Uzawa-Algorithmus
Interconnection networks - an engineering approach
Designing the user interface - strategies for effective human-computer interaction, 3rd Edition
Networked virtual environments - desgin and implementation
Open Java - von den Grundlagen zur Anwendung
JUNOS Enterprise Switching - A Practical Guide to JUNOS Switches and Certification
Mathematical and Computational Modeling of Tonality - Theory and Applications
Gamification by Design - Implementing Game Mechanics in Web and Mobile Apps
Rapid Development of Applications for the Interactive Visual Analysis of Multimodal Medical Data
Informationsmanagement - theoretische Grundlagen und Führungskonzept
Photoshop CS4 Channels and Masks - One-on-One
Computer graphics - instructor's guide
Parallel computing - theory and comparisons
A Distribution-Free Theory of Nonparametric Regression
Vermarktung hybrider Leistungsbündel - Das ServPay-Konzept
Languages and machines - an introduction to the theory of computer science
Neuronale Netze und Fuzzy-Systeme - Grundlagen des Konnektionismus, neuronaler Fuzzy-Systeme und der Kopplung mit wissensbasierten Methoden
Creative web design - tips and tricks step by step
The Banach-Tarski paradox
Workflow und ArchiveLink mit SAP - Handbuch für Entwickler
Wissenschaftsrat: Empfehlungen zur Informatik an den Hochschulen
Intranets - Konzeption, Sicherheit und Realisierung
Data-parallel programming on MIMD computers
Diskrete Mathematik - Grundlagen und Methoden
Advanced Unix programming
SQL in a nutshell - a desktop quick reference: covers SQL server, DB2, MySQL, Oracle and PostgreSQL (2. ed.)
Organic Computing for Image Understanding and Robotics
Algebras for generalized power constructions
Formal specification using Z - a modelling approach
The Fetal Matrix - Evolution, Development and Disease
TCP/IP and NFS - internetworking in a UNIX environment
Algebraic logic
Fair division - from cake-cutting to dispute resolution
VHDL: hardware description and design
Computational applications of calculi based on monads
Data structures and algorithms - an object-oriented approach using Ada 95
Java I/O - putting I/O to work: covers Java 6 (2. ed.)
Sammlung gewöhnlicher Differentialgleichungen
Angewandte Kryptographie - Protokolle, Algorithmen und Sourcecode in C: der Klassiker
Introduction to theoretical kinematics
Betriebliche Informationssysteme in virtuellen Organisationen
Entrepreneurship - Prinzipien, Ideen und Modelle für Unternehmensgründung im Informationszeitalter
Multimedia encryption and watermarking
Thalamic neurons in silico
Phylogeny - discrete and random processes in evolution
Models and Games
Protocol engineering - a rule-based approach
Data quality and record linkage techniques
Measuring and modelling image structure
Closing the Gap Between ASIC and Custom - Tools and Techniques for High-Performance ASIC Design
Jython essentials - rapid scripting in Java
Invitation to Topological Robotics
Introduction to assembly language programming - from 8086 to Pentium processors
Systems Design and Engineering - Facilitating Multidisciplinary Development Projects
Diskretisierung reellwertiger Attribute mit gemischten kontinuierlichen Gleichverteilungen und ihre Anwendung bei der zeitreihenbasierten Entscheidungsbauminduktion
Offene Systeme - Strategien, Konzepte und Techniken für das Informationsmanagement
Programming language concepts
Advanced programming language design
Understanding computation - from simple machines to impossible programs
Applications development using CASE tools
The web programming CD bookshelf - version 1.0: 6 bestselling books on CD-ROM, includes a bonus book! (3. ed.)
UNIX System administration handbook
Cellular automata machines - a new environment for modeling
Das Erfüllbarkeitsproblem SAT - Algorithmen und Analysen
Programmer's guide to Fortran 90 (3. ed.)
Programming language theory and its implementation - applicative and imperative paradigms
Crashkurs Mathematik für Informatiker
Informationssysteme in der Unternehmung - eine Einführung in die Datenmodellierung und Anwendungsentwicklung (2. Aufl.)
Decision problems for equational theories of relation algebras
Designing Active Server Pages - Scott Mitchell's guide to writing reusable code
Fundamentals of computer organization and architecture
Planning and decision-making in dynamic domains
Be developer's guide - the official documentation for the BeOS
Approximation and Modeling with B-Splines
Perl for system administration - managing multiplatform environments with Perl
dBase IV SQL - ein Leitfaden zum effektiven Einsatz von SQL unter dBase
Betriebliche Datenverarbeitung - integrierte Dialogverarbeitung in Terminal- und Rechnernetzen
Transforming Field and Service Operations, Methodologies for Successful Technology-Driven Business Transformation
Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data
A guidebook to Fortran on supercomputers
First steps in Maple
Systems Biology - a Textbook
Information security - principles and practice
Marketing-Kommunikation - Konzepte und Strategien (2. Aufl.)
Exercises in Computational Mathematics with MATLAB
Large-Eddy-Simulation - grundlagenorientierte und anwendungsbezogene Untersuchungen zu Modellierungs- und numerischen Komponenten: Forschungsbericht
Manage IT - organizing IT demand and IT supply
Proofs and Computations
Essential computer animation fast - how to understand the techniques and potential of computer animation
Mastering Perl for bioinformatics - Perl programming for bioinformatics
LPI Linux Certification in a Nutshell - a Desktop Quick Reference (3. ed.)
Objektmodellierung - eine Einführung in die objektorientierte Analyse und das objektorientierte Design (2. Aufl.)
Getting Started with Arduino, Second Edition
Reliable face recognition methods - system design, implementation and evaluation
Object-oriented programming - with prototypes
Witness hiding proofs and applications
Space to Reason - A Spatial Theory of Human Thought
Matrix analysis
Solving ODEs with MATLAB
Ansatz zur automatischen Erzeugung von Ausgabetreibern für die Ansteuerung von Zeichendruckern durch Textformatierer
Aufbau und interaktive Nutzung von Datenbanken mittels höherer Datenbank-Teilsprachen
Projektorganisation und Management im Software Engineering
Electronic data interchange - a management view
Digitaltechnik interaktiv! - mit DesignLab 8.0 und 7.1: (evaluation version)
Solving elliptic problems using ELLPACK
Average- und Median-Komplexitätsklassen
Java Web Services - up and running: a quick, practical, and thorough introduction: covers JAX-WS 2.1
Atomic architectural component recovery for program understanding and evolution - evaluation of atuomatic re-modelarization techniques and their integration in a semi-automatic method
Agent-based manufacturing and control systems - new agile manufacturing solutions for achieving peak performance
Error control coding - fundamentals and applications
Objects First with Java - A Practical Introduction Using BlueJ (5th Edition)
Selected Writings on Computing: A Personal Perspective
Cooperative Work with Multimedia
From types to dataflow - code analysis for an object-oriented language
Design Thinking: Innovation lernen - Ideenwelten öffnen
Compositional data objects - the IMC/IMCL reference manual
Das Internet und China - digital sein, digitales Sein im Reich der Mitte
XML Functional Dependencies Based on Tree Homomorphisms
An information-theoretic approach to neural computing
Algorithmische Geometrie - Polyedrische und algebraische Methoden
Evolution and optimum seeking
Tools für X Windows
Extremal graph theory with emphasis on probabilistic methods
Practical application of object-oriented techniques to relational databases
Media encryption for still visual data - an analysis of selected techniques for natural images and fingerprint data in the spatial and wavelet domain
Geometric Computing - for Wavelet Transforms, Robot Vision, Learning, Control and Action
Computational Matrix Analysis
Deduction systems
Cyber Security, Cyber Crime and Cyber Forensics - Applications and Perspectives
Das Handy gegen Zahnschmerzen - und andere Geschäftsmodelle für die Dienstleister von morgen
Wirtschaftsmathematik mit dem Computer - eine praktische Einführung in die Arbeit mit Computeralgebra-, Mathematik- und Tabellenkalkulationsprogrammen
Computer networks - a tutorial (4. ed.)
Das Internet Adreßbuch
Introduction to database management - project manual
Algorithms in C - part 5: graph algorithms (3 .ed.)
Objektorientiertes Reverse Engineering - von klassischer zu objektorientierter Software
Introduction to digital mobile communication
Equity - in theory and practice
MacRuby - The Definitive Guide: Cocoa OS X Applications Written in Ruby
Statistical Decision Theory
Information-based complexity
Making Musical Apps - Real-time Audio Synthesis on Android and iOS
Fuzzy systems design principles - building fuzzy IF-THEN rule bases
The C++ programming language - special edition (3. ed.)
Concept data analysis - theory and applications
Knowledge representation and symbols in the mind - an analysis of the notion of representation and symbol in cognitive psychology
Betriebswirtschaftliche Anwendungsbereiche konnektionistischer Systeme
Networks on chips - technology and tools
Informationstheorie - Grundlage der (Tele-)Kommunikation
Data Mining - Know It All
Queueing networks and product forms - a systems approach
Computer algebra with LISP and REDUCE - an introduction to computer-aided pure mathematics
Das digitale Universum - zelluläre Automaten als Modelle der Natur
Modernisierung des Datenschutzrechtes - Gutachten im Auftrag des Bundesministeriums des Innern
Why Programs Fail - A Guide to Systematic Debugging, 2nd Edition
Einführung in die Constraint-Programmierung - Grundlagen, Methoden, Sprachen, Anwendungen
Social and economic transformation in the digital era
Understanding Z - a specification language and its formal semantics (reprint)
PHP 5 für Fortgeschrittene - wie man PHP-Code besser, schneller und sicherer macht
Security in fixed and wireless networks - an introduction to securing data communications
Remoting patterns - foundations of enterprise, internet and realtime distributed object middleware
Datenbanken - Konzepte und Sprachen, 6. Auflage
Gaze Interaction and Applications of Eye Tracking - Advances in Assistive Technologies
Implementierungskonzepte für Datenbanksysteme
HTML und das World Wide Web - selbst publizieren im WWW: inclusive HTML 3.0
Visualisierungs- und Simulationsverfahren zur interaktiven Planung kraniofazialer Korrekturoperationen
Random number generation and Quasi-Monte Carlo methods
Knowledge representation - an AI perspective
SIGMA - a knowledge-based aerial image understanding system
Oracle SQL-Plus - pocket reference: guide to SQL-Plus syntax: covers Oracle8i
3D imaging
Stopping spam - stamping out unwanted email and news postings
Dagstuhl und die Fähigkeit mit dem Fahrrad hin zu fahren: Eine Entwicklungsgeschichte
Grundlegende Algorithmen - Einführung in den Entwurf und die Analyse effizienter Algorithmen
Dokumentations- und Ordnungslehre - Theorie und Praxis des Information Revtrieval (2. Aufl.)
Contribution a l'etude des proprietes arithmetiques des langages formels
Introduction to Reliable and Secure Distributed Programming (2. ed.)
Unscharfe zeitlogische Modellierung von Situationen und Handlungen in Bildfolgenauswertung und Robotik
Chaos, fractals, and dynamics - computer experiments in mathematics
Law and order in algorithmics
The Art of SEO - Mastering Search Engine Optimization
Automata-Theoretic Aspects of Formal Power Series
Projektmanagement in der Wirtschaftsinformatik (5. Aufl.)
Data abstraction and problem solving with C++ - walls and mirrors
DHCP for Windows 2000 - managing the dynamic host configuration protocol
The theory of search games and rendezvous
Promise of neural networks
Geometric data structures for computer graphics
Deklarative Semantik von Logikprogrammen mit Prologs Auswertungsstrategie
Minimaksnye algoritmy v zadacack cislennogo analiza
Ontology Matching, Second Edition
Renormalization Methods - Critical Phenomena, Chaos, Fractal Structures
A declarative integration of teminological, constraint-based, data-driven, and goal-directed reasoning
A new guide to artificial intelligence
Integrated distributed intelligent systems in manufacturing
Combinatorial problems and exercises (2. ed.)
Norbert Wiener - 1894-1964
Theoretische Informatik - kurzgefaßt, 3. Auflage
Die virtuelle Universität - Konzept und Architektur am Beispiel der FernUniversität Hagen
Introduction to wireless local loop
Getting started with Flex 3 - an Adobe developer library pocket guide
Programmieren mit Java - eine methodische Einführung: Java Version 5.0
Cornerstones of undecidability
EJB 2.0 Anwendungen - Entwurf leistungsfähiger Java-Komponenten
Programming in Prolog (3. ed.)
Plans and situated actions - the problem of human-machine communication
Mechatronics - electronic control systems in mechanical engineering
The linguistic basis of text generation
Konzepte und Praxis des Compilerbaus - eine Einführung mit Diskette
Einführung in die Programmierung mit Haskell
Security Patterns - Integrating Security and Systems Engineering
Vector Extrapolation Methods with Applications
Panta Rhei - Database Evolution and Integration from Practice to Vision: how advances in theory can be applied to real-world problems
Network security hacks
Visual Basic 2005 jumpstart - make your move now from VB 6 to VB 2005
Ein Tutoring Prozess Modell für fallbasierte intelligente Tutoring Systeme
Building Web Reputation Systems - Ratings, Reviews and Karma to Keep Your Community Healthy
Practical parallel processing - an introduction to problem solving in parallel