Näytetään 1 - 2 yhteensä 2 tuloksesta haulle 'Soeken, Mathias' Siirry sisältöön
UPFind
  • Kirjakori: 0 tietuetta (Täynnä)
  • Kieli
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
Tarkennettu
  • Tekijä
  • Soeken, Mathias
Näytetään 1 - 2 yhteensä 2 tuloksesta haulle 'Soeken, Mathias', hakuaika: 0,01s Tarkenna hakua
  1. 1

    Advanced boolean techniques selected papers from the 13th international workshop on boolean problems

    Julkaistu 2020
    Hyllypaikka: loading...
    Sijainti: loading...
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource
    Esikatselu
    Esikatselu
    Esikatselu
    Lisää kirjakoriin Poista kirjakorista
    Advanced boolean techniques selected papers from the 13th international workshop on boolean problems
  2. 2

    Formal specification level concepts, methods, and algorithms Tekijä Soeken, Mathias, Drechsler, Rolf

    Julkaistu 2015
    Hyllypaikka: loading...
    Sijainti: loading...
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource
    Esikatselu
    Esikatselu
    Esikatselu
    Lisää kirjakoriin Poista kirjakorista
    Formal specification level concepts, methods, and algorithms

Työkalut:

  • Lähetä haku sähköpostilla

Liittyvät aiheet

Electronic books Algebra, Boolean Embedded computer systems Logic design Natural language processing (Computer science) Systems engineering

Search Options

  • Hakuhistoria
  • Tarkennettu haku

Discover More

  • Selaa luetteloa
  • Tutki kanavia

Need Help?

  • Hakuohje
  • Kysy kirjastosta
  • UKK:t

More Information

  • About Tuklas
  • Contact Us

TUKLAS: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman