|
Rule-Based Reasoning, Programming, and Applications
|
Nick BassiliadesGuido GovernatoriAdrian Paschke |
Springer |
_ |
2011 |
|
|
Rules and Rule Markup Languages for the Semantic Web
|
Grigoris AntoniouHarold Boley |
Springer |
_ |
2004 |
|
|
Rules and Rule Markup Languages for the Semantic Web
|
Asaf AdiSuzette StoutenburgSaid Tabet |
Springer |
_ |
2005 |
|
|
Rules and Rule Markup Languages for the Semantic Web
|
Michael Schr�derGerd Wagner |
Springer |
_ |
2003 |
|
|
Rules in Database Systems
|
Timos Sellis |
Springer |
_ |
1995 |
|
|
Rules in Database Systems
|
Andreas GeppertMikael Berndtsson |
Springer |
_ |
1997 |
|
|
Rules of Thumb for Maintenance and Reliability Engineers
|
Ricky Smith and R. Keith Mobley |
Elsevier |
9780750678629 |
2008 |
|
|
Rules on the Web: Research and Applications
|
Antonis BikakisAdrian Giurca |
Springer |
9783642326899 |
2012 |
|
|
Runtime Verification
|
Oleg SokolskySerdar Ta??ran |
Springer |
_ |
2007 |
|
|
Runtime Verification
|
Sarfraz KhurshidKoushik Sen |
Springer |
9783642298608 |
2012 |
|
|
Runtime Verification
|
Saddek BensalemDoron A. Peled |
Springer |
_ |
2009 |
|
|
Runtime Verification
|
Martin Leucker |
Springer |
_ |
2008 |
|
|
Runtime Verification
|
Howard BarringerYlies FalconeBernd FinkbeinerKlaus HavelundInsup LeeGordon PaceGrigore Ro?uOleg SokolskyNikolai Tillmann |
Springer |
_ |
2010 |
|
|
Safety and Security in Multiagent Systems
|
Mike BarleyHaralambos MouratidisAmy UnruhDiana SpearsPaul ScerriFabio Massacci |
Springer |
_ |
2009 |
|
|
Safety and Security Review for the Process Industries (Second Edition)
|
Dennis P. Nolan |
Elsevier |
9780815515463 |
2008 |
|
|
Salinity and Water Stress
|
M. AshrafM. OzturkH.R. Athar |
Springer |
_ |
2009 |
|
|
Sanskrit Computational Linguistics
|
Girish Nath Jha |
Springer |
_ |
2010 |
|
|
Sanskrit Computational Linguistics
|
G�rard HuetAmba KulkarniPeter Scharf |
Springer |
_ |
2009 |
|
|
Sanskrit Computational Linguistics
|
Amba KulkarniG�rard Huet |
Springer |
_ |
2009 |
|
|
Sarbanes-Oxley IT Compliance Using Open Source Tools (Second Edition)
|
Christian B. Lahti and Roderick Peterson |
Elsevier |
9781597492164 |
2007 |
|
|
Satellite Events at the MoDELS 2005 Conference
|
Jean-Michel Bruel |
Springer |
_ |
2006 |
|
|
Scalability of Networks and Services
|
Ramin SadreAiko Pras |
Springer |
_ |
2009 |
|
|
Scalable Uncertainty Management
|
Eyke H�llermeierSebastian LinkThomas FoberBernhard Seeger |
Springer |
9783642333620 |
2012 |
|
|
Scalable Uncertainty Management
|
Salem BenferhatJohn Grant |
Springer |
_ |
2011 |
|
|
Scalable Uncertainty Management
|
Llu�s GodoAndrea Pugliese |
Springer |
_ |
2009 |
|