yusuke1997/dblp-id-title huggingface dataset:
A practical guide to real-time systems development
Das Mathematica Buch - die offizielle Dokumentation: Mathematica Version 3 (3. Aufl.)
Parallele Algorithmen für geometrische Probleme im R3
Mirror worlds - or the day software puts the universe in a shoebox: how it will happen and what it will mean
Eclipse cookbook - tast-oriented solutions to over 175 common problems: covers Eclipse 3.0
Best iPhone Apps - The Guide for Discriminating Downloaders (2. ed.)
Memory design techniques for low energy embedded systems
Programming iOS 5 - Fundamentals of iPhone, iPad, and iPod touch Development: Covers iOS 5 and Xcode 4.3, 2nd Edition
e-Business and Telecommunication Networks
Word 97 annoyances - taking charge of Word 97
Computers for people (2. ed.)
Document management for hypermedia design
Active Directory Cookbook - solutions for administrators and developers: covers 500 recipes, covers SP1, R2, and ADAM (2. ed.)
Systems of logic
Thinking in complexity - the computational dynamics of matter, mind, and mankind (4. ed.)
Sicherheit in Kommunikationsnetzen - Skript zur Vorlesung an der RWTH-Aachen
Automating specification-based software testing
Objektorientierte Datenbanken - die C++ Anbindung des ODMG-Standards
Datenbanken - Implementierungstechniken, 2. Auflage
Learning LaTeX (2. ed.)
Windows Vista Annoyances - Tips, Secrets, and Solutions
Elementary number theory and its applications (3. ed.)
Cisco IOS - in a nutshell: a desktop quick reference for IOS on IP networks (2. ed.)
Recursion Theory - Computational Aspects of Definability
Objektorientierte Software in der kommerziellen Anwendung
Operating Systems - Internals and Design Principles (7th ed.)
Graphentheoretische Konzepte und Algorithmen, 2. Auflage
Maschinelles Lernen und wissensbasierte Systeme - systematische Einführung mit praxisorientierten Fallstudien
Designing digital space - an architect's guide to virtual reality
Intersection theory, Second Edition
AspectJ cookbook - real-world aspect-oriented programming with Java
Problem solving with Fortran 90 - for scientists and engineers
Markov Decision Processes and the Belief-Desire-Intention Model - Bridging the Gap for Autonomous Agents
Java Language Reference
Digitale Dunkelkammertechnik - Fotobearbeitung und Farbmanagement mit Open-Source- und Shareware-Werkzeugen
Compiler generation for parallel languages from denotational specifications
Geschichts- und Versionsmodellierung komplexer Objekte - Anforderungen und Realisierungsmöglichkeiten am Beispiel des NDBS PRIMA
On the computational complexity of some algebraic counting problems
Fraktale Wolken, virtuelle Flammen - Computer-Emulation und Visualisierung turbulenter Gasbewegung
Visualization toolkit (2. ed.)
TCP/IP network administration - help for Unix system administrators (2. ed.)
Linux annoyances - for geeks: includes desktop management, system setup, and server configuration: for all major distributions
Neural network design and the complexity of learning
Charakterisierung von identifizierbaren Mengen partiell rekursiver Funktionen
Routing Congestion in VLSI Circuits - Estimation and Optimization
INGRES - das relationale Datenbanksystem mit Knowledge-Base und Object-Base
Boolean Functions - Theory, Algorithms, and Applications
Software engineering - principles and practice
Kolmogorov randomness and its applications to structural complexity theory
Color appearance models
UML - Softwareentwicklung mit Objekten und Komponenten: Version 1.3
OSF/Motif style guide - revision 1.1 for OSF/Motif release 1.1
Squeak - open personal computing and multimedia
Probabilistic expert systems
Multivalued differential equations on graphs and applications
Discrete scale-space formulation and multiscale edge extraction toward higher dimensions
YouTube - an insider's guide to climbing the charts
Network models in optimization and their applications in practice
Evolutionary computation - toward a new philosophy of machine intelligence
Hermes - a language for distributed computing
Robert Slade's guide to computer viruses - how to avoid them, how to get rid of them, and how to get help
Einführung in die Systemtheorie - Signale und Systeme in der Elektrotechnik und Informationstechnik (3. Aufl.)
Building an intelligent web - theory and practice: contains IBM DB2 Express-C9
The principles of computer hardware (2. ed.)
Pi - Algorithmen, Computer, Arithmetik (2. Aufl.)
Grundkurs digital fotografieren - Kameratechnik, Bildkomposition, Bildbearbeitung, Bildverwaltung (2. Aufl.)
Dtv-Atlas zur Informatik - Tafeln und Texte
Software testing - a craftsman's approach (3. ed.)
Matrix logic and mind - a probe into a unified theory of mind and matter
Land of Lisp - Learn to Program in Lisp, One Game at a Time!
Professionelle Softwareentwicklung mit PHP 5 - Objektorientierung, Entwurfsmuster, Modellierung, fortgeschrittene Datenbankprogrammierung
Neural networks for conditional probability estimation - forecasting beyond point predictions
Optik in der Rechentechnik - photonisches VLSI und optische Netzwerke
Quantum Theory from First Principles - An Informational Approach
Zur sichtsytemgestützten Demontage am Beispiel von Altfahrzeugen
Tätigkeitsübergreifende Rechnerunterstützung für Automatisierungsprojekte
Numerical Computing with Modern Fortran
Parsing - eine Einführung in die maschinelle Analyse natürlicher Sprache
Logics in Computer Science - A Study on Extensions of Temporal and Strategic Logics
Symbolic Projection for Image Information Retrieval and Spatial Reasoning
Learning computer graphics - from 3D models to animated movies on your PC
Theoretische Informatik - eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
Semantics of programming languages
Mobile ad hoc networks - energy-efficient real-time data communications
Web service detection in service-oriented software development - a semantic syntactic approach
Modularisierung und Fokussierung erweiterbarer komplexer Wissensbasen auf der Basis von Kompetenzeinheiten
Simulation model design and execution - building digital worlds
Markov Random Field Modeling in Computer Vision
TCP / IP sockets in Java - practical guide for programmers
Logik 2 - vollständige Logik der endlich und unendlich großen Größen: Heft 1, Einleitung
Introducing HTML5 Game Development - Developing Games with Impact
Frontiers in Interpolation and Approximation
An introduction to XML and web technologies
Conceptual modeling of information systems
Web privacy with P3P - the platform for privacy preferences
Introduction to PSpice - a supplement to electric circuits (4. ed.)
The Unix operating system - includes AT&T's system V release 2 and Berkeley's version 4.3
Emerging spatial information systems and applications
Modeling and simulation
Webmaster in a nutshell - a desktop quick reference
Completeness and Reduction in Algebraic Complexity Theory
Flow analysis of typed higher-order programs
Adobe InDesign CS2 one-on-one
Kooperative Softwareentwicklung - ein objektorientierter Ansatz
Writing a UNIX device driver (2. ed.)
Network security assessment - know your network (2. ed.)
Toad - pocket reference for Oracle: Toad tips and tricks: covers through V8.5 (2. ed.)
Biochemistry of a forested ecosystem (2. ed.)
Network security fundamentals - project manual
Testability of electronic circuits
Principles of concurrent and distributed programming
Boolean Function Complexity - Advances and Frontiers
Local analytic geometry - basic theory and applications
TCP/IP - Aufbau und Betrieb eines TC/IP-Netzes (2. Aufl.)
Agile Software Development - Current Research and Future Directions
C++ plus data structures (4. ed.)
Automating the logic synthesis of arithmetic-logic-units
Automatic parallelization for a class of regular computation
Glättungskriterien und Algorithmen zum Modellieren von Kurven und Oberflächen
Statistical Performance Analysis and Modeling Techniques for Nanometer VLSI Designs
Imaging Spectroscopy for Scene Analysis
Logical design of digital computers
Sequential optimization of asynchronous and synchronous fintie-state machines
Structure of decidable locally finite varieties
Designing intelligence - a framework for smart systems
Web-Projektmanagement - systematisches Vorgehen bei der Planung, Realisierung und Pflege von Websites
Internetwirtschaft - Das Geschäft des Datentransports im Internet
Linux - Installation, Konfiguration, Anwendung (6. Aufl.)
Adaptive information - improving business through semantic interoperability, grid computing, and enterprise integration
Service-Oriented Computing and Web Software Integration - From Principles to Development (3. ed., rev. pr.)
Register pressure in instruction level parallelism - annexe de these
Code Simplicity - The Science of Software Development
Exploring computer science with scheme (corrected printing)
iMovie 2 - the missing manual: the book that should have been in the box: step-by-step video editing for Macintosh
Recherchieren und Publizieren im World Wide Web - mit HTML-Referenz, inkl. HTML 3.0 und Netscape Navigator 2.0 (2. Aufl.)
An agent-based model of reality in a cadastre
Fixed Point of the Parabolic Renormalization Operator
High-Level Power Analysis and Optimization
Modelling of computer and communication systems
Readings in information visualization - using vision to think
Künstliche Intelligenz - ein Handwörterbuch für Ingenieure
Bitcoin and Cryptocurrency Technologies - A Comprehensive Introduction
Informationsmanagement - bei technisch-organisatorischen Veränderungen
Operating System Concepts, 5th Edition
Building Enterprise Systems with ODP - An Introduction to Open Distributed Processing
CSS Cookbook - Quick Solutions to Common CSS Problems: Updated for Firefox 3, IE 8, and Chrome (3. ed.)
Programming Interactivity - A Designer's Guide to Processing, Arduino, and openFrameworks
Verhaltensorientierte generische Hardwarebeschreibung statistischer Modelle - Markov Random Fields für Low Level Bildverarbeitungsprobleme
The formal relationship between direct and continuation-passing style optimizing compilers - a synthesis of two paradigms
Debian GNU / Linux - Grundlagen, Installation, Administration und Anwendung
Softwaretechnik mit Ada 95 - Entwicklung großer Systeme
Conceptual modeling for user interface development
Codermetrics - Analytics for Improving Software Teams
Implementation of a general-purpose dataflow multiprocessor
Algebraic semantics of imperative programs
Privacy on the line - the politics of wiretapping and encryption (updated expanded ed.)
Implementation of non-strict functional programming languages
Programmierung - eine Einführung in die Informatik mit Standard ML
Coherence: Insights from Philosophy, Jurisprudence and Artificial Intelligence
Two-Dimensional Change Detection Methods - Remote Sensing Applications
Cocoa and Objective-C - Up and Running: Foundations of Mac, iPhone, and iPad Programming
IT Governance in a Networked World - Multi-Sourcing Strategies and Social Capital for Corporate Computing
Didaktik der Informatik - Lehrbuch, 2. Auflage
Oracle8 design tips - an Oracle design companion
IRC hacks - 100 industrial-strength tips and tools
Überladung in Typsystemen
Intel threading building blocks - outfitting C++ for multi-core processor parallelism
A Practical Guide to Testing Object-Oriented Software
Information and meaning - an evolutionary perspective
Software Performance and Scalability - A Quantitative Approach
Adobe Integrated Runtime (AIR) for JavaScript developers - pocket reference: getting started with the beta release of Adobe Integrated Runtime
Data structures with abstract data types and Ada
Fortran 8x - der neue Standard
Genetic Algorithms + Data Structures = Evolution Programs, Third Revised and Extended Edition
Keeping the U.S. computer industry competitive - systems integration ; a colloquium report by the Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications ; National Research Council
LISP - a portable implementation
The MFC answer book - solutions for effective visual C++ applications
TYPO3 - Enterprise Content Management: aktuell zu Version 4.0 (2. Aufl.)
The Rational Unified Process Made Easy - A Practitioner's Guide to the RUP
Network Security Essentials - Applications and Standards (4. ed., internat. ed.)
Representations of commonsense knowledge
Data communications and interoperability
Die digitale Dunkelkammer - vom Kamera-File zum perfekten Print: Arbeitsschritte, Techniken, Werkzeuge
Experimental Human-Computer Interaction - A Practical Guide with Visual Examples
VB.Net language in a nutshell - a desktop quick reference
Routing, flow, and capacity design in communication and computer networks
The Probabilistic Method, Third Edition
Programming embedded systems in C and C++ - thinking inside the box
Webserver betreiben - HTTP und Apache: Grundlagen, Konzepte und Lösungen
Probabilistic Theory of Structures, 2nd Edition
Entwurfsmuster - Design Patterns in der objektorientierten Softwaretechnik
The guide to SQL server
Sparsity - Graphs, Structures, and Algorithms
Kompetenz von IT-Experten in internetbasierten Gründungsunternehmen - eine conjointanalytische Untersuchung von Präferenzen und Wertwahrnehmung
Approximation algorithms
Programming Projects in C - for Students of Engineering, Science, and Mathematics
ePassport - The World's New Electronic Passport: A Report about the ePassport's Benefits, Risks and its Security
The Art of Mathematics - Coffee Time in Memphis
Informatik an der Universität der Bundeswehr - seit 20 Jahren ; Bericht der Fakultät für Informatik
A course in universal algebra
The AutoCAD reference guide - release 13 (3. Aufl.)
Dynamische objektorientierte Interaktion und ihre Implementierung im Rahmen eines Schnittstellenverwaltungssystems
Computation by tree transductions
Digital woes - why we should not depend on software
Logic and approximation
UML 2.0 - pocket reference: UML syntax and usage
The role of side information in steganography
Autonomous Intelligent Vehicles - Theory, Algorithms, and Implementation
Applied cryptography - protocols, algorithms, and source code in C, 2nd Edition
Fachwörterbuch Elektronische Medien und Dienste - Deutsch / Englisch - Englisch / Deutsch
Übersetzung objektorientierter Programmiersprachen - Konzepte, abstrakte Maschinen und Praktikum Java-Compiler
Learning PHP and MySQL - step-by-step guide to creating database-driven web sites
Amazon hacks - 100 industrial-strength tips and tools
Leben als Maschine? - Von der Systembiologie zur Robotik und Künstlichen Intelligenz
eLearning - Einsichten und Aussichten
Occam 2 - reference manual ; INMOS Limited
On the automation of physical database design
MS WORKS-Praxis für kaufmännische Berufe - Anwendungen mit Einführung in MS WORKS
Electronic commerce and business communications
Unified objects - object-oriented programming using C++
Think Complexity - Exploring Complexity Science with Python
Grammatikalische Sprachfamilien mit endlichem Index
Image synthesis
The beauty of fractals - images of complex dynamical systems
The art of digital design - an introduction to top-down design, Second Edition
Architecture-Independent Programming for Wireless Sensor Networks
A technical introduction to digital video
OSI - a model for computer communications standards
KABA - a system for refactoring Java programs
Mobile Interaction Design
Rapid prototyping for object-oriented systems
Logical introduction to databases
Springer Handbook of Geographic Information
Bioinspired Computation in Combinatorial Optimization
An introduction to mathematical logic and type theory - to truth through proof
Real-time microcomputer system design - an introduction
Basiswissen Softwaretest - Aus- und Weiterbildung zum Certified Tester, Foundation Level nach ISTQB-Standard (3. Aufl.)
What Every Engineer Should Know About Developing Real-Time Embedded Products
Techniques and Applications of Digital Watermarking and Content Protection
PHP - The Good Parts: Delivering the Best of PHP: includes PHP 5.3 Good Parts
Informationsverwaltung für Software-Projekte
Objektorientiertes Metamodell für die Software-Entwicklung
Network Congestion Control - Managing Internet Traffic
Simulating, analyzing, and animating dynamical systems - a guide to XPPAUT for researchers and students
Preferential disambiguation in natural language processing
Visuelle Programmierung - Computerprogramme auf graphischem Wege erstellen
Coloured Petri Nets - Modelling and Validation of Concurrent Systems
Building your own web conferences - includes WebBoard version 2.0 software for Windows 95 and Windows NT
XBox fan book - rock the box
Kellererweiterte Polyautomaten
Evaluating derivatives - principles and techniques of algorithmic differentiation, Second Edition
Vehicle Safety Communications - Protocols, Security, and Privacy
Decision analysis, location models, and scheduling problems
Programming in PARLOG
SWT - a developer's notebook
Combinatorial species and tree-like structures
Foundations of Time-Frequency Analysis
VLSI chip design with the hardware description language VERILOG - an introduction based on a large RISC processor design
Introduction to Interval Analysis
Übungsbuch Datenbanksysteme
Informations- und Codierungstheorie - mathematische Grundlagen der Daten-Kompression und -Sicherung in diskreten Kommunikationssystemen (3. Aufl.)
Computerprojekte im Klartext
Der Computer - mein Lebenswerk, 2. Auflage
Dynamic Vision for Perception and Control of Motion
Modellierung und Entwurf heterogener Systeme
Antilinguistics - a critical assessment of modern linguistic theory and practice
Machine Learning Techniques for the Analysis of High-Throughput DNA and RNA Sequencing Data
XMPP - The Definitive Guide: Building Real-Time Applications with Jabber Technologies
Painting the web - catching users's eyes: and keeping them on your site
Integrated system-level modeling of network-on-chip enabled multi-processor platforms
Nichtnumerische Datenverarbeitung - dialogfähige Datenbanken und Informationsnetze, Computerschach und maschinenunterstützte Sprachübersetzung, Automation in Bibliotheken, künstliche Intelligenz und Computerkunst, Datenverarbeitung in Medizin und Chemie, Simulation von Entscheidungsprozessen, Rechtsinformatik (2. Aufl.)
Algebra der Rechnerarchitekturen
Combinatorial Pattern Matching Algorithms in Computational Biology Using Perl and R
Verteilte Systeme - Prinzipien und Paradigmen, 2. Auflage
Applied structural and mechanical vibrations - theory, methods and measuring instrumentation
Abstract and Concrete Categories - The Joy of Cats
Testing object-oriented software - life cycle solutions
Festschrift 10 Jahre Forschungszentrum Informatik Karlsruhe - FZI
Inductive logic programming - from machine learning to software engineering
Squid - Administrationshandbuch zum Proxyserver (2. Aufl.)
Implementing practical DB2 applications (2. ed.)
Einführung in Java - objektorientiertes Programmieren mit der Java 2-Plattform
Binary Decision Diagrams - Theory and Implementation
Computing systems reliability - models and analysis
TOAD - pocket reference for Oracle: TOAD tips and tricks
Eine biologisch motivierte adaptive Bewegungssteuerung für eine vierbeinige Laufmaschine
Referenzmodelle für IT-Governance - strategische Effektivität und Effizienz mit COBIT, ITIL und Co: mit einem Praxisbericht
Linux Power Pack - zum Durchstarten: Linux 2.0, LST 2.2
Introduction to Automata Theory, Languages and Computation, Second Edition
Distributed simulation using relaxed timing
Theory of nets - flows in networks
Practical Model-Based Testing - A Tools Approach
Java distributed computing
Tables of integrals and series
Foundations of genetic programming
Information, Organization and Management
Learning to program the object-oriented way with C#
Mathematik für Informatik und BioInformatik
Metaprogramming Elixir - Write Less Code, Get More Done (and Have Fun!)
Der C / C++ -Projektbegleiter - C / C++ -Projekte planen, dokumentieren, bauen und testen
Planbasierte Hilfeverfahren für direkt-manipulative Systeme - Erkennung, Vervollständigung und Visualisierung von Interaktionsplänen
Schaltsysteme - eine automatenorientierte Einführung
Transformations and projections in computer graphics
Internet of Things - Legal Perspectives
The Z notation - a reference manual
Optimization algorithms in physics
Canonical forms in finitely presented algebras
Restful .Net - build and consume RESTful web services with .NET 3.5
Disocclusion filling in depth-based view synthesis and depth map enhancement
Probability with Martingales
Unscharfe Entscheidungsbäume
Materials science and engineering for the 1990s - maintaining competitiveness in the age of materials
Digital communication (3. ed.)
Digraphs - theory, algorithms and applications
Continuous queries over data stream - semantics and implementation
Infografiken gestalten - Techniken, Tips und Tricks
Understanding the Linux Kernel - from I / O ports to process management: covers Linux Kernel version 2.4 (2. ed.)
Principles of protocol design
Interactive 3D graphics in Windows
Making small spaces feel large: self-motion perception, redirection and illusions
Mathematische Linguistik - eine Einführung
Überwachung total - Wie wir in Zukunft unsere Daten schützen
Algorithmische Graphentheorie (2. Aufl.)
Open Security
Introduction to Programming Concepts with Case Studies in Python
Introduction to programming with Mathematica
Programming iOS 4 - Fundamentals of iPhone, iPad, and iPod touch Development: Covers iOS 4.3 and Xcode 4
Informatik - Programmierung
Die Therapiesteuerungskomponente einer wissensbasierten Systemarchitektur für Aufgaben der Prozeßführung
Machine Learning for Hackers - Case Studies and Algorithms to Get You Started
Web security and commerce - risks, technologies, and strategies
Graphisch-interaktive Strömungsvisualisierung
Artificial intelligence - theory and practice
Hackers - Heroes of the Computer Revolution
Computational neuroscience of vision
Extreme programming explained - embrace change, Second Edition
Software Engineering - mit UML und dem Unified Process (2. Aufl.)
Linux - pocket guide: essential commands: covers Fedora Linux
A framework for planning with incrementally created graphs in attributed problem spaces
Modellierung mit UML - Sprache, Konzepte und Methodik, 2. Auflage
Understanding neural networks and fuzzy logic - basic concepts and applications
Ubiquitous Computing for Business - Find New Markets, Create Better Businesses, and Reach Customers Around the World 24-7-365
Java - die Sprachspezifikation: die offizielle Dokumentation von JAVASOFT
Google Analytics - Understanding Visitor Behavior
Computer communications and networks (2. ed.)
Modellierung und Leistungsbewertung lokaler Hochgeschwindigkeitsnetze
Entwurf und Technologie hochintegrierter Schaltungen
PC annoyances - how to fix the most annoying things about your personal computer, Windows, and more (2. ed.)
Multibook - Multimedia-Technologie Powerpack
The Radon Transform and Medical Imaging
Placement and global routing of VLSI Macro-cell layouts using genetic algorithms
HTML5 Canvas - Native Interactivity and Animation for the Web
X toolkit intrinsics programming manual - OSF/Motif 1.1 edition for X11, release 4 (motif Edition)
Predicate Calculus and Program Semantics
Climate Modeling for Scientists and Engineers
Security in computing
An Introduction to Description Logic
dbase IV essentials
Performance modelling of communication networks and computer architectures
mod_perl - pocket reference: extending Apache
IPv6 essentials - integrating IPv6 into your IPv4 network (2. ed.)
Mapping Scientific Frontiers - The Quest for Knowledge Visualization, 2nd Edition
Representing and reasoning with probabilistic knowledge - a logical approach to probabilities
Performance models of multiprocessor systems
Realm of Racket - Learn to Program, One Game at a Time!
XView programming manual - for version 11 of the X window system
Logik für Informatiker - eine Einführung
Das BSP-Praxisbuch - Business Server Pages verstehen und einsetzen
The computer image
Systems Biology of RNA Binding Proteins
Anfragebearbeitung in einem Datenbank-Kernsystem für Geo-Anwendungen unter Verwendung einer generischen Komponente zur Anfrageoptimierung
Synthese und Simulation von VLSI-Systemen - Algorithmen für den rechnerunterstützten Entwurf hochintegrierter Schaltungen
Advanced Network Programming - Principles and Techniques
Modern digital design and switching theory