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
35
Handboek ActionScript 2.0 en 3.0 - P. Kassenaar; Peter Kassenaar - ISBN: 9789059402430
book
Order now

Handboek ActionScript 2.0 en 3.0

P. Kassenaar; Peter Kassenaar

(Nederlands, Paperback, 17-12-2011)

Levertijd: morgen voor 23:00 besteld, vrijdag bij u thuisbezorgd
Prijs: € 29,90
Genre: Theoretische informatica
ActionScript is de ingebouwde programmeertaal van Adobe Flash. Flash is dé wereldwijde industriestandaard voor het ontwerpen van interactieve websites en games. Flash wordt ook veel ingezet voor het programmeren van mobiele apparaten en 'rijke digitale ervaringen', zoals dat zo mooi heet. Het gebrui... Lees verder
36
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
37
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
38
Algebraic Biology - Anai, Hirokazu (EDT)/ Horimoto, Katsuhisa (EDT)/ Kutsia, Temur (EDT) - ISBN: 9783540734321
book
Order now

Algebraic Biology

Second International Conference, Ab 2007, Castle Of Hagenberg, Austria, July 2-4, 2007, Proceedings

Anai, Hirokazu (EDT)/ Horimoto, Katsuhisa (EDT)/ Kutsia, Temur (EDT)

(Engels )

Levertijd: 4 tot 6 werkdagen
Prijs: € 85,95
Genre: Theoretische informatica
This Volume Constitutes The Refereed Proceedings Of The Second International Conference On Algebraic Biology. The Conference Served As An Interdisciplinary Forum For The Presentation Of Research On All Aspects Of The Application Of Symbolic Computation In Biology, Including Computer Algebra, Computa... Lees verder
39
Modelling Distributed Systems - Fokkink, Wan - ISBN: 9783540739371
book
Order now

Modelling Distributed Systems

Fokkink, Wan

(Engels , Gebonden)

Levertijd: 4 tot 6 werkdagen
Prijs: € 65,30
Genre: Theoretische informatica
Guides students through algebraic specification and verification of distributed systems, and some of the formal verification techniques. This book employs [mu]CRL as the vehicle, a language developed to combine process algebra and abstract data types. Lees verder
40
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
41
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
42
Ajax - D. Crane; E. Pascarello; D. James - ISBN: 9789012115193
book
Order now

Ajax

webapplicaties programmeren met Javascript en XML

D. Crane; E. Pascarello; D. James

(Nederlands, Paperback, 20-08-2009)

Beschikbaar: Printing on demand
Prijs: € 67,95 (onder voorbehoud)
Genre: Theoretische informatica
Internetgebruikers beginnen de traditionele webervaring beu te worden. Ze vinden het vervelend om hun scrollpositie kwijt te raken; ze ergeren zich tijdens het wachten aan het verversen van de pagina. Op elke pagina moeten ze opnieuw hun weg vinden, en daarmee is de lijst met klachten nog lang niet ... Lees verder
43
Foundations Of Information And Knowledge Systems - Dix, Jurgen (EDT)/ Hegner, Stephen J. (EDT) - ISBN: 9783540317821
book
Order now

Foundations Of Information And Knowledge Systems

4th International Symposium, Foiks 2006, Budapest, Hungary, February 14-17, 2006, Proceedings

Dix, Jurgen (EDT)/ Hegner, Stephen J. (EDT)

(Engels )

Levertijd: 4 tot 6 werkdagen
Prijs: € 80,25
Genre: Theoretische informatica
This Book Constitutes The Refereed Proceedings Of The 4th International Symposium On Foundations Of Information And Knowledge Systems, Held In February 2006. Lees verder
44
Content Management - J.-W. de Koning - ISBN: 9789012116237
book
Order now

Content Management

J.-W. de Koning

(Nederlands, Paperback, 07-10-2010)

Levertijd: morgen voor 23:00 besteld, vrijdag bij u thuisbezorgd
Prijs: € 44,95
Genre: Theoretische informatica
Content management is een hulpmiddel om interne processen, omtrent het steeds complexere en belangrijker wordend communicatiemiddel internet, te verbeteren. Dit boek is een handleiding met werkwijzen, checklists, valkuilen en best practices. Lees verder
45
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
46
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
47
Flashdesign voor vormgevers - Hedwyg van Groenendaal; H. van Groenendaal - ISBN: 9789012115216
book
Order now

Flashdesign voor vormgevers

Hedwyg van Groenendaal; H. van Groenendaal

(Nederlands, Gebonden, 18-08-2006)

Levertijd: 1 tot 3 werkdagen
Prijs: € 59,50
Genre: Theoretische informatica
Macromedia Flash 8 is een populair programma om websites mee te realiseren. De mogelijkheden met Flash zijn eindeloos. In dit boek leert u met Flash omgaan en op een inspirerende en uitdagende wijze betere flashmovies bouwen. Lees verder
48
Low-Energy Fpgas - George, Varghese/ Rabaey, Jan M. - ISBN: 9780792374282
book
Order now

Low-Energy Fpgas

Architecture and Design

George, Varghese/ Rabaey, Jan M.

(Engels , Gebonden, 01-06-2001)

Levertijd: 4 tot 6 werkdagen
Prijs: € 206,30
Genre: Theoretische informatica
Addresses The Energy Consumption Of Field-programmable Gate Arrays (fpgas). This Title Provides An Overview Of Digital Circuit Design And Fpgas. It Also Looks At The Implication Of Deep-submicron Technology On Fpga Power Dissipation. Lees verder
49
Architecture And Cad For Deep-submicron Fpgas - Marquardt, Alexander; Rose, Jonathan; Betz, Vaughn - ISBN: 9780792384601
book
Order now

Architecture And Cad For Deep-submicron Fpgas

Marquardt, Alexander; Rose, Jonathan; Betz, Vaughn

(Engels , Gebonden)

Levertijd: 12 tot 15 werkdagen
Prijs: € 312,50
Genre: Theoretische informatica
Addresses key issues in the design of high-performance FPGA architectures and CAD tools, with particular emphasis on issues that are important for FPGAs implemented in deep-submicron processes. This book is a useful reference for researchers, professionals, and students interested in FPGAs. Lees verder
50
Designing Evolutionary Algorithms For Dynamic Environments - Morrison, Ronald W. - ISBN: 9783540212317
book
Order now

Designing Evolutionary Algorithms For Dynamic Environments

Morrison, Ronald W.

(Engels , Gebonden)

Levertijd: 4 tot 6 werkdagen
Prijs: € 88,20
Genre: Theoretische informatica
Details Robustness, Stability, And Performance Of Evolutionary Algorithms In Dynamic Environments Lees verder
51
Digital Circuit Design For Computer Science Students - Wirth, Niklaus - ISBN: 9783540585770
book
Order now

Digital Circuit Design For Computer Science Students

An Introductory Textbook

Wirth, Niklaus

(Engels , Paperback, 01-05-1995)

Beschikbaar: Printing on demand
Prijs: € 91,65 (onder voorbehoud)
Genre: Theoretische informatica
This Textbook Provides A Thorough And Systematic Introduction To Designing Digital Circuits. The Author, An Eminent Software Designer, Closes The Gap Between Hardware And Software Design. The Exercises Include Lab Work Culminating In The Design Of A Simple Yet Complete Computer. Lees verder
52
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
53
Adapting Proofs-as-programs - Wirsing, Martin; Crossley, J. N.; Poernomo, Iman Hafiz - ISBN: 9780387237596
book
Order now

Adapting Proofs-as-programs

The Curry--howard Protocol

Wirsing, Martin; Crossley, J. N.; Poernomo, Iman Hafiz

(Engels , Gebonden)

Levertijd: 12 tot 15 werkdagen
Prijs: € 166,30
Genre: Theoretische informatica
Details advances in the area known as the proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic. This monograpgh serves the purpose of providing an overview of the field, and detailing tools and techniques to stimulate research. I... Lees verder
54
Basiscursus XML - H. Heijkoop - ISBN: 9789039522684
book
Order now

Basiscursus XML

H. Heijkoop

(Nederlands, Paperback, 03-06-2009)

Levertijd: morgen voor 23:00 besteld, vrijdag 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