yusuke1997/dblp-id-title huggingface dataset:
Componentware - Methodik des evolutionären Architekturentwurfs
Probabilistic Networks and Expert Systems - Exact Computational Methods for Bayesian Networks
Maintaining families of rigorous requirements for embedded software systems
Probabilistic and statistical methods in computer science
Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie (2. Aufl.)
Java in a nutshell - a desktop quick reference: covers Java 1.4 (4. ed.)
On hierarchical models for visual recognition and learning of objects, scenes, and activities
Java - data structures and programming
Using SQLite - Small. Fast. Reliable. Choose any Three
Concepts of object-oriented programming with Visual Basic
The Perl CD bookshelf - version 2.0: 5 bestselling books on CD-ROM: includes a bonus book Pearl in a nutshell
Mathematics by experiment - plausible reasoning in the 21st century
Essential Microsoft Operations Manager - get control of your Windows network with Microsoft's Operations Management Tools
Objective-C - object-oriented programming techniques
Planning and Implementing your Final Year Project - with Success!
Practical soft typing
Grundlagen des maschinellen Beweisens - eine Einführung für Informatiker und Mathematiker
Swing hacks - tips and tools for building killer GUIs
Networks - A Very Short Introduction
Das objektorientierte Konstruktionshandbuch - nach dem Werkzeug und Material-Ansatz
Outlook 2000 in a nutshell - a power user's quick reference
Probabilistic Boolean Networks - The Modeling and Control of Gene Regulatory Networks
An introduction to object-oriented programming in C++ - with applications in computer graphics: includes STL (2. ed.)
Rechneraufbau und Rechnerstrukturen, 4. Auflage
Sicherheit mobiler Kommunikation - Schutz in GSM-Netzen, Mobilitätsmanagement und mehrseitige Sicherheit
Photoshop-Praxis - Tricks und Techniken für den effektiven Einsatz von Adobe Photoshop
Dictionary of computer graphics technology and applications
Apache - the definitive guide: vital information for Apache programmers and administrators: covers Apache 2.0 and 1.3 (3. ed.)
A commonsense approach to the theory of error correcting codes
Introduction to mathematical techniques used in GIS
Distributed interactive media
Peer-to-peer computing for mobile networks - information discovery and dissemination
Finite element solution of boundary value problemes - theory and computation
Rechnergestützte Wissensakquisition für Werkzeuge zum Entwurf integrierter Schaltungen
The design of data structures and algorithms
Supercharged JavaScript Graphics - with HTML5 canvas and jQuery
XML in a nutshell - covers XML schema: a desktop quick reference (2. ed.)
Talking to the semantic web - natural language query interfaces for casual end-users
Hadoop - The Definitive Guide: Storage and Analysis at Internet Scale (4. ed., revised & updated)
Datenbanksysteme im Klartext
Algorithms and parallel computing - annual report
Macsyma Version 2 - systemnahe und praxisnahe Einführung mit Anwendungsbeispielen
Logics for artificial intelligence
Computational Systems Biology with Constraints - Stochastic Modeling of Biological Systems with Concurrent Constraint Programming
Strukturgebundener Software-Entwurf auf relationaler Basis- Ein integrierender Ansatz
The knowledge acquisition and representation language KARL
Computational aspects of an order-sorted logic with term declarations
Logikkalküle
A guide to human factors and ergonomics (2. ed.)
String-Rewriting Systems
Software-Qualitätssicherung - konstruktive und analytische Maßnahmen
It's broken, let's fix it - the Zeitgeist and modern enterprise
MCSE the electives in a nutshell - a desktop quick reference
Elementary categories, elementary toposes
Qualitätsmanagement bei Softwarewettbewerben - empirische Untersuchungen und weiterführende Konzepte
Even grues get full - the fourth user friendly collection
Concurrency - state models and Java programs (2. ed.)
Optical computing - a survey for computer scientists (Translated into Japanese)
Windows NT SNMP - simple network management protocol
Synthese und Koordination von Sprache und Gestik für virtuelle multimodale Agenten
Learning CFEngine 3 - automated system administration for sites of any size
Lexikon der Computergrafik und Bildverarbeitung
Number by colors - a guide to using color to understand technical data
Integrations of Data Warehousing, Data Mining and Database Technologies - Innovative Approaches
The Open book - a practical perspective on OSI
Learning the Korn shell - Unix programming (2. ed.)
Logic, programming and Prolog
Oracle PL/SQL programming - guide to Oracle8i features: Oracle development languages: includes calling Java from PL/SQL
Frühkindliche Semantik - Eine Einführung
Joint application development (2. ed.)
Aspect-oriented software development with use cases
Centralized and distributed operating systems
Web communities - analysis and construction
Problem solving in open worlds - a case study in design
Commercial Photoshop retouching - in the studio: a guide to professional photo retouching and compositing
Electronic business revolution - opportunities and challenges in the 21st century
Integrating Behavioural and Cognitive Psychology - A Modern Categorization Theoretical Approach
Einführung in Latex 2e - Lehrbuch und Referenz
Malicious cryptography - exposing cryptovirology
Ray Tracing mittels dynamischer Bounding Volume Hierarchien - Eine Einführung und neue Methoden für dynamische Szenen
Schneier on security
Haptics Technologies
Data Access and Storage Management for Embedded Programmable Processors
Software reliability - principles and practices
Emergent collaboration infrastructures - technology design for inter-organizational crisis management
Sendmail cookbook - administering, securing and spam-fighting
STL tutorial and reference guide - C++ programming with the standard template library
MATLAB 5.2 and 5.3 et SIMULINK 2 and 3 pour etudiants et ingenieurs
Solving Transcendental Equations - the Chebyshev Polynomial Proxy and Other Numerical Rootfinders, Perturbation Series, and Oracles
Solving least squares problems
Basic set theory
Funktionaler Entwurf digitaler Schaltungen - Methoden und CAD-Techniken
An anytime approach to connectionist theory refinement - refining the topologies of knowledge-based neural networks
Dynamic HTML - the definitive reference: a comprehensive resource for XHTML, CSS, DOM, and JavaScript (3. ed.)
Mastering regular expressions - Perl, .NET, Java, and more (2. ed.)
Elements of a theory of design artefacts - a contribution to critical systems development research
Grid computing security
Odnorodnye stryktury - teoreticeskie i prikladnye aspekty
C++ in a nutshell - a language and library reference: covers ISO / IEC 14882 standard
Configuring the Networked Self - Law, Code, and the Play of Everyday Practice
Zur Lösung von Finite-Differenzen-und Finite-Element-Gleichungen mittels der Hierarchischen-Transformations-Mehrgitter-Methode - Sonderforschungsbericht 342: Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen
Java Server Pages und J2EE - unternehmensweite web-basierte Anwendungen
The Text Mining Handbook - Advanced Approaches in Analyzing Unstructured Data
Solving mathematical problems - a personal perspective
Datenschutz im Internet - die Grundlagen
Industrial robotics - technology, programming, and applications
Executing temporal logic programs
Adaptive pattern recognition and neural networks
Inverse problem theory - and methods for model parameter estimation
Strategie der integrierten Produktentwicklung - Softwaretechnik und Organisationsmethoden zur Optimierung der Produktentwicklung im Unternehmen
High Quality Test Pattern Generation and Boolean Satisfiability
Einführung in den VLSI-Entwurf
Structured non-coding RNAs - prediction, comparison, annotation
Minimum volume ellipsoids - theory and algorithms
Economics of Identity Theft - Avoidance, Causes and Possible Cures
Logik für Software-Ingenieure
Ordinary differential equations, Second Edition
Algorithmen und Datenstrukturen - eine Einführung mit Java
Knowledge based systems methods - a practitioner's guide
Essential SNMP - help for system and network administrators
Softwaretests mit JUnit - Techniken der testgetriebenen Entwicklung (2. Aufl.)
Virtual reality technology (2. ed.)
Notations for software design
LaTeX - A Document Preparation System: User's Guide and Reference Manual, Second Edition
American national standard for information systems - ANSI X3.159-1989 ; programming language - C
Mono - a developer's notebook: Gtk#, MonoDevelop, web services, IKVM
Time, abstraction and heuristics - automatic verification and planning of timed systems using abstraction and heuristics
Contribution a l'etude des monoides syntactiques et de certains groupes associes aux automates finis
Assertion-based design, Second Edition
Architectural alternatives for exploiting parallelism
Office 2003 XML - integrating office with the rest of the world
Fault-tolerant real-time systems - the problem of replica determinism
Introduction to High Performance Computing for Scientists and Engineers
Developing object-oriented multimedia software - based on the METplusplus application framework
High-performance computer architecture (3. ed.)
mRNA-Signalstrukturerkennung mittels Knowledge Discovery
C# 3.0 design patterns - use the power of C# 3.0 to solve real-world problems: up-to-date for C# 3.0
Cocoa Programming - Developer's Handbook
Linux in a Windows world - a system administrator's guide to heterogeneous networking
Grundlagen der Bildverarbeitung
SQL standard - a complete reference
Handbook of geometric programming using open geometry GL
Operationales Spezifizieren mit programmierten Graphersetzungssystemen - formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung
Operating Systems - Concurrent and Distributed Software Design
Instructor's guide to accompany software engineering, 4th Edition
Accelerating Global Supply Chains with IT-Innovation, ITAIDE Tools and Methods
Strategie der Anwendungssoftware-Entwicklung - Methoden, Techniken, Tools einer ganzheitlichen, objektorientierten Vorgehensweise (3. Aufl.)
Introduction to Pascal, Third Edition
Information Technology and Sustainability - Essays on the Relationship between Information Technology and Sustainable Development
Perspectives on electronic publishing - standards, solutions, and more
Die Multiplikatoralgebra einer Banachalgebra mit approximativer Eins
Second Life - verstehen, erkunden, mitgestalten: Praxistipps und Hintergrundwissen
Advanced simulation and test methodologies for VLSI design
Internet-Kryptographie
Darstellung und Integration von Wissen in verbandsbasierten signierten Logikprogrammen
Exploiting MS-DOS-on the Amstrad PC1512 and all IBM compatibles
Makers - all kinds of people making amazing things in garages, basements, and backyards
iOS 4 Programming Cookbook - Solutions and Examples for iPhone, iPad, and iPod touch Apps
Group Theoretic Cryptography
Partial Differential Equations - Analytical and Numerical Methods
Die C++-Standardbibliothek - eine detaillierte Einführung in die vollständige ANSI/ISO-Schnittstelle
Design and Testing of Digital Microfluidic Biochips
ActionScript für Programmierer - mit Flash anspruchsvolle Anwendungen erstellen
Parallel programming - techniques and applications using networked workstations and parallel computers (2. ed.)
Maven - the definitive guide: everything you need to know from ideation to deployment
Neue Ansätze zur Lösung des Palettenbeladungsproblems
The art of assembly language programming VAX-11
Learning Python - object-oriented programming: covers Python 2.3 (2. ed.)
Data Warehouse Technologien, 2. Auflage
Parametrisierte Spezifikation von Schaltkreisen - graphischer Entwurf regulärer Strukturen
Pascal user manual and report - ISO Pascal standard, 4th Edition
Discrete mathematics using a computer (2. ed.)
The Ruby programming language - everything you need to know: covers Ruby 1.8 and 1.9
Rules of Encounter - Designing Conventions for Automated Negotiation among Computers
Modifications and acyclic decompositions of relational database schemes
Temporal data and the relational model
Web performance tuning - speeding up the web
Performance analysis of communications networks and systems
Robot cognition and navigation - an experiment with mobile robots
Web-based learning through educational informatics - information science meets educational computing
Vererbung für Systementwickler - Grundlagen und Anwendungen
Multiagent Systems - Algorithmic, Game-Theoretic, and Logical Foundations
Entwurf betrieblicher Informationssysteme
Complexity of lattice problems - a cryptographic perspective
SPSS/PC+ - Version 3.0/3.1 ; eine anwendungsorientierte Einführung zur professionellen Datenanalyse
A course in homological algebra, Second Edition
Smalltalk best practice patterns
Quantum Computation and Quantum Information (10th Anniversary edition)
Knowledge-based clustering - from data to information granules
The media equation - how people treat computers, television, and new media like real people and places
Artificial intelligence and natural man, Second Edition
Unscharfes Schließen
Business-Driven Adaptation Decision-Making for SOA Systems
How to solve it - modern heuristics: second, revised and extended edition, Second Edition
Computability and logic (2. ed.)
Introduction to Modula-2
An Introduction to MultiAgent Systems, Second Edition
An evolutionary game-theoretical approach for coordination of traffic signal agents
Concurrent programming in ERLANG
Optimization and computational logic
High performance computational methods for biological sequence analysis
LINUX - unleashing the workstation in your PC, Third Edition
Enabling Flexibility in Process-Aware Information Systems - Challenges, Methods, Technologies
Model-based software engineering
A First Course in Machine Learning
Japan's software factories - a challenge to U.S. management
Multi-modal scene understanding using probabilistic models
Artificial neural networks for modelling and control of non-linear systems
Machine vision
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Introduction to the theory of computation
Using Moodle - teaching with the popular open source course management system (2. ed.)
Informations- und Kodierungstheorie
Combinatorial methods in density estimation
IEEE Computer Society real world software engineering problems - a self-study guide for today's software professional
Einführung in die Nachrichtentechnik
Synthese von zeitinvarianten Hardware-Modulen
Mac OS X - pocket guide: a users' guide to Mac OS X: covers Jaguar (2. ed.)
Refinement in Z and Object-Z - Foundations and Advanced Applications (2. ed.)
Machine Learning in Non-Stationary Environments - Introduction to Covariate Shift Adaptation
Human factors and typography for more readable programs
Theory and applications of the Laplacian
Wahlfreier Zugriff in Präsentationsaufzeichnungen am Beispiel integrierter Applikationen
Modern Computer Algebra (3. ed.)
Software engineering productivity - a practical guide
Discrete mathematics using a computer
Object-oriented metamethods
PCMCIA system architecture - 16-Bit PC cards (2. ed.)
Boole's logic and probability - a critical exposition from the standpoint of contemporary algebra, logic and probability theory (2. ed.)
Telepublishing - die Druckvorstufe auf dem Weg ins Kommunikationszeitalter
RAPiD - ein Datenflußmodell zur Realisierung von UND-Parallelität und intelligentem Backtracking in Hornklausel-Programmen
Sendmail - building, installing, and aministering sendmail (3. ed.)
Java network programming - covers Java 2, JDK 1.2 and 1.3 (2. ed.)
Linear and Nonlinear Functional Analysis with Applications - with 401 Problems and 52 Figures
Security and Game Theory - Algorithms, Deployed Systems, Lessons Learned
Physics through the 1990s - an overview
Symmetries of nature - a handbook for philosophy of nature and science
Vergleichende Bewertung konnektionistischer Modelle mit klassischen statistischen Klassifikationsverfahren
802.11 wireless networks - the definitive guide: creating and administering wireless networks
SharePoint Apps with LightSwitch - a Quickstart Guide to Programming Business Applications with VB.NET
Mathematical Aspects of Logic Programming Semantics
Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition
Programmation dynamique et traitement d'images sur machines parallèles à mémoire distribuée. (Dynamic programming and image processing on distributed memory computers)
Plan generation by linear deduction
Fuzzy reasoning in decision making and optimization
DECnet - das Netzwerk als System
Introduction to probability and statistics for engineers and scientists (2. ed.)
UML2-Zertifizierung - Test-Vorbereitung zum OMG Certified UML Professional Fundamental
Shapes in vector fields - methods for continuous deformations and surface-based flow visualizations
Open source for the enterprise - managing risks, reaping rewards
Model-driven software development - technology, engineering, management
BSD Unix nutshell Buch
A theory of heuristic information game-tree search
Logic program synthesis from incomplete information
Global communication and international relations
Arithmetik
Visual studio hacks - tips and tools for turbocharging the IDE
Designing software product lines with UML - from use cases to pattern-based software architectures
Systematic software development using VDM
eCulture - cultural content in the digital age
Cisco Networking Academy Program - Lehrbuch 3. und 4. Semester: autorisiertes Kursmaterial zur Bildungsinitiative Networking
Verification and Validation in Systems Engineering - Assessing UML / SysML Design Models
Linear algebra and geometry
iMovie - the missing manual: the book that should have been in the box: step-by-step video editing for Macintosh
Mac OS X Snow Leopard - Pocket Guide: the Ultimate Quick Guide to Mac OS X
Inkrementelle und objektorientierte Vorgehensweisen mit dem V-Modell 97
Le langage engendre par un code prefixe et son monoide syntaxique
Fundamentals of critical argumentation
Object-oriented development - building CASE tools with C++
Monokulare Rekonstruktion für Robotvision
Shadows of the mind - a search for the missing science of consciousness
Modell-basierter Test eingebetteter Software im Automobil - Auswahl und Beschreibung von Testzenarien
Linux unwired - a complete guide to wireless configuration
Numerical geometry of images - theory, algorithms, and applications
C++ programmieren - im Klartext
Graphische Datenverarbeitung - Methoden, Algorithmen und ihre Implementierung
Java in verteilten Systemen - Nebenläufigkeit, Verteilung, Persistenz
An introduction to game-theoretic modelling
Konzepte für die nächste Generation graphischer Standards - eine inhaltliche Analyse und Vorschläge auf der Basis von PHI-GKS Erfahrungen
qmail - managing unix-based mail systems
Mathematics applied to deterministic problems in the natural sciences
Innovation happens elsewhere - open source as business strategy
Designing and building parallel programs - concepts and tools for parallel software engineering
Digital circuit design for computer science students - an introductory textbook
Managing Microsoft Exchange server - hands-on advice for planning, optimization and growth
Formal refinement for operating system Kernels
Computer system architecture (3. ed.)
Web application design handbook - best practices for web-based software
Netzlängenbasierte Abschätzung des Zeitverhaltens in einem top-down VLSI-Entwurfsystem
Decisions and Revisions - Philosophical Essays on Knowledge and Value
String Algorithmics
Knowledge management for intelligent sales support in electronic commerce
Disappearing cryptography - being and nothingness on the net
Theoretische Grundlagen der Programmiersprachen
Web security testing cookbook - systematic techniques to find problems fast
Managament und Optimierung des Testprozesses - ein praktischer Leitfaden für erfolgreiches Testen von Software von TPI und TMap
First-order calculi and proof procedures for automated deduction
Algebraic combinatorics via finite group actions
Guide to graphics software tools
Excel scientific and engineering cookbook - adding Excel to your analysis arsenal
Kurt Gödel - das Album: the album
X Window system program design and development
The Rise and Fall of Software Recipes
Grid systems - principles of organizing type
Software reuse
Java and XML - solutions to real-world problems (3. ed.)
On the simulation order of proof systems
Maschinenorientierte Sprachen
Building scalable web sites - building, scaling, and optimizing the next generation of web applications: the Flickr way
3-D Shape Estimation and Image Restoration - Exploiting Defocus and Motion Blur
Oracle parallel processing - Oracle parallel execution and Oracle parallel server
Computer architecture and parallel processing
Programming ASP.NET - building web applications and services: updated for ASP.NET 2.0, C# 2.0, and Visual Studio 2005 (3. ed.)
Radial Basis Functions - Theory and Implementations
Program derivation - the development of programs from specifications
Rechensysteme - Grundlagen der Modellbildung
Primes and programming - an introduction to number theory with computing
Distributed and multi-database systems
Recursive function theory and logic
Mac OS X Tiger edition - the missing manual: the bestselling Mac book: covers Mac OS X 10.4 (3. Aufl.)
The Correctness-by-Construction Approach to Programming
The cache memory book
Emissionen klimarelevanter Gase aus der Landwirtschaft - regionale Darstellung und Abschätzung unter Nutzung von GIS am Beispiel des württembergischen Allgäus
Introduction to discrete mathematics with ISETL
AutoCAD 2000 in a nutshell - a command reference guide
PREGMATIC - a generator for incremental programming environments
Chaotic Elections! - A Mathematician Looks at Voting
Curves and surfaces for computer aided geometric design - a practical guide, 2nd Edition
DNS and BIND cookbook - solutions and examples for system administrators
Autonomous bidding agents - strategies and lessons from the trading agent competition
Linux universe - installation and configuration: Kernel 2.0, Third Edition
Reasoning about parallel architectures
Applied regression analysis (2. ed.)
Communication channel synthesis for heterogeneous embedded systems
Ruby - Developer's Guide
A century of science publishing - a collection of essays
Unsupervised and knowledge-free natural language processing in the structure discovery paradigm
Secure systems development with UML
Radiosity and realistic image synthesis
Programming Entity Framework - DbContext: Querying, Changing, and Validation Your Data
Java EE 6 - Pocket Guide: a Quick Reference for Simplified Enterprise Java Development
Networks, Crowds, and Markets - Reasoning About a Highly Connected World
Neural-symbolic learning systems - foundations and applications
Rechnerentwurf - Rechenwerke, Mikroprogrammierung, Risc (3. Aufl.)
Head first design patterns - your brain on design patterns
Ubuntu hacks - tips and tools for exploring, using, and tuning Linux
Computational methods for algebraic spline surfaces - ESF exploratory workshop
Distributed systems and computer networks
Artificial Intelligence for Games, Second Edition
An introduction to object-oriented design in C++
Database programming with JDBC and Java - Java 1.1
Multiple view geometry in computer vision (2. ed.)
Real-time systems - formal specification and automatic verification
New community networks - wired for change
The matrix eigenvalue problem - GR and Krylov subspace methods
Theory and applications of numerical analysis (2. ed.)
Local area network design
Rekonstruktionsverfahren zur optischen Tomographie
Grundkurs Theoretische Informatik - eine anwendungsbezogene Einführung: für Studierende in allen Informatik-Studiengängen (5. Aufl.)
Learning Rails 3 - Rails from the Outside In
Programming the display PostScript system with NeXTstep
A Guide to the SQL Standard, Second Edition
Basic category theory for computer scientists
Taking Scope - The Natural Semantics of Quantifiers
A management guide to electronic computers
Verkehrsdynamik und -simulation - Daten, Modelle und Anwendungen der Verkehrsflussdynamik
Argumentation methods for artificial intelligence in law
Design Exploration of Emerging Nano-scale Non-volatile Memory