Welcome to Central Library, SUST

Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Results
1.
SemProM [electronic resource] : Foundations of Semantic Product Memories for the Internet of Things / edited by Wolfgang Wahlster. by
  • Wahlster, Wolfgang [editor.]
  • SpringerLink (Online service)
Series: Cognitive Technologies
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

2.
The Deductive Spreadsheet [electronic resource] / by Iliano Cervesato. by
  • Cervesato, Iliano [author.]
  • SpringerLink (Online service)
Series: Cognitive Technologies
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

3.
Reactive Kripke Semantics [electronic resource] / by Dov M. Gabbay. by
  • Gabbay, Dov M [author.]
  • SpringerLink (Online service)
Series: Cognitive Technologies
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

Pages