user  (26 165 Angebote unter 17 393 310 Artikeln)

The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software...

Alcatel-Lucent OpenTouch Connection Universal Client Option - Lizenz - 1 Benutzer

Presenting a comprehensive resource for the mastery of network analysis in R, the goal of Network Analysis with R is to introduce modern network analysis techniques in R to social, physical, and he...

Alcatel-Lucent OpenTouch Business Edition Multimedia Services User Option Completing OpenTouch With Fax Services - Lizenz - 1 Benutzer

This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal me...

Theory and Foundations.- A Simpler Semantics for Z.- Interpretations of Z Schema Operators.- Promoting Forward Simulation.- Operation Schema Iterations.- Interference Revisited.- Standards and Tool...

In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers...

Steuern Sie bis zu 16 Computer oder Server von einem beliebigen Ort aus Dieser NetDirector® Cat5 KVM-Switch ist die intelligente Lösung für die Steuerung mehrerer Computer und Server in einer kompl...