Fujita
Author
Pub. Date
©2008
Language
English
Description
This book will explain how to verify SoC logic designs using formal and semi-formal verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as in functional verification), but many subtle design errors cannot be caught by simulation. Recently, formal verification, giving mathematical proof of...
26) Lots of bots
Author
Series
Robots rule! volume 2
Language
English
Formats
Description
"George is thrilled to score his dream internship at Tinker Tech. But he and his best pal Jackbot realize that something does not compute when a dangerous new invention threatens Terabyte Heights. As he and his friends search for answers, they uncover secrets about George's past that may change his life forever"--
27) Your alien
Author
Series
Your alien volume 1
Pub. Date
[2015]
Language
English
Description
When a little boy meets a stranded alien child, the two quickly become friends, but at bedtime, the alien suddenly grows very sad, and the boy tries to figure out what his new friend needs to be happy again.
28) The junkyard bot
Author
Series
Robots rule! volume 1
Pub. Date
[2014]
Language
English
Description
When George Gearing's personal robot Jackbot gets hit by a car, George rebuilds him into something amazing, only to have him disappear just as darkness threatens the town, leaving George and his new friend Anne Droid to find out what happened.
Author
Series
Pub. Date
2021.
Language
中文(繁體)
Description
There are cancer cells in each of us, and the strength of immunity determines whether it can prevent the development. As long as the immunity is strong enough, cancer cells will be eliminated by the body's immune cells. How to improve immunity? In the form of question and answer, this book explains the important role of improving immunity. It also analyzes intestinal microbes, intestinal environment, and introduces ways to improve immunity from aspects...
Author
Series
Your alien volume 2
Pub. Date
[2016]
Language
English
Description
When you least expect it, something special will get your attention. Your alien will be back. He will invite you over for a play date.
Author
Series
Robots rule! volume 3
Pub. Date
[2015]
Language
English
Description
The evil Dr. Micron is in jail, but the scandal at TinkerTech has caused a lot of anti-robot feeling in Terabyte Heights, making life difficult for the ten-year-old robotics genius George Gearing and his robot buddy, Jackbot--especially since Micron is the only person who can help George restore his parents, and his price is a jail-break.
Author
Series
BakeGyamon volume 2
Pub. Date
2009
Language
English
Description
"Always looking for an adventure, Sanshiro is whisked away to a backwards universe to play BakéGyamon-- a game pitting monsters against monsters. Clearing each game with just moments to spare, Sanshiro meets other contestants who aren't as happy that he's succeeding. Mick will do anything to get ahead-- lie, cheat, or steal-- and he's out to take advantage of Sanshiro's trusting personality"--Page 4 of cover.
Author
Series
Gong zuo sheng huo volume 004
Pub. Date
2013.
Language
中文(繁體)
Description
Traditional Chinese edition of Yuutsu de nakereba, shigoto ja nai (Learn useful techniques to make your work life a success - not headaches).
Author
Series
Pub. Date
[2009, ©2006]
Language
English
Description
"Sanshiro's chances of having an adventure are slim to none in his tiny island hometown, until the day a mysterious stranger invites him to play a game. Without warning, Sanshiro is taken to a backwards universe to play BakéGyamon, a game pitting monsters against monsters. Along the way he meets other players who have a particular reason for being there -- to obtain the wish that is granted to the winner. But how far can Sanshiro get when the monsters...
Author
Series
BakeGyamon volume 3
Pub. Date
[2009]
Language
English
Description
The thirty-two contestants are paired up to fight and Sanshiro will now have to battle the very people he wanted to befriend.
Author
Series
BakeGyamon volume 4
Pub. Date
©2009
Language
English
Description
Sanshiro desperately wants to have adventures, so when he gets the chance to go to a backwards version of Japan to play BakéGyamon, a game in which children compete through groups of battling monsters, he seizes the opportunity.
Author
Series
BakeGyamon volume 5
Pub. Date
[2009]
Language
English
Description
Sanshiro desperately wants to have adventures, so when he gets the chance to go to a backwards version of Japan to play BakéGyamon, a game in which children compete through groups of battling monsters, he seizes the opportunity.
Author
Series
Wotakoi (Manga) volume 3
Pub. Date
[2018]
Language
English
Description
"Narumi Momose has had it rough: Every boyfriend she's had dumped her once they found out she was an otaku, so she's gone to great lenths to hide it. When a chance meeting at her new job with childhood friend, fellow otaku, and now coworker Hirotaka Nifuji almost gets her secret outed at work, she comes up with a plan to make sure he never speaks up. But he comes up with a counter-proposal: Why doesn't she just date him instead?"--Provided by publisher....
Author
Series
Wotakoi (Manga) volume 4
Pub. Date
[2018]
Language
English
Description
"Narumi and Hirotaka's relationship is going swimmingly, so now the two have a new problem: the rumor mill. The couple is going to have to rely on Hirotaka's reputation as an undateable gamer to quash the gossip, because it's shaping up to be a busy summer. There's a double date with Hanako and Taro at a festival, Narumi's first try at cosplaying, and even that otaku classic: a hot springs episode. Meanwhile, when Naoya's incredible misunderstanding...
Author
Series
Wotakoi (Manga) volume 2
Pub. Date
[2018]
Language
English
Description
"Frustrated with the slow pace of their relationship, Hirotaka asks Narumi on a real date, with one critical stipulation -- they can't show their otaku sides at all. Can the two find something to bond over in the absence of games, manga, and anime? Meanwhile, Hanako and Taro revisit the origins of their own tempestuous relationship back when they were in high school, and even Naoya seems to be spending more time with a new friend!"--Provided by publisher....