Software receiver design : build your own digital communication system in five easy steps /

Sethares, William A.,,Klein, Andrew G..,.

Tools and algorithms for the construction and analysis of systems : 14th international conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /

Ramakrishnan, C. R.,Rehof, Jakob..Springer,,2008..

Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings /

Katoen, Joost-Pieter.,Stevens, Perdita..Springer,,2002..

Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings /

Hermanns, Holger,,Palsberg, Jens..Springer,,c2006..

Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings /

Hermanns, Holger,,Palsberg, Jens..Springer,,c2006..

Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /

Halbwachs, Nicolas.,Zuck, Lenore D.,.Springer,,c2005..

Compiler construction : 15th international conference, CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings /

Mycroft, Alan.,Zeller, Andreas..Springer,,c2006..