Mostra 1 - 2 risultati di 2 ricerca 'Soeken, Mathias', tempo di risposta: 0,01s
Raffina i risultati
-
1
Advanced boolean techniques selected papers from the 13th international workshop on boolean problems
Pubblicazione 2020Collocazione: loading...Available for University of the Philippines Diliman via SpringerLink. Click here to access
Localizzazione: loading...
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
Electronic Resource -
2
Formal specification level concepts, methods, and algorithms di Soeken, Mathias, Drechsler, Rolf
Pubblicazione 2015Collocazione: loading...Available for University of the Philippines System via SpringerLink. Click here to access
Localizzazione: loading...
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
Electronic Resource