Computer en informatica

Blijf bij in een wereld vol digitale innovatie met boeken over software, hardware, data en meer. Of je nu programmeert, onderzoekt of gewoon nieuwsgierig bent – hier ontdek je de kracht van technologie.

Zoek verder in Computer en informatica

Bekijk resultaten in...

Alle producten Managementboeken Seminars + Trainingen Online magazine Sale

Filteren 1

Pagina 2651 van 55.802 resultaten

Werner Damm

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

paperbackDuits9783540183204 23-9-1987

Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behandelt werden sämtliche Phasen der Firmwareentwicklung: das Erstellen einer formalen Beschreibung der Anforderungen, Techniken zur hierarchischen Organisation des Entwurfs, die Mikroprogrammierung in einer geeigneten höheren Mikroprogrammiersprache, sowie formale Techniken zur Überprüfung der Korrektheit des Entwurfs. Meer

62,67

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

System Development and Ada

paperbackEngels9783540183419 23-9-1987

The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Frank Puppe

Diagnostisches Problemlösen mit Expertensystemen

paperbackDuits9783540183426 23-9-1987

Diagnostisches Problemlösen ist der bisher erfolgreichste Anwendungsbereich von Expertensystemen. Nach einer ausführlichen Einführung in Expertensysteme werden aus Erfahrungen mit existierenden Diagnostik-Systemen und psychologischen Studien über medizinische Diagnostik Richtlinien zur Entwicklung von Werkzeugen (Shells) für heuristische Diagnostik abgeleitet. Meer

62,67

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Jean-Marie Hullot

ECOOP '87. European Conference on Object-Oriented Programming

paperbackEngels9783540183532 23-9-1987

In October 1983 an informal meeting was organized in Le Cap d'Agde with the help of the BIGRE bulletin. Sixty people turned out to hear more than ten presentations on object-oriented programming. Meer

42,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Principles and Practice of Semantic Web Reasoning

paperbackEngels9783540205821 25-11-2003

The Semantic Web is a major endeavor aimed at enriching the existing Web withmetadataandprocessingmethodssoastoprovideWeb-basedsystemswith advanced(so-calledintelligent)capabilities,inparticularwithcontext-awareness and decision support. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Progress in Artificial Intelligence

paperbackEngels9783540205890 24-11-2003

When we set about organizing EPIA 2003 in Porto during the APPIA meeting at the previous edition of the conference, EPIA 2001, it was decided that it would be organized by Fernando Moura Pires (Faj´ e) and myself. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Chi Sung Laih

Advances in Cryptology - ASIACRYPT 2003

paperbackEngels9783540205920 18-11-2003

ASIACRYPT 2003 was held in Taipei, Taiwan, from Nov. 30 to Dec. 4, 2003. The 9th Annual ASIACRYPT conference was sponsored by the International Association for Cryptologic Research (IACR), this year in cooperation with the ChineseCryptologyandInformationSecurityAssociation(CCISA)andNational Cheng Kung University (NCKU) in Taiwan. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Juan Pavón

7th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS'09)

paperbackEngels9783642004865 18-3-2009

PAAMS, the International Conference on Practical Applications of Agents and Multi-Agent Systems is an evolution of the International Workshop on Practical Applications of Agents and Multi-Agent Systems. Meer

360,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Ulrich Mahn

Attributierte Grammatiken und Attributierungsalgorithmen

paperbackDuits9783540186502 17-12-1987

Diese Monographie gibt einen systematischen Überblick über Attributierte Grammatiken als ein Mittel zur Darstellung und Analyse von Kontextabhängigkeiten in Compilern unter Betonung der für Compiler-erzeugende Systeme erforderlichen Algorithmen. Meer

62,67

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Mehdi Dastani

Languages, Methodologies and Development Tools for Multi-Agent Systems

paperbackEngels9783540850571 18-7-2008

This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007, held in Durham, UK, in September 2007. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Intelligent Computer Mathematics

paperbackEngels9783540851097 16-7-2008

This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Model Checking Software

paperbackEngels9783540851134 25-7-2008

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Manfred Brill

Virtuelle Realität

paperbackDuits9783540851172 1-10-2008

Virtuelle Realität oder Virtual Reality (VR) hat in den letzten Jahren eine stürmische Entwicklung genommen. Dieses Buch führt in Theorie und Praxis der virtuellen Realität ein und liefert einen Überblick über Software-Architekturen. Meer

21,17

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Geschäftsprozessmanagement

paperbackDuits9783540851530 4-3-2009

Geschäftsprozess-Management (BPM) erfährt insbesondere im Zuge der populärer werdenden Service-orientierten Architektur (SOA) eine stetige Aufwertung. Meer

32,39

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Abdelkader Hameurlain

Data Management in Grid and Peer-to-Peer Systems

paperbackEngels9783540851752 18-8-2008

First International Conference on Data Management in Grid and Peer-to-Peer (P2P) Systems, Globe 2008 Data management can be achieved by different types of systems: from centralized file management systems to grid and P2P systems passing through distributed systems, par- lel systems, and data integration systems. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Mathematical Foundations of Computer Science 2008

paperbackEngels9783540852377 12-8-2008

This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008. Meer

126,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Languages and Compilers for Parallel Computing

paperbackEngels9783540852605 4-8-2008

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, USA, in October 2007. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Balancing Agility and Formalism in Software Engineering

paperbackEngels9783540852780 13-8-2008

This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland, in October 2007. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Advances in Natural Language Processing

paperbackEngels9783540852865 13-8-2008

This book constitutes the refereed proceedings of the 6th International Conference on Natural Language Processing, GoTAL 2008, Gothenburg, Sweden, August 2008. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Computational Forensics

paperbackEngels9783540853022 4-8-2008

This Lecture Notes in Computer Science (LNCS) volume contains the papers presented at the Second International Workshop on Computational Forensics (IWCF 2008), held August 7–8, 2008. Meer

60,99

Verwachte levertijd ongeveer 9 werkdagen

In winkelwagen

Uw winkelwagen

Computer en informatica

jQuery - de basis

Hardlopers

Aanbiedingen

Aanraders

De AI-revolutie