Ausgabe 7-8/2011
Inhalt (4 Artikel)
Original Article
Correct hardware synthesis
Juan Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda
Original Article
Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems
Bogdan Aman, Gabriel Ciobanu
Original Article
The query complexity of estimating weighted averages
Amit Chakrabarti, Venkatesan Guruswami, Andrew Wirth, Anthony Wirth