yusuke1997/dblp-id-title huggingface dataset:
Office 97 annoyances - taking charge of Microsoft Office
The Incomputable: Journeys Beyond the Turing Barrier
Turbo C++
Massively parallel models of computation - distributed parallel processing in artificial intelligence and optimization
Gallium Arsenide Computer Design - Tutorial
Search Engines - Information Retrieval in Practice
GDB - pocket reference: debugging quickly and painlessly
Fault-tolerance through reconfiguration of VLSI and WSI awards
Real-time systems - implementation of industrial computerised process automation
Formal languages
Using Event-B for Critical Device Software Systems
Object recognition by computer - the role of geometric constraints
Optimierung funktionaler Programme mittels abstrakter Programm-Interpretation
Fundamentals of software engineering
LATEX - Erweiterungsmöglichkeiten ; mit einer Einführung in METAFONT (3. Aufl.)
Vector analysis for computer graphics
Analysis - eine Einführung für Mathematiker und Informatiker
Graphische Ausgabe für Werkzeuge zur Entwicklung interaktiver Benutzerschnittstellen
Struktur und Bedeutung temporaler Konstituenten in einem sprachverstehenden Dialogsystem
Les langages a operateur d'insertion
Einführung in die Informatik - objektorientiert mit Java, 2. Auflage
Distributed database management - tutorial
Distributed multimedia - technologies, applications and opportunities in the digital information industry: a guide for users and providers
Real Solutions to Equations from Geometry
Calendrical calculations (3. ed.)
Funktionale Programmierung - in OPAL, ML, HASKELL und GOFER (2. Aufl.)
Cloud Security and Privacy - An Enterprise Perspective on Risks and Compliance
Kausale Semantik nichtsequentieller Programme
Numerical computing with MATLAB
Hardware description languages - concepts and principles
Model-based computer vision - a synthesised approach
Formal specification of advanced AI architectures
Interfacedesign - die visuelle Gestaltung interaktiver Computeranwendungen
Selected Papers on Design of Algorithms
Introduction to computational optimization models for production planning in a supply chain (2. ed.)
Mathematical theory of program correctness
KARDIO - a study in deep and qualitative knowledge for expert systems
Eine Testbibliothek für Programmierumgebungen
Applications of spatial data structures - computer graphics, image processing, and GIS
Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems
Konzeption eines Rahmens zur Integration von Parallelrechnern in verteilte virtuelle Umgebungen
Discrete-Event Control of Stochastic Networks - Multimodularity and Regularity
Sicherheit und Vertrauen im Internet - Eine technische Perspektive
Ideals, varieties, and algorithms - an introduction to computational algebraic geometry and commutative algebra (2. ed.)
Datenbanksysteme - Aufbau und Einsatz
Organization of perception and action - a theory for language and other cognitive skills
Lotus Domino administration in a nutshell - a desktop quick reference
Spidering hacks - 100 industrial-strength tips and tools
Von COBOL zu OOP - umsteigen auf objektorientierte Programmierung
Theoretische Informatik - ganz praktisch
Building a web 2.0 portal with ASP.NET 3.5 - learn how to build a state-of-the-art Ajax web site using: ASP.NET, .NET 3.5, LINQ, Windows WF, and more
Lehrbuch Informatik - Vorkurs Programmieren, Geschichte und Begriffsbildung, Automatenentwurf
Web site cookbook - designing, maintaining, and marketing
Computational principles of mobile robotics
Oracle initialization parameters - pocket reference: Oracle configuration quick reference: includes Oracle database 10g
Local area networks - architectures and implementations (2. ed.)
Oracle essentials - Oracle 9i, Oracle 8i, and Oracle8 (2. ed.)
Unsicheres Wissen - Wahrscheinlichkeit, Fuzzy-Logik, neuronale Netze und menschliches Denken
A position for discussion: to the Dagstuhl history of software engineering conference attendees - structured analysis time line: an approach to structured analysis: talks about structured analysis
Neural networks and artificial intelligence for biomedical engineering
Wireless Internet Security - Architecture and Protocols
Logic for Applications, Second Edition
Computers and Society - Computing for Good
Programming ASP.NET 3.5 - building web applications: updated for ASP.NET 3.5 and Visual Studio 2008 (4. ed.)
Modern Digital Halftoning, Second Edition
Z - an introduction to formal methods
Fortran 90 language guide
Image Processing and Data Analysis - The Multiscale Approach
Algorithms for VLSI partitioning and routing
Programming the iPhone User Experience - Developing and Designing Cocoa Touch Applications
Entwurf und Analyse nichtlinearer Diffusionsverfahren für die Bildverarbeitung
Grundkurs Algorithmen und Datenstrukturen - eine Einführung in die praktische Informatik mit Java
Be advanced topics - the official documentation for the BeOS
Parallel processing for computer graphics
A first course in database systems (2. ed.)
The Gödel programming language
Data mining methods and models
Stochastic models for performance analyses of iterative algorithms in distributed environments
Object engineering - the fourth dimension
Partielle Auswertung imperativer Sprachen
Security in Computing, 4th Edition
Gewinnung effektiver Relevanzbeschreibungen und Indexierungsfunktionen für die automatische Indexierung
SQL and Relational Theory - How to Write Accurate SQL Code
Computer money - a systematic overview of electronic payment systems
Database management systems (3. ed.)
Safe and sound - artificial intelligence in hazardous applications
Termination of rewriting - extensions, comparison and automatic generation of simplification orderings
Programming web services with Perl - practical solutions for rapid web services development
Computer Science - An Interdisciplinary Approach
Object oriented software testing - a hierarchical approach
Understanding Cryptography - A Textbook for Students and Practitioners
Wissensbasierte genetische Algorithmen - Integration von genetischen Algorithmen und Constraint-Programmierung zur Lösung kombinatorischer Optimierungsprobleme
Location Theory - A Unified Approach
Consent in European Data Protection Law
A theory of computer semiotics - semiotic approaches to construction and assessement of computer systems
ActionScript for Flash MX - pocket reference: quick reference for Flash MX programmers
Neural network parallel computing
Cache behavior prediction for real-time systems
Formale Begriffsanalyse mit C++ - Datenstrukturen und Algorithmen
Internet und Recht
Models and Algorithms for Genome Evolution
Hardware/Software Co-Design and Optimization for Cyberphysical Integration in Digital Microfluidic Biochips
Modell geschachtelter Relationen - Effiziente Unterstützung einer relationalen Datenbankschnittstelle
High speed LAN technology handbook
Geometric concepts for geometric design
RFID in manufacturing
Georeferencing - The Geographic Associations of Information
Using Mac OS X Lion Server - Managing Mac Services at Home and Office
Interconnection networks for parallel and distributed processing - tutorial
Combinatorics and Graph Theory, Second Edition
Cisco IOS access lists - help for network administrators
Wissensbasierte Planungsunterstützung als Aufgabe der Mensch-Computer-Kommunikation
Fuzzy Systems Engineering - Toward Human-Centric Computing
Document verification with temporal description logics
Transductions rationnelles décroissantes et substitution
A proof system for a sequential object-based language
Mathematical Logic for Computer Science, 3rd Edition
Rechnernetze - Konzepte und Techniken der Datenübertragung in Rechnernetzen
Linux multimedia guide - a unix-compatible operating system for the personal computer
Algorithms on strings
Objects and systems - principled design with implementations in C++ and Java
Erkennung von Verkehrsschwerpunkten in Mobilfunknetzen mit Hilfe des GTM-Algorithmus
Running Mac OS X Tiger - a no-compromise power user's guide to the Mac
Programming ASP.NET - building web applications and services using C# and VB.NET: updated for .NET 1.1 and visual studio .NET 2003 (2. ed.)
Matlab guide
Contribution a l'etude de la complexite structurelle des langages algebriques
Foundations of Geometric Algebra Computing
Data-Driven Optimization and Knowledge Discovery for an Enterprise Information System
Interactive computer graphics - a top-down approach using OpenGL (4. ed.)
Der digitale Gutenberg - alles was Sie über digitales Drucken wissen sollten, 2. Auflage
Geometric algebra for computer graphics
Stochastic local search - methods, models, applications
Modern Graph Theory
Real world Haskell - code you can believe in
Analyse von Mehrbediener-Prioritätensystemen mit semimarkovschen Ankunftsprozessen und phasenverteilten Bedienzeiten
Semantic web for the working ontologist - modeling in RDF, RDFS and OWL
Eventbegleitende Dienste im interaktiven Fernsehen gemäß DVB
Soft Skills für Softwareentwickler - Fragetechniken, Konfliktmanagement, Kommunikationstypen und -modelle
Lambda-calculus, types and models
Participatory Journalism - Guarding Open Gates at Online Newspapers
Introduction to languages, machines and logic - computable languages, abstract machines and formal logic
Image processing for computer graphics
Programming the Perl DBI - database programming with Perl
Geometry in Problems
Towards a Design Flow for Reversible Logic
Analyse eines Systems mit Timesharing- und Batchverarbeitung
Software Management Approaches: Project Management, Estimation, and Life Cycle Support
The Sustainable Network - The Accidental Answer for a Troubled Planet
Wave propagation and scattering in random media
Guide to Reliable Distributed Systems - Building High-Assurance Applications and Cloud-Hosted Services
Design of embedded real-time computing systems
A formal approach to hardware design
IEEE standard for radix-independent floating-point arithmetic - IEEE standard 854-1987
Structured document image analysis
A guide to simulation, 2nd Edition
Learning Perl - making easy things easy and hard things possible (4. ed.)
Praxiswissen Softwaretest, Testmanagement - Aus- und Weiterbildung zum Certified Tester: Advanced Level nach ISTQB-Standard
Programmieren mit C - Ansi standard (3. Aufl.)
Computer - neue Flügel des Geistes: die Evolution computergestützter Technik, Wissenschaft, Kultur und Philosophie
Microsoft exchange server in a nutshell - a desktop quick reference
Nonlinear Time Scale Systems in Standard and Nonstandard Forms - Analysis and Control
Programming in Lua (2. ed.)
Web client programming with Perl - automating tasks on the web
Reflexionen vor Reflexen - Memoiren eines Forschers
Computer logic - principles and technology
Computer systems, 3rd Edition
Integrating Excel and Access - combining applications to solve business problems
Inside Cyber Warfare - Mapping the Cyber Underworld
Taschenbuch der Regelungstechnik
Assessment and Prediction of Speech Quality in Telecommunications
Neuronale Identifikation von Totzeiten
Concentration Inequalities - A Nonasymptotic Theory of Independence
File structures - an object-oriented approach with C++
Mixed-mode simulation and analog multilevel simulation
Rechneraufbau und Rechnerstrukturen (5. Aufl.)
The unwritten rules of PhD research
Grundkurs theoretische Informatik - eine anwendungsbezogene Einführung für Studierende in allen Informatik-Studiengängen (4. Aufl.)
Applying Computational Intelligence - How to Create Value
Multiple Valued Logic - Concepts and Representations
Didaktik der Informatik
TCP/IP-Grundlagen - Protokolle und Routing (2. Aufl.)
The theory of interacting deductions and its application to operational semantics
Integrated circuit defect-sensitivity - theory and computational models
Learning WML and WMLScript - programming the wireless web
Grid Computing: Software Environments and Tools
Information architecture for the world wide web - designing large-scale web sites: introduces tagging and advanced findability concepts (3. ed.)
Logical foundations of artificial intelligence
The R book
Delaunay Mesh Generation
Linux in a nutshell - a desktop quick reference (4. ed.)
Fundamentals of computing (3. ed.)
Algorithms for probe selection and DNA microarray design
Das rororo-Computer-Lexikon - schwierige Begriffe einfach erklärt
Advanced motion control and sensing for intelligent vehicles
Electronic publishing and libraries - planning for the impact and growth to 2003
Computer vision for robotic systems - an introduction
ISO 9000-3 - a tool for software product and process improvement
Tapworthy - Designing Great iPhone Apps
Zeros of Gaussian Analytic Functions and Determinantal Point Processes
Pragmatic project automation - how to build, deploy, and monitor Java applications
Fundamentals of Structured Hardware Design
Point-based multi-resolution rendering
Systems Engineering mit SysML / UML - Modellierung, Analyse, Design
Artificial intelligence - structures and strategies for complex problem solving (2. ed.)
Zufälligkeit und Wahrscheinlichkeit - Eine algorithmische Begründung der Wahrscheinlichkeitstheorie
Objektorientiertes Programmieren - mit Beispielen und Übungen in C++ (2. Aufl.)
Low-Power Variation-Tolerant Design in Nanometer Silicon
Access database design and programming - what you really need to know to develop with access
Organisationsverwaltung in CSCW-Systemen
Zeit - von der Urzeit zur Computerzeit
Information architecture for the world wide web - designing large-scale web sites (2. ed.)
Open distributed systems - on concepts, methods, and design from a logical point of view
C# and VB.NET conversion - pocket reference: converting code from one language to another
Robert Recorde - Tudor Polymath, Expositor and Practitioner of Computation
AMS-TEX - kratkij kurs matematiceskogo nabora
Mathematical Go endgames - nightmares for the professional Go player
Theory of modeling and design - integrating discrete event and continous complex dynamic systems (2. ed.)
Neural Networks and Micromechanics
Formalisieren und Beweisen - Logik für Informatiker
Algorithmic and Computational Complexity Issues of MONET
Online Social Networks - Human Cognitive Constraints in Facebook and Twitter Personal Graphs
Turing's connectionism - an investigation of neural network architectures
Modelle nebenläufiger Prozesse - Monoide, Residuensysteme und Automaten
Konfirmative und explorative Synergiewirkungen im erkenntnisorientierten Informationszyklus von BAIK
Universal wireless personal communications
Matrix computation (2. ed.)
Computation with finitely presented groups
An introduction to distributed and parallel computing
Scalable Video on Demand - Adaptive Internet-based Distribution
Moving to the Cloud Corporation - How to face the challenges and harness the potential of cloud computing
Machine interpretation of line drawing images - technical drawings, maps and diagrams
Analytical and numerical methods for Volterra equations
Queueing Theory for Telecommunications - Discrete Time Modelling of a Single Node System
Gallium arsenide digital integrated circuit design
The joy of Mathematica - a point-and-click way to use and learn Mathematica
High Performance MySQL - Optimization, Backups, and Replication: Covers Version 5.5, Third Edition
Efficient dynamic communication for real-time online interactive applications in heterogeneous environments
Intuitionistic type theory
Über die Kategorie der Programmbündel
Scientific Data Mining - A Practical Perspective
Excel annoyances - how to fix the most annoying things about your favorite spreadsheet
Database System Concepts, 5th Edition
Trust and Risk in Internet Commerce
Cisco-Systeme
Evolutionary computation - a unified approach
Verilog quickstart
The art of computer systems performance analysis - techniques for experimental design, measurement, simulation, and modeling
XSLT cookbook - solutions and examples for XML and XSLT developers
Desktop magic - electronic publishing, document management, and workgroups
G-words - keywords for geometric computing and its applications
Java lernen - anfangen, anwenden, verstehen (2. Aufl.)
Security and Privacy in Biometrics
Automates cellulaires - reversibilite et complexite
Knowledge management - learning from knowledge engineering
Software-Ergonomie - Grundlagen der Mensch-Computer-Kommunikation
Dojo - the definitive guide: powering up Ajax development techniques
Graph-Based Clustering and Data Visualization Algorithms
Computability and Complexity Theory, Second Edition
DNS and BIND - help for system administrators: covers BIND 9.3 (5. ed.)
ANSI C problem-solving and programming
Making Things Talk - Practical Methods for Connecting Physical Objects, Second Edition
Mathematical tools in computer graphics with C# implementations
An introduction to Kolmogorov complexity and its applications
Accuracy and stability of numerical algorithms, Second Edition
MySQL Troubleshooting - What To Do When Queries Don't Work
Mac OS X for Unix geeks - demystifying the geekier side of Mac OS X: now covers Leopard
Darwin im Reich der Maschinen - die Evolution der globalen Intelligenz
Multi-agent systems - an introduction to distributed artificial intelligence
A computational logic
Data management - databases and organizations (5. ed.)
Geschiedenis van de rekenkunst - van kerfstok tot computer
Discrete mathematics for computing
Branchenspezifische IT-Innovationssysteme - von der Analyse zur Intervention: am Beispiel des IT-Innovationssystems für Krankenhäuser in Deutschland
Learning XML - creating self-describing data: cover schemas (2. ed.)
Eine Graphgrammatik zur Repräsentation und Erkennung von Features in CAD/CAM
Expertensysteme - eine Einführung (2. Aufl.)
Windows NT workstation - configuration and maintenance: automated workstation management
Optical computing - a survey for computer scientists
Übungen zur Einführung in die Informatik - strukturierte Aufgabensammlung mit Musterlösungen
Mathematical and Algorithmic Foundations of the Internet
Software development - a rigorous approach
Set theory - an introduction (2. ed.)
Agentenbasierte Produktionssteuerung komplexer Produktionssysteme
Die VHDL-Syntax
Strukturelle Komplexität von Anzahlproblemen
Computer programming languages - a comparative introduction
Abelian L-adic representation and elliptic curves
Optimierte Software-Verteilung in graphischen Rechnerverbundsystemen
Lectures in Geometric Combinatorics
Computer architecture - a quantitative approach, 3rd Edition
Fotografische Landschaften - Lehrbuch für Bildgestaltung (2. Aufl.)
Modeling and Simulation - An Application-Oriented Introduction
PalmPilot - the ultimate guide: mastering Palm organizers from Pilot 1000 to Palm VII (2. ed.)
Security in distributed, grid, mobile, and pervasive computing
Topological Data Analysis for Scientific Visualization
Ein flexibel einsetzbares Objekterkennungssystem auf der Basis neuronaler Netze
Data mining - multimedia, soft computing, and bioinformatics
Software quality management and ISO 9001 - how to make them work for you: includes 1994 version of the ISO 9001
Network security using OpenSSL - cryptography for secure communications
The ATMS - an assumption based problem solving architecture utilizing specialization relations
Implementing typed feature structure grammars
Efficiently Indexing High-Dimensional Data Spaces
Generalized solutions of first-order PDEs - the dynamical optimization perspective
Die .NET-Technologie - Grundlagen und Anwendungsprogrammierung: aktualisiert auf .NET 2.0, 2. Auflage
Learning iOS Programming - From Xcode to App Store: Covers iOS 5, 2nd Edition
Vector quantization based learning algorithms for mixed data types and their application in cognitive support systems for biomedical research
A structural approach to diophantine definability
Information from Processes - About the Nature of Information Creation, Use, and Representation
Window seat - the art of digital photography and creative thinking
A graphical retargetable parallel programming environment and its efficient implementation
Dart 1 for Everyone - Fast, Flexible, Structured Code for the Modern Web
Betriebssysteme für Realzeitanwendungen - Grundfunktionen für Mikro- und Prozeßrechner
Computer hardware/software architecture
Computernetzwerke - ein Top-Down-Ansatz mit Schwerpunkt Internet
Handbook of Data Compression (5. ed.)
Introduction to neuro-fuzzy systems
Modellbasierte, interaktive Wissensakquisition und Dokumentation von Domänenwissen (MIKADO)
Schutz vor Rechtsproblemen im Internet - Handbuch für Unternehmen
HCI-Aspekte von Softwareagenten
Managing mailing lists - majordomo, listserv, listproc, and smartlist
Agile Management - Leadership in an Agile Environment
Multi-computer architectures for artificial intelligence - toward fast, robust, parallel systems
Frauenperspektiven auf die Informatik - Informatikerinnen im Spannungsfeld zwischen Distanz und Nähe zur Technik
Intelligent Java applications for the internet and intranets
Civilizing cyberspace - policy, power and the information superhighway
Informationstechnik - Forschung und Entwicklung: Förderkonzept im Rahmen des Zukunftskonzepts Informationstechnik der Bundesregierung 1993 - 1996
IT-Sicherheit - Konzepte, Verfahren, Protokolle (2. Aufl.)
Building Models by Games
Software engineering - concepts and management
Rechnerarchitektur - Analyse, Entwurf, Implementierung, Bewertung
Das Internet-Handbuch für Netscape
Atlas of Science - Visualizing What We Know
A beginner's book of TEX
Computernetzwerke und Internets - mit Internet-Anwendungen (3. Aufl.)
Parallel logic programming
Numerical methods for special functions
Understanding High-Dimensional Spaces
ADA - eine Einführung in die Programmiersprache der Softwaretechnik (4. Aufl.)
A primer in game theory
Java Extreme Programming cookbook - Extreme Programming in the real world
Digital imaging - theory and applications
Computer graphics and geometric modeling using beta-splines
Mac OS X panther - pocket guide: a user's guide to Mac OS X
Parallel Programming - for Multicore and Cluster Systems
Concurrent programming - principles and practice
Algorithmen und Datenstrukturen - eine anwendungsorientierte Einführung
Fuzzy set theory - basic concepts, techniques and bibliography
Trusted Computing Platforms - Design and Applications
Mac OS 9 - the missing manual
The data analysis handbook
Basic proof theory
Quantum Computing verstehen - Grundlagen, Anwendungen, Perspektiven
Dictionary of Computer Vision and Image Processing, Second Edition
Conceptual spaces - the geometry of thought
Algorithmen, Datenstrukturen, funktionale Programmierung - eine praktische Einführung mit Caml Light
Geometric differentiation for the intelligence of curves and surfaces
Understanding OSI applications
Biological Sequence Analysis Using the SeqAn C++ Library
Computer science illuminated (3. ed.)
Elliptic curves - a computational approach
C++ problem solving and programming
Efficient R Programming - A Practical Guide to Smarter Programming
Architectures for high performance communication
AppleScript - the definitive guide: covers Mac OS X Panther
Mobile Roboter - Eine Einführung aus Sicht der Informatik
Oracle9i - effiziente Anwendungsentwicklung mit objektrelationalen Konzepten (2. Aufl.)
Essential visual basic 4.0 fast - how to develop applications in visual basic
Zur formalen Äquivalenz von quasigewöhnlichen Singularitäten
Methoden zur automatischen Generierung von Simulationsmodellen für ASIC-Bibliotheken
Tree-structured theorem proving using controlled case analysis mechanisms for classical, three-, and four-valued logic
Ruby on rails - up and running: lightning-fast web development
Studien- und Foschungsführer Informatik (2. Aufl.)
Web site measurement hacks - tips and tools to help optimize your online business
Logic in computer science - modelling and reasoning about systems (2. ed.)
Sur la periodicite des mots
Operating systems - concepts, policies and mechanisms
TEX für Fortgeschrittene - Programmiertechniken und Makropakete
Real-time systems and their programming languages
Netzwerkmanagement und Netzwerksicherheit - Ein Kompaktkurs für Praxis und Lehre
Studies in Ada style (2. ed.)
Definition of standard ML
Cryptography - an introduction to computer security
An Evaluation Framework for Multimodal Interaction - Determining Quality Aspects and Modality Choice
Building a Modular DDI 3 Editor
Exploring generic Haskell
Stochastic modeling - analysis and simulation (reprint from 1995)
Z in practice