yusuke1997/dblp-id-title huggingface dataset:
The Art of Differentiating Computer Programs - An Introduction to Algorithmic Differentiation
IBM PC assembly language and programming (2nd ed.)
Unix for Oracle DBAs - pocket reference: command syntax and scripts
The SIMD Model of parallel computation
Architectures for digital signal processing
Arduino Cookbook - Recipes to Begin, Expand, and Enhance Your Projects
Many-valued logics 2 - automated reasoning and practical applications
Hüllflächen-Diagnose am Beispiel der Radbewegung
Visual information retrieval
Mobilfunk und intelligente Netze - Grundlagen und Realisierung mobiler Kommunikation
Enterprise JavaBeans - developing enterprise Java components: covers EJB 2.1 and EJB 2.0 (4. ed)
Grundlagen und Techniken des Compilerbaus
JavaScript Cookbook - Programming the Web, Second Edition
Real computability and hypercomputation
Program design (3. ed.)
Perl best practices - standards and styles for developing maintainalbe code
Naturally intelligent systems
POSIX.4 - programming for the real world
Schuld sind die Computer! - Ängste, Gefahren und Probleme im Umfeld der Informatik
C# cookboock - the definitive collection of solutions and examples
OpenGL shading language
Systems Practice in the Information Society
Ambiguity resolution in language learning - computational and cognitive models
Basics of software engineering experimentation
Intelligent multimedia databases - from object orientation and fuzzy engineering to intentional database structures
Introduction to Data Compression, Third Edition
The web testing handbook
Digital terrain modeling - principles and methodology
Computer arithmetic algorithms
Green Business Process Management - Towards the Sustainable Enterprise
Formalisieren und Beweisen - Logik für Informatiker (2. Aufl.)
C++ and object-oriented numeric computing for scientists and engineers
Active directory - design and deployment of Microsoft's active directory: covers Windows 2000 and Windows Server 2003 (2. ed.)
ORACLE Handbuch - das relationale Datenbanksystem und seine Werkzeuge
Java servlet programming - covers 2.2 and 2.3 draft (2. Aufl.)
IP for 3G - networking technologies for mobile communications
Building embedded Linux systems - concepts, techniques, tricks, and traps
Stellar interiors - physical principles, structure, and evolution
Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen: eine Einführung, 5. Auflage
Linear and integer programming - theory and practice
eBay hacks - tips and tools for bidding, bying, and selling (2. ed.)
Electronics - a systems approach (3. ed.)
CSS - pocket reference: visual presentation for the web: covers CSS2 and CSS2.1 (2. ed)
A mathematical view of interior-point methods in convex optimization
Software testing management - life on the critical path
The Theory of 2-Structures - A Framework for Decomposition and Transformation of Graphs
Java servlets (2. ed.)
Lectures on the Mordell-Weil theorem, Second Edition
Python programming on Win32 - help for Windows programmers
Relationale Datenbanken - Theorie und Praxis inklusive SQL-2 (3. Aufl.)
Data abstraction and program development using Pascal
Handbook of Optimization in Telecommunications
Designing virtual reality systems - the structured approach
PASCAL-XSC: Language Reference with Examples
Multimedia im Netz
Das Google-Copy-Paste-Syndrom - wie Netzplagiate Ausbildung und Wissen gefährden
Language, truth and logic in mathematics
Grundlagen von Datenbanksystemen - Ausgabe Grundstudium (3. Aufl.)
The anatomy of a high-performance microprocessor - a systems perspective
Version management in federated database systems
Kasparov versus Deep Blue - computer chess comes of age
Model-Based Engineering with AADL - An Introduction to the SAE Architecture Analysis and Design Language
Building iPhone Apps with HTML, CSS, and JavaScript - Making App Store Apps Without Objective-C or Cocoa
Multiple criteria decision analysis - an integrated approach
Group Agency - The Possibility, Design, and Status of Corporate Agents
Messung empirischer Verteilungen der Zwischenankunftszeit bei Seitenwechselvorgängen
Analysis and comparison of relational database systems
Data structures, algorithms, and software principles in C
Quantum cryptography and secret-key distillation
Fine Structure and Iteration Trees
Web-Design mit XML - Webseiten erstellen mit XML, XSL und Cascading Style Sheets
Digital Modeling of Appearance
Automata learning and its applications
Data abstraction in programming languages
Noncommutative geometry
Iterative methods for sparse linear systems
The unified software development process - the complete guide to the unified process from the original designers
Algebraic curves - an introduction to algebraic geometry (reprint vrom 1969)
Numerische Simulation in der Moleküldynamik
Beautiful Security - Leading Security Experts Explain How They Think
Windows NT TCP/IP network administration - help for Windows NT system administrators
The Boost Graph Library - User Guide and Reference Manual
Practical Extrapolation Methods - Theory and Applications
Computational Rhythm Description - a Review and Novel Approach
Mac OS X panther - in a nutshell: a desktop quick reference
Relational database design - a practitioner's guide
Developing Windows error messages - error messages that communicate
A scalable architecture for custom computing
Abductive reasoning
Three-dimensional object recognition from range images
Junos Enterprise Routing - A Practical Guide to Junos Routing and Certification (2. ed., revised and updated)
Digitalisieren von Dias und Negativen - mit Nikon Scan, VueScan, SilverFast (3. Aufl.)
Ultrasound Mosaicing and Motion Modeling - Applications in Medical Image Registration
Generalized complexity cores and levelability of intractable sets
Automata theory with modern applications
Implementierung, Optimierung und Leistungsmessung eines lokalen Netzes
The e-Hardware Verification Language
Wörterbuch Informationstechnologie
Programmgesteuerte digitale Rechengeräte - elektronische Rechenmaschinen
Understanding interfaces - a handbook of human-computer dialogue
Search and planning under incomplete information - a study using bridge card play
Functional models in configuration systems
JBoss - a developer's notebook
Python standard library - an annotated reference for Python 2.0
Single-layer wire routing and compaction
Communication and concurrency
The architecture of eNVy, a non-volatile, main memory storage system
Parallel evolution of parallel processors
Sentiment Analysis - Mining Opinions, Sentiments, and Emotions
The Design of Sites - Patterns for Creating Winning Web Sites (2. ed.)
A textbook of belief dynamics - theory change and database updating
FrontPage 98 - das Buch
Information security - contemporary cases
Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung
The Pillars of Computation Theory - State, Encoding, Nondeterminism
Linux networking cookbook - from Asterisk to Zebra with easy-to-use recipes
Textproduktion als intentionaler, benutzerorientierter Prozeß
Logic and its applications
Logic - for information technology
Object-oriented methods
Socializing the human-computer environment
LPI Linux certification in a nutshell - a desktop quick reference: covers exams 101 102 for LPI level 1
Test-Driven Development with Python - Obey the Testing Goat: Using Django, Selenium, and JavaScript
Knowledge representation and language in AI
Inside Citrix MetaFrame XP - a system administrator's guide to Citrix MetaFrame XP / 1.8 and Windows terminal services
The future of ideas - the fate of the commons in a connected world
The Oberon companion - a guide to using and programming Oberon System 3
Concurrent programming in Java - design principles and patterns
Recovery in parallel database systems
Numerical mathematics - theory and computer applications
Neural network and fuzzy logic applications in C/C++
Turing - a novel about computation
Understanding CORBA - common object request broker architecture
Real-time systems design and analysis - an engineer's handbook (2. ed.)
Computer-aided software design - build quality software with case
Mehrdimensionale lineare Systeme - Fourier-Transformation und delta-Funktionen
The Art of Concurrency - A Thread Monkey's Guide to Writing Parallel Applications
The promise and limits of computer modeling
Einführung in die theoretische Informatik - Grundlagen und Modelle
Software-Projektmanagement und -Qualitätssicherung
Designing object-oriented software
Das Konfluenzproblem für Spurersetzungssysteme
Sicherheitskonzepte für das Internet - Grundlagen, Technologien und Lösungskonzepte für die kommerzielle Nutzung (2. Aufl.)
Approximation of Set-Valued Functions - Adaptation of Classical Approximation Operator
Rechneraufbau und Rechnerstrukturen, 6. Auflage
Die Ermittlung struktureller Ähnlichkeit und struktureller Merkmale bei komplexen Objekten - ein konnektionistischer Ansatz und seine Anwendungen
Estimating device reliability - assessment of credibility
PHP cookbook - solutions and examples for PHP programmers: covers PHP 5 (2. ed.)
Einführung in die Computergraphik - Grundlagen, geometrische Modellierung, Algorithmen
Chipkarten als Sicherheitswerkzeug - Grundlagen und Anwendungen
Stochastic algorithms in scheduling theory
Technically speaking - a guide for communicating complex information
Modal logic and the Curry-Howard isomorphism
Webmaster in a nutshell - deluxe edition: includes 5 bestselling books on CD-ROM for web developers
Local area networks - and their applications
Interaktive Animation textiler Materialien
Development of paradigms and models for interactive environments
Texturing and modeling - a procedural approach, Third Edition
Ruby best practices - Increase your productivity, write better code
Robust Speech Recognition of Uncertain or Missing Data - Theory and Applications
The support feature machine - an odyssey in high-dimensional spaces
Object-oriented programming and Java (2. ed.)
Übersetzungsmethoden zur automatischen Hardware-Synthese
Einsatz flagorientierter assoziativer Konzepte zur Beschleunigung deterministischer Funktionstests in Schreib-/Lesespeichern
Multicast - Protokolle und Anwendungen
Linux iptables - pocket reference: firewalls, nat and accounting
Basic VLSI design - systems and circuits (2. ed.)
Visualizing with CAD - an AUTO CAD exploration of geometric and architectural forms
CAD-Entwurfskontrolle in der Mikorelektronik - mit einer Einführung in den Entwurf kundenspezifischer Schaltkreise
Machine vision - theory, algorithms, practicalities (2. ed.)
Licht und Belichtung - in der Fotografie
Windows annoyances - customizing Win95 and WinNT 4.0
Head first statistics - a brain-friendly guide
SQL and Relational Theory - How to Write Accurate SQL Code, Second Edition
Programming .NET 3.5 - build n-tier applications with WPF, AJAX, Silverlight, LINQ, WCF, and more: for Visual Studio 2008 and .NET 3.5
The internet business companion - growing your business in the electronic age
From Molecule to Metaphor - A Neural Theory of Language
Metrics and models in software quality engineering
Prioritätszählerautomaten und die Synchronisation von Halbspursprachen
Industrial strength software - effective management using measurement
Die Macht der Abstraktion - Einführung in die Programmierung
Das Usability-Prinzip - Wege zur benutzerfreundlichen Website
Surface structure and interpretation
Code-Quality-Management - technische Qualität industrieller Softwaresysteme transparent und vergleichbar gemacht
Semantic-based visual information retrieval
Depth from defocus - a real aperture imaging approach
Software testing techniques (2. ed.)
Multiple processing - a system overview
Hyper-G - das Internet-Informationssystem der 2. Generation
A programmer's companion to algorithm analysis
Knowledge management systems - information and communication technologies for knowledge management (3. ed.)
Migrating to object technology
Aspect-Oriented Requirements Engineering
Simply C++ - an application-driven tutorial approach
Microsoft Windows NT Server Version 4 - neue Informationen und Software für alle Besitzer der technischen Referenz zu Microsoft Windows NT Server Version 4: Zusatzband 2
Combinatorial problems in information networks and distributed datastructuring
Multiprocessor performance
Methoden und rechnergestützte Werkzeuge für den logischen Datenbankentwurf
Informatik - Grundlagen: mit einer Einführung in PASCAL
Craft of software engineering
Software specification and design - a disciplined approach for real-time systems
Software evaluation for certification - principles, practice, and legal liability
Fundamentals of algorithms
Mathematics and democracy - designing better voting and fair-division procedures
Evolutionary computation for modeling and optimization
Literate specifying von Hypermedia-Dokumenten und die Selbstbeschreibung des Konzepts
Novel processor architecture based on auto data sequencing and low level parallelism
Book - A Futurist's Manifesto: a Collection of Essays from the Bleeding Edge of Publishing
Internationales Marketing und Exportmanagement (3. Aufl.)
Metamodelling for software engineering
Control flow semantics
Oracle PL/SQL language - pocket reference: a guide to Oracle PL/SQL language fundamentals: covers Oracle database 11g (4. ed.)
Behavioral Specifications of Businesses and Systems
Procedural elements for computer graphics (2. ed.)
Practical Qt - real world solutions to real world problems
Computer insecurity - risking the system
Program monitoring and visualization - a exploratory approach
Developing user interfaces
Deep Blue - an artificial intelligence milestone
Combinatorial solutions for shape optimization in computer vision
Das TEXikon - Referenzhandbuch für TEX und LATEX
Introduction to the theory of complexity
Digital signal processing in communication systems
Time-frequency representations
The Shattered Self - The End of Natural Evolution
Understanding decision support systems and expert systems
Understanding and implementing the finite element method
Eiffel - the environment Version 2.2
Mathematica - ein systematisches Lehrbuch mit Anwendungsbeispielen
Managing the software process
Algorithmen und Datenstrukturen - eine Einführung mit Java, 3. Auflage
Euclidean Distance Geometry - an Introduction
Complete guide to corporate desktop publishing - dtp
Practical Unix and internet security - securing Solaris, Mac OS X, Linux and FreeBSD: extensivley revised (3. ed.)
Bearbeitungstransaktionen - ein Konzept zur Integration physischer Operationen in das Transaktionsmodell
Image Content Retargeting - Maintaining Color, Tone, and Spatial Consistency
Konstruktion von verteilten Objekten
Writing Word macros
Programming C# sharp - building .NET applications
Numerica - A Modeling Language for Global Optimization
Software Engineering - Grundlagen, Menschen, Prozesse, Techniken
The logical design of operating systems (2. ed.)
Fuzzy rule-based expert systems and genetic machine learning (2. ed.)
Squid - Administrationshandbuch zum Proxyserver
Datenkommunikation - Verfahren, Netze, Dienste (3. Aufl.)
Exzeptionelle Vektorbündel und Reflektionen an Kippgarben über projektiven gewichteten Kurven
High-Level Architectural Model for DDI Applications
Web archiving
Numerical polynomial algebra
Systemic text generation as problem solving
Head First PMP - A Brain-Friendly Guide (2. ed.)
Algorithms for nonlinear programming and multiple-objective decisions
PC hardware annoyances - how to fix the most annoying things about your computer hardware
Desktop Publishing mit FrameMaker
Multicriteria Scheduling - Theory, Models and Algorithms (2. ed.)
The Mathematica graphics guidebook
Andrew Glassner's notebook - recreational computer graphics
Proteome Bioinformatics
Security and the Networked Society
Verfahren zur Kontrollflussüberwachung in sicherheitsgerichteten Rechensystemen
Robuste Regelung eines elastischen Teleskoparmroboters
Press on - principles of interaction programming
An Introduction to Practical Formal Methods Using Temporal Logic
Introducing Fortran 95 - with coverage of ISO TR 15580 and TR 15581
Theory of linear operations
Countering Counterfeit Trade - Illicit Market Insights, Best-Practice Strategies, and Management Toolbox
Machine Learning - The Art and Science of Algorithms that Make Sense of Data
Algorithm Derivation by Transformations (reprint)
Essential bioinformatics
Modular learning in neural networks - a modularized approach to neural network classification
Numerical Recipes in FORTRAN - The Art of Scientific Computing, 2nd Edition
.NET Windows forms in a nutshell - a desktop quick reference: includes bonus Visual Studio .NET add-in
Constraint-Aided Conceptual Design
Verbindungsnetze - Strukturen und Eigenschaften
Foundations of Algorithms (4. ed.)
On the representation of mathematical concepts and their translation into first-order logic
Context and Semantics for Knowledge Management - Technologies for Personal Productivity
Human-computer interaction - theory and practice
Internet für Mediziner
Einführung in die Informatik - für Naturwissenschaftler und Ingenieure (4. Aufl.)
Prototyping komplexer Softwaresysteme - Ansätze zum Prototyping und Vorschlag einer Vorgehensweise
Analog computation in engineering design
Problemadäquate Diagnosestrategien
Desktop management with Novell ZENworks - automated workstation maintenance
Metadata management in statistical information processing - a unified framework for metadata-based processing of statistical data aggregates
Successfully implementing Microsoft Dynamics - by using the Regatta approach for Microsoft Dynamics
System-Entwicklung in der Wirtschaftsinformatik, 5. Auflage
Model-Driven Software Development - Integrating Quality Assurance
Photoshop 7 und ImageReady - perfekte Bildbearbeitung für Print- und Screendesign
Physiology and medicine
A Guide to Modula-2
Primer on Optimal Control Theory
Number theory for computing
Enterprise Architecture Patterns - Practical Solutions for Recurring IT-Architecture Problems
Analysis of high throughput data - protein protein interactions, protein complexes and RNA half life
Embedded computing - a VLIW approach to architecture, compilers, and tools
Unix-Werkzeugkasten - Programmieren mit Unix
Handbuch der Chipkarten - Aufbau, Funktionsweise, Einsatz von Smart-Cards (2. Aufl.)
Designing Online Information Literacy Games Students Want to Play
Modern VLSI design - a systems approach
PASCAL systematisch - eine strukturierte Einführung
Einführung in die Programmierung digitaler Rechenautomaten (2. Aufl.)
Digital video hacks - tips and tools for shooting, editing, and sharing
Approval voting, 2nd edition
CDE, der Standard UNIX Desktop - Bedienung, Konfiguration, Anwendungsintegration (2. Aufl.)
Visual modeling with rational Rose and UML
Learning Unix for Mac OS X Panther - unlock the power of Unix (2. ed.)
C programming - the essentials for engineers and scientists
Programming Python - Powerful Object-Oriented Programming: Covers Python 3.x (4. ed.)
Flask Web Development - Developing Web Applications with Python
Code optimization techniques for embedded processors - methods, algorithms, and tools
Mathematical techniques for analyzing concurrent and probabilistic systems
Intelligent assistant systems - concepts, techniques and technologies
Knowledge theory for computer scientists
Image and video compression standards - algorithms and architectures, Second Edition
Effective computer display design
Krieg und Internet - Ausweg aus der Propaganda?
Computer-assisted simulation of dynamic systems with block-diagram languages
Ein wissensbasiertes System zur Modellbildung und Analyse industrieller Handhabungssysteme
Objektorientierte Datenbanken - ein Kompaß für die Praxis
3D invariants for automated pollen recognition
Test driving Linux - from Windows to Linux in 60 seconds
Programmieren mit OpenGL - 3D-Grafik und Bildverarbeitung
Using MPI - Portable Parallel Programming with the Message-Passing Interface, 3rd Edition
Building Social Web Applications - Establishing Community at the Heart of Your Site
3D graphics file formats - a programmers reference
From Vector Spaces to Function Spaces - Introduction to Functional Analysis with Applications
Ruby cookbook - recipes for object-oriented scripting
Using Samba - a file and print server for Linux, Unix and Mac OS X: covers Samba 2.2 and 3.0 (2. ed.)
The theory of semirings with applications in mathematics and theoretical computer science
Componentware - Konzepte und Techniken eines Softwareparadigmas
Real-time computer control - an introduction (2. ed.)
Evolutionary algorithms for solving multi-objective problems
An artificial intelligence approach to understanding natural language
Sicherheit und Kryptographie im Internet - Von sicherer E-Mail bis zu IP-Verschlüsselung (3. Aufl.)
Handsteuersystem für die Bewegungsführung
Computers in chess - solving inexact search problems
Eine Anwendungs-Entwicklungsmethodik für AD/CYCLE - die Methodik der DV-Verfahrenstechnik
Color and color perception - a study in anthropocentric realism
Arithmetic operations in digital computers
Data structures and program design (3. ed.)
Diskrete Mathematik - eine Einführung in Theorie und Anwendungen
Computers Ltd - what they really can't do
Head first servlets and JSP - a brain-friendly study guide
Rechnernetzwerksystemarchitekturen und Datenkommunikation, 3. Auflage
Combinatorial aspects of low-rank matrix factorization and two applications in bioinformatics
Advanced methods in neural computing
Interactive media
Interactive system design
Scientific visualization in virtual reality - interaction techniques and application development
Safe C++ - how to avoid common mistakes
Sichtweisen der Informatik
Combinatorial algorithms for integrated circuit layout
Hackers and painters - big ideas from the computer age
Computer vision - a unified, biologically-inspired approach
The cathedral and the bazaar - musings on Linux and Open Source by an accidental revolutionary
Knot theory and its applications
GNU Scientific Library - Reference Manual, Third Edition, for GSL Version 1.12
Learning Responsive Web Design - A Beginner's Guide
Algebra IX - finite groups of Lie type ; finite-dimensional division algebras
Mathematik der digitalen Medien - präzise, verständlich, einleuchtend
Programming Android - Java Programming for the New Generation of Mobile Devices
Designing maintainable software
On the Complexity of Modal Logic Variants and their Fragments
Security by virtualization - A novel antivirus for personal computers
When computers were human
A multigrid tutorial, Second Edition
Stochastic Geometry for Wireless Networks
Sieben Wunder der Informatik - Eine Reise an die Grenze des Machbaren mit Aufgaben und Lösungen (2. Aufl.)
Verfahren zur Systemspezifikation, Entwurf und Validierung von eingebetteten Echtzeitsystemen im Kfz-Bereich
Computer science - an overview (4. ed.)
PHP-Sicherheit - PHP / MySQL-Webanwendungen sicher programmieren (3. Aufl.)
Dependence analysis
A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning
Head first Ajax - a brain-friendly guide
Analog VLSI and neural systems
Operating systems concepts with Java, 6th Edition
Practical data administration
Integrated natural language generation with Schema-TAGs
Stochastic Petri nets - modelling, stability, simulation
Practical guide to syntactic analysis
Algebraic theory of numbers
Mac OS X for Unix geeks - switching to Mac OS X
TSO - Time Sharing Option im Betriebssystem z/OS MVS: das ausführliche Lehr- und Handbuch für den erfolgreichen TSO-Benutzer (7. Aufl.)
Designing interfaces - patterns for effective interaction design
Word processing in groups
Essential ActionScript 3.0 - ActionScript 3.0 programming fundamentals
Visualizing software - a graphical notation for analysis, design, and discussion
Computers and languages - theory and practice
Enterprise Governance and Enterprise Engineering
Supply Chain Management Based on SAP Systems - Architecture and Planning Processes
Pitch-informed solo and accompaniment separation
Fast Fourier transforms
A Practical Introduction to Hardware/Software Codesign
Induktive Konstruktion von merkmalsbasierten und logischen Klassifikatoren für relationale Strukturen
The future does not compute - transcending the machines in our midst
Fairness in electronic commerce
Hypertext and hypermedia - theory and applications
Tabulated resolution for well-founded semantics