Titlebook: Model Checking Software; 17th International S Jaco Pol,Michael Weber Conference proceedings 2010 Springer Berlin Heidelberg 2010 abstractio

Objective

书目名称Model Checking Software影响因子(影响力)




书目名称Model Checking Software影响因子(影响力)学科排名




书目名称Model Checking Software网络公开度




书目名称Model Checking Software网络公开度学科排名




书目名称Model Checking Software被引频次




书目名称Model Checking Software被引频次学科排名




书目名称Model Checking Software年度引用




书目名称Model Checking Software年度引用学科排名




书目名称Model Checking Software读者反馈




书目名称Model Checking Software读者反馈学科排名

世俗

Vo2-Max

Implicit

Model Checking Software978-3-642-16164-3Series ISSN 0302-9743 Series E-ISSN 1611-3349

马赛克

0302-9743 Overview: Up to date results.Fast conference proceedings.State-of-the-art report978-3-642-16163-6978-3-642-16164-3Series ISSN 0302-9743 Series E-ISSN 1611-3349

corn732

Jaco Pol,Michael WeberUp to date results.Fast conference proceedings.State-of-the-art report

exigent

Numerical Simulation and Experimental Research of the Hydrostatic Extrusion Process of Pure Tungste the significance of technology for the world in the 21st ce.This book gives a short presentation of the triad philosophy–physics–technology against the background of the common origin in ancient times...This is the first English edition of this book, previously published in German. The emergence of

制造

Global Perspective for the Use of Aquatic Macrophytes in Regulatory Risk Assessment for Contaminants,stem services for humans. It is therefore pertinent that macrophytes are considered in the ecological risk assessment (ERA) for chemicals and other contaminants that could impact their services. Macrophytes can display a range of morphologies and growth forms, and depending on those, require water,

招致

A Novel Approach to Compute Similarities and Its Application to Item Recommendationrrelation-based methods, which only consider user ratings for common items, this approach uses all the available ratings, allowing it to compute meaningful similarities. To evaluate the usefulness of this approach, we test it on the problem of predicting the ratings of users for movies and jokes.

Incise