yusuke1997/dblp-id-title huggingface dataset:
Insight Through Computing - A MATLAB Introduction to Computational Science and Engineering
Best of Booch - designing strategies for object technology
Developing Web Applications with Haskell and Yesod - Safety-Driven Web Development
Formal reuse of hardware design
Lexical Meaning in Context - A Web of Words
Programming .NET components - building maintainable, extensible, and reusable .NET applications: covers .NET 21.0 and Visual Studio 2005 (2. ed.)
Simulation of bioelectric fields - the forward and inverse problem of electro-encephalographic source analysis
Hardware Design - formaler Entwurf digitaler Schaltungen
History and philosophy of constructive type theory
Überwachung und Steuerung von Container-Transportsystemen
Mikroprozessortechnik und Rechnerstrukturen (7. Aufl.)
Flexible Unterstützung für Entwurfsprozesse im Kontext von Verwaltungsaufgaben
VB and VBA in a nutshell - the language: features VB6
The art of causal conjecture
Elektronische Wissensmärkte - Handel von Information und Wissen über digitale Netze
Windows NT file system internals - a developer's guide: building NT file system drivers
Cascading style sheets - the definitive guide: visual presentation for the web: covers CSS2 and CSS2.1 (2. ed.)
Computer science - achievements and opportunities
Einführung in Perl
SDL - with applications from protocol specification
Algorithmen - kurz gefasst
Multimodal Location Estimation of Videos and Images
Modellierung von Informationssystemen - ein methodischer Leitfaden zur Projektabwicklung, 2. Auflage
Windows XP hacks - 100 industrial-strength tips and tools
Embedded Multimedia Security Systems - Algorithms and Architectures
Graph separators with applications
Optimizing proof search by machine learning techniques
Was ist Informatik? - unser Positionspapier
Computervermittelte Kommunikation im Spitzensport
Computational text analysis for funtional genomics and bioinformatics
jQuery Mobile - Up and Running: Using HTML5 to Design Web Apps for Tablets and Smartphones
Creating a memory of causal relationships - an integration of empirical and explanation-based learning methods
Descriptive complexity
Software-Architektur - Grundlagen, Konzepte, Praxis (2. Aufl.)
Linux-Treiber entwickeln - Gerätetreiber für Kernel 2.6 systematisch eingeführt
Professor Schreiners Unix-Sprechstunde - Technik, Tips und Tricks von awk bis yacc
Windows server 2003 - in a nutshell: a desktop quick reference
Connection Games - Variations on a Theme
Windows Millennium - the missing manual
Herrera's 'Plasmogenia' and Other Collected Works - Early Writings on the Experimental Study of the Origin of Life
Embedded software
Scalable exploration of spatial data in large-scale scientific simulations
Fundamente der Informatik - Ablaufmodellierung, Algorithmen und Datenstrukturen
Adaptive fuzzy systems and control - design and stability analysis
ClusterRAID - architecture and prototype of a distributed fault-tolerant mass storage system for clusters
Learning GNU Emacs - a guide to the world's most extensible customizable editor (3. ed.)
Categories and computer science
Mathematik mit DERIVE
Recipes for Continuation
IPv6 - das neue Internet-Protokoll: Technik, Anwendung, Migration
Mit Python programmieren - Einführung und Anwendung skriptorientierter Programmierung
Privacy im Internet - vertrauenswürdige Kommunikation in offenen Umgebungen
MySQL - pocket reference: complete SQL syntax and fundations: covers version 4.0
Managing computer viruses
Postscript language - program design
Understanding search engines - mathematical modeling and text retrieval, Second Edition
Visual Basic 2005 cookbook - solutions for VB 2005 programmers
Random Graphs, Geometry and Asymptotic Structure
Computer animation - algorithms and techniques
Zuverlässige Echtzeit-Gruppenkommunikation auf einem lokalen Funknetz
A Proof Theory for Description Logics
Head first PMP - a brain-friendly guide: a learner' s companion to passing the project management professional exam
Multiparadigm Constraint Programming Languages
LAN-Sicherheit - Schwachstellen, Angriffe und Schutzmechanismen in lokalen Netzwerken, am Beispiel von Cisco Catalyst Switches
Category theory for computing science
Run-time Adaptation for Reconfigurable Embedded Processors
Concurrent systems - formal development in CSP
Integrierte rechnerbasierte Film- und Filmmetadaten-Präsentationen - Erstellung einer Taxonomie und Entwicklung neuartiger Darstellungs- und Interaktionsformen
Informationsübertragung in L-Systemen
High-level languages and their compilers
Finite transition systems - semantics of communicating systems
High performance MySQL - optimization, backups, replications, and load balancing: advanced tools and techniques for MySQL administrators
Advanced arithmetic for the digital computer - design of arithmetic units
Smalltalk V - practice and experience
Windows NT programming - an introduction using C++
Elements of distributed computing
Semantic Web zur Unterstützung von Wissensgemeinschaften
Analysis of Time Series Structure - SSA and Related Techniques
Evolvable components - from theory to hardware implementations
C traps and pitfalls
On the automatic generation of test patterns from mixed-level hardware descriptions
Performance Evaluation of Computer and Communication Systems
Fundamentals of data normalization
Conversion Optimization - The Art and Science of Converting Prospects to Customers
Adaptive Information Processing - An Introductory Survey
Binary quadratic forms - an algorithmic approach
Mikroprozessortechnik - CISC, RISC, Systemaufbau, Programmierung (4. Aufl.)
Exponential Time Algorithms - Structures, Measures, and Bounds
Fast, efficient and predictable memory accesses - optimization algorithms for memory architecture aware compilation
Service Parts Planning with mySAP SCM - Processes, Structures, and Functions
Algorithmen und Datenstrukturen - die Grundwerkzeuge
MySQL stored procedure programming - building high-performance web applications with PHP, Perl, Python, Java and .NET: covers MySQL 5
Object-oriented system development
Datenbanksysteme - Eine Einführung, 10. Auflage
Grundlagen, Entwicklung und Evaluierung einer effizienten Approximationstechnik für Nearest-Neighbor-Anfragen im hochdimensionalen Vektorraum
Die Java 1.1 Fibel - Programmierung von Threads und Applets, mit den neuen Bibliotheken: Security, Beans, RMI, IDL und SQL (2. Aufl.)
Langages quasideterministes
Digital image processing (6. ed.)
Real-time signal processing - design and implementation of signal processing systems
Entwicklung eines Resourcen-Managment-Systems als Bestandteil einer adaptierbaren Benutzerschnittstelle für den wissenschaftlichen Arbeitsplatz
Qualitative scene descriptions from images for integrated speech and image understanding
Network algebra
Working with objects - the OOram software engineering method
The Rational Unified Process - An Introduction, 3rd Edition
Speech communications - human and machine, 2nd Edition
PHP cookbook - solutions and examples for PHP programmers
Einführung in die Wissensrepräsentation - netzartige und schema-basierte Repräsentationsformate
Astronomia e Cosmologia - Fatos, Conjecturas e Refutacoes
Boundary value problems and orthogonal expansions - physical problems from a Sobolev viewpoint
Foundations of Information Integration - Analyzing, Managing and Reasoning about Schema Mappings
Hadoop - The Definitive Guide: Storage and Analysis at Internet Scale (2. ed.)
Applications of rewriting techniques
Async in C# 5.0 - Unleash the Power of Async
Ethics and technology - ethical issues in an age of information and communication technology (2. ed.)
Konfigurierung und Modellierung von Mehrmikrorechnern aus um Zuverlässigkeitsanforderungen erweiterten ADA-Programmen
Lastverteilung für feinkörnig parallelisiertes Branch-and-Bound
Mastering networks - an internet lab manual
Programmierungsanleitung Z 22 - Zuse K.-G. Neukirchen, Kreis Hünfeld: Rechengeräte, Elektro-Feinmechanische Geräte, Elektronen- und Relais-Rechenautomaten
Some extensional term models for combinatory logics and l - calculi
Implementing mathematics with the Nuprl proof development system
Algorithmen und Datenstrukturen - Pascal-Version (5. Aufl.)
Profiling the European Citizen, Cross-Disciplinary Perspectives
Ein Konzept zur Bindung von Custodians an verteilte Anwendungen
Reasoning about Java programs in higher order logic using PVS and Isabelle
Grundlagen der Wirtschaftsinformatik
802.11n - A Survival Guide: Wi-Fi Above 100 Mbps
Making Android Accessories with IOIO - Going Mobeile with Sensors, Lights, Motors, and Robots
Introduction to Global Optimization
TCP/IP-Praxis - Dienste, Sicherheit, Troubleshooting (2. Aufl.)
Analogy-making as perception - a computer model
Handbook of Conceptual Modeling - Theory, Practice, and Research Challenges
Intrinsic Plagiarism Detection and Author Analysis by Utilizing Grammar
Retail Geography and Intelligent Network Planning
Adobe InDesign CS3 - one-on-one: DVD-ROM features over 3 hours of lynda.com
JavaScript - the definitive guide: activate your web pages: covers Ajax and DOM scripting (5. ed.)
Verteilte Verarbeitung in offenen Systemen - das ODP-Referenzmodell
The unified modeling language user guide - the ultimate tutorial to the UML from the original designers
Source code optimization techniques for data flow dominated embedded software
CGI programming with Perl - creating dynamic web pages (2. ed.)
Wirtschaftsinformatik - theoretische Grundlagen
Konzeption von bildgenerierenden Systemen in einer integrierten CAD-Arbeitsplatzumgebung und deren Realisierung
Applied software project management
Datenbank-Engineering für Wirtschaftsinformatiker - eine praxisorientierte Einführung
Splash 2 - FPGAs in a custom computing machine
Grouping of Survey Series Using DDI 3
JavaScript - the definitive guide: activate your Web pages: covers JavaScript 1.2 (3. ed.)
How to communicate technical information - a handbook of software and hardware documentation - How to write a computer manual
Multimedia-Projektmanagement - von der Idee zum Produkt
Speed, Data, and Ecosystems - Excelling in a Software-Driven World
Computer security reference book
jQuery UI - a Code-Centered Approach to User Interface Design
Solving linear systems on vector and shared memory computers
Key Java - advanced tips and techniques
Java lernen mit BlueJ - eine Einführung in die objektorientierte Programmierung (3. Aufl.)
Universal routing strategies
The art and science of C - a library-based introduction to computer science
Program Development in Java - Abstraction, Specification, and Object-Oriented Design
Why Engagement Matters: Cross-Disciplinary Perspectives of User Engagement in Digital Media
Essentials of fuzzy modeling and control
Algebra of programming
The Mathematica book, 5th Edition
Paraphrasen - Lösungen für antizipierte Leserprobleme bei der automatischen Textgenerierung
Multilingual Information Retrieval - From Research To Practice
TCP / IP sockets in C# - practical guide for programmers
Mastering Oracle power objects - developing client/server applications
e-Business - Organizational and Technical Foundations
Bioinformatics, biocomputing and Perl - an introduction to bioinformatics computing skills and practice
Practical development environments
Oracle SQl*Loader - the definitive guide: loading data into an Oracle database
Datenbanken: Konzepte und Sprachen, 2. Auflage
Oracle performance tuning - database management systems (2. ed.)
Barrierefreies Webdesign - Praxishandbuch für Webgestaltung und grafische Programmoberflächen
Konzpetion eines Messe-Informationssystems
Betriebssysteme - Prinzipien und Umsetzung (4. Aufl.)
C# in a nutshell - a desktop quick reference
Nichtlineare, multivariate Approximation mit Perzeptrons und anderen Funktionen auf verschiedenen Hochleistungsrechnern
Dictionary of computer science - english-french
Multiprocessor Scheduling for Real-Time Systems
Computer-supported cooperative work - introduction to distributed applications
Mathematics for computer algebra
Statistical analysis - a computer oriented approach
Java and XML data binding - converting XML documents into Java objects
Head First Web Design - a brain-friendly guide
Mathematical logic (2. ed.)
Computer security basics (3. ed.)
Intermediate Perl - Beyond the Basics of Learning Perl: Covers Perl 5.14 (2. ed.)
Software Process Definition and Management
Cultures and Organizations - Software of the Mind: Intercultural Cooperation and its Importance for Survival (3. ed.)
Multidimensional data management in mobile environments
Projektfahrplan für erstklassige Websites - Checklisten für die Konzeption, Entwicklung und Wartung
Kombinatorische Optimierung mit Constraintverfahren - Problemlösung ohne anwendungsspezifische Suchstrategien
Cluster-Verfahren für Mengen geometrischer Objekte
sendmail 8.13 Companion - The sendmail administrator's reference
Telekommunikation im Bankgeschäft - ein ganzheitliches Gestaltungskonzept für innovative Telekommunikationssysteme im elektronischen Bankgeschäft
Computational molecular biology - an introduction
Jacquard's web - how a hand-loom led to the birth of the information age
Securing Digital Video - Techniques for DRM and Content Protection
A theory of distributed objects - asynchrony, mobility, groups, components
Digital neural networks
Surviving the design of a 200 MHz RISC microprocessor - lessons learned
CBT-Anwendungen professionell entwickeln
Signalinterpretation mit neuronalen Netzen unter Nutzung von modellbasiertem Nebenwissen am Beispiel der Verschleißüberwachung von Werkzeugen in CNC-Drehmaschinen
Divining a Digital Future - Mess and Mythology in Ubiquitous Computing
Logic, Computation, Hierarchies
Lokale Netze - Kommmunikationsplattform der 90er Jahre: LAN-Betriebssysteme, Internetworking, GroupWare (4. Aufl.)
Communicating and mobile systems - the Pi-calculus
Begründungsverwaltung - Grundlagen, Systeme und Algorithmen
Oracle and Open Source - tools and applications: includes Perl, Tcl, Python, Apache, Linux, GNOME/GTK+ and Java
Design of dependable Ada software
Prolog - a relational language and its applications
Programming the Semantic Web - Build Flexible Applications with Graph Data
Der LaTeX Begleiter
Systemintegration im computergestützten Publizieren
Fundamentals of Resource Allocation in Wireless Networks - Theory and Algorithms (2. ed.)
Digitale symmetrische gedächtnisbehaftete Übertragungskanäle
Der Linux-Problemlöser - die häufigsten Administrationsprobleme und wie man sie behebt
Data communications and distributed networks (3. ed.)
Datenbankentwurf im Dialog - integrierte Beschreibung von Strukturen, Transaktionen und Konsistenz
Fonts and encodings - from Unicode to advanced typography and everything in between: covers PostScript, TrueType, OpenType, AAT, Metafont, and more
Paradigms for fast parallel approximability (Reprint from 1997)
Real-time systems design and analysis - an engineer's handbook
Rough location
Pearls in graph theory - a comprehensive introduction (Reviewed Edition)
Java 1.5 Tiger - a developer's notebook: generics, varargs, autoboxing, printf() and format()
Handbook of stochastic methods - for physics, chemistry and the natural sciences, Second Edition
Inkrementelles Parsing gesprochener Sprache mit einer linksassoziativen Unifikationsgrammatik
Assembly language programming for the 68000
Object-oriented software metrics - a practical guide
Video camera technology
Advanced topics in term rewriting
Stochastic optimization
Assembly language for the PDP-11
Parallel logic programming in PARLOG - the language and its implementation
Load distribution - implementation for the Mach microkernel
Designing and programming CICS applications - integrating existing mainframe applications with new technologies
Eingebettete Systeme (korrigierter Nachdruck)
Modelling and Simulation - Exploring Dynamic System Behaviour, Second Edition
A Brief History of Computing, Second Edition
ePass - der neue biometrische Reisepass: Eine Analyse der Datensicherheit, des Datenschutzes sowie der Chancen und Risiken
Online-Kommunikation - Die Psychologie der neuen Medien für die Berufspraxis: E-Mail, Website, Newsletter, Marketing und PR, Kundenkommunikation
Practical UNIX and internet security (2. ed.)
Linear and Nonlinear Inverse Problems with Practical Applications
Introduction to microcomputer systems - architecture and interfacing
The structure of typed programming languages
Learning SQL on SQL server 2005 - the simplest way to learn to query SQL server
Adobe Creative Suite 2 workflow - integrating the tools, increasing your productivity
Underground Maps Unravelled - Explorations in Information Design
ImageCLEF, Experimental Evaluation in Visual Information Retrieval
Wissensbasierte Methoden zur effizienten Simulation fluidtechnischer Systeme
Ein Multi-Agentensystem zur Transportplanung und -steuerung bei Speditionen mit Trampverkehr - Entwicklung und Vergleich mit zentralisierten Methoden und menschlichen Disponenten
Verteilte Betriebssysteme - Grundlagen, Netzwerkdienste, Beispiele
Numerische Mathematik für Informatiker (2. Aufl.)
Generator-Composition for Aspect-Oriented Domain-Specific Languages
Deduction - automated logic
Foundational Java - Key Elements and Practical Programming
DSL Engineering - Designing, Implementing and Using Domain-Specific Languages
Computer risk manager - a manual for EDP contigency planning (3. ed.)
Safer Net - Kryptografie im Internet und Intranet
Online computation and competitive analysis
Integrated information systems design - an approach based on object-oriented concepts and Petri nets
Heuristische Suche unter Speicherbeschränkungen
Decision and complexity issues on concurrent systems
Multimedia and groupware for editing
Understanding agent systems, Second Edition
Building wireless community networks (2. ed.)
Theorie der neuronalen Netze - eine systematische Einführung
Mathematische Logik
Syntactic theory - a formal introduction
Optimierung von logischen Formeln in Hinblick auf Herleitungsfragen
Data compression - The Complete Reference, 4th Edition
From natural language processing to logic for expert systems - a logic based approach to artificial intelligence
Timbre models of musical sounds - from the model of one sound to the model of one instrument
Implementing distributed systems with Java and CORBA
Learning the vi editor - Unix text processing (6. ed.)
Functional verification coverage measurement and analysis
Embedding hardware description languages in proof systems
International standard ISO / IEC 9899:1999 Programming languages C - technical corrigendum 1: rectificatif technique 1
Randomized algorithms - approximation, generation and counting
3D game engine architecture - engineering real-time applications with wild magic
Software-Produktmanagement - Wartung und Weiterentwicklung bestehender Anwendungssysteme
Loop transformations for restructuring compilers - the foundations
Modding Mac OS X - extreme makeovers for your Mac
Maple in der Physik - von der grafischen Veranschaulichung zum physikalischen Verständnis
Adaptive computing in design and manufacture VI
Effective methods for software testing (3. ed.)
Two-Dimensional Information Theory and Coding - With Application to Graphics Data and High-Density Storage Media
Bioinformatics - the machine learning approach
Assoziative Methoden zur Mustererkennung
Mathematical Chemistry and Chemoinformatics - Structure Generation, Elucidation and Quantitative Structure-Property Relationships
Degrees of unsolvability
Distributed systems architecture - a middleware approach
Partial evaluation and automatic program generation
Object-oriented analysis and design with applications, Third Edition
jQuery - Pocket Reference: Read Less, Learn More
Neural Correlates of Quality Perception for Complex Speech Signals
Transparent network access for multimedia streaming services - specifikation, implementation, and evaluation by the example of a realtime streaming service on the internet
PC hardware in a nutshell - a desktop quick reference: covers Windows and Linux (3. ed.)
Ein Ebenenmodell wissensbasierter Konsultationen - Unterstützung für Wissensakquisition und Erklärungsfähigkeit
C++-Entwicklung mit Linux - eine Einführung in die Sprache und die wichtigsten Werkzeuge, von GCC und Emacs bis SNIFF+
Mastering regular expressions - understand your data and be more productive: for Perl, PHP, Java, .NET, Ruby, and more (3. ed.)
Modellbildung und Analyse von Rechensystemen - ein Tutorium
MPLS - next steps
Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE
Internet Protocol-based Emergency Services
Building Wireless Sensor Networks - A Practical Guide to the ZigBee Mesh Networking Protocol
Safety assurance in interlocking design
Interactive graphics for Data Analysis - Principles and Examples
Computer viruses - what they are, how they work, and how to avoid them
Preserving digital information
Effiziente Modellprüfung des µ-Kalküls mit binären Entscheidungsdiagrammen
Programming the display PostScript system with X
Applied Proof Theory - Proof Interpretations and their Use in Mathematics
Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdeterminismus in Programmiersprachen
Windows XP in a nutshell - a desktop quick reference: covers service pack 2 (2. ed.)
Open GL programming for the X-Window system
IT-Steuerung mit Kennzahlensystemen
20 Recipes for Programming PhoneGap - Cross-Platform Mobile Development for Android and iPhone
Object-oriented databases - technology, applications, and products
Kontextobjektmodell für Entwurfsanwendungen
Software engineering with abstractions
Digital systems - principles and applications (5. ed.)
Mathematical constants
Designing the user interface - strategies for effective human-computer interaction, 4th Edition
Einführung in die Kombinatorik (2. Aufl.)
Zellularautomaten zur Bearbeitung der Lokal-Global-Problematik
The science of computing - exploring the nature and power of algorithms
E-Librarian Service - User-Friendly Semantic Search in Digital Libraries
The geometry of information retrieval
Head First Mobile Web - a Brain-Friendly Guide
Learning in embedded systems
Rechneraufbau und Rechnerstrukturen (10. Aufl.)
The internet companion - a beginner's guide to global networking (2. ed.)
Information theory - for continuous systems
Automatic termination analysis for functional and imperative programs
Building product populations with software components
Head First WordPress - a Brain-Friendly Guide
Online-Recht - Rechtsfragen im Internet (3. Aufl.)
Transputer instruction set - a compiler writer's guide
Orthologonalpolynome zu modifizierten Gewichten
Game Theory and Politics
The development and implementation of a performance database server
Computer vision - three-dimensional data from images
Digital signal processing - principles, algorithms and applications (2. ed.)
Lehrbuch Grundlagen der Informatik - Konzepte und Notationen in UML 2, Java 5, C++ und C#: Algorithmik und Software-Technik, Anwendungen (2. Aufl.)
Linear programming - foundations and extensions
Neue Methoden zur Steuerung der Wassergabe mit neuronalen Netzen in der Bewässerungslandschaft
Quantum Computing - From Linear Algebra to Physical Realizations
Jim Blinn's corner - a trip down the graphics pipeline
Domain Engineering, Product Lines, Languages, and Conceptual Models
Automatische Personenerkennung durch biometrische Merkmale mit Hilfe neuronaler Netze
Modellierung und Manipulation von Bild- und Grafikdaten mit neuronalen Netzen
Postfix - Einrichtung, Betrieb und Wartung
Einführung in graphische Fenstersysteme - Konzepte und reale Systeme
Automatically proving the correctness of translations involving optimized code - research sponsored by Advanced Research Projects Agency, ARPA order no. 2494
Director in a nutshell - a desktop quick reference: covers Director 6, 6,5 and 7.0.1
Principles of modern operating systems
Algebraic aspects of the advanced encryption standard
Colormanagement - Konzepte, Begriffe, Systeme
Parallel and distributed simulation systems
Adobe Photoshop Lightroom - effizient arbeiten mit Lightroom
XAML - in a nutshell: a desktop quick reference
Die Mikrokontroller 8051, 8052 und 80C517 (2. Aufl.)
Computational complexity of machine learning
Mit PDF ins Web - Integration, Formulare, Sicherheit, E-Books (2. Aufl.)
How to build a person - a prolegomenon
VBScript in a nutshell - a desktop quick reference