Limit search to available items
Nearby Titles are:
Result Page   Prev Next
Add Marked to Bag Add All On Page Add Marked to My Lists
Mark   Year Entries
SASTA journal : publication of the South Australian Science Teachers Assoc   1965- 1
Sastera mahua : dalam kritikan dan pensejarahan   2017 1
Sastra Indonesia sebagai warga sastra dunia : pidato pada penerimaan gelar Doctor Honoris Causa dari Universitas Indonesia tanggal 14 Juni 1975   1976 1
Śāstradīpikā   1988 1
Śāstraprameyapariccheda.   2012 1
Śāstraprameyapariccheda.   2012 1
Sastun   2002 1
Sastun : my apprenticeship with a Maya healer   2002 1
Sasun : the history of an 1890s Armenian revolt   2014 1
Sasurai no samurai dansā   2003 1
SAT 2004   2005 1
SAT 2005   2005 1
SAT 2005 : satisfiability research in the year 2005   2006 1
SAT 2006   2006 1
SAT 2007   2007 1
SAT 2008   2008 1
SAT 2010   2010 1
SAT 2011   2011 1
SAT 2012   2012 1
SAT 2013   2013 1
SAT 2014   2014 1
SAT 2015   2015 1
SAT 2016   2016 1
SAT 2017   2017 1
SAT 2018   2018 1
SAT 2019   2019 1
SAT and SMT Are Still Resolution: Questions and Challenges / / Robert Nieuwenhuis --  2012 1
SAT and SMT-Based Verification.   2013 1
A SAT Approach to Clique-Width / / Marijn J.H. Heule, Stefan Szeider --  2013 1
SAT ASMV     1
SAT-Based Analysis and Quantification of Information Flow in Programs / / Vladimir Klebanov, Norbert Manthey, Christian Muise --  2013 1
SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems / / Bożena Woźna-Szcześniak, Andrzej Zbrzezny --  2013 1
SAT-Based Bounded Model Checking for Deontic Interleaved Interpreted Systems / / Bożena Woźna-Szcześniak and Andrzej Zbrzezny --  2012 1
SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems / / Bożena Woźna-Szcześniak and Agnieszka Zbrzezny, Andrzej Zbrzezny  2013 1
SAT-Based Bounded Model Checking for Weighted Deontic Interpreted Systems / / Bożena Woźna-Szcześniak --  2013 1
SAT-Based Bounded Strong Satisfiability Checking of Reactive System Specifications / / Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki --  2013 1
SAT-based scalable formal verification solutions   2007 1
SAT-Based Synthesis Methods for Safety Specs / / Roderick Bloem, Robert Könighofer and Martina Seidl --  2014 1
SAT Based Verification of Network Data Planes / / Shuyuan Zhang, Sharad Malik --  2013 1
The SAT®: design principles and innovations of a quintessential American social indicator / / Howard T. Everson --  2010 1
SAT eJournal   2005 1
SAT ELA in the classroom : integrating assessments, standards, and instruction   2017 1
SAT Encoding of Unification in ELHR+R+ w.r.t. Cycle-Restricted Ontologies / / Franz Baader, Stefan Borgwardt and Barbara Morawska --  2012 1
SAT for dummies   2015 1
SAT math in the classroom : integrating assessments, standards, and instruction   2017 1
SAT Math Tests   2015 1
 

Ṡāt per em heru -- See Book of the dead


  1
SAT prep course   3
SAT/SMT --   2013 1
SAT Solving Technique for Semantic Web Service Composition / / Hyunyoung Kil and Wonhong Nam --  2012 1
Add Marked to Bag Add All On Page Add Marked to My Lists
Result Page   Prev Next