yusuke1997/dblp-id-title huggingface dataset:
Prefactoring - extreme abstraction, extreme separation, extreme readability
Data structures, data abstraction - a contemporary introduction to data structures using C++
Visual Business Analytics - Effektiver Zugang zu Daten und Informationen
Über die Suche nach situationsgerechten Fällen im fallbasierten Schließen
Readings in hardware / software co-design
Relational database management with ORACLE
Manufacturing Scheduling Systems - An Integrated View on Models, Methods and Tools
Web-basierte Anwendungen entwickeln mit JSP 2 - Einsatz von JSTL, Struts, JSF, JDBC, JDO, JCA (2.)
Ethernet - the definitive guide: designing and managing local area networks
Programming in Ada - plus an overview of Ada 9X (4. ed.)
High-quality shading und lighting for hardware-accelerated rendering - revision 1.1
A Design Space for Pervasive Advertising on Public Displyas
Analysis dynamischer Datenstrukturen mittels Kettenbrüchen
Analogy for automated reasoning
EPC and 4G Packet Networks - Driving the Mobile Broadband Revolution, Second Edition
Information retrieval - algorithms and heuristics
CorelDRAW 9 Kompendium
LogicWorks - interactive circuit design software: Capilano Computing Systems, Ltd
Writing in the technical fields - a step-by-step guide for engineers, scientists, and technicians
Selected topics in approximation and computation
Mobile Computing - Grundlagen, Technik, Konzepte
Logical and relational learning
The Stanford GraphBase - a platform for combinatorial computing
Exploring mathematics with Mathematica
Business Aspects of Web Services
Effiziente Algorithmen für grundlegende Funktionen
Introduction to computational molecular biology
Making Sense - Cognition, Computing, Art, and Embodiment
Mac OS X unwired - a guide for home, office, and the road
Pharo by Example (Version 2010-02-01)
Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen
The design and evolution of C++
INSPEC Classification 1992 - a classification scheme for the INSPEC database
Load balancing in parallel computers - theory and practice
Applying RCS and SCCS - from source control to project control
The calculus of computation - decision procedures with applications to verification
Programmieren mit Ada und C - eine beispielorientierte Gegenüberstellung
Introduction to computing systems - from bits and gates to C and beyond (2. ed.)
Descriptive set theory and forcing - how to prove theorems about Borel sets the hard way
Konzepte der Internet Technik
Secure communicating systems - design, analysis, and implementation
Software architectures - advances and applications
Teamwork in Multi-Agent Systems - A Formal Approach
The B-method - an introduction
Regulating Code - Good Governance and Better Regulation in the Information Age
Redundant disk arrays - reliable, parallel secondary storage
Photoshop elements 4 - one-on-one
Oracle security - protecting Oracle databases: covers Oracle7 and Oracle8
Practical handbook on image processing for scientific applications
OLAP mit dem SQL-Server - eine Einführung in Theorie und Praxis
UNIX, C und Internet - moderne Datenverarbeitung in Wissenschaft und Technik
Mathematics applied to continuum mechanics - with additional material on elasticity
Verwaltung heterogener Informationen auf optischen Speicherplatten an graphisch-interaktiven Arbeitsplätzen
Analyse von Rechensystemen mit zwei Auftragsklassen und beliebigen Bedienungszeiten
Architectural design of evolutionary software systems in continuous software engineering
Systempufferverwaltung in Datenbanksystemen
QoE of Mobile Multimedia Services
Introduction to programming with Fortran - with coverage of Fortran 90, 95, 2003, and 77
Grundlagen der Prozeßorientierung - eine vergleichende Untersuchung in der Elektronik- und Pharmaindustrie
On generic hardware descriptions
Dynamics of hierarchical systems - an evolutionary approach
Cambridge Computing - The First 75 Years
Learning ASP.NET 2.0 with Ajax - building web sites with ASP.NET and Ajax
Principia Evolvica - simulierte Evolution mit Mathematica
Umfrage Workflow - eine Momentaufnahme über Verbreitung, Einsatz und Meinungen über Workflow in den deutschsprachigen Ländern: Umfragezeitraum: 2. Halbjahr 1994
Analyse von natürlichsprachlichen Softwarespezifikationen und ihre Darstellung durch logische Formen
Closure - The Definitive Guide: Google Tools to Add Power to Your JavaScript
The essentials of CAGD
Database systems - design, implementation, and management (2. ed.)
Basiswissen Requirements Engineering - Aus- und Weiterbildung zum "Certified Professional for Requirements Engineering"; Foundation Level nach IREB-Standard (3., korrigierte Auflage)
Performance by Design - Computer Capacity Planning By Example
Digital Evidence and Computer Crime - Forensic Science, Computers and the Internet, 3rd Edition
Handling realtime traffic in mobile networks
Stand und Perspektiven informatischer Berufsethik
Clusterbau - Hochverfügbarkeit mit pacemaker, OpenAIS, heartbeat und LVS: hochverfügbare Linux-Server (2. Aufl.)
Fundamentals of compilers - introduction to computer language translation
Artificial Intelligence - A Modern Approach, Third International Edition
Software Engineering - A Programming Approach, Second Edition
Computing with Cells - Advances in Membrane Computing
Introduction to coding and information theory
Resistente dynamische Aktionen
Circuit design for CMOS VLSI
Morrey and Campanato Meet Besov, Lizorkin and Triebel
Informatik-Management - Aufgabengebiete, Lösungswege, Controlling
Graphs on Surfaces - Dualities, Polynomials, and Knots
Propositional logic - deduction and algorithms
Numerische Algorithmen in Softwaresystemen - unter besonderer Berücksichtigung der NAG-Bibliothek
Concurrent and comparative discrete event simulation
Deadlocks in Computersystemen
Programming Perl - there's more than one way to do it (3. ed.)
Pentium Pro processor system architecture
Integration von Lernobjekten auf Metadatenebene - Ein Web 2.0-geprägter Ansatz
Wörterbuch Computerenglisch - Deutsch-Englisch, Englisch-Deutsch. (4. Aufl.)
Symmetric and efficient synthesis
Tcl und Tk - Entwicklung grafischer Benutzerschnittstellen für das X Window System
Wilde's WWW - technical foundations of the world wide web
Object-Oriented Software Engineering with Eiffel
Al for game developers - creating intelligent behavior in games
Long-term preservation of digital documents - principles and practices
Categorical Logic and Type Theory
IT-Sicherheit '94
Immunological bioinformatics
Adding Ajax - making existing sites more interactive
Visual aspects of computer aided control systems design
Linux device drivers - a unix-compatible operating system for the personal computer
FAIR - Flexible Algorithms for Image Registration
Visualization in Medicine and Life Sciences II - Progress and New Challenges
Structure Discovery in Natural Language
Decidabilite de l'algebricite de langages associes aux reseaux de Petri
Projective geometry - from foundations to applications
Creating games - mechanics, content, and technology
Compiler Design - Analysis and Transformation
Mathematics of Discrete Structures for Computer Science
The Resolution Calculus
Praktische SQL-Anwendung
Programming from specifications, 2nd Edition
Analyse von regelbasierten Constraintlösern
RELAX NG - a simpler schema language for XML
Software quality - analysis and guidelines for success
Porting to Win32 - a guide to making your applications ready for the 32-Bit future of Windows
LabVIEW 8 student edition
The formal semantics of programming languages - an introduction
Elements of ML programming
Fuzzy-Bildverarbeitung - Einführung in Theorie und Praxis
Informatik-Projektentwicklung (2. Aufl.)
Definition and proof principles for data and processes = Definitions- und Beweisprinzipien für Daten und Prozesse
Structuring of models and reasoning about quantities in qualitative physics
Database systems - the complete book (international edition)
The Grammar of Graphics, Second Edition
Fuzzy-Begriffe - formale Begriffsanalyse unscharfer Daten
Nanosystems - molecular machinery, manufacturing, and computation
Künstliche neuronale Netzwerke in der Molekularbiologie
Geographic information science - mastering the legal issues
Game Analytics, Maximizing the Value of Player Data
The Little Book on CoffeeScript - The JavaScript Developer's Guide to Building Better Web Apps
Algorithms for elliptic problems - efficient sequential and parallel solvers
Spatial Microsimulation with R
The physics of VLSI systems
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems
R in a Nutshell - a Desktop Quick Reference
Time series - data analysis and theory
TEX - starting from 1
Informationsmanagement - Modelle, Methoden, Techniken
Model-Driven Design Using IEC 61499 - A Synchronous Approach for Embedded and Automation Systems
ISO / IEC 14882 international standard - first edition 1998-09-01: Programming languages C++
DNS on Windows NT - help for Windows NT system administrators
Software-Entwicklung im Team - mehr Qualität durch das dialogische Prinzip bei der Projektarbeit
Beyond calculation - the next fifty years of computing
Concurrent programming - fundamental techniques for real-time and parallel software design
Objektorientierte Datenbanken
SEO warrior
Knowledge acquisition based on explicit methods of problem solving
Introduction to VAX-11 - architecture and assembly language
A Duality Transform for Realizing Convex Polytopes with Small Integer Coordinates
Computability theory
The DFT - an owner's manual for the discrete Fourier transform
Simulating neural networks
Multimedia-PCs für telekooperatives Arbeiten - Architektur und Technologie
Introductory discrete mathematics
Probabilistic analysis of packing and partitioning algorithms
Logik für Informatiker, 4. Auflage
Fuzzy sets, uncertainty and information
Effiziente Verfahren zur Befehlsanordnung
A Computational Perspective on Visual Attention
LINUX - unleashing the workstation in your PC, Second Edition
Experimental design for formulation
Panic! - UNIX system crash dump analysis
Extremal paths in graphs - foundations, search strategies and related topics
Electronic elections - the perils and promises of digital democracy
Learning XNA 3.0 - Game Development for the PC, Xbox 360, and Zune
Mac OS X for Java Geeks - cross-plattform compatibility and platform-specific functionality: covers Mac OS X JDK 1.4
Introducing systems analysis
Analysis and design of information systems (2. ed.)
The denotational description of programming languages - an introduction
Illustrations with Photoshop - a designer's notebook
Apache pocket reference - for Apache programmers and administrators: covers Apache 1.3.12
Java 2 Micro Edition - Entwicklung mobiler Anwendungen mit CLDC und MIDP
Über Zufallselemente in meßbaren Vektorräumen und einige Fragen der Approximation von Zufallselementen und Zufallsprozessen
Time and probability in formal design of distributed systems
Lectures on advances in combinatorics
Introducing GitHub - A Non-Technical Guide
An introduction to fuzzy control (2. Aufl.)
Microsoft Windows 95
Oracle DBA pocket guide - quick reference for database administration: includes Oracle database 10g
The Photoshop CS4 companion for photographers - portable Photoshop advice you can take anywhere
Diffusion of innovations (5. ed.)
Numerik für Informatiker
Foundations of computer security
PayPal APIs - Up and Running: A Developer's Guide to Integrating Transaction Services
Gestaltungsrahmen zur Workflowunterstützung umfeldinduzierter Ausnahmesituationen in robusten Unternehmen
CDL - eine Logik für unendliche nebenläufige Systeme
Computer architecture - concepts and evolution
Halbgruppen und Automaten
Les compilateurs - théorie, construction, génération
Natural Language Processing in LISP - an introduction to computational linguistics
Diophantine equations and power integral bases - new computational methods
Database - a primer
Oracle database administration - the essential reference: a quick reference for the Oracle DBA, covers Oracle7 and Oracle8
InformLex - Lexikon für Abkürzungen und Metaphern in Informatik und Umfeld
Excel 97 annoyances - taking charge of Microsoft Excel
Learning C# 3.0 - master the fundamentals of C# 3.0
Evolutionary Search and the Job Shop - Investigations on Genetic Algorithms for Production Scheduling
Visual Basic shell programming - integrating applications with the Windows shell
Computernetzwerke und Internets
Software design cognitive aspects
Mathematica - Einführung und Leitfaden für den Praktiker (2. Aufl. zu Version 2.2, MathLink und MathSource)
Prolog++ - the power of object-oriented and logic programming
Eliciting and analyzing expert judgement - a practical guide
Developing bioinformatics computer skills - an introduction to software tools for biological applications
Leistungsanalyse von Rechensystemen - Messen, Modellieren, Simulation
Cisco IOS cookbook - field-tested solutions to Cisco router problems: revised and updated: over 350 recipes (2. ed.)
LOKATOR - multimodale Bedeutungskonstitution in situierten Agenten
CCE - an integration platform for distributed manufacturing applications: a survey of advanced computing technologies
Gleichungen in der Algebra der binären Relationen
Designing sociable robots
Introduction to Process Algebra
Games, puzzles and computation
E-Mail für alle - alles über E-Mail
Linux in a nutshell - a desktop quick reference: covers GNU software
Mathematical logic
Towards Structural Clones - Analysis and Semi-Automated Detection of Design-Level Similarities in Software
Programming language pragmatics (2. ed.)
Low Rank Approximation - Algorithms, Implementation, Applications
Application-specific integrated circuits
Theoretische Grundlagen der Informatik
Salience - Multidisciplinary Perspectives on its Function in Discourse
UML @ Classroom - Eine Einführung in die objektorientierte Modellierung
Control-Based Operating System Design
Spatial databases - a tour
MATLAB for behavioral scientists
Rechnergestützte Wissensakquisition für wissensbasierte Diagnosesysteme im Bereich dynamischer technischer Systeme
Spatial data modelling for 3D GIS
Head first Java - your brain on Java: a learner's guide: covers Java 5.0 (2. ed.)
Digital system design
Distributed database systems
Die Tricks der Internet-Künstler (2. Aufl.)
Python for Unix and Linux system administration - efficient problem-solving with Python
Qualitative Analyse von Störungen in elektrischen Systemen
Ubuntu - Up and Running: a Power User's Desktop Guide: Covers Ubuntu 9.10 and 10.04
The transparent Prolog machine - visualizing logic programs
Contemporary logic design (2. ed.)
Software verification and validation - an engineering and scientific approach
Java and object orientation - an introduction
Swarm Intelligence - From Natural to Artificial Systems
Learning Flex 3 - getting up to speed with rich internet applications
Game theory - Analysis of Conflict
The politics of usability - a practical guide to designing usable systems in industry
Code - version 2.0
ISDN, die Technik - Schnittstellen, Protokolle, Dienste, Endsysteme (3. Aufl.)
Elements of hypermedia design - techniques for navigation and visualization in cyberspace
Self-* and P2P for Network Management - Design Principles and Case Studies
Efficient embeddings of treelike graphs into hypercubes
A framework for programming interactive graphics in a functional programming language
Using Samba - a file and print server for heterogeneous networks: officially adopted by the Samba team
The discrepancy method - randomness and complexity
Iterative computer algorithms with applications in engineering - solving combinatorial optimization problems
Revision, Acceptability and Context - Theoretical and Algorithmic Aspects
Distributed network systems - from concepts to implementations
Privacy in Context - Technology, Policy, and the Integrity of Social Life
Node for Front-End Developers - Writing Server-Side JavaScript Applications
Agent-Based Software Development
Grundlagen von Datenbanksystemen (3. Aufl., Bachelorausgabe)
A New Modelling Language for Cyber-physical Systems
Random walk in random and non-random environments
PASCAL - Einführung in die Sprache, Norm-Entwurf DIN 66256, Erläuterungen
First-Order Logic and Automated Theorem Proving, Second Edition
BEEP - the definitive guide: developing new applications for the internet
Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe
Coordinating distributed objects - an actor-based approach to synchronization
Algorithmics - theory and practice
Relativsimulation von Störungen in technischen Systemen
Handover-Management - Informationsversorgung für den After-Sales Service
Implementation of modular algebraic specifications
Cascading style sheets - the definitive guide: visual styles for HTML
Green IT - Erkenntnisse und Best Practices aus Fallstudien
Unauthorized Access - The Crisis in Online Privacy and Security
Team and Media Competencies in Information Systems, 2nd Corrected Edition
Running Linux - a Unix-compatible operating system for the personal computer
Machine translation - a view from the lexicon
Perlen der theoretischen Informatik - 9 weitere Themen
A tactic-based inductive theorem prover for data types with partial operations
sed and awk pocket reference - text processing with regular expressions
Grundlagen der geometrischen Datenverarbeitung (2. Aufl.)
Grundlagen der Mensch-Computer-Interaktion
Inductive logic programming - techniques and applications
Understanding formal methods
Graph Algorithms, Second Edition
Performance modelling with deterministic and stochastic Petri nets
The Compressed Word Problem for Groups
Truth, deduction, and computation - logic and semantics for computer science
Computer busses - design and application
Game theory - a very short introduction
Online Simulation in einer dezentral organisierten Produktion
Essentials of software engineering
Multimedia authoring for presentation and education - the official guide to HM-Card
Software requirements - objects, functions, and states
Introduction to geographic information systems (4. ed.)
Modularity in model-oriented formal specifications and its interaction with formal reasoning
Scale-isometric polytopal graphs in hypercubes and cubic lattices - polytopes in hypercubes and Z n
Phänomen und Logik der Zeichen
Logic and information
Topology for computing
The relational database dictionary - a comprehensive glossary of relational terms and concepts, with illustrative examples
Grundlagen der Informatik - praktisch, technisch, theoretisch
Usability testing and system evaluation - a guide for designing useful computer systems
Java-Entwicklung mit Eclipse 3.3 - Anwendungen, Plugins und Rich Clients (5. Aufl.)
Knoppix hacks - tips and tools for using the Linux live CD to hack, repair, and enjoy our PC: includes Knoppix on DVD (2. ed.)
Home Networking - Vernetzung mit Internetzugang, Integration digitaler Medien, Funknetze
Fundamentals of speech recognition
Transformation von Hornklausel-Wissensbasen - Verarbeitung gleichen Wissens durch verschiedene Inferenzen
Parallel map analysis on the CM-5 for landscape ecology models
Mathematische Bildverarbeitung - Einführung in Grundlagen und moderne Theorie
Objektorientierte Programmierung in Oberon-2 (3. Aufl.)
Lokale Netze, Kommmunikationsplattform der 90er Jahre - Novell NetWare v.2.2 und v.3.11, Communication-Server, Portable NetWare, heterogene Netze
Speech in Mobile and Pervasive Environments
Mastering Perl - creating professional programs with Perl
Writing Apache modules with Perl and C - the Apache API and mod Perl
Cake-cutting algorithms - be fair if you can
Selbsteinschätzende Lernverfahren - Möglichkeiten und Grenzen
Software engineering, 5th Edition
Entwicklung interaktiver Systeme - Grundlagen, Fallbeispiele und innovative Anwendungsfelder
Mobile Computing - Grundlagen, Technik, Konzepte, 2. Auflage
Global optimization - deterministic approaches, 3. Auflage
Texten fürs Web - Grundlagen und Praxiswissen für Online-Redakteure
Modellgesteuerte Bildanalyse - dargestellt anhand eines Systems zur automatischen Auswertung von Sequenzszintigrammen des menschlichen Herzens
Java security - Java 1.2
Designing the User Interface - Strategies for Effective Human-Computer Interaction, 5th Edition
Communications intensives dans les architectures a memoire distribuee et algorithmes paralleles pour la recherche de racines de polynomes
Concepts in computing
Stochastic Processes, Estimation, and Control
Computer networks and distributed processing - software, techniques and architecture
Unsupervised Classification - Similarity Measures, Classical and Metaheuristic Approaches, and Applications
Essential Windows NT system administration - effective and painless NT management
Software development for SAP R/3 - data dictionary, ABAP/4, interfaces
Funktionale Analyse zeitbehafteter Petri-Netze
Model driven architecture and ontology development
Windows 3.1 - leicht gemacht
The practical SQL handbook - using structured query language (2. ed.)
MATLAB aide-memoire
Artificial intelligence in geography
Evolving Artificial Constructive Swarms - Experimental Models and Methodologies
Konturapproximation in mehrdimensionalen regulären Gitterdaten
Version Control with Git - Powerful techniques for centralized and distributed project management
Predictive Analytics with Microsoft Azure Machine Learning - Build and Deploy Actionalbe Solutions in Minutes, Second Edition
Fitness for Geeks - Real Science, Great Nutrition, and Good Health
Rechnerorganisation und -entwurf - die Hardware / Software-Schnittstelle (3. Aufl.)
Ordinary differential equations and linear algebra - a systems approach
Introduction to logic programming
Microsoft Windows 2000 Server
Einführung in das mathematische Arbeiten
Consequence driven systems - teaching, learning, and self-learning agents
Introduction to shape optimization - theory, approximation, and computation
Programming language concepts (2. ed.)
Oracle PL / SQL programming - covers all versions through Oracle database 20g release 2 (4. Aufl.)
Partial differential equations with numerical methods
Antirationale Transduktionen und ihre Sprachfamilien
REDUCE - ein Kompakt-Kurs über die Anwendung von Computer-Algebra (2. Aufl.)
Generic programming and the STL - using and extending the C++ standard template library
Channel Coding for Telecommunications
Readings in real-time systems
Mathematical and computer programming techniques for computer graphics
Information Technology Law, 6th Edition
Computers and people - essays from the profession
Image-based rendering
An agent-based platform for the management of dynamic virtual enterprises
Petri nets and grafcet - tools for modelling discrete event systems
Basiswissen Softwaretest - Aus- und Weiterbildung zum Certified Tester: Foundation Level nach ASQF- und ISEB-Standard
Efficient Computation of Argumentation Semantics
Surgical scene generation for virtual reality-based training in medicine
Software-Entwurf mit UML - objektorientierte Modellierung mit Beispielen in Java
Mikrocomputertechnik mit Controllern der Atmel AVR-RISC-Familie - Programmierung in Assembler und C-Schaltungen und Anwendungen (3. Aufl.)
Digital video - pocket guide
Modeling, Simulation, and Optimization of Supply Chains - A Continuous Approach
Deposition of diamond-like superhard materials
HBase - The Definitive Guide: Random Access to Your Planet-Size Data
Introduzione alla programmazione con Java - un approccio object-oriented
Venus - in chinesischer Schrift!
Symbolische Maschinen - die Idee der Formalisierung in geschichtlichem Abriß
Scalable infrastructure for distributed sensor networks
Parametrisierte Verträge zur Protokolladaption bei Software-Komponenten
Advanced computer architecture - parallelism, scalability, programmability
CAST - computerunterstützte Systemtheorie; Aufbau und Anwendung von Systemtheorie-Methodenbanken
Software acquisition management - managing the acquisition of custom software systems
Algorithmic properties of structures - selected papers of Erwin Engeler
Quelques proprietes des series formelles en variables non commutatives
Computergrafik in der Differentialgeometrie - ein Arbeitsbuch für Studenten inklusive objektorientierter Software
Lehrbuch digitale Druckformherstellung - RIPs, Workflows und Computer-to-Technologien
FBML essentials - Facebook markup language fundamentals