Zobrazuji výsledky
1 - 3
z
3
pro vyhledávání '
Springer International Publishing AG
'
Přeskočit na obsah
UPFind
0
položek
(Plný)
Jazyk
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
हिंदी
Vše
Název
Autor
Téma
Signatura
ISBN/ISSN
Hledat
Pokročilé
AUTHOR:
Drechsler, Rolf
DATABASE:
Union Catalog (Buklod)
RESOURCE TYPE:
Electronic Resource
LANGUAGE:
English
Zobrazit filtry (4)
AUTHOR:
Drechsler, Rolf
DATABASE:
Union Catalog (Buklod)
RESOURCE TYPE:
Electronic Resource
LANGUAGE:
English
Výsledky vyhledávání - Springer International Publishing AG
Zobrazuji výsledky
1 - 3
z
3
pro vyhledávání '
Springer International Publishing AG
'
, doba hledání: 0,04 s.
Upřesnit hledání
Seřadit podle
Relevance
Newest to Oldest
Oldest to Newest
Autor
Název
Vybrat vše | Vybrané:
E-mail
Exportovat
Vytisknout
Přidat do košíku
Vybrat výsledek číslo 1
1
Advanced logic synthesis
Vydáno 2018
Signatura:
Načítá se...
Umístění:
Načítá se...
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
Přidat do košíku
Vyjmout z košíku
Vybrat výsledek číslo 2
2
Formal system verification state-of-the-art and future trends
Vydáno 2018
Signatura:
Načítá se...
Umístění:
Načítá se...
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
Přidat do košíku
Vyjmout z košíku
Vybrat výsledek číslo 3
3
Automated validation & verification of UML/OCL models using satisfiability solvers
Autor
Przigoda, Nils
,
Wille, Robert
,
Przigoda, Judith
,
Drechsler, Rolf
Vydáno 2018
Signatura:
Načítá se...
Umístění:
Načítá se...
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
Přidat do košíku
Vyjmout z košíku
Vybrat vše | Vybrané:
E-mail
Exportovat
Vytisknout
Přidat do košíku
Vyhledávací nástroje:
RSS
—
Poslat e-mailem
Zpět
Upřesnit hledání
CAMPUS
Diliman
3
DATABASE
Union Catalog (Buklod)
UNIT LIBRARY
College of Engineering Library II
3
YEAR OF PUBLICATION
Od:
do:
SUBJECT
Electronic books
3
Computer software
2
Integrated circuits
2
Verification
2
Computer systems
1
Computer-aided design
1
Data processing
1
Design
1
Electronic systems
1
Logic design
1
Object-oriented methods (Computer science)
1
UML (Computer science)
1
Validation
1
Very large scale integration
1
Zobrazit vše ...
AUTHOR
Drechsler, Rolf
SpringerLink (Online service)
2
Przigoda, Judith
1
Przigoda, Nils
1
Reis, Andre Inacio
1
SpringerLink (Online service
1
Wille, Robert
1
Zobrazit vše ...
RESOURCE TYPE
Electronic Resource
LANGUAGE
English
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
Načítá se...