The stepwise refinement method postulates a system construction route that starts with a high-lev...

This volume is based on the 'School Workshop on Linear Time, Branching Time and Partial Order in ...

Computer science in industry.- Dataflow and education: Data-driven and demand-driven distributed ...

The upcoming Java 9 module system will affect existing applications and offer new ways of creatin...

If you're an experienced Java developer in the enterprise, this practical, hands-on book shows yo...

Psychology and the Other Disciplines looks at how Aristotelian psychology developed from the medi...

John Buridan (d. 1361) was one of the most talented and influential philosophers of the late Midd...

This volume presents the first critical edition of books III and IV of the final redaction of Joh...

This volume presents the first critical edition of books V VIII of the final redaction of John Bu...