Alle bøger i 'Computer Science Foundations and Applied Logic' serier

Der er 15 produkter fra din søgning

Filtrér
Sorter efter

Sorter efter

- Algorithms for Constructing Computably Enumerable Sets
- Kenneth J. Supowit
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 499,95
- kr. 474,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 499,95
- kr. 474,95
  med Shopping-fordele
- Simple Type Theory
- William M. Farmer
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 669,95
- kr. 639,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 669,95
- kr. 639,95
  med Shopping-fordele
- Structural Decision Diagrams in Digital Test
- Raimund Ubar , Jaan Raik , Maksim Jenihhin
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 2.424,95
- kr. 2.364,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 2.424,95
- kr. 2.364,95
  med Shopping-fordele
- Simple Type Theory
- William M. Farmer
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 499,95
- kr. 474,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 499,95
- kr. 474,95
  med Shopping-fordele
- Petri Net Primer
- Eike Best & Raymond Devillers
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 629,95
- kr. 599,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 629,95
- kr. 599,95
  med Shopping-fordele
- Guide to Software Verification with Frama-C
- E-bog, ePub
- Sprog: Engelsk
- Læs mere
- kr. 544,95
- kr. 494,95
  med Shopping-fordele
- Leveringstid: Straks (sendes på e-mail)
- kr. 544,95
- kr. 494,95
  med Shopping-fordele
- Concise Guide to Fault Tree Analysis
- Mariëlle Stoelinga , Enno Ruijters & Pavel Krčál
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 879,95
- kr. 769,95
  med Shopping-fordele
- Leveringstid: Kan forudbestilles
- kr. 879,95
- kr. 769,95
  med Shopping-fordele
- Category Theory Using Haskell
- Shuichi Yukita
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 2.744,95
- kr. 2.389,95
  med Shopping-fordele
- Leveringstid: Kan forudbestilles
- kr. 2.744,95
- kr. 2.389,95
  med Shopping-fordele
- Simple Type Theory
- William M. Farmer
- E-bog, PDF
- Sprog: Engelsk
- Læs mere
- kr. 544,95
- kr. 494,95
  med Shopping-fordele
- Leveringstid: Straks (sendes på e-mail)
- kr. 544,95
- kr. 494,95
  med Shopping-fordele
- Algorithms for Constructing Computably Enumerable Sets
- Kenneth J. Supowit
- E-bog, ePub
- Sprog: Engelsk
- Læs mere
- kr. 544,95
- kr. 494,95
  med Shopping-fordele
- Leveringstid: Straks (sendes på e-mail)
- kr. 544,95
- kr. 494,95
  med Shopping-fordele
- Structural Decision Diagrams in Digital Test
- Artur Jutman , Maksim Jenihhin , Jaan Raik
- E-bog, ePub
- Sprog: Engelsk
- Læs mere
- kr. 2.624,95
- kr. 2.559,95
  med Shopping-fordele
- Leveringstid: Straks (sendes på e-mail)
- kr. 2.624,95
- kr. 2.559,95
  med Shopping-fordele
- Petri Net Primer
- Eike Best & Raymond Devillers
- E-bog, PDF
- Sprog: Engelsk
- Læs mere
- kr. 919,95
- kr. 854,95
  med Shopping-fordele
- Leveringstid: Straks (sendes på e-mail)
- kr. 919,95
- kr. 854,95
  med Shopping-fordele
- Algorithms for Constructing Computably Enumerable Sets
- Kenneth J. Supowit
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 814,95
- kr. 714,95
  med Shopping-fordele
- Leveringstid: Mangler, normalt 2-5 uger
- kr. 814,95
- kr. 714,95
  med Shopping-fordele
- Guide to Software Verification with Frama-C
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 499,95
- kr. 474,95
  med Shopping-fordele
- Leveringstid: 4-7 hverdage (Sendes fra fjernlager)
- kr. 499,95
- kr. 474,95
  med Shopping-fordele
- Multi-Valued Logic for Decision-Making Under Uncertainty
- Ronald Yager , Alexander Rybalov & Evgeny Kagan
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 2.744,95
- kr. 2.389,95
  med Shopping-fordele
- Leveringstid: Kan forudbestilles
- kr. 2.744,95
- kr. 2.389,95
  med Shopping-fordele