Category: tomat
MECHATRONICS AND AUTOMATION ENGINEERING - PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE (ICMAE2016) - ZHANG JIANHUA
AUTHOR AFFILIATION : NORTH CHINA ELECTRIC POWER UNIV, CHINA PUB DATE : 13-Jan-17 ONLINE RELEAS
View DetailsAUTOMATED INEQUALITY PROVING AND DISCOVERING - XIA BICAN ET AL
AUTHOR AFFILIATION : PEKING UNIV, CHINA PUB DATE : 21-Jun-16 ONLINE RELEASE DATE : 21-Jun-16
View DetailsINDUSTRIAL ENGINEERING, MACHINE DESIGN AND AUTOMATION (IEMDA 2014) - PROCEEDINGS OF THE 2014 CONGRESS & COMPUTER SCIENCE AND APPLICATION (CCSA 2014) - PROCEEDINGS OF THE 2ND CONGRESS - QIN SHIHONG ET AL
AUTHOR AFFILIATION : WUHAN INST OF TECHNOLOGY, CHINA PUB DATE : 30-Mar-15 ONLINE RELEASE DATE
View DetailsMODERN APPLICATIONS OF AUTOMATA THEORY - SHANKAR PRITI & D'SOUZA DEEPAK
AUTHOR AFFILIATION : INDIAN INST OF SCIENCE, INDIA PUB DATE : 24-May-12 ONLINE RELEASE DATE :
View DetailsSYMMETRY-ADAPTED BASIS SETS: AUTOMATIC GENERATION FOR PROBLEMS IN CHEMISTRY AND PHYSICS - AVERY JOHN SCALES ET AL
AUTHOR AFFILIATION : UNIV OF COPENHAGEN, DENMARK PUB DATE : 31-Oct-11 ONLINE RELEASE DATE : 30
View DetailsAUTOMATA, FORMAL LANGUAGES AND ALGEBRAIC SYSTEMS - PROCEEDINGS OF AFLAS 2008 - ITO MASAMI ET AL
AUTHOR AFFILIATION : KYOTO SANGYO UNIV, JAPAN PUB DATE : 24-Sep-10 ONLINE RELEASE DATE : 8-Mar
View DetailsAUTOMATED DATABASE APPLICATIONS TESTING: SPECIFICATION REPRESENTATION FOR AUTOMATED REASONING - MIKHAIL RANA FARID ET AL
AUTHOR AFFILIATION : GE HEALTHCARE, USA PUB DATE : 8-Jan-10 ONLINE RELEASE DATE : 27-Apr-10
View DetailsINFORMATION COMPUTING AND AUTOMATION (IN 3 VOLUMES) - PROCEEDINGS OF THE INTERNATIONAL CONFERENCE - LI JIANPING ET AL
AUTHOR AFFILIATION : UNIV OF ELECTRONIC SCI & TECH OF CHINA & LOGISTICAL ENGRG UNIV, CHINA PUB DA
View DetailsQUANTUM CELLULAR AUTOMATA: THEORY, EXPERIMENTATION AND PROSPECTS - MACUCCI MASSIMO
AUTHOR AFFILIATION : UNIV OF PISA, ITALY PUB DATE : 15-Mar-06 ONLINE RELEASE DATE : 5-Dec-08
View DetailsALGEBRAIC THEORY OF AUTOMATA AND LANGUAGES - ITO MASAMI
AUTHOR AFFILIATION : KYOTO SANGYO UNIV, JAPAN PUB DATE : 16-Apr-04 ONLINE RELEASE DATE : 30-No
View DetailsACQUISITION OF SOFTWARE ENGINEERING KNOWLEDGE - SWEEP: AN AUTOMATIC PROGRAMMING SYSTEM BASED ON GENETIC PROGRAMMING AND CULTURAL ALGORITHMS - COWAN GEORGE S & REYNOLDS ROBERT G
AUTHOR AFFILIATION : WAYNE STATE UNIV, USA PUB DATE : 12-Aug-03 ONLINE RELEASE DATE : 3-Oct-08
View DetailsSEMIGROUPS, ALGORITHMS, AUTOMATA AND LANGUAGES - GOMES G M S ET AL
AUTHOR AFFILIATION : UNIV OF LISBON, PORTUGAL PUB DATE : 26-Nov-02 ONLINE RELEASE DATE : 6-Jan
View Details