PKK Library Search for 'se,phr:"Synthesis lectures on computer science '

The theory of timed I/O automata

San Rafael, Calif (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, 2006 . 1 electronic text (xi, 101 p. : ill.) : , Part of: Synthesis digital library of engineering and computer science. | Series from website. 1598290118 (electronic bk.) | 159829010X (pbk.) | 9781598290110 (electronic bk.)

Place Hold on The theory of timed I/O automata

Science fiction prototyping

By Johnson, Brian David.. San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2011 . 1 electronic text (xix, 167 p.) : , Part of: Synthesis digital library of engineering and computer science. | Series from website. 9781608456567 (electronic bk.)

Place Hold on Science fiction prototyping

Storing clocked programs inside DNA

By Chang, Jessica P.. San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2011 . 1 electronic text (viii, 63 p.) : , Part of: Synthesis digital library of engineering and computer science. | Series from website; numbering on t.p. is # 3. 9781608456963 (electronic bk.)

Place Hold on Storing clocked programs inside DNA

Analytical performance modeling for computer systems

By Tay, Y. C.. San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2010 . 1 electronic text (xiv, 102 p. : ill.) : , Series from website. | Part of: Synthesis digital library of engineering and computer science. 9781608454419 (electronic bk.)

Place Hold on Analytical performance modeling for computer systems

Introduction to logic

By Genesereth, Michael R.,. San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2012 . 1 electronic text (xiii, 151 p.) : , Part of: Synthesis digital library of engineering and computer science. | Series from website. 9781627050067 (electronic bk.)

Place Hold on Introduction to logic

Introduction to logic /

By Genesereth, Michael R.,. . 1 PDF (xi, 151 pages) : , Part of: Synthesis digital library of engineering and computer science. | Series from website. 9781627052481

Place Hold on Introduction to logic /

Analytical performance modeling for computer systems /

By Tay, Y. C.,. . 1 PDF (xv, 125 pages) : , Part of: Synthesis digital library of engineering and computer science. | Series from website. 9781627052702

Place Hold on Analytical performance modeling for computer systems /

Introduction to logic /

By Genesereth, Michael R.,. . 1 PDF (xiii, 163 pages) : , Part of: Synthesis digital library of engineering and computer science. | Series from website. 9781627059992

Place Hold on Introduction to logic /

Creating autonomous vehicle systems /

By Liu, Shaoshan,. . 1 PDF (x, 186 pages) : , Part of: Synthesis digital library of engineering and computer science. 9781681730080

Place Hold on Creating autonomous vehicle systems /

Analytical performance modeling for computer systems /

By Tay, Y. C.,. . 1 PDF (xvii, 153 pages) : , Part of: Synthesis digital library of engineering and computer science. 9781681733906

Place Hold on Analytical performance modeling for computer systems /