yusuke1997/dblp-id-title huggingface dataset:
CAD - effiziente Anpassungs- und Variantenkonstruktion
Kommerzielle Nutzung des Internet - Unterstützung von Marketing, Produktion, Logistik und Querschnittsfunktionen durch Internet, Intranet und kommerzielle Online-Dienste (2. Aufl.)
K-Theory
Programming language translation - a practical approach
Learning web design - a beginners's guide to (X)HTML, style sheets, and web graphics (3. Aufl.)
Scheduling algorithms (4. ed.)
A construction environment for retrieval-oriented database interface systems
PostScript and Acrobat / PDF - applications, troubleshooting, and cross-platform publishing
Analysis patterns - reusable object models
Requirements analysis and system design (2. ed.)
Praktischer Übersetzerbau
Graph Structure and Monadic Second-Order Logic - A Language-Theoretic Approach
Numerical analysis, algorithms and computation
Optimale Konvergenzraten für voll diskretisierte Navier-Stokes-Approximationen höherer Ordnung in Gebieten mit Lipschitz-Rand
Programming F# - a comprehensive guide for writing simple code to solve complex problems
UNIX system V network programming
Connectionless communications using the asynchronous transfer mode
Generalized nets
Usability engineering
CSS Cookbook - Quick Solutions to Common CSS Problems: Covers CSS2.1
Semantics of type theory - correctness, completeness and independence results
MCSE - the core exams in a nutshell: a desktop quick reference (2. ed.)
Utility computing technologies, standards, and strategies
Wissensbasierte Datenbanken
ABC programmer's handbook
Eine Architektur zur Anwendung symbolischer Lernverfahren in der Robotik
Argument - critical thinking, logic and the fallacies (2. ed.)
Essential iOS Build and Release - A Comprehensive Guide to Building, Packaging, and Distribution
Wörterbuch technisches Englisch - Elektrotechnik und Elektronik, Computertechnik und Internet: Englisch-Deutsch (3. Aufl.)
The Art of Software Innovation - Eight Practice Areas to Inspire your Business
Effiziente Normalform-Algorithmen für Ersetzungssysteme über frei partiell kommutativen Monoiden
Modellbildung und Simulation - Eine anwendungsorientierte Einführung
Firewalls im Unternehmenseinsatz - Grundlagen, Betrieb und Produkte (2. Aufl.)
Algebraic combinatorics
Adaptive Betriebssystemkonzepte
Functional programming using standard ML
Communications and Networking - An Introduction, Second Edition
Calculi for derivations and deductions
Statecharts in CSP - ein Prozeßmodell in CSP zur Analyse von Statemate-Statecharts
Interaktive Dialogtechniken für blinde Rechnerbenutzer
Using the STL - the C++ standard template library ; conforms to 1998 ANSI C++ standard (2. ed.)
Representing uncertain knowledge - an artificial intelligence approach
Architecture-Independent Loop Parallelisation
Computational Intelligence - Eine Einführung
Business Process Management - Concepts, Languages, Architectures, 2nd Edition
Network warrior - everything you need to know that wasn't on the the CCNA exam
What Computing Is All About
Temporal-logisches Programmieren
Compiler Design - Virtual Machines
John von Neumann - selected letters
Codes and cryptography
Software engineering and Modula-2
Computergraphik und Bildverarbeitung
Guide to Dynamic Simulations of Rigid Bodies and Particle Systems
Perl cookbook - solutions and examples for Perl programmers
An introduction to logic programming through Prolog
Assessment and control of software risks
Principles of three-dimensional computer animation - modeling, rendering, and animating with 3D computer graphics (2. ed.)
Zuverlässiger verteilter Speicher mit transaktionaler Konsistenz
Fundamentals of differential equations (3. ed.)
Games and full abstraction for a functional metalanguage with recursive types
Variational Object-Oriented Programming Beyond Classes and Inheritance
Explorations in quantum computing
Introduction to systolic algorithm design
Symbolic Parallelization of Nested Loop Programs
Subsymbolic natural language processing - an integrated model of scripts, lexicon, and memory
Open-Source-Programmierwerkzeuge - Versionskontrolle, Konstruktion, Testen, Fehlersuche (2. Aufl.)
CGAL Arrangements and Their Applications - A Step-by-Step Guide
Algebra VII - combinatorial group theory: applications to geometry
Modeling and verification using UML statecharts - a working guide to reactive system design, runtime monitoring and execution-based model checking
X power tools
Reinforcement Lernen mit Regularisierungsnetzwerken
Thinking about Gödel and Turing - Essays on Complexity, 1970 - 2007
Mosaic Handbuch - für das X Window System
The project management paradigm
TestFrame - An Approach to Structured Testing
Cooperation in heterogeneous theorem prover networks
An introduction to functional analysis in computational mathematics
The annotated VRML 2.0 reference manual
Elements of Automata Theory
Einführung in die Informatik
Algorithms and complexity
Non-Hausdorff Topology and Domain Theory - Selected Topics in Point-Set Topology
An analysis of two-population coevolutionary computation
Die Software-Krise und ihre Macher
Thiele - Pioneer in Statistics
Abhängigkeitsverwaltung in verteilten Systemen
Numerical solution of initial-value problems in differential-algebraic equations
Hybrid neural network and expert systems
Palm programming - the developer's guide: creating programs and conduits for the palm computing platform
Induction on non-freely generated data types
Was Sie schon immer wissen wollten, wenn der Unix-Systemadministrator nicht zu finden ist
Universal design for web applications - building web applications for everyone
Die Dynamik sozialer und sprachlicher Netzwerke, Konzepte, Methoden und empirische Untersuchungen an Beispielen des WWW
Formale Beschreibung von Rechnerarchitekturen und Programmsprachen - Implementierung und Anwendung in einem erzeugenden System für Codegeneratoren
Advanced PC architecture
Transact-SQL programming - Microsoft SQL server 6.5 / 7.0 and Sybase adaptive server 11.5
Stochastische Automaten
Evolutionary algorithms for solving multi-objective problems, Second Edition
Convergence theory of feasible direction methods
Objektorientierte Programmierung mit ANSI C
Non-well-founded sets
Codierungsverfahren
Syntax definition for language prototyping
Clipping an allgemeinen dreidimensionalen Polyedern
Next Generation Artificial Vision Systems - Reverse Engineering the Human Visual System
Using Windows 3.1 (special edition)
Cognitive Reasoning - A Formal Approach
Linear systems and optimal control
Oracle8 - effiziente Anwendungsentwicklung mit objektrelationalen Konzepten
Quantifiers and Cognition - Logical and Computational Perspectives
Decrypted secrets - methods and maxims of cryptology (3. ed.)
CASE method fast-track - a RAD approach
Evolutionäre Algorithmen - Darstellung, Beispiele, betriebswirtschaftliche Anwendungsmöglichkeiten
Evolution of finite populations in dynamic environments
Null Bock auf High Tech - Arbeitsplatz-Export: nur weil die Löhne zu hoch sind?
Web ontology reasoning with logic databases
Hierarchische Mehr-Ebenen-Fehlersimulation mit Modellen der Schalter-Ebene
Object-oriented design for temporal GIS
Image processing - the fundamentals
Transformation und Inspektion mentaler Umraumrepräsentationen - Modell und Empirie
Internet annoyances - how to fix the most annoying things about going online
Engineering approach to digital design
Virtual Reality in Medicine
Praxis der C-Programmierung - für Unix, DOS und MS-Windows 3.1/95/NT
Dynamics of crowd-minds - patterns of irrationality in emotions, beliefs and actions
Algebra (3. ed.)
Perlen der theoretischen Informatik
The computer and information science and technology abbreviations and acronyms dictionary
Synchronization and control of distributed systems and programs
Optimization algorithms for networks and graphs (2. ed.)
Berufe der ICT - Informations- und Kommunikationstechnologien, 7. Auflage
The global genome - biotechnology, politics, and culture
Representation and invariance of scientific structures
Numerical computing with IEEE floating point arithmetic - including one theorem, one rule of thumb, and one hundred and one exercices
Rendering for free form deformations
Computer algebra - systems and algorithms for algebraic computation (2. ed.)
Einführung in die Informatik (2. Aufl.)
.NET Windows Forms in 21 Tagen - Oberflächen programmieren, ADO.NET, ActiveX, Multithreading, Web Services, die .NET-Klassenbibliothek
Real-time systems and software
Theory of linear and integer programming
Zur algorithmischen Zerlegung polynomialer Gleichungssysteme
NetResearch - finding information online
Postfix - the definitive guide: a secure and easy-to-use MTA for Unix
Metonymien - eine computerlinguistische Analyse
Topological algebras - selected topics
Webentwicklung mit Eclipse - J2EE, Web Services, Rich und Thin Clients
Firewalls and internet security - repelling the wily hacker
VoIP hacks - tips and tools for internet telephony
Dynamical Search - Applications of Dynamical Systems in Search and Optimization: Interdisciplinary Statistics
Essential software architecture
Concurrent programming for software engineers
Semantik - Theorie sequentieller und paralleler Programmierung
Design of interconnection networks for programmable logic
Hyperfinite Dirichlet Forms and Stochastic Processes
Digitale Highend-Fotografie - Grundlagen und Werkzeuge der professionellen Digitalfotografie (2. Aufl.)
Database management (3rd. ed.)
Similarity, Logic, and Games - Bridging Modeling Layers of Hybrid Systems
Models of the real projective plane - computer graphics of Steiner and Boy surfaces
Executable graphics for VHDL-based systems design
TEX for the impatient
Sicherheitsrisiko Web-Anwendung - wie Web-Programmierer Sicherheitslücken erkennen und vermeiden
QuarkXPress in a nutshell - a desktop quick reference: covers QuarkXPress 4.0
Modular Model Specification on the Documentation Level - Concepts and Application in a Web-Based Modeling Environment
UNIX - a practical introduction for users
Neural networks - algorithms, applications, and programming techniques
.NET framework essentials - introducing the .NET framework
Vom Fernsprechnetz zum Information Superhighway - die Entwicklung der Kommunikations-Infrastrukturen und ihre Herausforderung an Technik und Gesellschaft
MATLAB 6 - eine Einführung
Data warehouse schema design
IT-Sicherheit - Konzepte, Verfahren, Protokolle (3. Aufl.)
Informix - das relationale Datenbanksystem mit INFORMIX OnLine
Die paranoide Maschine - Computer zwischen Wahn und Sinn
Equations, models, and programs - a mathematical introduction to computer science
Information management - the evaluation of information systems investments
Combinatorics of Permutations, Second Edition
Designing with blends - conceptual foundations of human-computer interaction and software engineering
Questionnaire Management and DDI - The QDDS Case
Mathematik, Realität und Ästhetik - eine Bilderfolge zum VLSI Chip Design
Handbuch der Chipkarten - Aufbau, Funktionsweise, Einsatz von Smart Cards (4. Aufl.)
New foundations for automation of default reasoning
Understanding the Linux Kernel - from I/O ports to process management
Bias in human reasoning - causes and consequences
Wissensverarbeitung - eine Einführung in die künstliche Intelligenz für Informatiker und Ingenieure, 2. Auflage
Postfix - Einrichtung, Betrieb und Wartung (2. Aufl.)
Identifying relevant information for testing technique selection - an instatiated characterization schema
Interaktives Illustrieren von Informationsräumen - räumliche und funktionale Zusammenhänge spielerisch begreifen
Highly parallel computing
Logic and structure (3. ed.)
Guide to RISC processors - for programmers and engineers
Mapping symbolic programs with dynamic tree structure to parallel machines
Programming Visual Basic 2008 - building .NET 3.5 applications with Microsoft's RAD tool for business
Microsoft Windows XP Professional Taschenratgeber für Administratoren - der praktische Begleiter für die tägliche Arbeit
Semiotics and the philosophy of language
Multimedia and imaging databases
Building Web Applications with Erlang - Working with REST and Web Sockets on Yaws
Dateien und Datenbanken - eine anwendungsorientierte Einführung, 3. Auflage
Contribution a l'etude des relations et langages infinitaires
Data Management and Query Processing in Semantic Web Databases
Grundlegungen zu einer allgemeinen affinen Geometrie
The complexity of simple subtyping systems
From logic programming to Prolog
Programacion metodica
Programmieren spielend gelernt - mit dem Java-Hamster-Modell
Guide to Computational Geometry Processing - Foundations, Algorithms, and Methods
Techniques for Building Timing-Predictable Embedded Systems
Einführung in die Informatik (8. Aufl.)
Foundations of Coding - Compression, Encryption, Error Correction
Elements of the history of mathematics
The Management of Transshipment Terminals - Decision Support for Terminal Operations in Finished Vehicle Supply Chains
Vortex methods - theory and practice
Computer architecture - design and performance
Net law - how lawyers use the internet
TUXEDO - an open approach to OLTP
3D Online Multimedia and Games - Processing, Transmission and Visualization
Advanced Rails - building industrial-strength web apps in record time
Porträts gekonnt retuschieren mit Photoshop
Software engineering - principles and practice (3. ed.)
Formal object-oriented development
Junos Security - a Guide to Junos for the SRX Services Gateways and Security Certification
Intelligent machine vision - techniques, implementations and applications
New trends in parallel and distributed computing - 6th international Heinz Nixdorf symposium, January 17 - 18, 2006, Heinz Nixdorf MuseumsForum: within the scope of the DFG Collaborative Research Centre 376 Massively Parallel Computing: algorithms, design, methods, applications
Self-Organization in the Evolution of Speech
Architektur eines wissensbasierten Systems zur Unterstützung der Konzeptionsphase in der Konstruktion
Semantics and correctness of classes of deterministic and nondeterministic recursive programs
Ermittlung von Verkehrsgeschehen durch Bildfolgenauswertung
Applying case-based reasoning - techniques for the enterprise systems
Dynamic Reconfigurable Network-on-Chip Design - Innovations for Computational Processing and Communication
Considerations on default logics
Apprendre et maitriser MATLAB
Datenbank-Integration von Ingenieuranwendungen - Modelle, Werkzeuge, Kontrolle
The Economics of Information Security and Privacy
Hadoop - The Definitive Guide: MapReduce for the Cloud
The creative digital darkroom
Windows 95 in a nutshell - a desktop quick reference
Perl in a nutshell - covers Perl 5.8: a desktop quick reference (2. ed.)
Parallele BNLC-Graphgrammatiken
Topology in process calculus - approximate correctness and infinite evolution of concurrent programs
Programming .NET security - writing secure applications using C# or Visual Basic .Net
Supply Chain Risiken - Identifikation, Bewertung und Steuerung
Artificial neural networks - oscillations, chaos, and sequence processing
Stereo Scene Flow for 3D Motion Analysis
Computer system architecture - solutions manual (2. ed.)
Introduction to Circuit Complexity - A Uniform Approach
Fractals everywhere, 2nd Edition
Embedded Controller - eine Einführung in Hard- und Software
Hausdorff-Reduktionen zu Mengen mit geringem Informationsgehalt
A demand-driven solver for constraint-based control flow analysis
Genetic Algorithms and Genetic Programming - Modern Concepts and Practical Applications
Information architecture for the world wide web - designing large-scale web sites
JavaScript Cookbook - Programming the Web
Programming PHP - creating dynamic web pages: covers PHP 5 (2. ed.)
Computer Animation Complete - All-in-One: Learn Motion Capture, Characteristic, Point-Based, and Maya Winning Techniques
Cryptography - theory and practice
Computers in Swedish Society - Documenting Early Use and Trends
Grammatical evolution - evolutionary automatic programming in an arbitrary language
Diagnose von Computern
Communication and computer networks - modelling with discrete-time queues
Programming internet email - mastering internet messaging systems
Multimedia-Enzyklopädien auf CD-ROM - eine vergleichende Analyse von Allgemeinenzyklopädien
UML 2 für Studenten
Java AWT reference - Java 1.1
The basics book of information networking
Das flash!-Kochbuch MX - Haute Cuisine für Webdesigner (3. Aufl.)
Methoden der objektorientierten Systemanalyse
Introduction to the mathematics of medical imaging (2. ed.)
Analytische und projektive Geometrie für die Computer-Graphik
Web performance tuning - speeding up the web (2. ed.)
Geometrische Deformationen als Werkzeug in der graphischen Datenverarbeitung
Artificial neural networks - an introduction
Adaptive control tutorial
Security engineering - a guide to building dependable distributed systems (2. ed.)
Expert systems - a decision support approach with applications in management and finance
A+, network+, security+ exams in a nutshell - a desktop quick reference: covers the essentials, 220 - 602, 220 - 603, 220 - 604, N10 - 003, SY0 - 1001 exams
Benutzerdokumentation für Softwareprodukte
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 5. Auflage
C++ - a guide for C programmers
Digital communication receivers - synchronization, channel estimation, and signal processing
Foundations of semantic databases
Encyclopedia of graphics file formats, 2nd Edition
Borland C++ 3.0 programming (2. ed.)
Pleadings game - an artificial intelligence model of procedural justice
Praxis des IT-Rechts - praktische Rechtsfragen der IT-Sicherheit und Internetnutzung, 2. Auflage
Process Mining - Discovery, Conformance and Enhancement of Business Processes
Ada for Software Engineers - Second Edition with Ada 2005
Encyclopaedia of information technology
Analyse und Konstruktion von Subdivisionsalgorithmen für Freiformflächen beliebiger Topologie
Techniques and applications of neural networks
pdf und print - PDF-Publishing für Office, Agentur und Produktion mit Acrobat 7.0 (2. Aufl.)
Multimedia encryption and authentication - techniques and applications
Paralleles Rechnen - eine Einführung
The T9000 transputer instruction set manual
Augmented Reality Art, From an Emerging Technology to a Novel Creative Medium
Iterative methods for optimization
Programming languages - application and interpretation
Integration externer Daten in Planungs- und Kontrollsysteme - ein Redaktions-Leitstand für Informationen aus dem Internet
iPhone open application development - write, native, objective-c applications for the iPhone
dBase III plus handbook (2. ed.)
Sieben Wunder der Informatik - eine Reise an die Grenze des Machbaren mit Aufgaben und Lösungen
Konzeption und Realisierung eines Informationsmodells für elektrotechnische und elektronische Produkte
Das dbook zur Nikon D70s - Grundkurs digitale Spiegelreflexfotographie
Data Mining in Large Sets of Complex Data
A rate allocation protocol using competitive pricing for improving performance of multicast sessions
Mechatronic Systems Design - Methods, Models, Concepts
Large scale linear and integer optimization - a unified approach
Fine Art Printing für Fotografen - hochwertige Fotodrucke mit Inkjet-Druckern
Learning Word programming - creating Word macros and beyond
A sharp threshold for random graphs with a monochromatic triangle in every edge coloring
Solaris porting guide, Second Edition
How Games Move Us - Emotion by Design
Neurodynamics - an exploration in mesoscopic brain dynamics
Problemlösungen mit Mathcad für Windows - für Mathematiker, Physiker, Qualitätstechniker, Maschinenbauer, Elektrotechniker, Chemiker, Biologen
Multimedia design interaktiv! Von der Idee zum Produkt
Computernetzwerke, 4. Auflage
Bilateral Bargaining - Theory and Applications
Semantics of programming languages - structures and techniques
Symbolic model checking
Gröbner bases - a computational approach to commutative algebra
Advancing evolution of artificial neural networks through behavioral adaptation
Electric circuits (4. ed.)
Learning first-order concept definitions by using a bidirectional heuristic search strategy
Developing and managing expert systems - proven techniques for business and industry
Macht und Geld im Cyberspace - wie der Weltgipfel zur Informationsgesellschaft (WSIS) die Weichen für die Zukunft stellt
DB 2 - design and development guide (3. ed.)
Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie (3. Aufl.)
The Role of True Finiteness in the Admissible Recursively Enumerable Degrees
Smart Mobile In-Vehicle Systems, Next Generation Advancements
Game theory (3. pr.)
Java-Bausteine für E-Commerce-Anwendungen - verteilte Anwendungen mit Servlets, CORBA und XML
Clifford theory for group representations
JavaScript bible (6. ed.)
Algebra II - noncommutative rings ; identities
Kryptographie - Entwurf, Einsatz und Analyse symmetrischer Kryptoverfahren, 2. Auflage
The domain theory - patterns for knowledge and software reuse
Regelbasierte Interpolation und Fuzzy Control
Guide to Computer Network Security, Second Edition
Kommunikette 2.0 - E-Mail, Handy und Co richtig einsetzen mit Top-Regeln für den digitalen Alltag
Programming Ruby - the pragmatic programmer's guide (2. ed.)
Programmiersprachen der vierten Generation: Von der Datenbank zur Anwendung am Beispiel Informix 4GL
Bestiarium der Bits n Bytes - Perspektiven des Electronic Publishing
The craft of software testing - subsystem testing including object-based and object-oriented testing
Intelligente Softwareagenten - Grundlagen und Anwendungen
Bioinformatics - the machine learning approach (2. ed.)
The Mathematics of Paul Erdős II
Sport und Technik - Anwendungen moderner Technologien in der Sportwissenschaft
Pseudorandomness and cryptographic applications
Theoretische Informatik - Grundlagen und praktische Anwendungen
Essential RenderMan (2. ed.)
Fuzzy-Systeme (2. Aufl.)
Ontological semantics
Die Entstehung von Electronic Data Interchange Standards
PalmPilot - the ultimate guide: mastering the PalmPilot, WorkPad, and Palm III organizers
Algorithmen für Verschneidungsoperationen
Hyperedge replacement - grammars and languages
Using Situation Theory to evaluate XML Retrieval
Unix programming environment
MySQL - in a nutshell: a desktop quick reference
Vax - structured assembly language programming (2. ed)
Building client/server applications using TUXEDO
Logic and Prolog
Automatische Generierung von Schaltkreisen durch strukturelle Analyse algebraischer Systeme
The Maple V handbook
Metamathematics of First-Order Arithmetic
Network operating systems - making the right choices
Coming of Age With Quantum Information - Notes on a Paulian Idea
Toward a complexity theory for randomized search heuristics
Micro-Prolog - programming in logic
Knowledge extraction and data mining algorithms for complex biomedical data
Neural network data analysis using Simulnet
Parallel computer architecture - a hardware / software approach
Programming in Oberon - steps beyond Pascal and Modula
Dynamische Systeme und Fraktale - computergrafische Experimente mit Pascal (4. Aufl.)
The CD-ROM book (2. ed.)
Exploring logical dynamics
Regular expression pocket reference - regular expressions for Perl, Ruby, PHP, Python, C, Java, and .NET (2. ed.)
Key Concepts and Techniques in GIS
Internet cryptography
Robustness and usability in modern design flows
The geometry of multiple images - the laws that govern the formation of multiple images of a scene and some of their applications
Learning JavaScript Design Patterns - a JavaScript and jQuery Developer's Guide
Computational methods in commutative algebra and algebraic geometry
Conquering contours - efficient algorithms for computational geometry
Dokumentaustausch in offenen Systemen - Einführung in die ISO-Norm 8613 ; Office document architecture (ODA) and interchange format
Continuations and Natural Language
Computability in analysis and physics
Computer logic - design principles and applications
The essential CORBA - systems integration using distributed objects
PPS mit neuronalen Netzen - Analyse unter Berücksichtigung der Besonderheiten der Verfahrensindustrie
Large problems, small machines - transforming your programs with advanced algorithms
Selected papers on computer science
Getting Started with Fluidinfo - The Openly Writable Shared Datastore
Eine Theorie sequentieller Netzwerke