yusuke1997/dblp-id-title huggingface dataset:
Selbstverifizierende mathematische Softwarewerkzeuge im High Performance Computing - Konzeption, Entwicklung und Analyse am Beispiel der parallelen verifizierten Lösung linearer Fredholmscher Integralgleichungen zweiter Art
Web 2.0 Architectures - What entrepreneurs and information architects need to know
The computational brain
Number theory for computing (2. ed.)
Commentary on standard ML
Specification of abstract data types
Deterministic global optimization - theory, methods and applications
Mastering algorithms with C - useful techniques from sorting to encryption
Learning XSLT - a hands-on introduction to XSLT and Xpath
Step - an introduction
Graph reduction on shared-memory multiprocessors
Head First HTML5 Programming - Building Web Apps with JavaScript: a Brain-Friendly Guide
Programming in Prolog (4. ed.)
The object of Java - introduction to programming using software engineering principles: covers Java 5.0 (2. ed.)
Access cookbook - solutions to user interface and programming problems (2. ed.)
Companion to the papers of Donald Knuth
Automated network management systems - current and future capabilities
Java in der Telekommunikation - Grundlagen, Konzepte, Anwendungen
Local search algorithms for combinatorial problems - analysis, improvements, and new applications
Modern differential geometry of curves and surfaces with Mathematica (2. ed.)
What is this thing called science? - an assessment of the nature and status of science and its methods (2. ed.)
The complexity of subclasses of logical theories
Distributed systems - concepts and designs (3. ed.)
Numerical methods for bifurcations of dynamical equilibria
Programmentwicklungsumgebungen - Konzepte und Realisierung
Adaptive Modelle und Invarianten für zweidimensionale Bilder
Die Sprache des Web - Informationen aufbereiten und präsentieren im Internet (3. Aufl.)
Optimierung von Fuzzy-Controllern - von Untersuchungen hybrider Neuro-Fuzzy-Systeme zum Entwurf des universellen konnektionistischen Modells MFOS: Münsteraner-Fuzzy-Optimierungs-System
Socially Enhanced Services Computing, Modern Models and Algorithms for Distributed Systems
Rich-Client-Entwicklung mit Eclipse 3.1 - Anwendungen entwickeln mit der Rich Client Platform
Abstract data types and Modula-2 - a worked example of design using data abstraction
Design of self-testing checkers for unidirectional error detecting codes
Learning Python - powerful object-oriented programming (3. ed.)
Abstraction mechanisms and language design
Developing Large Web Applications - Producing Code That Can Grow and Thrive
Applied stochastic processes and control for jump-diffusions - modeling, analysis, and computation
Syntaxe des langages de Chomsky - essai sur le determinisme
Algorithm design
MH and xmh - e-mail for users and programmers (2. ed.)
Calendrical calcuations - the millenium edition
Fallbasiertes Klassifizieren - Methoden, Integration und Evaluation
Algorithms in C++ - part 5: graph algorithms (3. ed.)
Jakarta struts cookbook - mastering Jakarta struts, solution by solution: covers struts 1.2
Das digitale Wir - Unser Weg in die transparente Gesellschaft
Strategic Research Agenda for Multilingual Europe 2020 - presented by the META Technology Council
Computability of Julia Sets
Distributed execution environments for the CODE 2.0 parallel programming system
Artificial neural networks - learning algorithms, performance evaluation, and applications
Multiple decision procedures - theory and methodology of selecting and ranking populations
Electronic Commerce - zwischenbetriebliche Geschäftsprozesse und neue Marktzugänge realisieren (2. Aufl.)
Handbook of Mathematical Models in Computer Vision
Datenbankservices im Dialog - die Entwicklung des Online-Marktes
The IT measurement compendium - estimating and benchmarking success with functional size measurement
The semantic web - a guide to the future of XML, web services, and knowledge management
Client/Server-Datenbank-Programmierung mit Delphi 3 - für Delphi 1, 2 und 3; SQL-Programmierung und Datenbankkomponenten; Web-Server-Erweiterung; ActiveX, DCOM, Multi-Tier
Parallel numerical algorithms
Transputerpraktikum
Foundations of semantic subsumption in deductive databases
FIM imaging and the analysis of Drosophila locomotion
Web usability - a user-centered design approach
Mining imperfect data - dealing with contamination and incomplete records
Domains and lambda-calculi
Programming mental ray®
Verifikation digitaler Systeme - eine Einführung in den Entwurf korrekter digitaler Systeme
Wenn ich nur wüsste, ob meine Botschaft angekommen ist? - Beispiele zur Erfolgsbewertung
Bound in memory - insights from behavioral and neuropsychological studies
Die Online-Durchsuchung - rechtliche Grundlagen, Technik, Medienecho
Cryptography Engineering - Design Principles and Practical Applications
Software process improvement - practical guidelines for business success
Asynchronous transfer mode networks - performance issues (2. ed.)
Meme media and meme market architectures - knowledge media for editing, distributing, and managing intellectual resources
A combined parametric and nonparametric approach to time series analysis - motivated by coastal upwelling prediction
Preconditioning and the Conjugate Gradient Method in the Context of Solving PDEs
Rippling - meta-level guidance for mathematical reasoning
WML und WMLScript - Informationen aufbereiten und präsentieren für WAP-Dienste
SAP Business Information Warehouse 3 - Architektur, Konzeption, Implementierung
Adaptive parsing - self-extending natural language interfaces
Protein bioinformatics - an algorithmic approach to sequence and structure analysis
Counter examples in semantic tableaux
Error correcting codes - theory and applications
Lexikalische Nachverarbeitung bei der computergestützten Erkennung von Wörtern
The dictionary of computer graphics and virtual reality (2. ed.)
Software quality assurance and management
Structure-based molecule indexing for sublinear virtual screening
Evolution of random search trees
XSL-FO in der Praxis - XML-Verarbeitung für PDF und Druck
An introduction to formal specification with Z and VDM
Kontrollstrukturen zur Ablaufsteuerung massiv paralleler Datenbankanwendungen in Multiprozessorsystemen
PHP 5 - interaktiv (2. Aufl.)
Programming models for parallel systems
Lukasiewicz-Moisil algebras
Photoshop in a nutshell - a desktop quick reference: covers v5.0 (2. ed.)
Lq Helmholtz decomposition and regularity results for the infinite cylinder
A dynamic framework for subdivision surfaces
Über Informatik reden
Online-Recht - juristische Probleme der Internet-Praxis erkennen und vermeiden (4. Aufl.)
Fuzzy-Methoden - praxisrelevante Rechenmodelle und Fuzzy-Programmiersprachen
Virtual machines - versatile platforms for systems and processes
Networks and algorithms - an introductory approach
Learning Kernel Classifiers - Theory and Algorithms
Lingo in a nutshell - a desktop quick reference, covers Director 5, 6 and 6.5
Computer communications - tutorial: architectures, protocols and standards (2. ed.)
Elimination Practice - Software Tools and Applications
A guided tour of computer vision
ARIS design platform - advanced process modelling and administration
Requirements Engineering, Second Edition
Fehlerfrei programmieren in C und C++
Inside Microsoft SQL Server 2008 - T-SQL Querying
Electronic logic systems (2. ed.)
Natural language and computational linguistics - an introduction
Homology of Linear Groups
Computer Science Unplugged - an enrichment and extension programme for primary-aged children
Programmieren in Pascal - Sprachstandard und Turbo-Pascal, 2. Auflage
Solving partial differential equations on parallel computers
The OPEN process specification
Adobe Photoshop CS3 one-on-one
Modellierung und Analyse einer adaptiven Verkehrslenkungsstrategie
Abenteuer Informatik - IT zum Anfassen von Routenplaner bis Online-Banking
Programming in Modula-3 - an introduction in programming with style
Data warehousing in the real world - a practical guide for building decision support systems
Parallel and sequential methods for ordinary differential equations
Drachentöter - Risikomanagement für Software-Projekte
Konzepte zur Erweiterung von Datenbanksystemen für die Unterstützung von CAD/CAM-Anwendungen
Über die Erkennbarkeit unendlicher Spuren
Anwendungsentwicklung für die Aus- und Weiterbildung auf Basis eines Hypermedia-Systems
A Guide to Algorithm Design - Paradigms, Methods, and Complexity Analysis
Performance management in ATM networks
Abstrakte Interpretation logischer Programme - Theorie, Implementierung, Generierung
Software Abstractions - Logic, Language, and Analysis
PC hacks - 100 industrial-strength tips and tools
Elliptic Curves and Their Applications to Cryptography - an introduction
Ethical and social issues in the information age
R Cookbook - Proven Recipes for Data Analysis, Statistics, and Graphics
ActionScript 3.0 cookbook - solutions for Adobe Flash platforms and Adobe Flex application developers
Rough sets - theoretical aspects of reasoning about data
Object-oriented analysis and design with applications (2. ed.)
Enterprise Games - Using Game Mechanics to Build a Better Business
Technologieabhängigkeit von Spezifikationen digitaler Hardware
VB.Net core classes in a nutshell - a desktop quick reference: CD-ROM integrated with Visual Studio .NET
Provability, complexity, grammars
Praktikum des modernen VLSI-Entwurfs
Version control with subversion - next generation open source version control
Pascal - a new introduction to computer science
Refinement Calculus - A Systematic Introduction
Logische Grundlagen der künstlichen Intelligenz
C# 3.0 cookbook, 3rd Edition
Wörterbuch der Elektronik, Datentechnik und Telekommunikation: Deutsch-Englisch - German-English
Automated design of neural network architecture for classification
Semantic Domains in Computational Linguistics
Word of Mouse - The Marketing Power of Collaborative Filtering
Extraktion großflächiger Strukturen in hochauflösenden, panchromatischen Satellitendaten
Datensicherheit - Methoden, Maßnahmen und Auswirkungen des Schutzes von Informationen
Updating and structure in non-monotonic theories
Decision fusion
Object-oriented type systems
Formal Concept Analysis - Mathematical Foundations
The essentials of computer organization and architecture (2. ed.)
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, Second Edition
Space-Filling Curves - An Introduction with Applications in Scientific Computing
The Stable marriage problem - structure and algorithms
IT-Unternehmensarchitektur - von der Geschäftsstrategie zur optimalen IT-Unterstützung
Bezier and splines in image processing and machine vision
Die Client/Server-Technologie des Systems R/3 - Basis für betriebswirtschaftliche Standardanwendungen
Datenstrukturen objektorientiert mit Modula-2
Integration of Graphics and OSI Standards
Adaptive Constraintverarbeitung mit Constraint-Handling-Rules - ein allgemeiner Ansatz zur Lösung dynamischer Constraint-Probleme
Basic model theory
Lernverfahren zur Vervollständigung von Hornklauselmengen durch inverse Resolution
Konsistenzbasierte Handlungsplanung
Emerging communications technologies
Videoskalierung und Integration interaktiver Elemente in Teleteaching Szenarien
The computer and the brain (2. ed.)
Johan van Benthem on Logic and Information Dynamics
Definition und Auswertung erweiterter Fehlerbäume für die Zuverlässigkeitsanalyse technischer Systeme
MM optimization algorithms
Database programming languages - deductive, functional, persistent and object-oriented approaches
Dissecting cellular states and cell state transitions through integrative analysis of epigenetic dynamics
Künstliche Intelligenz (unveränderter Reprint)
Oracle DBA checklists - pocket reference: DBA tasks and procedures
Lectures on Stochastic Programming - Modeling and Theory, Second Edition
LATEX 2e - Tips und Tricks
Informatik für Mathematiker und Naturwissenschaftler - eine Einführung mit Mathematica
High Performance Heterogeneous Computing
grep - Pocket Reference: the Basics for an Essential Unix Content-Location Utility
Knowledge extraction from databases - using available data more efficiently through multi-events
Geometric computing for perception action systems - concepts, algorithms, and scientific applications
Algebraic domain decomposition
Home hacking projects - for geeks
Infinite words - automata, semigroups, logic and games
Transaktionsverarbeitung in Datenbanksystemen unter Ausnutzung semantischer Information
Online publizieren im Internet - elektronische Zeitschriften und Bücher
Database programming with JDBC and Java (2. ed.)
Software Cost Estimation, Benchmarking, and Risk Assessment
Discrete mathematics for computer scientists
Introducing formal methods - a less mathematical approach
MySQL and mSQL - databases for moderate-sized organizations and web sites
Software-Test - Verifikation und Validation (2. Aufl.)
Theory restructuring - a perspective on design and maintenance of knowlege based systems
Finance for IT decision makers - a practical handbook for buyers, sellers and managers
CDs selbstgemacht - Grundlagen des CD-Recording, Formate, Standards, Technologien
Grundlagen der Transaktionsverarbeitung
Algorithms for image processing and computer vision
Entwicklung ingenieurwissenschaftlicher Datenbankanwendungen - ein objektorientiertes Datenmodell
Mathematics of Social Choice - Voting, Compensation, and Division
Postscript language - tutorial and cookbook
Analyse von Petri-Netz-Modellen
Global Challenges for Identity Policies
Uniform Distribution and Quasi-Monte Carlo Methods - Discrepancy, Integration and Applications
Efficient algorithms for ray shooting and hidden surface removal
Learning Java - a bestselling hands-on Java tutorial: covers J2SE 5.0 (3. ed.)
Petri net algebra
CORBA - Kommunikation und Management
Multimodal Processing and Interaction, Audio, Video, Text
Automatisches Verstehen gesprochener Sprache
Algorithms and data structures - with applications to graphics and geometry
Ein Werkzeug zum zyklischen Debugging in verteilten Systemen
ASP.NET cookbook - the ultimate ASP.NET code sourcebook: covers ASP.NET 1.1
Python Pocket Reference - Python in Your Pocket: Covers Python 3.X & 2.6 (4. ed.)
A tamper resistant intrusion detection system - a CORBA implementation
Berechnung von Gewichtsverteilungen bei primitiven binären Bose-Chaudhuri-Hocquenghem Codes
The Pi-Calculus - a theory of mobile processes
Calendrical Tabulations - 1900 - 2200
Ein generisches 3D-User Interface Toolkit mit Verfahren zur Gebärdenerkennung
Operating systems - internals and design principles (4. ed.)
Illustrative visualization of medical data sets
Concurrency theory - calculi and automata for modelling untimed and timed concurrent systems
Combinatorical ordering and the geometric embedding of graphs
A massively parallel numerical ordinary differential equation solver
Asimptoticeskie ocenki sloznosti upravljajuscich sistem - ucebnoe posobie
Entdeckung eines gemeinsamen Schnitts von k konvexen Objekten
Computational Methods in Geophysical Electromagnetics
Handbook of image processing operators
Semantic indexicality
Moderne Verfahren der Kryptographie - von RSA zu Zero-Knowledge
Absolute Lokalisation mobiler Roboter durch Codierung der Einsatzumgebung
The History of Visual Magic in Computers - How Beautiful Images are Made in CAD, 3D, VR and AR
One jump ahead - challenging human supremacy in checkers
Java power tools
Guide to applying human factors methods - human error and accident management in safety-critical systems
Ressourcenproduktivität - Innovationen für Umwelt und Beschäftigung
System Design - A Practical Guide with SpecC
Prozeßautomatisierung - Aufgabenstellung, Realisierung und Anwendungsbeispiele (2. Aufl.)
Developing Android Applications with Adobe AIR - An ActionScript Developer's Guide to Building Android Applications
Method for the design of embedded fault-tolerant computers for process control and design example
Artificial intelligence - a modern approach: the intelligent agent book
Standard relational and network database languages
Autonomic Computing - Principles, Design and Implementation
Operating System Concepts, 3rd Edition
Graphen und Algorithmen
Efficient System Evaluation Using Stochastic Models
Discrete Algebraic Methods - Arithmetic, Cryptography, Automata and Groups
Foundations of parallel programming - a machine-independent approach
Elsevier's dictionary of computers, automatic control and data processing - in six languages ; English/American, French, Spanish, Italian, Dutch and German
Repräsentation von lexikalisch-semantischem Wissen in einem System zur Verarbeitung natürlicher Sprache
Global optimization using interval analysis
Essential AutoLISP - covers release 13 and release 12
Parallel algorithms - designs and analysis
Windows NT server 4.0 for NetWare administrators - mastering the fundamentals of Windows NT
Photoshop workflow setups - on digital photography
Agenten-basiertes Prozeßmodell mit Berücksichtigung von Kapazitätsrestriktionen
Parallel architectures for artificial neural networks - paradigms and implementations
Realistic compiler generation
Vom Metabolismus zur genetischen Sprache
Exploring Topic Structure - Coherence, Diversity and Relatedness
Action in Perception
JavaScript - the definitive guide: activate your HTML pages
Optimization theory
Jini in a nutshell - a desktop quick reference
Formal languages, automata, and complexity - theory of computation
PHP - in a nutshell: a desktop quick reference
Introduction to Tornado - Modern Web Applications with Python
Objektorientierte Informationssysteme - Konzepte, Darstellungsmittel, Methoden
Neural network principles
Models of computation - exploring the power of computing
Refactoring - Improving the Design of Existing Code
Waves called solitons - concepts and experiments (3. ed.)
Methoden wissensbasierter Systeme - Grundlagen, Algorithmen, Anwendungen, 3. Auflage
Programming C# 4.0 - Building Windows, Web, and RIA Applications for .NET with C# 4.0: Visual Studio 2010, .NET 4, and more (6. ed.)
Information modeling methods and methodologies
On space-bounded learning and the Vapnik-Chervonenkis dimension
Transformation techniques for decision diagrams in computer-aided design
AppleWorks 6 - the missing manual: the book that should have been in the box
A tutorial introduction to Occam programming - including a specification section defining the extended Occam language
A first course in fuzzy logic (3. ed.)
Visualizing the structure of science
Fundamente der Graphentheorie
Learning XML - creating self-describing data
Concurrency in programming and database systems
Security for computer networks - an introduction to data security in teleprocessing and electronic funds transfer (2. ed.)
Digital cash - Zahlungssysteme im Internet
Der Plankalkül
Informatikunterricht planen und durchführen
Digital computer design - logic, circuitry, and synthesis
Web design in a nutshell - a desktop quick reference
Constraints and negations in logic programming
C# essentials - programming the .NET framework
The inventor mentor - programming object-oriented 3D graphics with Open Inventor, release 2
Distributed operating systems - concepts and design
LaTeX (2. Aufl.)
Java web services - using Java in service-oriented architectures
Software product lines - practices and patterns
Expertensystem-Werkzeuge - Produkte, Aufbau, Auswahl
Software-Angriffe auf PCs und Netzwerke - Gefahren, Abwehrmaßnahmen und rechtliche Aspekte
Computer system security - Basic Concepts and Solved Exercises
Steiner tree problems in computer communication networks
Reversible Computing - Fundamentals, Quantum Computing, and Applications
Informix Dynamic Server.2000 - Architektur und DataBlade-Technologie
UNIX for super-users
Developing business applications with OpenStep
XML und Datenbanken - Konzepte und Systeme: Oracle 9i: DB2: SQL Server 2000: Tamino: eXcelon
Algorithms and Programming - Problems and Solutions, Second Edition
Processing of recursive rules in knowledge-based systems - algorithms for handling recursive rules and negative information and performance measurements
Eine abstrakte Maschine für das logisch-funktionale Programmieren
Quantum Communications and Cryptography
Datenstrukturen und Algorithmen, 3. Auflage
Relational Database - Selected Writings
Adaptive Blind Signal and Image Processing - Learning Algorithms and Applications
Mobile Development with C# - Building Native iOS, Android, and Windows Phone Applications
Network security tools - writing, hacking, and modifying security tools
IT-Sicherheit - Konzepte, Verfahren, Protokolle (4. Aufl.)
Introduction to artificial intelligence and expert systems
Adaptive Steuerungen - Fuzzy Control im Vergleich zu Regelungstechnik und neuronalen Netzen
The Petersen graph
Semiconductor devices, circuits, and systems
Peer-to-Peer-Netzwerke - Algorithmen und Methoden
A systematic approach to intelligent information system design
Handbuch der Semiotik (2. Aufl)
Pro Oracle spatial - the essential guide to developing spatially enabled business applications
Basic proof theory, Second Edition
Concurrent constraint programming
Integrierte Simulationstechniken auf Systemebene
Object-oriented design
Neural networks - implementing associative memory models in neurocomputers
Simulation von Kunst- und Tageslicht mit dem Radiosity-Verfahren
Representing concepts in semantic nets - in search of the elusive link
Vorkurs Informatik - der Einstieg ins Informatikstudium
Grammatical Framework - Programming with Multilingual Grammars
Essential SharePoint - Microsoft office document collaboration in action
Algebraic foundations of the unifying theories of programming
Year 2000 in a nutshell - a desktop quick reference: includes complete COBOL quick reference
Rails cookbook - recipes for rapid web development with Ruby: covers Rails 1.2
Handbook of geometric computing - applications in pattern recognition, computer vision, neuralcomputing, and robotics
Incident response - internet computer security
Wissensbasierte Entwicklungsumgebung für Bildanalysesysteme aus dem industriellen Bereich
Deduction and declarative programming
Fedora Linux - a concise task-based approach
Graphics systems - architecture and realization
Matlab for engineers
Formal semantics and pragmatics for natural language querying
Workshop SAP query
The image processing handbook (3. ed.)
Zero administration for Windows - vital assistance for system administrators
Cloudweaver: Adaptive and Data-Driven Workload Manager for Generic Clouds
The Medical Image Classification Task
From Autonomous Robots to Artificial Ecosystems
A Goal-Based Approach for Learning in Business Processes
Partitional Clustering of Malware Using K-Means
Connecting Learning Contexts with Ambient Information Channels
Introduction: Salience in linguistics and beyond
Deutschsprachige Netzwerkforschung
Using Model-Driven Views and Trace Links to Relate Requirements and Architecture: A Case Study
Semantic Annotations and Web Service Retrieval: The URBE Approach
Efficient Calculation of Multi-dimensional Potential Energy Surfaces of Molecules and Molecular Clusters
Mining Proteomic MS/MS Data for MRM Transitions
Motivation Model in Community-Built System
Collaborative Inter-domain Stealthy Port Scan Detection Using Esper Complex Event Processing
Distributed Priority Assignment in Real-Time Systems
Ein neuer Modellbegriff
A Highly Scalable Multigrid Method with Parallel Direct Coarse Grid Solver for Maxwell's Equations
Learning of Rule Ensembles for Multiple Attribute Ranking Problems
Theoretical Underpinnings and Reviews
Semantics of Human Behavior in Image Sequences
Ambient Intelligence in the City Overview and New Perspectives
Moving up the Global Value Chain: The Case of Chinese IT Service Firms
Privacy and Gender in the Social Web
Three Kinds of Coherentism
Flexible Wings and Fluid-Structure Interactions for Micro-Air Vehicles
Logic and Probabilistic Update
Network Reconfiguration in High-Performance Interconnection Networks
European Pragmatism? Further Thoughts on the German and Austrian Reception of American Pragmatism
Favor Short Dependencies: Parsing with Soft and Hard Constraints on Dependency Length
Strategic Aspects of Communication
Network Restoration
The Network Unveiled: Evaluating Tele-musical Interaction
Augmented Reality in Psychology
Evolving Metaphors for Managing and Interacting with Digital Information