Hakutulokset - Wille, Robert
- Näytetään 1 - 6 yhteensä 6 tuloksesta
-
1
Designing droplet microfluidic networks a toolbox for designers Tekijä Grimmer, Andreas, Wille, Robert
Julkaistu 2020Hyllypaikka: Lataa…Available for University of the Philippines Diliman via SpringerLink. Click here to access
Sijainti: Lataa…
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
Electronic Resource -
2
Introducing design automation for quantum computing Tekijä Zulehner, Alwin, Wille, Robert
Julkaistu 2020Hyllypaikka: Lataa…Available for University of the Philippines Diliman via SpringerLink. Click here to access
Sijainti: Lataa…
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
Electronic Resource -
3
Exact design of digital microfluidic biochips Tekijä Keszocze, Oliver, Drechsler, Rolf, Wille, Robert
Julkaistu 2019Hyllypaikka: Lataa…Available for University of the Philippines Diliman via SpringerLink. Click here to access
Sijainti: Lataa…
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
Electronic Resource -
4
Automated validation & verification of UML/OCL models using satisfiability solvers Tekijä Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf
Julkaistu 2018Hyllypaikka: Lataa…Available for University of the Philippines System via SpringerLink. Click here to access
Sijainti: Lataa…
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
Electronic Resource -
5
Languages, design methods, and tools for electronic system design selected contributions from FDL 2016
Julkaistu 2018Hyllypaikka: Lataa…Available for University of the Philippines System via SpringerLink. Click here to access
Sijainti: Lataa…
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
Electronic Resource -
6
Languages, design methods, and tools for electronic system design selected contributions from FDL 2015
Julkaistu 2016Hyllypaikka: Lataa…Available for University of the Philippines System via SpringerLink. Click here to access
Sijainti: Lataa…
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
Electronic Resource
Työkalut:
Liittyvät aiheet
Electronic books
Computer software
Verification
Computer hardware description languages
Electronic circuits
Electronics
Formal methods (Computer science)
Microprocessors
Software architecture
Software engineering
Biomedical engineering
Microelectronics
Microfluidics
Object-oriented methods (Computer science)
Quantum computers
Systems engineering
UML (Computer science)
Validation