Alex Yakovlev
6 published titles
Logic synthesis avoiding state space explosion
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2003
- Details
The 2010 UK Electronics Forum : 30 June-1 July 2010, Newcastle University, UK.
(Contributor)
1 edition
- ISBN: 9780701702328
- Newcastle University
- 2010
- Details
The 2012 UK Electronics Forum : 30 August - 31 August 2012, Newcastle University, UK
(Contributor)
1 edition
- ISBN: 9780701702458
- Newcastle University
- 2012
- Details
Integrated circuit and system design. : power and timing modeling, optimization and simulation : 22nd international workshop, PATMOS 2012, Newcastle Upon Tyne, UK, September 4-6, 2012 : revised select
(Contributor)
1 edition
- ISBN: 9783642361562
- Springer
- 2013
- Details
Transactions on petri nets and other models of concurrency VIII
(Contributor)
1 edition
- ISBN: 9783642404641
- Springer
- 2013
- Details
Transactions on petri nets and other models of concurrency IX
(Contributor)
1 edition
- ISBN: 9783662457290
- Springer
- 2014
- Details