الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 4 /4
978-3-540-32254-2
Mechanizing Mathematical Reasoning

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...

اقرأ المزيد
978-0-387-26350-2
Multi-Agent Programming

Part I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. ...

اقرأ المزيد
978-1-4302-0045-1
Pro J2ME Polish

The book describes the open-source tools collection J2ME Polish, and shows how the tools can be used for creating professional ...

اقرأ المزيد
978-0-387-76561-7
mm-Wave Silicon Technology : 60 GHz and Beyond

mm-Wave Silicon Technology: 60GHz and Beyond covers silicon-based millimeter wave circuits and systems. It provides in depth ...

اقرأ المزيد
عدد الكتب: 1 - 4 /4