Search Sciweavers | Sciweavers

21 search results - page 4 / 5

» Model-Checking: A Tutorial Introduction

click to vote

PSSE
2004
Springer

105views Software Engineering» more PSSE 2004»

A Tutorial Introduction to CSP in Unifying Theories of Programming

14 years 21 days ago

Download www.cs.york.ac.uk

Ana Cavalcanti, Jim Woodcock

claim paper

Read More »

click to vote

USAB
2007

74views Software Engineering» more USAB 2007»

Tutorial: Introduction to Visual Analytics

13 years 8 months ago

Download www.donau-uni.ac.at

Wolfgang Aigner, Alessio Bertone, Silvia Miksch

claim paper

Read More »

click to vote

CORR
2004
Springer

92views Education» more CORR 2004»

A tutorial introduction to the minimum description length principle

13 years 7 months ago

Download homepages.cwi.nl

Peter Grünwald

claim paper

Read More »

click to vote

TCAD
2008

181views more TCAD 2008»

A Survey of Automated Techniques for Formal Software Verification

13 years 7 months ago

Download www.csee.usf.edu

The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...

Vijay D'Silva, Daniel Kroening, Georg Weissenbache...

claim paper

Read More »

click to vote

Book

403views

Eloquent JavaScript An opinionated guide to programming

15 years 3 months ago

Download eloquentjavascript.net

"Eloquent JavaScript is a digital book providing a comprehensive introduction (tutorial) to the JavaScript programming language. Apart from a bookful of text, it contains plen...

Marijn Haverbeke

posted by scimaster

Read More »

« Prev « First page 4 / 5 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers