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
  • 2021
  • 2020
  • 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
18
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
19
Modelling Distributed Systems - Fokkink, Wan - ISBN: 9783540739371
book
Order now

Modelling Distributed Systems

Fokkink, Wan

(Engels , Gebonden)

Levertijd: 3 tot 4 werkdagen
Prijs: € 63,50
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
20
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
21
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
22
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
23
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
24
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
25
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: 4 tot 6 werkdagen
Prijs: € 377,20
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
26
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
27
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
28
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
29
Adapting Proofs-as-programs - Wirsing, Martin; Crossley, John N.; Poernomo, Iman - ISBN: 9780387237596
book
Order now

Adapting Proofs-as-programs

The Curry--howard Protocol

Wirsing, Martin; Crossley, John N.; Poernomo, Iman

(Engels , Gebonden)

Levertijd: 4 tot 6 werkdagen
Prijs: € 171,95
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