371 - 380 من إجمالي: 421 عنوان و 4463 مادة رقمية.

ترتيب النتائج

Power networks planning using mixed-integer programming

المؤلف: Al Abd al-Aziz, Abd al-Aziz Uthman Muhammad

الناشر: king abdulaziz university scientific publishing center

تحميل مجاني

نوع المادة: مجلة

الموضوعات

Electric power distribution, Data processing

Electric power distribution, Planning

Integer programming, Data processing

معالجة البيانات

التخطيط

التصنيف:

العلوم التطبيقية

المصادر: قاعدة بيانات المقالات المجانية

اللغة: الإنجليزية

التاريخ: 2010

20 p. :

ill.

ملف خارجي

AI Horizon

الناشر: ai horizon

تحميل مجاني

نوع المادة: كتاب

الموضوعات

Games, Data processing.

Programming (Mathematics)

Go (Game), Data processing

Games of strategy (Mathematics)

Artificial intelligence, Research.

المصادر: University of Michigan

اللغة: الإنجليزية

التاريخ: 2001

ملف خارجي

Optimal Path Finding in Direction Location and Time Dependent Environments [Dissertation PhD--University of Michigan]

المؤلف: Dolinskaya, Irina Sergeyevna.

تحميل مجاني

نوع المادة: نظرية

الموضوعات

Path with Bounded Curvature (Dubins Car).

Optimal Control.

Optimal Path Finding.

Anisotropic Environment.

Time-Dependent Environment.

Dynamic Programming.

المصادر: University of Michigan

اللغة: الإنجليزية

التاريخ: 2009

ملف خارجي

The Privacy Engineers Manifesto

المؤلف: Dennedy, Michelle Finneran.

الناشر: apress

تحميل مجاني

نوع المادة: مجلة

الموضوعات

Computer science.

Computer Science.

Software Engineering/Programming and Operating Systems.

Software engineering.

Data Encryption.

Data encryption (Computer science).

التصنيف:

العلوم الطبيعية و الرياضيات

المطبوعات والمسلسلات

برمجة الحاسوب ،البرامج و البيانات

المصادر: Springer journals

اللغة: الإنجليزية

التاريخ: 2014

ردمك: 9781430263562

XXXVI, 400 p. 104 illus.

online resource.

ملف خارجي

Platform Embedded Security Technology Revealed

المؤلف: Ruan, Xiaoyu.

الناشر: apress

تحميل مجاني

نوع المادة: مجلة

الموضوعات

Computer science.

Data encryption (Computer science).

Software engineering.

Computer Science.

Software Engineering/Programming and Operating Systems.

Data Encryption.

التصنيف:

العلوم الطبيعية و الرياضيات

المطبوعات والمسلسلات

برمجة الحاسوب ،البرامج و البيانات

المصادر: Springer journals

اللغة: الإنجليزية

التاريخ: 2014

ردمك: 9781430265726

XX, 272 p. 74 illus.

online resource.

ملف خارجي

A Practical Guide to TPM 20

المؤلف: Arthur, Will.

الناشر: apress

تحميل مجاني

نوع المادة: مجلة

الموضوعات

Data Encryption.

Software engineering.

Computer Science.

Software Engineering/Programming and Operating Systems.

Computer science.

Data encryption (Computer science).

التصنيف:

العلوم الطبيعية و الرياضيات

المطبوعات والمسلسلات

برمجة الحاسوب ،البرامج و البيانات

المصادر: Springer journals

اللغة: الإنجليزية

التاريخ: 2015

ردمك: 9781430265849

XXVII, 392 p. 41 illus.

online resource.

ملف خارجي

Optimal Low- Power Control Strategies for an Autonomous Piezoelectric Micro-Robot [Dissertation PhD--University of Michigan]

المؤلف: Edamana, Biju.

تحميل مجاني

نوع المادة: نظرية

الموضوعات

Intermittent Kalman Filter.

Piezoelectric actuator control.

Micro-Electro Mechanical Systems (MEMS).

Integer Programming.

On-off control.

Sensor scheduling.

المصادر: University of Michigan

اللغة: الإنجليزية

التاريخ: 2012

ملف خارجي

NeuroDynamic Programming and Reinforcement Learning for Optimal Energy Management of a Series Hydraulic Hybrid Vehicle Considering Engine Transient Emissions [Dissertation PhD--University of Michigan]

المؤلف: Johri, Rajit.

تحميل مجاني

نوع المادة: نظرية

الموضوعات

Optimal Control.

Hybrid Vehicle.

Supervisory Controller / Power Management.

Soot and NOx Model.

Transient Diesel Emission.

Neuro Dynamic Programming.

المصادر: University of Michigan

اللغة: الإنجليزية

التاريخ: 2011

ملف خارجي

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2018 Thessaloniki Greece April 14-20 2018 Proceedings Part II

المؤلف: Dirk Beyer; Marieke Huisman

الناشر: springer

تحميل مجاني

نوع المادة: كتاب

الموضوعات

computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification

المصادر: قاعدة بيانات الكتب المجانية

اللغة: الإنجليزية

التاريخ: 2018

ردمك: 9783319899626 9783319899633

ملف خارجي

Foundations of Software Science and Computation Structures 21st International Conference FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2018 Thessaloniki Greece April 1420 2018 Proceedings

المؤلف: Christel Baier; Ugo Dal Lago

الناشر: springer

تحميل مجاني

نوع المادة: كتاب

الموضوعات

artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation logic; software engineering; theorem proving; type systems; verification

المصادر: قاعدة بيانات الكتب المجانية

اللغة: الإنجليزية

التاريخ: 2018

ردمك: 9783319893655 9783319893662

ملف خارجي

مرحباً!

المؤلف: Al Abd al-Aziz, Abd al-Aziz Uthman Muhammad

الناشر: king abdulaziz university scientific publishing center

الناشر: ai horizon

المؤلف: Dolinskaya, Irina Sergeyevna.

المؤلف: Dennedy, Michelle Finneran.

الناشر: apress

المؤلف: Ruan, Xiaoyu.

الناشر: apress

المؤلف: Arthur, Will.

الناشر: apress

المؤلف: Edamana, Biju.

المؤلف: Johri, Rajit.

المؤلف: Dirk Beyer; Marieke Huisman

الناشر: springer

المؤلف: Christel Baier; Ugo Dal Lago

الناشر: springer

الاستعلامات 1

سنة النشر

التصنيفات

الناشرون

المؤلفون

نوع المحتوى

اللغات

المصادر

الأسعار

المدن

سنوات

الصيغ

ترتيب