yusuke1997/dblp-id-title huggingface dataset:
Strong normalization in a typed lambda calculus with lambda structured types
Computer networks, 4th Edition
Labelled Markov Processes
A recursive introduction to the theory of computation
Programming in C++ (3. ed.)
Managing software quality - a measurement framework for assesment and prediction
Internet-Programmierung unter Windows
Information systems reengineering
Overlay Networks - Toward Information Networking
Number Theory and Related Fields, In Memory of Alf van der Poorten
iPhone Game Development - Developing 2D and 3D games in Objective-C
Die C++ Programmiersprache (2. Aufl.)
Squeak - a quick trip to ObjectLand
A primer of probability logic
Partial Differential Equation Methods for Image Inpainting
Analog VLSI design - nMOS and CMOS
An introduction to the theory of numbers (5. ed.)
Cloud Computing - Web-basierte dynamische IT-Services
Head first object-oriented analysis and design - a brain-friendly guide to OOA&D
HTML Handbuch - WWW-Projekte richtig planen, Style Sheets, Frames, Layer, Graphik richtig einsetzen, Java Applets und JavaScripts, Tips und Tricks zu HTML
The construction of reality
IBM Microcomputer assembly language - beginning to advanced
People, Problems, and Proofs - Essays from Gödel's Lost Letter: 2010
Software quality - concepts and plans
Ada - language and methodology
Rational curves on algebraic varieties
Getting Started with D3 - Creating Data-Driven Documents
Big book of Windows hacks - tips and tools for unlocking the power of your Windows PC
Artificial reality II
A little Java, a few patterns
Fundamentals of differential equations (4.ed.)
What computers still can't do - a critique of artificial reason
Aussagenlogik - Deduktion und Algorithmen
Erwerb rekursiver Programmiertechniken als Induktion von Konzepten und Regeln - ein kognitionswissenschaftlicher Zugang zum Erwerb kognitiver Fertigkeiten
A case study in distributed planning for autonomous cooperating agents
Software systems construction with examples in Ada
Simple games - desirability relations, trading, pseudoweightings
Software Engineering, 8. Auflage
Macromedia Director für Durchstarter (3. Aufl.)
The art of software testing (2. ed.)
Foundations of intelligent knowledge-based systems
Java programming with Oracle SQLJ - Oracle and Java Programming: covers SQLJ in Oracle9i
Modern database management (4. ed.)
Head first JavaScript - a brain-friendly guide
Struktur und Interpretation von Computerprogrammen - eine Informatik-Einführung (3. Aufl.)
Designing for the Web - getting started in a new medium
3D Video Coding for Embedded Devices - Energy Efficient Algorithms and Architectures
Being Geek - The Software Developer's Career Handbook
Genetic programming - on the programming of computers by means of natural selection
Flexible und effiziente Kommunikationssysteme für Hochleistungsnetze
Communication complexity
Web caching - reducing network traffic
Network Coding - an Introduction
Data mining the web - uncovering patterns in web content, structure, and usage
Autonomous dynamic reconfiguration in collaborative problem solving
Building the Realtime User Experience - Creating Immersive and Interactive Websites
MP3 - the definite guide: mastering the MP3 audio experience
The design and implementation of the 4.3 BSD Unix operating system
Conversations with a mathematician - math, art, science and the limits of reason
Abstract homotopy and simple homotopy theory
Lineare Algebra - ein geometrischer Zugang
Ad Hoc Wireless Networks - A Communication-Theoretic Perspective
Duality of the mind - a bottom-up approach toward cognition
Exploratives Konfigurieren - über die Unterstützung des Benutzers bei computergestützten explorativen Tätigkeiten
Euclidean Shortest Paths - Exact or Approximate Algorithms
Java NIO - regular expressions and high-performance I/O
Nonlinear parabolic and elliptic equations
Entwurf und Implementierung eines generischen Mechanismus zur dynamischen Einbettung multimedialer Daten in VRML-Szenen auf der Basis eines objektrelationalen DBMS
Programming WPF - building Windows UI with Windows Presentation Foundation: includes 3D and silverlight tutorials (2. ed.)
Unterstützung des Entwurfs konsistenzerhaltender Datenbankanwendungsprogramme
Mathematical elements for computer graphics (2. ed.)
Theorem proving with the real numbers
Mathematica griffbereit - Version 2
Mining the web - discovering knowledge from hypertext data
An introduction to domain decomposition methods - algorithms, theory, and parallel implementation
Computational Intelligence - A Methodological Introduction
Erste Schritte mit Mathematica - Version 2.2.3 (2. Aufl.)
NetWare LANs - performance and troubleshooting
The Creative Mind - Myths and Mechanisms (2. ed.)
Digital systems design with programmable logic
Methoden und Techniken der System-Entwicklung, 2. Auflage
Object-oriented networks - models for architecture, operations, and management
Interface design - the art of developing easy-to-use software
X window system user's guide - OSF / Motif edition
Linux Power Pack - Inhalt: Linux Lehrbuch, Linux 1.2 (LST 2.1-Distribution) auf CD-ROM, 2. Auflage
DOS, UNIX - networking and internetworking
Algorithms for games
Algorithmen und Bewertungssysteme für die ähnlichkeitsbasierte Proteinstrukturvorhersage
What is thought?
Code recognition and set selection with neural networks
Software-Entwicklungswerkzeuge - methodische Grundlagen (2. Aufl.)
Production workflow - concepts and techniques
The seasoned schemer
Case-Based Reasoning - A Textbook
Hierarchical modeling and analysis of timed systems
Einführung in die Programmiersprache FORTRAN 77 - Skriptum für Hörer aller Fachrichtungen ab 1. Semester
Funktionale Programmierung - Sprachdesign und Programmiertechnik
Linux multimedia hacks - tips and tools for taming images, audio, and video
Set theory, Second Edition
Secrets and lies - IT-Sicherheit in einer vernetzten Welt
A fast reconfigurable ALU for Xputers
107 Geometry Problems - From The AwesomeMath Year-Round Program
The Structure and Stability of Persistence Modules
The indispensable guide to C - with engineering applications
Markov localization - a probabilistic framework for mobile robot localization and navigation
Developing Web Components - UI from jQuery to Polymer
Scheduling data transfers in parallel computers and communications systems
SGML handbook
Computational complexity of differential and integral equations - an information-based approach
The Go Programming Language - Phrasebook
Sicherheitsmodellierung und Zugriffskonstrolle in verteilten Systemen - digitale Mehrparteien-Zertifizierung (MPZ) für mehrparteiengerechte Systemsicherheit
Backup and recovery - inexpensive backup solutions for open systems: covers Windows, Linux, Unix, and OS X
Data structures, algorithms, and software principles
Regelung sinusförmiger Systemgrössen bei Asynchronmaschine und aktivem Saugkreis
Statistical optimization for geometric computation - theory and practice
Performance analysis of network architectures
Smalltalk and object orientation - an introduction
Variational design of rational Bezier curves and surfaces
Context Management for Distributed and Dynamic Context-Aware Computing
Kryptografie in Theorie und Praxis - mathematische Grundlagen für elektronisches Geld, Internetsicherheit und Mobilfunk
Negation as failure in explanation-based generalization
Neural network learning and expert systems
Better Game Characters by Design - A Psychological Approach
Real world web services - integrating eBay, Google, Amazon, FedEx, and more
Information warefare and security
Motion and visibility in simple polygons
Mehrdimensionale Fast Rule Filterautomaten
Optimale systolische Präfixberechnungen - ein praxisrelevanter Beitrag zum Entwurf effizienter paralleler Algorithmen
Implicit objects in computer graphics
Measurement of human locomotion
Science on the web - a connoisseur's guide to over 500 of the best, most useful and most fun science websites
The CORBA reference guide - understanding the common object request broker architecture
Programming Python (2. ed.)
Software development with Z - a practical approach to formal methods in software engineering
Content and multimedia database management systems
Oracle scripts - powerful tools for DBAs and developers: covers Oracle8
Algebra I - basic notions of algebra
Computer pioneers
Graphic Java - das AWT beherrschen
Discrete systems - analysis, control and optimization
Database Design and Relational Theory - Normal Forms and All That Jazz
Optimization with PDE Constraints
Self-regularity - a new paradigm for primal-dual interior-point algorithms
Refactoring SQL applications
Logisches Schließen mit massiv parallelen Methoden
Algebraic structures in automata and databases theory
Neuronale Netze - Modelle und Anwendungen
Chipkarten-Systeme erfolgreich realisieren - das umfassende, aktuelle Handbuch für Entscheidungsträger und Projektverantwortliche
Recordkeeping, ethics and law - regulatory models, participant relationships and rights and responsibilities in the online world
Controlling exoskeletons with EMG signals and a biomechanical body model
Closing the Power Gap between ASIC and Custom - Tools and Techniques for Low Power Design
UNIX networks - an overview for system administrators
Finite difference methods for ordinary and partial differential equations - steady-state and time-dependent problems
Linear logic based calculi for object Petri nets
Reasoning about program transformations - imperative programming and flow of data
Any time, anywhere computing - mobile computing concepts and technology
On the way to component-based 3D / 4D geoinformation systems
FORTRAN-Programme zur Methode der finiten Elemente (3. Aufl.)
Designing the search experience - the information architecture of discovery
Applied probability and queues, Second Edition
Matlab guide, Second Edition
The grid - core technologies
Simula Research Laboratory, by Thinking Constantly about it
Fundamente der Informatik - funktionale, imperative und objektorientierte Sicht, Algorithmen und Datenstrukturen, 2. Auflage
VB.NET language - pocket reference: syntax and descriptions of the Visual Basic .NET language
Constructions, inductive types and strong normalization
Hypermedia systems and applications - world wide web and beyond
Effiziente Algorithmen - Entwurf und Analyse
DERIVE für den Mathematikunterricht
Managing the Windows NT registry - help for Windows NT system administrators
A guide to publishing user manuals
WebGL - Up and Running: Building 3D Graphics for the Web
Computer-related risks
Diskrete Mathematik im Klartext
Logic design theory
ATM in TCP/IP-Netzen - Grundlagen und Migration zu High Speed Networks
Nonlinear Programming - Theory and Algorithms, Second Edition
Integrated graphic and computer modelling
What you need to know using email effectively
Understanding Machine Learning - From Theory to Algorithms
DCE security programming - OSF distributed computing environment
Zuverlässigkeit technischer Systeme - mathematische Methoden für den Anwender
Similarity search in high-dimensional vector spaces
Entscheidbarkeitsfragen und Hierarchieresultate für Mehrkopfautomaten
Securing Ajax applications - ensuring the safety of the dynamic web
Fundamental networking in Java
The pattern recognition basis of artificial intelligence
Performance engineering of software systems
Digital photography - pocket guide
Cognitive science in Europe - a report from the FAST programme of the Commission of the European Communities
Client/Server-Systeme - Grundlagen und Architekturen
Web and information security
MathTensor - a system for doing Tensor analysis by computer
Fundamental problems of algorithmic algebra
Informatik - Datenstrukturen und Konzepte der Abstraktion
Entwicklung von Multimedia-Projekten mit Macromedia Director und Lingo - für Macintosh und Windows
Das Schülerinteresse am Computer und seine Berücksichtigung bei der didaktisch-methodischen Gestaltung des informationstechnischen Unterrichtes
Reasoning by analogy and causality - a model and application
Comparative programming languages (2. ed.)
Der Turing Omnibus - eine Reise durch die Informatik mit 66 Stationen
Logistik Managementsysteme - Grundlagen und informationstechnische Umsetzung
Engineering foundations of robotics
ISDN am Computer
Overloading, subtyping and late binding - functional foundation of object-oriented programming
DB2 for Windows NT Fast
Konzepte zur Entwicklung von abstrakten Verhaltensmodellen analoger Funktionsblöcke für die Systemsimulation
Schnelle interaktive Bildgenerierung von linien- und flächenorientierten Objekten in Rastersystemen
Computational complexity - a conceptual perspective
XING - Networking im Internet (3. Aufl.)
Eclipse IDE pocket guide - using the full-featured IDE
Internet und Recht (2. Aufl.)
Competitive algorithms for the array updating problem in functional languages
Intelligente Informationssysteme
Statistical Reinforcement Learning - Modern Machine Learning Approaches
Real-Time Systems - the past, the present, and the future
Oracle PL / SQL language - pocket reference: a guide to Oracle's PL / SQL language fundamentals: covers Oracle Database 10g (3. ed.)
Windows 7 - The Definitive Guide: The Essential Resource for Professionals and Power Users
Handbook of Nature-Inspired and Innovative Computing - Integrating Classical Models with Emerging Technologies
Etude de la notion de pile application à l'analyse syntaxique
ACM Turing award lectures - the first twenty years ; 1966 to 1985
Parallel computation on regular arrays
The Geek Atlas - 128 Places Where Science and Technology Come Alive
PC hardware in a nutshell - a desktop quick reference (2. ed.)
Effiziente Systementwicklung mit ORACLE - ein Handbuch für die Praxis des Anwendungsentwicklers
Numerische Simulation in der Strömungsmechanik - eine praxisorientierte Einführung
Industrieroboter - zur Archälogie der zweiten Schöpfung
Reduce - software for algebraic computation
New Directions in the Philosophy of Science
Designing interfaces - patterns for effective interaction design (2. ed.)
The Economics of Financial and Medical Identity Theft
Principles of constraint programming
Content extraction - identifying the main content in HTML documents
Parallel MATLAB - for Multicore and Multinode Computers
RFID in Deutschland - Status quo, Chancen und Hürden aus Unternehmersicht
Vorhersage von Genduplikationen und deren Entwicklung in der Evolution
Java Language Reference - Covers Java 1.1 (2. ed.)
Simple program design (2. ed.)
Learning as knowledge integration
Adventures in UNIX network applications programming
Problems on algorithms
PNG - the definitive guide: creating and programming portable network graphics
Excel 2000 in a nutshell - a power user's quick reference
Einführung in die computerorientierte Mathematik mit Sage
Parallele Abarbeitung logischer Programme auf einem Multi-Transputer-System
Aufbau und Pflege eines Wörterbuches für die automatische Indexierung
Principles of object-oriented modeling and simulation with Modelica 2.1
Visual C# 2005 - a developer's notebook
Prediction, learning, and games
Algorithmik - Theorie und Praxis
Extrapolation methods - theory and practice
The role of features and aspects in software development: similarities, differences, and synergetic potential
Towards a strictness analyser for Haskell - putting theory into practice
Algorithmic Algebra
Server für WWW, E-Mail, FTP und Co - ein Workshop zum Aufbau und Einsatz von Internetdiensten: unter Windows und Linux
Elektronische Analogrechner - Wirkungsweise und Anwendung
A type-oriented approach to the specification and formal semantics of a distributed, heterogeneous object system
Automated theorem-proving in non-classical logics
Brains, machines and mathematics (2. ed.)
Subjektorientiertes Prozessmanagement - Mitarbeiter einbinden, Motivation und Prozessakzeptanz steigern
Die Mikrokontroller 8051, 8052 und 80C517
Computer Arithmetic and Validity - Theory, Implementation, and Applications
Practical systems analysis - a guide for users, managers and analysts
The Scientific Article in the Age of Digitization
Embedded System Design - Embedded Systems Foundations of Cyber-Physical Systems, Second Edition
Concepts of programming languages (4. ed.)
Einführung in die theoretische Informatik - formale Sprachen und Automatentheorie (4. Aufl.)
Programming Windows presentation foundation - building Windows XP / Vista user interfaces: AKA: Avalon
Berechnung von Blockierungswahrscheinlichkeiten
Robust algorithms in a program library for geometric computation
Wir stiften Wissen 2007 - Impulse für die Wissenschaft 2007: aus der Arbeit der Volkswagenstiftung
The temporal logic of reactive and concurrent systems - specification
Data visualization - principles and practice
Towards a theory of representations for genetic and evolutionary algorithms - development of basic concepts and their application to binary and tree representations
Coarse-grained reconfigurable architecture design space exploration
An introduction to object-oriented programming in C++ - with applications in computer graphics
Verification and Control of Hybrid Systems - A Symbolic Approach
AIX UNIX: System V.4 Begriffe, Konzepte, Kommandos
Environmental information systems
Das GTK+ / GNOME-Entwicklerhandbuch
Introduction to robotics - mechanics and control (2. ed.)
Open Learning Cultures - A Guide to Quality, Evaluation, and Assessment for Future Learning
Electronic analog computers - D-c analog computers (2. ed.)
Quantitative system performance - computer system analysis using queueing network models
Deciding classes of clause sets by resolution
Accessible access 2003
Datenschutzrecht - schnell erfasst
LATEX zum Loslegen - ein Soforthelfer für den Alltag
Computer graphics in application
Formalisierung von unsicherem Wissen
Objektorientiertes Testen und Testautomatisierung in der Praxis - Konzepte, Techniken und Verfahren
Involution - The Formal Theory of Differential Equations and its Applications in Computer Algebra
Embedded system design - a unified hardware / software introduction
Introduction to functional programming using Haskell, Second Edition
Python pocket reference - Python in your pocket: covers Python 2.4
Workshop InDesign CS2 - ein Lern- und Arbeitsbuch
Automata and computability
Entwurfsunterstützung für graphische Bedienungsoberflächen
Conceptual schema and relational database design - a fact oriented approach
Getting connected - the internet at 56K and up
Video compression techniques
Multivariate statistical process control with industrial applications
Darstellungsform positiv angeordneter Halbgruppen
Head First Rails - a brain-friendly guide
CyberMedienWirklichkeit - virtuelle Welterschließungen
Inductive Dependency Parsing
Reflections on the Work of C. A. R. Hoare
Head First C - a Brain-Friendly Guide
Jahresbericht 1995 FZI
Constrained shortest paths and related problems - constrained network optimization
Binary digital image processing - a discrete approach
Entwicklung multimedialer Anwendungen - eine systematische Einführung
A graph-based appproach to resolution in temporal logic
Einführung in die Spieltheorie - mit Beispielen und Aufgaben
Parallel and distributed computation
Aufbau betrieblicher Informationssysteme - mittels pseudo-objektorientierter, konzeptioneller Datenmodellierung (8. Aufl.)
Developing intelligent agent systems - a practical guide
Methodik der Programmierung in Pascal (4. Auflage)
A General Framework for Flow Control in Wireless Networks
Konstruktives Design - ein ökologischer Ansatz zur Gestaltung interaktiver Systeme
Perl hacks - tips and tools for programming, debugging, and surviving
Die Evolution von Modellierungssprachen
Software-Entwurf - Methoden und Werkzeuge, 3. Auflage
Parallel computer architecture
Prinzipien und Realisierung von Betriebssystemen (3. Aufl.)
Strategisches Informationsmanagement - Bedeutung und organisatorische Umsetzung, 2. Auflage
3D-Graphik mit HOOPS - Einführung in die Programmierung: für DOS-, Windows-, UNIX- und Mac-Systeme
Expert C programming - deep C secrets
Classifier Learning for Imbalanced Data - a Comparison of kNN, SVM, and Decision Tree Learning
Design Methodology for Intelligent Technical Systems, Develop Intelligent Technical Systems of the Future
Semantic Web and Peer-to-Peer - Decentralized Management and Exchange of Knowledge and Information
Software-Prüfung - eine Anleitung zum Test und zur Inspektion (3. Aufl.)
Numerical Linear Algebra and Applications (2. ed.)
The handbook of formulas and tables for signal processing
Introduction to digital signal processing - Computer Musically Speaking
Practical C++ programming - programming style guidelines (2. ed.)
Net lessons - web-based projects for your classroom
Sensor-actuator supported implicit interaction in driver assistance systems
Shockwave studio - designing multimedia for the web
Securing Windows server 2003 - hands-on advice for security and implementing Windows server 2003
Wizards and their wonders - portraits in computing
iBook fan book - smart and beautiful to boot
Proof Analysis - A Contribution to Hilbert's Last Problem
Theoretische Informatik - eine problemorientierte Einführung
Essential system administration (2. ed.)
Mathematical control theory - an introduction
Computational Intelligence: An Introduction, Second Edition
YUI 3 Cookbook - Writing Maintainable Applications
Automated Theory Formation in Pure Mathematics
Cisco networking Academy Program - Lehrbuch 1. und 2. Semester: autorisiertes Kursmaterial zur Bildungsinitiative Networking
Essential Java 3D fast - developing 3D graphics applications in Java
Multimedia-Technologie - Einführung und Grundlagen
Workflow-Management in verteilten Systemen - Entwurf und Betrieb geregelter arbeitsteiliger Anwendungssysteme, 2. Auflage
Numerical methods that work
Realistische Modellierung von Bewegung und Datenverkehr in Katastrophenszenarien
Learning Rails - Rails from the outside in
Digitale Systeme - Grundlagen (4. Aufl.)
Product Release Planning - Methods, Tools and Applications
Low-noise wide-band amplifiers in bipolar and CMOS technologies
Techniques and heuristics for acquiring symbolic knowledge from examples
Dependability Benchmarking for OLTP Systems - A Mandatory Path
Principles of verifiable RTL design - a functional coding style supporting verification processes in Verilog
Java data objects - store objects with Ease
SQL Server 2005 - eine umfassende Einführung
The UML profile for framework architectures
Developing ambient intelligence - proceedings of the first international conference on ambient intelligence developments
Methods and applications of interval analysis
The Art of Application Performance Testing - Help for Programmers and Quality Assurance
CSS Pocket Reference - Visual Presentation for the Web: Covers CSS3, 4th Edition
Processing structured hypermedia - a matter of style
The representation theory of finite groups
Feature-Oriented Software Product Lines - Concepts and Implementation
Program modules, separate compilation, and intermodule optimisation
Fast algorithms - a multitape Turing machine implementation
XML pocket reference - extensible markup language: covers XSLT (2. ed.)
Internet forensics - using digital evidence to solve computer crime
Multifaceted Approaches to Music Information Retrieval
Home networking annoyances - how to fix the most annoying things about your home network
Turbo prolog - an introduction
Active Directory Cookbook - solutions for administrators and developers: covers Windows 2008, Echange 2007, and PowerShell (3. ed.)
Der CSS-Problemlöser - über 100 häufige Probleme mit Cascading Stylesheets und wie man sie löst
Flash hacks - 100 industrial-strength tips and tools: covers Flash MX 2004
Belief Revision in Non-Classical Logics
Using the STL - the C++ standard template library
Design for multimedia learning
Bildverarbeitung interaktiv - eine Einführung mit multimedialem Lernsystems auf CD-ROM
Oracle data dictionary - pocket reference: views, columns and tips
Distributed operating systems
Non-classical Aspects in Proof Complexity
Vicious circles - on the mathematics of non-wellfounded phenomena
A Theory of Objects
Algorithmic graph theory
CASE Method - Entity Relationship Modellierung
Compact Riemann Surfaces - An Introduction to Contemporary Mathematics, Third Edition
Programmierwerkzeuge - Versionskontrolle, Konstruktion, Testen, Fehlersuche unter Linux / Unix
Shaping Internet Governance - Regulatory Challenges