yusuke1997/dblp-id-title huggingface dataset:
Making hypermedia work - a user's guide to HyTime
Partial Differential Equations - Analytical and Numerical Methods (2. ed.)
Summarizing information
Ajax design patterns - creating web 2.0 sites with programming and usability patterns
Software-Entwurf in PEARL-orientierter Form - Realzeit-Anwendungen aus der Prozeßautomatisierung
Enterprise Architecture at Work - Modelling, Communication and Analysis, 3rd Edition
The DAM book - digital asset management for photographers: sorting and archiving your photography collection using photoshop CS2 bridge and digital asset management software
Computer systems - a programmers perspective
Wie finde ich Literatur zur Mathematik und Informatik - ein Leitfaden zu den Sach- und Literatureauskunftsmitteln für Studenten, Dozenten und Praktiker (2. Aufl.)
The Structure of Style - Algorithmic Approaches to Understanding Manner and Meaning
Synchroner Datenflussrechner zur Echtzeitbildverarbeitung
Enterprise rails - architecting for success
Frontiers of expert systems - reasoning with limited knowledge
Leistungskatalog für die Praxis - Forschung, Beratung, Entwicklung
Population Reconstruction
NetCASE - Softwareentwurf und Workflow-Modellierung mit Petri-Netzen
Linguistische Datenverarbeitung mit Comskee
On structural similarities of finite automata and Turing machine enumerability classes
Oracle in a nutshell - covers Oracle versions through Oracle9i: a desktop quick reference
Autonomous robots - from biological inspiration to implementation and control
Software design - concepts and methods
Ein Modell für Hypermedia - Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte
ISO 9001:2000 - Software-Entwicklung in der Praxis (3. Aufl.)
Oberon system - user guide and programmer's manual
OSF/Motif - concepts and programming
Zur algebraischen Geometrie - Selected Papers
Variationelle optische Flussberechnung - präzise Modellierung und effziente Numerik
Introduction to formal specification and Z
Nutzung und Wartung von Software - das Anwendungssystem-Management
Image digitization and its influence on shape properties in finite dimensions
Elektronisches Publizieren - eine kritische Bestandsaufnahme
Rails - up and running: lightning-fast web development (2. ed.)
Einführung in die Kryptographie, 2. Auflage
Data structures with abstract types and Pascal, Second Edition
Correct systems - building a business process solution
Probabilistic reasoning in intelligent systems - networks of plausible inference
Domain Engineering - Technology Management, Research and Engineering
Unix in a nutshell - a desktop quick reference, covers GNU / Linux, Mac OS X, and Solaris (4. ed.)
Introduction to VLSI design
Artificial experts - social knowledge and intelligent machines
Digitale Highend-Fotografie - Grundlagen und Werkzeuge der professionellen Digitalfotografie
Relational database design with microcomputer applications
Information systems for urban planning - a hypermedia co-operative approach
Recursive source coding - a theory for the practice of waveform coding
On optimum convergence rates of the Crank-Nicholson scheme to the stokes initial value problem in higher order function spaces using realistic data
Introduction to computational biology - maps, sequences, and genomes: interdisciplinary statistics
Information mining - Methoden, Algorithmen und Anwendungen intelligenter Datenanalyse
68000 assembly language programming - a structured approach
DIY Satellite Platforms - Building a Space-Ready General Base Picosatellite for Any Mission
Entwurf relationaler Datenbanken - mit dBase-Anwendungsbeispielen
Object-oriented programming for artificial intelligence - a guide to tools and system design
The Art of SEO - Mastering Search Engine Optimization, 2nd Edition
TEDIUM and the software process
Supercompilers for parallel and vector computers
Parallel algorithms for regular architectures - meshes and pyramids
Image processing - dealing with texture
How the body shapes the way we think - a new view on intelligence
ASL - portable Programmierung massiv paralleler Rechner
Analysis and synthesis of distributed real-time embedded systems
Chaos und Systeme - eine Einführung in Theorie und Simulation dynamischer Systeme
Models of control and their implications for programming language design
Middleware für verteilte Systeme - Konzepte und Implementierung anhand der CORBA-Plattform MICO
Programming for artificial intelligence - methods, tools and applications
Grundlagen systematischer Programmentwicklung (2. Aufl.)
Parallel programming - a new approach
A computational model of natural language communication - interpretation, inference, and production in database semantics
Combinatorics - The Rota Way
Handbuch Textannotation
Algebraic logic (reprint)
Multiobjective heuristic search - an introduction to intelligent search methods for multicriteria optimization
Machine learning, International Edition
Visual motion of curves and surfaces
Essentials of programming languages (3. ed.)
Performability modelling tools, evaluation techniques, and applications
JavaScript application cookbook - programming web applications in JavaScript
Object-oriented database system - design and implementation for advanced applications
Computer arithmetic in theory and practice
A review of the rationale and architectures of PJama - a durable, flexible, evolvable and scalable orthogonally persistent programming platform
Multimedia and virtual reality - designing multisensory user interfaces
Hochauflösende störungsfreie Entfernungsmessung mit Ultraschall durch korrelative Verfahren
Intersection and decomposition algorithms for planar arrangements
Lessons in grid computing - the system is a mirror
Practical augmented Lagrangian methods for constrained optimization
Verfahren zur speichereffizienten Attributauswertung in Strukturbäumen
Modeling Conflict Dynamics with Spatio-temporal Data
Unix system security essentials
Optimierung von Fuzzy-Entscheidungssystemen mittels konnektionistischer Methoden
Model checking, 2nd Edition
The arithmetic of elliptic curves
Guts of Surfaces and the Colored Jones Polynomial
Z - a beginner's guide
Sistemi di basi di dati orientate agli oggetti - concetti e architetture
A gentle guide to research methods
Wireless information networks, Second Edition
Essential Delphi 3 fast - includes ActiveX development
Portierung und Erweiterung der Relevanzkugelmetapher um interaktive Informationsvisualisierungsmechanismen
An introduction to cryptography, Second Edition
Error-free software - know-how and know-why of program correctness
Electronic payment systems
IMS learning design XML binding - version 1.0 final specification
Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.)
The new software engineering
Telecommunications systems engineering using SDL
Compositional Evolution - The Impact of Sex, Symbiosis, and Modularity on the Gradualist Framework of Evolution
Lexikon der Informatik (14. Aufl.)
Scientific simulations with special purpose computers - the GRAPE systems
Dependencies in relational databases
Shared source CLI essentials - exploring Microsoft's Rotor and the ECMA CLI
Foundations of Algebraic Specification and Formal Software Development
Non-trapping conditions and local energy decay for hyperbolic problems
Software quality - a framework for success in software development and support
Einführung in graphisch-geometrische Algorithmen
Fundamentals of operating systems (5. ed.)
Pascal-XSC - Sprachbeschreibung mit Beispielen
Analyse von binären Dokumentbildern
CD-I production handbook - official guide to CD-I production from Philips Interactive Media Systems
Oracle PL / SQL language - pocket reference: a guide to language fundamentals: includes Oracle8i
UMTS - Grundlagen, Architektur und Standard
Predicate classes, promise classe, and the acceptance power of regular languages
Legal argumentation and evidence
JavaScript bible (5. ed.)
Partielle Differentialgleichungen und numerische Methoden
Parallel complexity of linear system solution
Cognitive Morphodynamics - Dynamical Morphological Models of Constituency in Perception and Syntax
Technikentwicklung als sozialer Gestaltungsprozeß
Autonome mobile Roboter - Sensordateninterpretation und Weltmodellierung zur Navigation in unbekannter Umgebung
Integration of World Knowledge for Natural Language Understanding
Qualitäts-Risiko-Management - Ganzheitliche Projektsteuerung
Specifying software - a hands-on introduction
Capacitive CMOS fingerprint sensor with on-chip parallel signal processing
Logische Grundlagen der Informatik
3D Video and Its Applications
Perl and LWP - fetching web pages, parsing HTML, writing spiders and more
Die Subprime-Krise - wie einige faule US-Kredite das internationale Finanzsystem erschüttern
Just Spring Integration - Enterprise Application Patterns and Messaging
Fundamental concepts in communication
Learning Web Design - A Beginner's Guide to HTML, CSS, JavaScript, and Web Graphics (4. ed.)
Informationsmodellierung in XML und SGML
The algorithmic beauty of plants
NURBS - from projective geometry to practical use, 2nd Edition
Version control with subversion - the standard in open source version control
Hierarchisches Floorplanning mit integrierter globaler Verdrahtung
Proof theory for general unification
A Primer on Mathematical Models in Biology
Running Linux - companion CD-ROM
Applications of Agent Technology in Traffic and Transportation
Untersuchung zur Nutzung des MultiMedia Forum
Photo retouching with Photoshop - a designer's notebook
The object advantage - business process reengineering with object technology
Discrete mathematics for computer science
Neuronale Netze - eine Einführung in die Neuroinformatik
ATM networks - concepts, protocols, applications (3. ed.)
Neural networks in artificial intelligence
Relational database design - an introduction
High performance computing - RISC architectures, optimization and benchmarks
Strategie der Anwendungssoftware-Entwicklung - Planung, Prinzipien, Konzepte (2. Aufl.)
Techniques in computational learning - an introduction
The Seductive Computer - Why IT Systems Always Fail
UML at Work - von der Analyse zur Realisierung (2. Aufl.)
Implementing CASE technology
Finding bottlenecks in large scale parallel programs
Fundamentals of spatial information systems
Computational fluid dynamics - an introduction for engineers
Database systems - management and design (3. ed.)
Distributed optimisation algorithms for network problems
Upgrading to Fortran 90
Programming language design concepts
Programming Windows Azure - Programming the Microsoft Cloud
Suse Linux - a complete guide to Novell's community distribution
Reductive logic and proof-search - proof theory, semantics, and control
Färbung von Kreissehnengraphen
Informatik und Gesellschaft - eine Einführung
Art and Technology of Entertainment Computing and Communication - Advances in Interactive New Media for Entertainment Computing
Java 5.0 Program Design - Java 5.0 Update Edition
Roboter - Was unsere Helfer von morgen heute schon können
IT-Controlling für die Praxis - Konzeption und Methoden
Informatik in der Arbeitswelt
The situation in logic
Turing - problem solving and program design
Enterprise JavaBeans 3.0 - developing enterprise Java components: covers Java persistence (5. ed.)
SSH the secure shell - the definitive guide: network security
LINUX als Windows-Server - Intranet / Internet-Vernetzung von Windows-Systemen mit Samba und anderen Linux-Programmen (3. Aufl.)
Performance analysis of communication systems - modelling with non-Markovian stochastic Petri nets
Theory and algorithms for linear optimization - an interior point approach
Perl and XML - XML processing with Perl
Excel hacks - 100 industrial-strength tips and tools
Bildhierarchiebäume als Grundlage für die statische Konstruktion von Benutzerschnittstellen
Computers and the information society (2. ed.)
Introduction to mathematical logic
Wireless communications - principles and practice
Pricing communication networks - economics, technology and modelling
High performance Linux clusters - with OSCAR, Rocks, openMosix, and MPI
Knowledge structures for communications in human-computer systems - general automata-based
QuickTime for Java - a developer's notebook
Beyond Java - a glimpse at the future of programming languages
NT-Unix-Integration - Intranet / Internet-Vernetzung von Windows NT, Linux und Solaris mit DNS, NFS, Samba, BOOTP und DHCP (2. Aufl.)
Exim - the mail transfer agent: open source, powerful, easy to configure: official guide for release 3
Die Wiege des Web - die spannende Geschichte des WWW
System für die Programmierung verteilter objektorientierter Applikationen
Computers, interfaces and communication networks
An algorithmic framework for checking coverability in well-structured transition systems
Rechnernetze nach OSI (3. Aufl.)
Datenparallele Auswertung rekursiver logischer Programme
Content Networking - Architecture, Protocols, and Practice
A method of programming
Deduktion - Automatisierung und Logik
Operating system projects using Windows NT
Computer organization and architecture - designing for performance (4. ed.)
C++ primer (2 ed.)
Fuzzy sets and fuzzy logic - theory and applications
Supply chain management - a collaborative performance measurement approach
Zur Automatisierung des Systementwurfs integrierter Schaltungen
Engineering real time systems - an object-oriented methodology using SDL (2. pr.)
Graphs, algorithms and optimization
Software reuse - architecture, process and organization for business
CMMI - Verbesserung von Softwareprozessen mit Capability Maturity Model Integration (2. Aufl.)
Latex Vademecum - ein Kompaktführer für Einsteiger und Fortgeschrittene
The death of argument - fallacies in agent based reasoning
The nonlinear workbook - chaos, fractals, cellular automata, neural networks, genetic algorithms, gene expression programming, support vector machine, wavelets, hidden Markov models, fuzzy logic with C++, Java and SymbolicC++ programs (3. ed.)
Logic in the Theory and Practice of Lawmaking
vi and Vim Editors - Pocket Reference: Support for Every Text Editing Task (2. ed.)
Digital audio essentials - a comprehensive guide to greating, recording, editing, and sharing music and other audio
Sequence analysis in a nutshell - a guide to common tools and databases: covers EMBOSS 2.5.0
Emerging Technological Risk - Underpinning the Risk of Technology Innovation
Real-time systems - specification, verification and analysis
Cryptography and network security - principles and practice (3. ed.)
Objektdatenbanken - Konzepte, Sprachen, Architekturen
Randomness and undecidability in physics
Computer aided design - Produktmodelle und Konstruktionssysteme als Kern von CIM ; eine Einführung für Anwender und Informatiker
Distributed systems - an algorithmic approach
TCP/IP und NFS in Theorie und Praxis - Unix in lokalen Netzen
Ada 95 - the lovelace tutorial
FDDI - Standards, Komponenten, Realisierung
Computer security basics - computer security for the 21st century (2. ed.)
Geschlecht, Informatik und Schule - wie Ungleichheit der Geschlechter durch Koedukation neu organisiert wird
Desktop Publishing mit FrameMaker - für Unix, Mac OS und Windows, 3. Auflage
Make a Mind-Controlled Arduino Robot - Use Your Brain as a Remote
Lineare Parallelrechner
Google - pocket guide
Computation as logic
LED Lighting - A Primer to Lighting the Future: Illuminate Your World With Solid State Technology
Information dispersal and parallel computation
Software-Prüfung - eine Anleitung zum Test und zur Inspektion (4. Aufl.)
Zeitliches und räumliches Kontextbewusstsein in drahtlosen Sensornetzen
RESTful Java with JAX-RS - Designing and Developing Distributed Web Services
Learning Java - help for new Java developers: covers Java 2 SDK 1.4 (2. ed.)
Selected papers on computer languages
Categories, allegories
Introduction to computing with geometry
Automatische Erzeugung dreidimensionaler Modelle für Bildanalysesysteme
Konfigurationsmanagement mit Subversion, Ant und Maven - ein Praxishandbuch für Softwarearchitekten und Entwickler
Neural networks - methodology and applications
Research problems in discrete geometry
Cryptography and network security - principles and practice (2. ed.)
Evolution of Communication and Language in Embodied Agents
Analyse und Transformation kontrollflußparalleler Programme
Inductive acquisition of expert knowledge
Halbgott Computer - die fantastische Realität der 70er Jahre
Cities and complexity - understanding cities with cellular automata, agent-based models, and fractals
Verfahren der reservierenden Wegewahl in selbstorganisierenden Funknetzen mit spezifischer Funksystemarchitektur
Zur semantischen Modellierung dynamischer Weltstrukturen im Umfeld der Simulation
Combinatory reduction systems
Windows XP in a nutshell - a desktop quick reference: home and professional versions
Bioinformatics and the cell - modern computational approaches in genomics, proteomics and transcriptomics
Event Processing - Designing IT Systems for Agile Companies
Analyse des Äquivalenzbegriffs von CIRCAL im Hinblick auf die Implementierung eines Verifikationssystems
Web database applications with PHP and MySQL - building effective database-driven web sites: covers PEAR, PHP 5, and MySQL 4.1 (2. ed.)
Numerik-Algorithmen mit FORTRAN 77-Programmen (7. Aufl.)
Goal-based execution of flexible workflows
Solving the frame problem - a mathematical investigation of the common sense law of inertia
Discrete Mathematics in Statistical Physics - Introductory Lectures
Server-based computing - Windows terminal services
Projection-based strictness analysis - theoretical and practical aspects
The metaphorical brain 2 - neural networks and beyond (2. ed.)
Binary recovery methods for inverse problems
JCL - Job Control Language im Betriebssystem OS/390 MVS (3. Aufl.)
Analyse und Optimierung von SC-Netzwerken
Google Map hacks - tips and tools for geographic searching and remixing
Hex strategy - making the right connections
Microsoft Access 97 - das Handbuch: das ganze Softwarewissen
Konsistentes und inkonsistentes Lernen im Limes
Evolutionary optimization in dynamic environments
Web-enabled systems integration - practices and challenges
JavaServer faces - building web-based user interfaces
What will be - die Zukunft des Informationszeitalters
C - a software engineering approach
Entwurfstheorie und Entwurfsdatenmodellierung für CAD-Frameworks
Parallel processing - from applications to systems
The Dynamics of Thought
Fault tolerance in distributed systems
Using Drupal - choosing and configuring modules to build dynamic websites
Bugs in writing - a guide to debugging your prose
Make - Arduino Bots and Gadgets: Learning by Discovery: Six Embedded Projects with Open Source Hardware and Software
iPhone forensics - recovering evidence, personal data and corporate assets
Perspectives on web services - applying SOAP, WSDL and UDDI to real-world projects
Elementary theory of numbers
Modellbildung und Simulation - Eine anwendungsorientierte Einführung, 2. Auflage
Revised6 Report on the Algorithmic Language Scheme
Learning Perl (2. ed.)
Informatik erleben - Lehr- und Übungsbuch für Sekundarstufe I
An agent-based model for quantifying the economic value of geographic information
Practical VoIP using Vocal - MGCP, H.323, SIP, RTP, COPS, RADIUS, and more
UML 2.0 - in a nutshell: a desktop quick reference
Multimedia-Kurs Datenbanksysteme
Principles of expert systems
Surreptitious Software - Obfuscation, Watermarking, and Tamperproofing for Software Protection
Das Modell eines globalen gemeinsamen Speichers und seine Verwendung bei der verteilten Programmierung
Abstract resource language ARL - eine Sprache zur Spezifikation und Kontrolle von Biocomputing Experimenten
Algorithmen für den computergestützten Wirkstoffentwurf
Online stochastic combinatorial optimization
Semantic Web for the Working Ontologist - Effective Modeling in RDFS and OWL, Second Edition
Pattern recognition and image processing in C++
Multimedia data hiding
Adaption der Topologie von Kohonen-Karten durch genetische Algorithmen
Foundations of applied combinatorics
Computernetze - ein modernes Lehrbuch
Head First HTML and CSS - a Brain-Friendly Guide: updated for HTML 5, Second Edition
Differenzierbarkeit im Bild und Abbildungseigenschaften verallgemeinerter Fouriertransformationen bei variablen Koeffizienten im Außengebiet und Anwendungen auf Gleichungen im Kirchhoff-Typ
Understanding intelligence
Global routing of very large scale integrated circuits based on flow methods and timing considerations
The F language guide
The unicode standard: The Unicode Consortium - version 2.0
Heterogeneous Computing with OpenCL - Revised OpenCL 1.2 Edition
Neuronale Netze - Grundlagen und Anwendungen (2. Aufl.)
Topics in advanced scientific computation
Theory of recursive functions and effective computability (Reprint from 1967)
Computer graphics - tutorial (2. ed.)
Developing software for the user interface
Aufgabenorientierte Softwareentwicklung - integrierte Gestaltung von Unternehmen, Arbeit und Software
Adaptive approaches to basic mobile robot tasks
The whole internet - the next generation
Syntax analysis and software tools
Data compression - techniques and applications: hardware and software considerations (3. ed.)
Supply Chain Management with SAP APO - Structures, Modelling Approaches and Implementation of SAP SCM 2008 (3. ed.)
PostgreSQL - Up and Running: a Practical Guide to the Advanced Open Source Database
PCI system architecture (3. ed.)
Evolutionäre Algorithmen - genetische Algorithmen, Strategien und Optimierungsverfahren, Beispielanwendungen
Introduction to Maple (2. ed.)
Mut zur Typographie - ein Kurs für DTP und Textverarbeitung
Optimierung relationen-algebraischer Anfragen
Software engineering concepts
Introduction to knowledge systems
Automated knowledge acquisition
Multimodal metaphors for generic interaction tasks in virtual environments
Distributed Graph Algorithms for Computer Networks
SPICE in der Praxis - Interpretationshilfe für Anwender und Assessoren: basierend auf ISO / IEC 15504
Automatische Erstellung und interaktive Verwendung graphischer Darstellungen als Kommunikatinsmittel in Expertensystemen
On parallel compilation
Approximative Bewegungsplanungsverfahren
The HTML sourcebook - a complete guide to HTML
Networking basics - project manual
Independence-Friendly Logic - a Game-Theoretic Approach
Swarm Robotics - A Formal Approach
Spatial data structures and motion planning in sparse geometric scences
Symbolic logic and mechanical theorem proving
Practical internet groupware - building tools for collaboration
Subsumption algorithms for some attributive concept description languages
Informatik im persönlichen Leben
Aktive Datenbanksysteme - Konzepte und Mechanismen, 2. Auflage
Spectral Numerical Weather Prediction Models
Workload Modeling for Computer Systems Performance Evaluation
Drupal Development Tricks for Designers - a Designer-Friendly Guide to Drush, Git, and other Tools
Logical dilemmas - the life and work of Kurt Gödel
Echtzeitsysteme - Grundlagen, Funktionsweisen, Anwendungen
The syntactic process
Learning AngularJS - A Guide to AngularJS Development
Automatic Sequences - Theory, Applications, Generalizations
Learning iPhone Programming - From Xcode to App Store
Software metrics - a practical and rigorous approach (2. ed.)
Clustering for data mining - a data recovery approach
A theory of semiotics
Technisches Schreiben - nicht nur für Informatiker
Statistical language learning
Handbook of Cloud Computing
Operating System Concepts Essentials, 2nd Edition
Executable UML - A Foundation for Model-Driven Architecture
A distributed Pi-calculus
Masterminds of Programming - Conversations with the Creators of Major Programming Languages
Towards a unified language based on equational logic, rewriting logic, and type theory
A theory and practice of program development
Erfolge und Probleme evolutionärer Algorithmen, induktiver logischer Programmierung und ihrer Kombination
Digitale Netze - Funktionsgruppen digitaler Netze und Systembeispiele
Distributed systems - concepts and design (2. ed.)
Vector optimization - theory, applications, and extensions
Oracle PL/SQL best practices - write the best PL/SQL code of your life: covers Oracle database 11g (2. ed.)
Quantum Approach to Informatics
Leistungsbewertung von Rechensystemen - mittels analytischer Warteschlangenmodelle