E-book Search

E-Book Title	Author	Publisher	ISBN	Copyright Year
Formal Aspects in Security and Trust	Theo DimitrakosFabio MartinelliPeter Y. A. RyanSteve Schneider	Springer	_	2007
Formal Aspects in Security and Trust	Pierpaolo DeganoJoshua GuttmanFabio Martinelli	Springer	_	2009
Formal Aspects of Cognitive Processes	Thomas StorerDavid Winter	Springer	9783540372974	1975
Formal Aspects of Component Software	Farhad ArbabPeter Csaba �lveczky	Springer	9783642357435	2012
Formal Aspects of Component Software	Lu�s Soares BarbosaMarkus Lumpe	Springer	_	2012
Formal Aspects of Security	Ali E. AbdallahPeter RyanSteve Schneider	Springer	_	2003
Formal Aspects of Security and Trust	Pierpaolo DeganoSandro EtalleJoshua Guttman	Springer	_	2011
Formal Aspects of Security and Trust	Gilles BartheAnupam DattaSandro Etalle	Springer	_	2012
Formal Concept Analysis	L�onard KwuidaBar?? Sertkaya	Springer	_	2010
Formal Concept Analysis	S�bastien Ferr�Sebastian Rudolph	Springer	_	2009
Formal Concept Analysis	Florent DomenachDmitry I. IgnatovJonas Poelmans	Springer	9783642298929	2012
Formal Concept Analysis	Petko ValtchevRobert J�schke	Springer	_	2011
Formal Concept Analysis	Sergei O. KuznetsovStefan Schmidt	Springer	_	2007
Formal Concept Analysis	Rokia MissaouiJ�rg Schmidt	Springer	_	2006
Formal Concept Analysis	Raoul MedinaSergei Obiedkov	Springer	_	2008
Formal Concept Analysis	Bernhard GanterGerd StummeRudolf Wille	Springer	_	2005
Formal Concept Analysis	Bernhard GanterRobert Godin	Springer	_	2005
Formal Development of Reactive Systems	Claus LewerentzThomas Lindner	Springer	_	1995
Formal Foundations for Software Engineering Methods	Heinrich Hu�mann	Springer	_	1997
Formal Foundations of Reuse and Domain Engineering	Stephen H. EdwardsGregory Kulczycki	Springer	_	2009
Formal Grammar	Philippe de GrooteMarkus EggLaura Kallmeyer	Springer	_	2011
Formal Grammar	Philippe de GrooteMark-Jan Nederhof	Springer	9783642320248	2012
Formal Groups and Applications	Michiel Hazewinkel	American Mathematical Society	978-0-8218-9400-2	2012
Formal Hardware Verification	Thomas Kropf	Springer	_	1997
Formal Methods and Hybrid Real-Time Systems	Cliff B. JonesZhiming LiuJim Woodcock	Springer	_	2007