Deze website maakt gebruik van cookies. Klik hier voor meer informatie.X sluit
Uitgebreid zoeken

Theoretische informatica

< Terug naar Informatica
Verfijnen

Op taal:


Op prijs:

  • Alle prijzen
  • € 0 - € 12.50
  • € 12.50 - € 25
  • € 25 - € 50
  • € 50 - € 100
  • > € 100

Op jaar:

  • Alle jaartallen
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005

Nieuwste titels

Sorteer op: datum prijs titels auteur RSS feed
1
Field-Programmable Logic And Applications - International Conference on Field-Programmable Logic and Applications (10th... - ISBN: 9783540678991
book
Order now

Field-Programmable Logic And Applications

9th International Workshop, Fpl '2000, Villach, Austria, August 27-31, 2000 : Proceedings

International Conference on Field-Programmable Logic and Applications (10th...

(Engels , Paperback, 01-12-2000)

Levertijd: 4 tot 6 werkdagen
Prijs: € 160,50
Genre: Theoretische informatica
The Papers Offer Sections On: Network Processors; Prototyping; Dynamic Reconfigurability; Technology Mapping/routing And Placement; Biologically Inspired Methods; Mobile Communciation; Design Space Exploration; Optimization; Architectures; Methodology And Technology; And Other Topics. Lees verder
2
Fme 2003 - International Symposium of Formal Methods Europe 2003 (Pisa, Italy)/ Araki,... - ISBN: 9783540408284
book
Order now

Fme 2003

Formal Methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : Proceedings

International Symposium of Formal Methods Europe 2003 (Pisa, Italy)/ Araki,...

(Engels , Paperback, 01-10-2003)

Levertijd: 4 tot 6 werkdagen
Prijs: € 149,05
Genre: Theoretische informatica
ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8-14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for syst... Lees verder
3
Field Programmable Logic And Applications - Cheung, Peter Y. K. (EDT)/ Constantinides, George A. (EDT)/ De Sousa, Jose ... - ISBN: 9783540408222
book
Order now

Field Programmable Logic And Applications

13th Internatonal Conference, Fpl 2003, Lisbon, Portugal, September 1-3, 2003 : Proceedings

Cheung, Peter Y. K. (EDT)/ Constantinides, George A. (EDT)/ De Sousa, Jose ...

(Engels , Paperback, 01-10-2003)

Levertijd: 4 tot 6 werkdagen
Prijs: € 113,50
Genre: Theoretische informatica
This book contains the papers presented at the 13th International Workshop on Field Programmable Logic and Applications (FPL) held on September 1-3, 2003. The conference was hosted by the Institute for Systems and Computer Engineering-Research and Development of Lisbon (INESC-ID) and the Depa- ment ... Lees verder
4
Mathematics Of Program Construction - ISBN: 9783642133206
book
Order now

Mathematics Of Program Construction

10th International Conference, Mpc 2010, Quebec City, Canada, June 21-23, 2010, Proceedings

(Engels )

Levertijd: 4 tot 6 werkdagen
Prijs: € 103,15
Genre: Theoretische informatica
Constitutes The Refereed Proceedings Of The 10th International Conference On Mathematics Of Program Construction, Mpc 2010, Held In Quebec City, Canada In June 2010. In This Book, The 19 Revised Full Papers Presented Together With 1 Invited Talk And The Abstracts Of 2 Invited Talks Were Carefully Re... Lees verder
5
Computer Aided Verification - ISBN: 9783540705437
book
Order now

Computer Aided Verification

20th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings

(Engels )

Levertijd: 4 tot 6 werkdagen
Prijs: € 99,75
Genre: Theoretische informatica
Constitutes The Refereed Proceedings Of The 20th International Conference On Computer Aided Verification, Cav 2008, Held In Princeton, Nj, Usa, In July 2008. This Book Features 33 Revised Full Papers Presented Together With 14 Tool Papers And 2 Invited Papers And 4 Invited Tutorials. Lees verder
6
Fields Of Logic And Computation - ISBN: 9783642150241
book
Order now

Fields Of Logic And Computation

Essays Dedicated To Yuri Gurevich On The Occasion Of His 70th Birthday

(Engels )

Levertijd: 4 tot 6 werkdagen
Prijs: € 120,35
Genre: Theoretische informatica
This Festschrift Volume, Published In Honor Of Yuri Gurevich On The Occasion Of His 70th Birthday, Contains Contributions Written By His Colleagues. The Articles Cover A Range Of Topics - Representing Only A Fraction Of Gurevich's Multiple Areas Of Interest. Lees verder
7
Interactive Theorem Proving - ISBN: 9783642140518
book
Order now

Interactive Theorem Proving

First International Conference, Itp 2010 Edinburgh, Uk, July 11-14, 2010, Proceedings

(Engels )

Levertijd: 4 tot 6 werkdagen
Prijs: € 120,35
Genre: Theoretische informatica
Constitutes The Proceedings Of The First International Conference On Interactive Theorem Proving, Itp 2010, Held In Edinburgh, Uk, In July 2010. This Title Features The Papers That Are Organized In Topics Such As Counterexample Generation, Hybrid System Verification, Translations From One Formalism ... Lees verder
8
Computer Aided Verification - ISBN: 9783642142949
book
Order now

Computer Aided Verification

22nd International Conference, Cav 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings

(Engels )

Levertijd: 4 tot 6 werkdagen
Prijs: € 137,55
Genre: Theoretische informatica
Constitutes The Refereed Proceedings Of The 22nd International Conference On Computer Aided Verification, Cav 2010, Held In Edinburgh, Uk, In July 2010 As Part Of The Federated Logic Conference, Floc 2010. Lees verder
9
Handboek XAML - A. Dol; Antoni Dol - ISBN: 9789059403505
book

Handboek XAML

A. Dol; Antoni Dol

(Nederlands, Paperback, 26-05-2008)

Beschikbaar: Niet meer in voorraad
Prijs: € 37,90 (onder voorbehoud)
Genre: Theoretische informatica
XAML staat voor eXtensible Application Markup Language en is de nieuwe, declaratieve taal voor het programmeren van gebruikersinterfaces voor Windows-applicaties, Silverlight-browserapplicaties en applicaties voor Windows Mobile en mobiele telefoons van Nokia. Wat HTML is voor websites, is XAML voor... Lees verder
10
Unifying Theories Of Programming - Butterfield, Andrew (EDT) - ISBN: 9783642145209
book
Order now

Unifying Theories Of Programming

Second International Symposium, Utp 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Butterfield, Andrew (EDT)

(Engels )

Levertijd: 4 tot 6 werkdagen
Prijs: € 80,25
Genre: Theoretische informatica
Constitutes The Post-proceedings Of The Second International Symposium On Unifying Theories Of Programming, Utp 2008, Held At Trinity College, Dublin, Ireland, In September 2008. These Papers Reaffirm The Significance Of The Ongoing Utp Project And Encourage Efforts To Advance It By Providing A Focu... Lees verder
11
Cultural Logic Of Computation - Golumbia, David - ISBN: 9780674032927
book
Order now

Cultural Logic Of Computation

Golumbia, David

(Engels , Gebonden)

Levertijd: 8 tot 12 werkdagen
Prijs: € 36,75
Genre: Theoretische informatica
Golumbia, Who Worked As A Software Designer For More Than Ten Years, Argues That Computers Are Cultural "all The Way Down"-that There Is No Part Of The Apparent Technological Transformation That Is Not Shaped By Historical And Cultural Processes, Or That Escapes Existing Cultural Politics. Lees verder
12
Handboek Interactieontwerp - Fr&Atilde;&copy;d&Atilde;&copy;rique Harmsze; Antoni Dol - ISBN: 9789059404175
book

Handboek Interactieontwerp

Frédérique Harmsze; Antoni Dol

(Nederlands, Paperback, 16-04-2010)

Beschikbaar: Niet meer in voorraad
Prijs: € 32,90 (onder voorbehoud)
Genre: Theoretische informatica
Interactieontwerpers richten zich op de vele aspecten van interactie en interfaces tussen mensen en digitale apparaten. Hoe begrijpen mens en machine elkaar het best? En wat komt hier allemaal bij kijken? Dit boek legt een stevig fundament voor ontwerpers in opleiding en voor mensen die zich bezigho... Lees verder
13
Basiscursus XML - H. Heijkoop - ISBN: 9789039522684
book
Order now

Basiscursus XML

H. Heijkoop

(Nederlands, Paperback, 03-06-2009)

Levertijd: vandaag voor 23:00 besteld, morgen bij u thuisbezorgd
Prijs: € 27,95
Genre: Theoretische informatica
Het W3-Consortium dat standaarden voor het web definieert, heeft XML ontwikkeld met als hoofddoel een standaard neer te zetten voor elektronisch uitwisselbare data. Door de ondersteuning van belangrijke bedrijven als IBM en Microsoft is deze standaard al snel ruim verbreid. Met XML kunnen gegevens v... Lees verder
14
HTML en CSS - Andree Hollander - ISBN: 9789043024013
book
Order now

HTML en CSS

Andree Hollander

(Nederlands, Paperback, 20-09-2014)

Levertijd: vandaag voor 23:00 besteld, morgen bij u thuisbezorgd
Prijs: € 25,50
Genre: Theoretische informatica
HTML en CSS - de basis, 3e editie Andree Hollander o Het onafscheidelijke duo HTML en CSS vormt de basis van iedere website. Elke webdesigner, van hobbyist tot professional, moet beschikken over een gedegen kennis van deze twee talen, welke software of tool hij ook gebruikt. o HTML en CSS - de basis... Lees verder
15
Integrated Formal Methods - Davies, Jim (EDT)/ Gibbons, Jeremy (EDT) - ISBN: 9783540732099
book
Order now

Integrated Formal Methods

6th International Conference, Ifm 2007, Oxford, Uk, July 2-5, 2007, Proceedings

Davies, Jim (EDT)/ Gibbons, Jeremy (EDT)

(Engels )

Levertijd: 4 tot 6 werkdagen
Prijs: € 131,85
Genre: Theoretische informatica
It Addresses All Aspects Of Formal Methods Integration, Including Of A Process Of Analysis Or Design Application Of Formal Methods To Analysis Or Design, Extension Of One Method Based Upon The Inclusion Of Ideas Or Concepts From Others, And Semantic Integration Or Practical Application. Lees verder
16
Unfoldings - Heljanko, Keijo; Esparza, Javier - ISBN: 9783540774259
book
Order now

Unfoldings

A Partial-order Approach To Model Checking

Heljanko, Keijo; Esparza, Javier

(Engels , Gebonden)

Levertijd: 4 tot 6 werkdagen
Prijs: € 120,35
Genre: Theoretische informatica
In This Book The Authors Introduce Unfoldings, An Approach To Model Checking Which Alleviates The State Explosion Problem By Means Of Concurrency Theory. Lees verder
17
KICKSTART DRUPAL - Maarten de Block - ISBN: 9789043023993
book

KICKSTART DRUPAL

Maarten de Block

(Nederlands, Paperback, 26-11-2011)

Beschikbaar: Niet meer in voorraad
Prijs: € 19,95 (onder voorbehoud)
Genre: Theoretische informatica
Kickstart Drupal Maarten de Block o Drupal is na Joomla! en WordPress een van de populairste open source CMS-systemen. Met Drupal zijn wereldwijd reeds miljoenen websites opgezet. o Kickstart Drupal is een praktische handleiding voor iedereen die met Drupal aan de slag wil, van eindredacteur tot beg... Lees verder
18
Handboek Joomla - Marco Corro - ISBN: 9789059407619
book
Order now

Handboek Joomla

Marco Corro

(Nederlands, Paperback, 26-07-2014)

Levertijd: 1 tot 3 werkdagen
Prijs: € 15,00
Genre: Theoretische informatica
Joomla! is al jaren een van de populairste contentmanagementsystemen (CMS) ter wereld. Joomla! is een perfecte basis voor webdesigners die niet de kennis of de tijd hebben om zelf een CMS te ontwikkelen. Ook voor niet-ontwerpers kent het systeem een lage drempel. Joomla! biedt veel functie... Lees verder
19
Responsive webdesign - Ethan Marcotte - ISBN: 9789043030205
book
Order now

Responsive webdesign

Ethan Marcotte

(Nederlands, Paperback, 25-07-2013)

Levertijd: vandaag voor 23:00 besteld, morgen bij u thuisbezorgd
Prijs: € 19,95
Genre: Theoretische informatica
Leer hoe je verder dan je pc denkt en prachtige ontwerpen maakt die reageren op de behoeften van je gebruikers. Ethan Marcotte onderzoekt CSS-technieken en designprincipes, zoals flexibele rasters, flexibele afbeeldingen en mediaquery's en hij demonstreert hoe je je gebruikers altijd de beste kwalit... Lees verder
20
Rapid Prototyping Of Digital Systems - Hamblen, James O./ Furman, Michael D. - ISBN: 9780792374398
book
Order now

Rapid Prototyping Of Digital Systems

A Tutorial Approach

Hamblen, James O./ Furman, Michael D.

(Engels , Paperback, 01-09-2001)

Levertijd: 4 tot 6 werkdagen
Prijs: € 120,35
Genre: Theoretische informatica
Provides a laboratory component for an undergraduate digital logic design class. This book presents introduction to FPLD technology and logic synthesis using commercial CAD tools. It also provides Altera CAD tool environment, an overview of programmable logic, and a design library with several easy-... Lees verder
21
Handboek Flash 8 - P. Kassenaar - ISBN: 9789059402140
book
Order now

Handboek Flash 8

P. Kassenaar

(Nederlands, Paperback, 18-01-2006)

Levertijd: 1 tot 3 werkdagen
Prijs: € 24,90
Genre: Theoretische informatica
Macromedia’s Flash is het ultieme gereedschap om professionele en gelikte (web)applicaties te ontwikkelen. Dankzij de uitgebreide ondersteuning door alle populaire browsers (ook in bijvoorbeeld mobiele apparaten) is Flash hét ontwikkel-gereedschap bij uitstek geworden. In het Handboek Flash 8 laat P... Lees verder
22
Handboek Adobe Flash CS3 - P. Kassenaar - ISBN: 9789059403017
book
Order now

Handboek Adobe Flash CS3

P. Kassenaar

(Nederlands, Paperback, 12-09-2007)

Levertijd: 1 tot 3 werkdagen
Prijs: € 24,90
Genre: Theoretische informatica
Flash CS3 is het ultieme gereedschap om professionele en gelikte (web)applicaties te ontwikkelen. Dankzij de brede ondersteuning door alle populaire browsers en uitgebreide mogelijkheden voor mobiele apparaten is Flash hét ontwikkelgereedschap bij uitstek geworden. In het Handboek Flash CS3 laat Pet... Lees verder
23
Dreamweaver CS6 - Peter Kassenaar - ISBN: 9789059405646
book
Order now

Dreamweaver CS6

Peter Kassenaar

(Nederlands, Paperback, 28-06-2012)

Levertijd: 1 tot 3 werkdagen
Prijs: € 28,00
Genre: Theoretische informatica
Adobe Dreamweaver CS6 staat bekend als een van de krachtigste programma's om websites mee te ontwikkelen; veel professionals gebruiken deze software. In Dreamweaver CS6 is onder meer het opzetten en instellen van nieuwe sites sterk vereenvoudigd zodat u nog sneller aan de slag kunt. De meegeleverde... Lees verder