Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

Books

3 works - Books.

Home
Books

"3" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Model checking software

Model checking software: 18th International SPIN Workshop, Snowbird, UT, U…

by International SPIN Workshop, Snowbird, Utah, Groce, Alex, Musuvathi, Madanlal, International SPIN Workshop on Model Checking of Software, Snowbird, Utah)

fromLecture Notes in Computer Science

0 Type: Book

Multicore simulation of power system transients

Multicore simulation of power system transients

by Uriarte, Fabian M., Institution of Engineering and Technology

fromIET Power and energy series

0 Type: Book

This book shows how to partition and parallelize the simulation of power system transients on a multicore desktop PC.

Multicore simulation of power system transients

Multicore simulation of power system transients

by Uriarte, Fabian M.

fromIET Power and energy series

0 Type: Book

This book shows how to partition and parallelize the simulation of power system transients on a multicore desktop PC.

Subjects

multi-threading (3) Electric Power Systems (2) Electric lines (2) Electric networks (2) Régime transitoire (Électrici… (2) Réseaux électriques (Circuits) (2) TECHNOLOGY & ENGINEERING -- M… (2) Time-domain analysis (2) Transients (Electricity) (2) multiprocessing systems (2) power apparatus (2) power system simulation (2) power system transients (2) Ausgleichsvorgang (1) Dynamisches Verhalten (1) Electric networks -- Computer… (1) Electric power systems -- Com… (1) Elektrisches Netz (1) Elektrizitätsversorgungsnetz (1) Kongress (1) Model Checking (1) Paperback / softback (1) Research (1) Réseaux électriques (Énergie) (1) Snowbird <Utah, 2011> (1) Transients (Electricity) -- C… (1) distributed systems (1) formal verification (1) probabilistic models (1) software verification (1)

Contributor

Uriarte, Fabian M. (2) Groce, Alex (1) Institution of Engineering an… (1) International SPIN Workshop o… (1) International SPIN Workshop, … (1) Musuvathi, Madanlal (1)

Publisher

The Institution of Engineerin… (2) Springer (1)

Year

2013 (2) 2011 (1)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type