yusuke1997/dblp-id-title huggingface dataset:
Ingredients for Successful System Level Design Methodology
32-bit superH microcomputers
Design of the OSF/1 operating system - release 1.2
Snort cookbook - solutions and examples for Snort administrators
Structure-Based Virtual Screening Using Index Technology
Introducing C++ for scientists, engineers and mathematicians
VLSI Placement and Routing - The PI Project
Principles of Data Mining, Second Edition
Analyzing computer system performance with Perl::PDQ
Portierung des LyberWorld-Werkzeuges "Suchbaum" und Implementierung einer generischen Demonstrationsanwendung
Service Engineering - European Research Results
Head First Python - a Brain-Friendly Guide
ABACUS - a branch-and-CUt system
Finite Fields and Applications
Architecture exploration for embedded processors with LISA
Globale zyklische Schedulingstrategie - ein Ansatz zur Garantie der harten Zeitbedingungen inverteilten Echtzeitsystemen
Variational Analysis in Sobolev and BV Spaces - Applications to PDEs and Optimization, Second Edition
Java and SOAP - building web services in Java
Foundations of computer technology
Reference to abstract objects in discourse
Dagstuhl and the ability to cycle there: A Development Story
C how to program
Handbook of mathematical formulas and integrals
Kryptologie - Methoden und Maximen (2. Aufl.)
The complete IS-IS routing protocol
Klassische Logik - eine Einführung
High Integrity Software - The SPARK Approach to Safety and Security
Process improvement essentials - CMMI, ISO 9001, Six Sigma
JavaScript Patterns - Build Better Applications with Coding and Design Patterns
Beautiful Teams - Inspiring and Cautionary Tales from Veteran Team Leaders
NP-uniforme Komplexitätsklassen
Parallel scientific computation - a structured approach using BSP and MPI
Elliptic curve public key cryptosystems
Intelligente Regelung von Mikrorobotern in einer automatisierten Mikromontagestation
Sicherheit in Medienströmen - digitale Wasserzeichen
Object-oriented languages - basic principles and programming techniques
Transform methods in applied mathematics - an introduction
Wide area workflow management - creating partnerships for the 21st century
Introduction to Linear Circuit Analysis and Modelling - From DC to RF
Informatik und Geschlechterdifferenz
VLSI physical design automation - theory and practice
Verteilte Datenbanken und Client/Server-Systeme - Grundlagen, Konzepte und Realisierungsformen
Digital typefaces - description and formats
Thread- und Netzwerk-Programmierung mit Java - Praktikum für die Parallele Programmierung (2. Aufl.)
Fast and efficient context-aware services
Object-oriented design for C++
Distributed objects - methodologies for customizing systems software
Mathematica Cookbook - Building Blocks for Science, Engineering, Finance, Music, and More
Flexible Produktionsfeinplanung mit Hilfe von Planungsschritten - ein Planungsansatz zum Umgang mit Störungen bei der Produktion
Softwarewartung - Management, Organisation und methodische Unterstützung
A practical guide to UNIX system V (2. ed.)
Programming languages - structures and models
Algorithmics - the spirit of computing (2. ed.)
The Theory and Practice of Runtime Reflection - A Model-based Framework for Dynamic Analysis of Distributed Reactive Systems
Mastering Oracle SQL - putting Oracle SQL to work: covers Oracle9i
Programming and meta-programming in Scheme
Database Tuning - Principles, Experiments, and Troubleshooting Techniques
Type and effect systems - behaviours for concurrency
ISA system architecture (3. ed.)
Digital money - the new era of internet commerce
Methods and applications of error-free computation
Spatial augmented reality - merging real and virtual worlds
Interaktonen und Solitonwechselwirkungen in der komplexen Ebene
Artificial intelligence - promise and performance
Logic and discrete mathematics - a computer science perspective
Enterprise Development with Flex - Best Practices for RIA Developers
Design of congestion avoidance mechanisms for communication systems using computational-intelligence-based methods
Wissensbasierte Verfahren für den automatischen Entwurf von Gebrauchsgraphik in der technischen Dokumentation
Analysis of algorithms and data structures
Prozess- und Methoden-Management für Informationssysteme - Überblick und Referenzmodell
Tricks of the UNIX masters
Robust tracking control of robot manipulators
Computer science approach to quantum control
The algorithmic beauty of sea shells
Advances in concurrency control and transaction processing - executive briefing
Learning Pearl - making easy and hard things possible (3. ed.)
Ein Randverteilungsproblem und seine Anwendung auf das asymptotische Spektrum bilinearer Abbildungen
Algebra for Applications - Cryptography, Secret Sharing, Error-Correcting, Fingerprinting, Compression
Object-oriented software for industrial robots
Analytische Bewertung relationaler Datenbankmaschinen
Architektur von Betriebssystemen (3. Aufl.)
Object-oriented construction handbook - developing application-oriented software with the tools and materials approach
Formale Begriffsanalyse - mathematische Grundlagen
Ant - the definitive guide: complete build management for Java: covers Ant 1.6 (2. ed.)
Methoden und Techniken der System-Entwicklung, 4. Auflage
Graphical belief modeling
Formalising process calculi in higher order logic
Context-Based Access Control for Software Applications - State of the Art and New Directions
Prolog - a logical approach
Digital dice - computational solutions to practical probability problems
Foundations of Security - What Every Programmer Needs to Know
Computergestütztes Komponieren - wissensbasierte Werkzeuge zur Manipulation musikalischer Gestalten
Task scheduling in parallel and distributed systems
Ethical IT Innovation - A Value-Based System Design Approach
Linux server security - tools and best practices for bastion hosts (2. ed.)
From surfaces to objects - computer vision and three dimensional scene analysis
Programmieren lernen - eine Einführung mit Struktogrammen und Programmbeispielen in Turbo Pascal
Jewels of stringology
Distributed Case Handling - Distributed Document-Oriented Process Management in Healthcare
Die Sprachen des Web - HTML und XHTML: Informationen aufbereiten und präsentieren im Internet (4)
The numerical solution of systems of polynomials - arising in engineering and science
Dezentrales vernetztes Energiemanagement - ein Ansatz auf Basis eines verteilten adaptiven Realzeit-Multiagentensystems
Decoupling Vision from Action - Redirected Walking and Rehabilitaiton in Immersive Virtual Environments
Robot Behaviour - Design, Description, Analysis and Modelling
Mathematik entdecken mit DERIVE - von der Algebra bis zur Differentialrechnung
Requirements Engineering - Grundlagen, Prinzipien, Techniken (2. Aufl.)
Interior-point polynomial algorithms in convex programming
Parallel complexity theory
Simulation neuronaler Netze
Design of reservation protocols for multimedia communication
Real-Time Detection of Lines and Grids - By PClines and Other Approaches
TURBO PASCAL - ein Lehr-, Hand- und Übungsbuch
Linux companion for systems administrators
Bildkompression mit Fraktalen
Linear representations of finite groups
Learning Flash CS4 Professional - Getting Up To Speed with Flash
Asymptotic approximations of integrals
Decidabilite en arithmetiques faibles temps reel sur automates cellulaires
Object-oriented programming with Visual Basic.NET - developing robust and scalable objects with OOP
Guide to computer viruses - how to avoid them, how to get rid of them, and how to get help (2. ed.)
Das Geheimnis des kürzesten Weges - ein mathematisches Abenteuer (3. Aufl.)
The internet for scientists and engineers - online tools and resources 1997/1998
Eine Methode für Entwurf und Spezifikation von Protokollkonvertern
Proofs from THE BOOK (3. ed.)
A digital signal processing primer - with applications to digital audio and computer music
Managing NFS and NIS - help for Unix system administrators: covers NFS version 3 (2. ed.)
Non-linear dynamical control systems
Berechenbarkeit, Komplexität und Logik - Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität (3. Aufl.)
Ideale Punkte, Monaden und Nichtstandard-Methoden
Lineare Algebra für Wirtschaftsinformatiker - ein algorithmen-orientiertes Lehrbuch mit Lernsoftware
A book on C - programming in C (2. ed.)
Linux security cookbook - security tools and techniques
Topics in parallel computing in mathematical programming
KI - Künstliche Intelligenz: Grundlagen intelligenter Systeme
Object-oriented programming in the BETA programming language
The VRML 2.0 handbook - building moving worlds on the web
Cryptodinges - Geheime geschriften en raadsels ontcijferd
Adapting hardware systems by means of multi-objective evolution
Formel, Farbe, Form - Computerästhetik für Medien und Design
Introduction to Computing and Programming in Python - a Multimedia Approach, 4th Edition
SQL - pocket guide: a guide to SQL usage: Oracle, DB2, SQL server and MySQL
Probability, statistics and queueing theory - with computer science applications (2. ed.)
Objekte integrieren mit OLE2 - Microsofts Basistechnologie für objektorientierte Architektur
Texturen - Analyse, Beschreibung und Synthese
Grundlagen hypermedialer Lernsysteme - Theorie, Didaktik, Design (4. Aufl.)
DDI 3.0 Schemes
Algebraische Spezifikation - eine Einführung
Accessibility Handbook - Making 508 Compliant Websites
Algorithms and data structures for a music notation system based on GUIDO music notation
Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics
The internet navigator - the essential guide to network exploration for the individual dial-up user
Novel Techniques for Efficient and Effective Subgroup Discovery
Visual Basic 2005 - in a nutshell: a desktop quick reference, 3rd Edition
Computer graphics through key mathematics
Restructuring virtual memory to support distributed computing environments
Google advertising tools - cashing in with AdSense, AdWords, and the Google APIs
GIMP - anspruchsvolle Grafikbearbeitung unter Linux und Windows: Version 1.2
TestGoal - result-driven testing
Hypergraphs - combinatorics of finite sets
Language equations
The New Community Rules - Marketing on the Social Web
Ernst Zermelo - an approach to his life and work
Exakte Algorithmen für schwere Graphenprobleme
Intrusion Detection Networks - A Key to Collaborative Security
MySQL reference manual - documentation from the source
Distance in graphs
Expert systems - principles and practice
TYPO3 Kochbuch - Tipps und Rezepte von TYPO3-Experten, behandelt TYPO3 4.0
Perl template toolkit - scalable templating for the web
Flexibles und adaptives Workflowmanagement für verteilte und dynamische Prozesse
Logiksynthese von Steuerwerken
Introduction to Programming with Fortran - With Coverage of Fortran 90, 95, 2003, 2008 and 77, 2nd Edition
Mathematics for computer graphics
Building Oracle XML applications - using XML, XSLT, and interMedia with Java, PL/SQL, and XSWL pages
Von visuellen Daten zu inkrementellen Wegbeschreibungen in dreidimensionalen Umgebungen - das Modell eines kognitiven Agenten
Groupware - software for computer-supported cooperative work
Assemblers and loaders
Eiffel - the libraries Version 2.2
Google SketchUp Cookbook - Practical Recipes and Essential Techniques
Relating Software Requirements and Architectures
Operating systems - a systematic view (4. ed.)
An introduction to fuzzy logic for practical applications
Relevance in argumentation
Spoken dialogue technology - toward the conversational user interface
Fuzzy model identification - selected approaches
Fernsehtechnik im Wandel - technologische Fortschritte verändern die Fernsehwelt
Programming WCF Services - Mastering WCF and the Azure AppFabric Service Bus: updated for .NET 4.0 (3. ed.)
Gems of theoretical computer science
Dependence analysis for supercomputing
Rekursion - ein didaktischer Zugang mit Funktionen: Beispiele, Aufgaben, Projekte, Theorie, ausgedrückt in Scheme-L (LISP-Dialekt mit Ludwigsburger Erweiterung), mit Bezügen zu LOGO für den PC
Graphs on Surfaces
Weak and strong normalization, K-redexes, and first-order logic
Collaboration Engineering - IT-gestützte Zusammenarbeitsprozesse systematisch entwickeln und durchführen
Referenzmodell zur Beschreibung der graphischen Datenverarbeitung und zur Integration graphischer Systeme mit anderen Bereichen der Datenverarbeitung
Temporal verification of reactive systems - safety
Substrate Noise Coupling in RFICs
Safety Factors and Reliability - Friends or Foes?
Logical Tools for Handling Change in Agent-Based Systems
Error estimation and model selection
Program Logics - for Certified Compilers
Definitions for hardware and software safety engineers
Lehrbuch der Softwaretechnik - Basiskonzepte und Requirements Engineering, 3. Auflage
Dynamical Systems - Stability, Controllability and Chaotic Behavior
Design and Prototyping for Drupal - Drupal for Designers
Readings in Database Systems, 4th Edition
Teamwork - eine Methode zum Entwurf verteilter, wissensbasierter Theorembeweiser
Data management - an organizational perspective
Feature-Logik und Semiunifikation
Reinforcement-Lernen in der Robotik
Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen
Computational Optimization of Systems Governed by Partial Differential Equations
Game Usability - Advice from the Experts for Advancing the Player Experience
Data Matching - Concepts and Techniques for Record Linkage, Entity Resolution, and Duplicate Detection
Rechnerarchitektur (2. Aufl.)
Embedded robotics - mobile robot design and applications with embedded systems (2. ed.)
On the origin of objects
Haptics and Touch for Novel Internet Multisensory Communication
Internet für Anfänger - gegen den täglichen Frust im Internet
Evaluating derivatives - principles and techniques of algorithmic differentiation
Discrete Calculus - Applied Analysis on Graphs for Computational Science
Introduction to Programming in Java - An Interdisciplinary Approach (Pearson New International Edition)
SQL und MySQL 5 - interaktiv
Image Registration - Principles, Tools and Methods
A solver for quantified Boolean formulas in negation normal form
Geometric Modeling and Reasoning of Human-Centered Freeform Products
Die X/Motif Umgebung - eine Einführung für Anwender und Systemverwalter
Sketching User Experiences - The Workbook
Advanced topics in dataflow computing and multithreading
Binomialkoeffizienten in freien Monoiden
Programming language syntax and semantics
Kommunikationsanalyseverfahren - theoretische Konzepte, Anwendungspraxis und Perspektiven zur Gestaltung von Informationssystemen
Designing the user interface - strategies for effective human-computer interaction, 2nd Edition
Coarse-to-Fine Natural Language Processing
Die Entwurfsphase in MIKE - Methode und Beschreibungssprache
C++ primer - reflects the ANSI/ISO standard (3. ed.)
Reliable computer systems - design and evaluation (2. ed.)
Modern UNIX - the x window system, unix shells, desktop managers, data communications, applications
Formal specifications with higher-order parameterization
AIDA - ein an den Benutzer angepaßtes graphisch-interaktives System
Bayesian nonparametrics via neural networks
Computational and Robotic Models of the Hierarchical Organization of Behavior
Java security - hostile applets, holes and antidotes: what every netscape and internet explorer user needs to know
Shell-Programmierung im Alleingang - die Korn-Shell in der Praxis
MySQL pocket reference: SQL statements, functions, utilities and more: covers version 5.1 (2. ed.)
Computational Maps in the Visual Cortex
Darstellungen und Berechenbarkeit reeller Zahlen
Intensionale Updates in deduktiven Datenbanken
Data structures and algorithms in Java (3. ed.)
An introduction to source coding
Copyright in a Global Information Economy, Third Edition
ITIL - Change Management: Hinweise und Vorgehensweisen aus der Praxis
A classical introduction to modern number theory
S-BPM in the Wild, Practical Value Creation
Concrete mathematics - a foundation for computer science (2. ed.)
Das Postfix-Buch - sichere Mailserver mit Linux (2. Aufl.)
Computational Complexity - A Modern Approach
Software engineering, 4th Edition
Arguments, Stories and Criminal Evidence - A Formal Hybrid Theory
An Introduction to Search Engines and Web Navigation (2. ed.)
Information systems for business
Pi - Algorithmen, Computer, Arithmetik
Head first HTML - with CSS and XHTML: a brain-friendly guide to HTML and CSS
Lambda Calculus with Types
Thinking in complexity - the computational dynamics of matter, mind, and mankind, 5th Edition
Data structures and algorithm analysis in C
The Information Diet - A Case for Conscious Consumption
Maple in Technik und Wissenschaft - Maple-Praxis
ASP.NET in a nutshell - a desktop quick reference (2. ed.)
An introduction to computational fluid dynamics - the finite volume method
Designing interactive speech systems - from first ideas to user testing
Datenbank-Konzepte - Datenbanken, Netzwerke, Expertensysteme
Applied Mathematica - getting started, getting it done
Self-organization in sensor and actor networks
Software Similarity and Classification
Real-Time Rendering and Synthesis of Digital Surface Models Using Textures of Time-Varying Extension
Random generation of trees - random generators in computer science
Recursively enumerable sets and degrees - a study of computable functions and computability generated sets
Mastering Visual Studio .NET - getting the most out of the Visual Studio .NET 2003 environment
Radiosity and global illumination
Elementare Aussagenlogik
Computational category theory
The Defocusing Nonlinear Schrödinger Equation - From Dark Solitons to Vortices and Vortex Rings
Numerically Solving Polynomial Systems with Bertini
Efficient parallel algorithms
The complete FreeBSD - documentation from the source: covers version 5.0 (4. ed.)
Future Wireless and Optical Networks - Networking Modes and Cross-Layer Design
Ein Framework generischer objekt-orientierter Basiskonzepte zur Werkzeug-Integration in unterschiedliche konzeptionelle Datenmodelle
Theorie und Numerik elliptischer Differentialgleichungen
Multimedia information system with automatic content retrieval
Data warehousing - strategies, technologies, and techniques
How to write parallel programs - a first course
Kleines Handbuch neuronale Netze - anwendungsorientiertes Wissen zum Lernen und Nachschlagen
Matrix Transforms for Computer Games and Animation
Adaptive layout of dynamic web pages
Variational Methods in Imaging
Numerische Mathematik, 4. Auflage
CAN system engineering - from theory to practical applications
Ontologies - a silver bullet for knowledge management and electronic commerce
Das Traveling Salesman Problem unter disjunktiven Zusatzrestriktionen
Handbook on Agent-Oriented Design Processes
Principles of computer communication network design
Recommender Systems for Social Tagging Systems
Interaktive Methoden zur rechnergestützten Synthese asynchroner Kommunikationsschaltungen mittels einer objektorientierten Entwurfsumgebung
Fundamentals of robotics - analysis and control
Field-based coordination for pervasive multiagent systems
Programmierung neuronaler Netze - eine Turbo Pascal Toolbox
Einführung in die Kryptographie, 6. Auflage
Understanding Semantics, 2nd Edition
Reasoning about rational agents
Compiling and executing finite domain constraints
Programming Entity Framework - building data-centric apps with the ADO.NET entity framework: covers EDM, LINQ to entity, entity SQL, and more
Windows XP power hound - teach yourself new tricks: covers Windows XP, Home and Pro
LINQ - pocket reference: the concise reference to LINQ via C# 3.0: LINQPad enabled
Bayesian Filtering and Smoothing
Software design
Konstruktive Darstellungstheorie und Algorithmengenerierung
Entwicklung und robuste Implementierung eines laufzeitoptimalen Verschneidungsoperators für Trapezoidzerlegungen von thematischen Karten
Verteilte Systeme und Anwendungen - Architekturkonzepte, Standards und Middleware-Technologien
Vollständige Systemanalyse
Datenbanken kompakt
Towards a software factory
A network for communication, art and technology and the three key elements environment, group and stage - a complete documentation of complex development processes
A primer on radial basis functions with applications to the geosciences
Algorithms in invariant theory
Information systems engineering - a formal approach
Practical usage of ISPF dialog manager (2. ed.)
Java - eine Einführung (4. Aufl.)
Notes on set theory, Second Edition
Essential Java fast - how to write object oriented software for the internet
Moderne Verfahren der Krypotgraphie - von RSA zu Zero-Knowledge (6. Aufl.)
Software engineering - theory and practice (3. ed.)
Sicherheitsmanagement - Risikobewältigung in informationstechnologischen Systemen
Computer simulations with Mathematica - explorations in complex physical and biological systems
Probability theory - a comprehensive course
Retargetable compiler technology for embedded systems - tools and applications
Unit Tests mit Java - der Test-First-Ansatz
Conversations on mind, matter, and mathematics
Fundamentals of Natural Computing - Basic Concepts, Algorithms, and Applications
Java SOA Cookbook - SOA implementation recipes, tips, and techniques
TCL / TK in a nutshell - a desktop quick reference
The object database handbook - how to select, implement, and use object-oriented databases
Strong generative capacity - the semantics of linguistic formalism
eXtreme Programming - eine Einführung mit Empfehlungen und Erfahrungen aus der Praxis (2. Aufl.)
Complexity theory of real functions
Ontology matching
Protocol Engineering - Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen
Heuristic Search - Theory and Applications
Functional programming - application and implementation
Finite model theory
Systolic algorithms and architectures
C++ techniques and applications
Learning VBScript - creating active content on the web
Behavior models - specifying user's expectations
Computational intelligence - concepts to implementations
Head rush Ajax - get it in your brain, fast
MySQL cookbook - solutions and examples for database developers and DBAs: includes Ruby examples (2. ed.)
An Informix-4GL tutorial
Essential SNMP - help for system and network administrators (2. ed.)
Anwendungsspezifische Fuzzy-Clustermethoden
Perl testing - a developer's notebook
Eine echtzeitfähige, reflexive Kollisionsvermeidung mit starker Bindung an eine Referenzbahn für einen autonomen mobilen Roboter
Making data visual - a practical guide to using visualization for insight
Pascal - problem solving and program design (4. ed.)
XML schema - the W3C's object-oriented descriptions for XML
Turbo C++ programming - an object-oriented approach
Grundkurs digital fotografieren - Kameratechnik, Bildkomposition, Bildbearbeitung, Bildverwaltung (3. Aufl.)
The executive guide to information security - threats, challenges and solutions
Massiv paralleles Multicomputersystem zur Berechnung entkoppelter Probleme
The Emerging Domain of Cooperating Objects
Das Java-Praktikum - Aufgaben und Lösungen zum Programmierenlernen: mit Lösungen im Web
Arte e Ciencia
The Shapes of Things - A Practical Guide to Differential Geometry and the Shape Derivative
Sybase- und Microsoft-SQL Server - das relationale Datenbanksystem; mit Version 10
Simply logical - intelligent reasoning by example
Objektorientiertes Programmieren mit C++ - eine Einführung mit vielen Beispielen, Übungsaufgaben und Musterlösungen
Learning SQL - a pain-free introduction to SQL for database developers and administrators
Requirements Engineering Fundamentals - A Study Guide for the Certified Professional for Requirements Engineering Exam: Foundation Level - IREB compliant
Einführung in die Informatik (5. Aufl.)
Truth, Lies and Trust on the Internet
A handbook of software and systems engineering - empirical observations, laws and theories
Entwurf selbsttestbarer Schaltungen
Exploring calculus with DERIVE
Using Novell DOS 7
Logic synthesis and verification algorithms
CoMPaS - ein computergestütztes multimediales System zur Erstellung und Verwaltung von Patientenakten
Object-oriented engineering - building engineering systems using Smalltalk-80
Systems programming in parallel logic languages
Concurrency - state models and Java programs