yusuke1997/dblp-id-title huggingface dataset:
Foundations of disjunctive logic programming
Dr. Ecco - mathematical detective
Applied electronic engineering with Mathematica
Le langage Caml
Objectifying real-time systems
Software verification and validation - a practitioner's guide
Hypertext and hypermedia
Perspektivierungsprozesse bei der Sprachproduktion - Spezifikation und Modellierung der Abbildung von konzeptuellen Strukturen auf semantische Repräsentationen
Synchronisation in kooperativen Systemen
Java cryptography
Foundations of object-oriented languages - types and semantics
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Security mechanisms for computer networks
Multimedia - Präsentationen planen, gestalten, durchführen
Ant - the definitive guide: complete build management for Java
Programming Interactivity - a Designer's Guide to Processing, Arduino, and openFrameworks, 2nd Edition
Semantic data modeling
Modeling in Event-B - System and Software Engineering
Adaptive Wavelet-Analysis - Theorie und Software
Learning Cocoa with Objective-C - covers Mac OS X 10.2 (2. Aufl.)
Multi-Transputer-Maschine zur parallelen Reduktion von Funktionalsprachenprogrammen
Answer Set Programming for Continuous Domains - A Fuzzy Logic Approach
Practical C++ programming - C programming tools
Einführung in die funktionale Programmierung
Quality of service management - a model-based approach
Introduction to geometric computing
Wills Java from UML
Neural and intelligent systems integration - fifth and sixth generation integrated reasoning information systems
TCP/IP Praxis - Dienste, Sicherheit, Troubleshooting (3. Aufl.)
Multimedia-Kommunikation - Dienste, Protokolle und Technik für Telekommunikation und Computernetze
Interactive Data Visualization - Foundations, Techniques, and Applications
Debugging at the Electronic System Level
Zahlentheorie (4. Aufl.)
Programming with Qt - writing portable GUI applications on UNIX and Win32: covers Qt1.4x and 2.0
Informationssysteme der Produktion - ein objektorientierter Ansatz
Robust Motion Detection in Real-Life Scenarios
The international handbook on computer crime - computer-related economic crime and the infringements of privacy
Learning Red Hat Linux - a guide to Red Hat Linux for new users: covers Red Hat 8.0 (3. Ed.)
Graphembasierte On-line-Erkennung fließender Handschrift
Computer graphics with OpenGL (3. ed.)
Windows NT Server 4.0 in the enterprise flashcards - MCSE core exam 70-068: portable study aids for the 21stcentury
Essentials of programming languages
OpenVPN - Grundlagen, Konfiguration, Praxis
Datenbanken: Konzepte und Sprachen (korrigierter Nachdruck)
Handbook of Multibiometrics
Algorithmen in C
Parallelrechnerstrukturen - Synthese von Architektur, Kommunikation und Algorithmus
Minimal Rationality
Projektmanagement in der Wirtschaftsinformatik (4. Aufl.)
Rechtwinkliges Layout von hierarchisch strukurierten Graphen
Learning PHP, MySQL, and JavaScript - A Step-by-Step Guide to Creating Dynamic Websites
ILP-basierte Mikroarchitektur-Synthese mit komplexen Bausteinbibliotheken - Wege zu kleineren und schnelleren Schaltungen unter Einsatz algebraischer Optimierung
Generating software from specifications
Human identification based on gait
Information networks - planning and design
Engineering internet QoS
Contemporary High Performance Computing - From Petascale toward Exascale
Complexity theory - exploring the limits of efficient algorithms
Programming - the impossible challenge
Interactive computer graphics - functional, procedural and device-level methods
Series rationnelles et algebres syntactiques
An object-oriented database Kernel for spatio-temporal geo-applications
Problem solving and artificial intelligence
Word - pocket guide: a quick reference to common tasks: covers Word 2003 (2 ed)
A survey of efficient parallel algorithms for sparse interpolation over arbitrary fields
Adapted wavelet analysis from theory to software
Maple V - library reference manual
A guide to programming languages - overview and comparison
Stochastik für Informatik
Efficient PET image reconstruction on modern parallel and distributed systems
Java-Tutorial 1996 - introduction to Java Programming, Java application programming
The whole internet for Windows 95 - user's guide and catalog: covers internet explorer
Struktur und Interpretation von Computerprogrammen - eine Informatik-Einführung (2. Aufl.)
Datenbanken - Konzepte und Sprachen, 5. Auflage
Computer Vision - räumliche Information aus digitalen Bildern
Einführung in ALGOL 68 - Skriptum für Hörer aller Fachrichtungen ab 1. Semester
Requirements Engineering, Third Edition
Cloud Computing - Web-Based Dynamic IT Services
Windows XP annoyances - tips, secrets and solutions
The transputer applications notebook - systems and performance
Algorithmen und Datenstrukturen - Eine Einführung mit Java, 5. Auflage
Artificial intelligence (3. ed.)
Modellierung dynamischer Systeme mit vorstrukturierten neuronalen Netzen
Managing IMAP - help for email administrators
An Ontological and Epistemological Perspective of Fuzzy Set Theory
Data structures - an object-oriented approach
Photonic Network-on-Chip Design
Metamathematics, machines, and Gödels's proof
Collaboration-based design of communicating systems with SDL
ISDN - the integrated services digital network: concepts, methods, systems (2. ed.)
The Java FAQ
Linux server hacks - 100 industrial-strength tips and tools
I hate PC's - the friendly guide to PCs
Computer methods for ordinary differential equations and differential-algebraic equations
Mustererkennung mit neuronalen Assoziativspeichernetzen
MontiArcAutomaton: Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton
Regularized Optimization Methods for Reconstruction and Modeling in Computer Graphics
The Pricing and Revenue Management of Services - A strategic approach
Complexity and information
Learning Red Hat Linux - a guide to Red Hat Linux for new users
Einführung in die funktionale Programmierung mit Miranda
Applied Spatial Data Analysis with R - Second Edition
The cache memory book - the authoritative reference on cache design (2. ed.)
Curve and surface fitting - an introduction
Oracle SQL Plus - the definitive guide: SQL Plus syntax and solutions: includes Oracle8i
Medieninformatik - Eine Einführung
Steady-state methods for simulating analog and microwave circuits
LISP (3. ed.)
RFID essentials
SPSS/PC+ 4.0 - eine anwendungsorientierte Einführung zur professionellen Datenanalyse (2. Aufl.)
Computational and Statistical Methods for Protein Quantification by Mass Spectrometry
Visualization of digital terrain and landscape data - a manual
Konkrete Analysis - für Studierende der Informatik
Eine interaktive Robotersteuerung für chirurgische Applikationen
Combinatorial Optimization and Theoretical Computer Science - Interfaces and Perspectives: 30th Anniversary of the LAMSADE
Compared to what? - an introduction to the analysis of algorithms
Software design, automated testing, and maintenance - a practical approach
TEX-Tools - Software zum Arbeiten mit TEX unter Linux
Introduction to coding theory
Ajax on rails - build dynamic web applications with Ruby
Parsing Beyond Context-Free Grammars
MongoDB - The Definitive Guide: Powerful and Scalable Data Storage
Datenbanken - Konzepte und Sprachen, 4. Auflage
Secure broadcast communication in wired and wireless networks
C++-Entwicklung mit Linux - eine Einführung in die Sprache und die wichtigsten Werkzeuge, von GCC und XEmacs bis KDevelop (2. ed.)
Microsoft Windows NT Workstation Version 4.0 - die technische Referenz: umfassende technische Information und Tools zur Installation, Konfiguration und Fehlerbehebung
Credit Scoring and Its Applications, Second Edition
Concurrent and distributed computing in Java
ML for the working programmer (2. ed.)
Introduction to Cognition and Communication
High-temperature-superconductor thin films at microwave frequencies
The semantic web - crafting infrastructures for agency
Natural language understanding
Der RISC-Prozessor TOOBSIE - Hintergrundband zum Buch "VLSI-Entwurf eines RISC-Prozessors" für den Entwurfsspezialisten
Running Lean - Iterate from Plan A to a Plan That Works, 2nd Edition
Parallel supercomputing in MIMD architectures
The alternative mathematical model of linguistic semantics and pragmatics
Radiosity - a programmer's perspective
The programmer's apprentice
Decentralized Spatial Computing - Foundations of Geosensor Networks
Learning automata - an introduction
Schnelles Pose-Tracking auf Laserscan-Daten für autonome mobile Roboter
We the media - grassroots journalism by the people, for the people
Concept formation and knowledge revision: a demand driven approach to representation change
Praktikum Neuronale Netze
Reduced instruction set computers (2. ed.)
Measurement and data analysis in the face of noise and complex backgrounds - advances from improved bioinformatics algorithms
Knowledge adaptation - analogical transfer of empirical knowledge across domains for case-based problem solving
Subsystems of second order arithmetic
The Verilog hardware description language (3. ed.)
Solaris and LDAP naming services - deploying LDAP in the enterprise
Effiziente Algorithmen für perfekte Graphen
Certified Programming with Dependent Types - A Pragmatic Introduction to the Coq Proof Assistant
PLTMG - a software package for solving elliptic partial differential equations: users' guide 8.0
An introduction to computer graphics and creative 3-D environments
Probabilistic Analysis of Algorithms - On Computing Methodologies for Computer Algorithms Performance Evaluation
Boolean hierarchies - on collapse properties and query order
The win-win solution - guaranteeing fair shares to everybody
E-business 2.0 - roadmap for success (2. ed.)
Wissensverarbeitung und Expertensysteme
Analyse und Bewertung der Konfigurierung von graphischen Systemen auf Mehrprozessor-Architekturen
Windows NT in a nutshell - a desktop quick reference for system administrators
Neural preprocessing and control of reactive walking machines - towards versatile artificial perception-action systems
Oracle PL / SQL language - pocket reference: a guide to language fundamentals: covers Oracle9i (2. ed.)
The Perl CD bookshelf - version 3.0: 7 bestselling books on CD-ROM: includes a bonus book: Perl in a nutshell (2. ed.)
Software implementation
Mural - a formal development support system
Webmaster in a nutshell (2. ed.)
Honest Signals - How They Shape Our World
Java Precisely (2. ed.)
Interactive curves and surfaces - a multimedia tutorial and CAGD
Reservoir simulation - mathematical techniques in oil recovery
Computational recreations in Mathematica
Electronics Process Technology - Production Modelling, Simulation and Optimisation
Strukturbasierte Programmgenerierung für massiv parallele Rechensysteme
Foundations of computing - system development with set theory and logic
Performance of TCP / IP over ATM Networks
Properties, transformations and global events in concurrent systems
Effektive Suche im Internet - Suchstrategien, Methoden, Quellen
Sicherheitskonzepte für das Internet - Grundlagen, Technologien und Lösungskonzepte für die kommerzielle Nutzung
Office automation - a social and organizational perspective
Next generation computing - distributed objects for business
Finite and infinite regular thue systems
Test and Diagnosis for Small-Delay Defects
Zur algorithmischen Zerlegungstheorie linearer Transformationen mit Symmetrie
Architekturen und Modellierung von verteilten Systemen zur Bildverteilung mit Schwerpunkt in der Medizin
Programming classics - implementing the world's best algorithms
Betriebliche Telefon- und ISDN-Anlagen rechtsgemäß gestaltet
Application of numbertheoretic methods to the numerics of computerized tomography
Workflow-Management in der industriellen Praxis - vom Buzzword zum High-Tech-Instrument
Building Android Apps with HTML, CSS, and JavaScript - Making Native Apps with Standards-Based Web Tools
Concrete complexity theory - studies of the impact of the capabilities of the storage device on the efficiency of computations
A guide to Fortran IV programming (2. ed.)
Python cookbook - recipes from the Python community: covers Python 2.3 and 2.4 (2 ed.)
Accelerated systems development
A system-oriented approach to efficiency and quality of service for internet service providers
Flying Insects and Robots
Practical artistry - light and exposure for digital photographers
Content Management mit XML
X400 message handling - standards, interworking, applications
Object database development - concepts and principles
Performance Metrics for Haptic Interfaces
Rewrite operationalization of clausal specifications with predefined structures
Agency and the semantic web
Digitale Signatur - Grundlagen, Funktion und Einsatz
Analog methods - computation and simulation (2. ed.)
IMS learning design best practice and implementation guide - version 1.0 final specification
C++ - the core language: a foundation for C programmers
Effective awk programming - text processing and pattern matching: a GNU manual (3. ed.)
Operating System Concepts - International Student Version, 9th Edition
Qualitative reasoning - modeling and the generation of behavior
ALGOL-Manual der ALCOR-Gruppe - Einführung in die algorithmische Formelsprache ALGOL (2. verb. Aufl.)
Practical perforce - channeling the flow of change in software development collaboration
Reljativistskie struny - matematiceskie osnovy, vizualizacija, kvantovanie
Mathematische Lösungsverfahren für planare Standortprobleme
Reliable data communications
Informix-SQL - a tutorial and reference
PHP-Sicherheit - PHP/MySQL-Webanwendungen sicher programmieren (2. Aufl.)
Semantic data modeling in relational environments
Learning the bash shell - UNIX shell programming (2. ed.)
Performance analysis of real-time embedded software
Operating systems theory and practice
C - in an nutshell: a desktop quick reference
Evolutionary algorithms in engineering applications
Discrete-Event System Simulation, 5th New Internatinal Edition
Understanding MySQL internals - discovering and improving a great database
Essential CVS - version control and source code management
Nonuniform complexity classes with sub-linear advice functions
Meeting deadlines in hard real-time systems - the rate monotonic approach
Modelling and authoring hypermedia documents
Open Source Systems Security Certification
Theoretical aspects of local search
Kryptographie - eine Einführung in die Methoden und Verfahren der geheimen Nachrichtenübermittlung
C# annotated standard
Ruby pocket reference - a quick guide to Ruby
Managing and using MySQL - covers version 4.0.1: a database optimized for speed and interactivity (2. ed.)
Visual languages and applications
A classical introduction to cryptography exercise book
Elementare Berechenbarkeitstheorie
Akzeptanz von Netzdiensten und Netzanwendungen - Entwicklung eines Instruments zur permanenten Akzeptanzkontrolle
Data structures and algorithm analysis, Second Edition
Computation and cognition - toward a foundation for cognitive science
Information theory, inference, and learning algorithms
RESTful Web Services Cookbook
Computer vision and image processing
The ontology of language - properties, individuals and discourses
Scientific computing - eine Einführung in numerische, grafische und symbolische Methoden mit Beispielen in Maple und C
Technology CAD - computer simulation of IC processes and devices
Programming Visual Basic .NET - an experienced programmer's guide to migration and mastery (2. ed.)
CORBA - a guide to common object request broker architecture
Programming ASP.NET MVC 4 - Dveloping Real-world Web Applications with ASP.NET MVC
Multiobjective Genetic Algorithms for Clustering - Applications in Data Mining and Bioinformatics
Abstract Petri nets - uniform approach and rule-based refinement
MVS / ESA JCL - Einführung in die Praxis (3. Aufl.)
Change, choice and inference - a study of belief revision and nonmonotonic reasoning
Computer Organization and Architecture - Designing for Performance (7. ed.)
Multimedia Applications
A Process Algebraic Approach to Software Architecture Design
Fotobearbeitung mit Paint Shop Pro X - Anleitungen, Funktionsweisen, Tipps und Tricks
Bildbasierte Erzeugung kollisionsfreier Transferbewegungen für Industrieroboter
Serious Games and Edutainment Applications
Programming languages - concepts and constructs (2. ed.)
Regular expression - pocket reference: regular expressions for Perl, C, PHP, Python, Java, and .NET
Applied Combinatorics on Words
Object-oriented GUI application development
Data models, database languages and database management systems
Diskrete Mathematik - eine Entdeckungsreise (korrigierter Nachdruck)
Digitales Colormanagement - Farbe in der Publishing-Praxis
Introduction to the Mathematics of Subdivision Surfaces
Twitter API - Up and Running: Learn How to Build Twitter Applications
Mathe macchiato analysis - Cartoon-Mathematikkurs für Schüler und Studenten
Category theory for computing science (2. ed.)
Requirements Engineering - From System Goals to UML Models to Software Specifications
Logik für Informatiker, 5. Auflage
Practical database management
Asterisk - the future of telephony: join the open source PBX revolution
READLEX - ein wörterbuchbasierter Ansatz für die Erkennung und Analyse von Text in strukturierten Dokumenten
3D-Computergrafik (3. Aufl.)
Informationstheorie - eine Einführung
Introduction to the Galois correspondence
OSF/Motif und das X-Window System
Principles of ad hoc networking
Formal models of operating system Kernels
Algorithmen - Algorithmen und Datenstrukturen (4. aktualisierte Auflage)
Business information systems - analysis, design and practice
Neuronale Netze zur statistischen Datenanalyse
Algebraische Konstruktion effizienter Verbindungsnetzwerke
Contemporary cryptology
Fundamentals of computer graphics
Making things talk - practical methods for connecting physical objects: projects and ideas to create talking objects from anything
Firewalls - Einführung, Praxis, Produkte, 2. Auflage
Fast track to MDX (2. ed.)
Interprocedural dynamic slicing with applications to debugging and testing
Windows XP unwired - a guide for home, office, and the road
Ein Code erzeugender Formalisierungsoperator und seine Anwendung auf LISP-Interpretierer
Data structures and algorithms analysis in C++, Third Edition
Basic Phylogenetic Combinatorics
Communicating research
Über Struktur und Aufbau eines Entwurfsystems für Benutzungsschnittstellen - eine Blackboard-Anwendung mit einem Ansatz zur Integration einer Semantischen Entwurfsführung
13 Jahre 3-Hirn - meine Schach-Experimente mit Mensch-Maschinen-Kombinationen: das 3-Hirn-Prinzip
Formal Methods and Object Technology
Samba - pocket reference: a Unix-to-Windows file and print server: covers 2.2. and 3.0 (2. ed.)
Objective-C - a guide to language fundamentals: pocket reference
Algorithms in C++ - Parts 1-4: Fundamentals, Data Structures, Sorting, Searching
Applied groundwater modeling - simulation of flow and advective transport (4. pr.)
Graphen, Netzwerke und Algorithmen, 2. Auflage
Intelligent quality systems
The dots-and-boxes game - sophiticated child's play
Badass - Making Users Awesome
Logic, algebra and databases
Formal description and development of graphical user interfaces
Information systems reengineering and integration (2. ed.)
Average-case analysis of numerical problems
Java web services in a nutshell - a desktop quick reference: covers J2EE 1.4 and JWSDP
Oracle PL/SQL developer's workbook - Oracle development languages: covers Oracle8i
Practical algorithms for programmers
Diskrete algebraische Methoden - Arithmetik, Kryptographie, Automaten und Gruppen
MCSE core reguired exams - in a nutshell: a desktop quick reference: four exams in one: 70-290, 70-921, 70-293, and 70-294 (3. ed.)
Benutzermodellierung für ein adaptives intelligentes Lernsystem
ASP in a nutshell - a desktop quick reference (2. ed.)
Dynamic time windows - congestion control and avoidance in high speed networks
Eclipse web tools platform - developing Java web applications
Relationale Datenbanksysteme - eine praktische Einführung
The instant internet guide - hands-on global networking
Fundamentals of data structures in C
Unix V Nutshell-Buch
The requirements engineering handbook
Digitale Bildverarbeitung (6. Aufl.)
Software for Use - A Practical Guide to the Models and Methods of Usage-Centered Design
LDAP system administration - putting directories to work
Neural and massively parallel computers - the sixth generation
Set theory - an introduction to independence proofs
DTP und PDF in der Druckvorstufe - professioneller Umgang mit Schriften, Bildern und Farben
A course in mathematical biology - quantitative modeling with mathematical and computational methods
Statistical Signal Processing - Frequency Estimation
UNIX system V - user's guide, Second Edition
Learning Perl - Making Easy Things Easy and Hard Things Possible: Covers Perl 5.14 (6th ed.)
Multi-touch selection and interaction on and above the surface
Differential dynamical systems
Wireless LANs - 802.11-WLAN Technologie und praktische Umsetzung im Detail (2. Aufl.)
An introduction to database systems (7. ed.)
Comparative programming languages - generalizing the programming function
Flexible, Reliable Software - Using Patterns and Agile Development
SQL guide for dBase IV
An introduction to Kolmogorov complexity and its applications, Second Edition
Semiorders - Properties, Representations, Applications
The logical design of parallel operating systems
Cloud-Computing für Unternehmen - technische, wirtschaftliche, rechtliche und organisatorische Aspekte
Computer organization and architecture - designing for performance (6. ed.)
Logical Foundations of Database Transformations for Complex-Value Databases
Action Research and New Media - Concepts, Methods, and Cases
Polyeder Graphen Optimierung
802.11 security - securing wireless networks
Programming languages for industrial robots
A primer in Petri net design
Integration Engineering - Konzeption, Entwicklung und Einsatz integrierter Softwaresysteme
Industrial robotics
Algorithm design - foundations, analysis and internet examples
Algebraic Riccati equations
Iterative Methods for Linear Systems - Theory and Applications
Learning Perl - making easy things easy and hard things possible: covers Perl 5.10 (5. ed.)
A partitioning compiler for computers with Xputer-based accelerators
Partitionierung und Analyse statischer, digitaler CMOS-Schaltungen auf der Schalterebene einer Mixed-Level Testgenerierung
Information algebras - generic structures for inference
Internet Measurement - Infrastructure, Traffic, and Applications
Ethical and Social Issues in the Information Age, Fifth Edition
Civic Apps Competition Handbook - a Guide to Planning, Organizing, and Troubleshooting
Dictionary of information technology: english/german - Englisch/Deutsch
Digital Microfluidic Biochips - Synthesis, Testing, and Reconfiguration Techniques
106 Geometry Problems - From The AwesomeMath Summer Program
Konzept zur Ausnahmebehandlung für funktionale Programmiersprachen und dessen formale Beschreibung
Artificial vision for mobile robots - stereo vision and multisensory perception
Mathe-Toolbox - Mathematische Notationen, Grundbegriffe und Beweismethoden
Perl graphics programming - images, graphs, animations, and PDFs from Perl
Type theory and functional programming
Essential system administration - pocket reference: commands and file formats
Spring - a developer's notebook
Algèbre générale
Automatic differentiation in MATLAB using ADMAT with applications
A Uniform, OpenCL-based Approach for Programming Distributed System With Multicores and GPUs
Windows PowerShell Cookbook - Scripting Microsoft's New Command Shell: revised and updated (2. ed.)
Forecasting in database systems
Smart environments - technology, protocols and applications
Der kreative Zufall - Wie das Neue in die Welt kommt
Informationsintegration - Architekturen und Methoden zur Integration verteilter und heterogener Datenquellen
New approaches to in silico design of epitope-based vaccines
Neural Network Learning - Theoretical Foundations
Speech and Audio Signal Processing - Processing and Perception of Speech and Music, Second Edition
Networked Graphics - Building Networked Games and Virtual Environments
The little schemer (4. ed.)
Ansätze zu funktionsorientierten Prozessrechnerstrukturen