Search Results for Semantics.

39 sonuç bulundu

Tümünü Seç

1 2 3 4

000000000000DEFAULTTR

25.

Semantically Based Clinical TCM Telemedicine Systems

Yazar

Wong, Allan K. Y. author.

http://dx.doi.org/10.1007/978-3-662-46024-5

Format:

Electronic Resources

Alıntı:

-- Semantics and Ontology -- Ontology for Traditional Chinese Medicine (TCM) -- Ontology Driven System

26.

Digital VLSI Design with Verilog A Textbook from Silicon Valley Polytechnic Institute

Yazar

Williams, John Michael. author.

http://dx.doi.org/10.1007/978-3-319-04789-8

Format:

Electronic Resources

Alıntı:

language: Syntax, synthesis semantics, simulation, and test. Complete solutions for the 27 labs are

27.

Inter-cooperative Collective Intelligence: Techniques and Applications

Yazar

Xhafa, Fatos. editor.

http://dx.doi.org/10.1007/978-3-642-35016-0

Format:

Electronic Resources

Alıntı:

Inter-Cooperative Strategies – Conceptual Evolutionary Considerations -- Discovering the Hidden Semantics in

28.

A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications

Yazar

Janjua, Naeem Khalid. author.

http://dx.doi.org/10.1007/978-3-319-03949-7

Format:

Electronic Resources

Alıntı:

A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web

29.

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications

Yazar

Mehta, Ashok B. author.

http://dx.doi.org/10.1007/978-3-319-30539-4

Format:

Electronic Resources

Alıntı:

entirety the latest IEEE-1800 2012 LRM syntax and semantics; · Covers both SystemVerilog Assertions and

30.

SVA: The Power of Assertions in SystemVerilog

Yazar

Cerny, Eduard. author.

http://dx.doi.org/10.1007/978-3-319-07139-8

Format:

Electronic Resources

Alıntı:

Verification and Models.- Formal Semantics.- Part VI. Advanced Checkers -- Checkers in Formal Verification

31.

Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology – ISAT 2017 Part II

Yazar

Świątek, Jerzy. editor.

https://doi.org/10.1007/978-3-319-67229-8

Format:

Electronic Resources

Alıntı:

Semantics for UML Activities.

32.

From Animals to Robots and Back: Reflections on Hard Problems in the Study of Cognition A Collection in Honour of Aaron Sloman

Yazar

Wyatt, Jeremy L. editor.

http://dx.doi.org/10.1007/978-3-319-06614-1

Format:

Electronic Resources

Alıntı:

competences for individual and collaborative learning -- Loop-closing semantics.

33.

Quality Software Through Reuse and Integration

Yazar

Rubin, Stuart H. editor.

https://doi.org/10.1007/978-3-319-56157-8

Format:

Electronic Resources

Alıntı:

relative validity, which is based on testing. Axiomatic, denotational, and other program semantics are more

34.

Thriving Rough Sets 10th Anniversary - Honoring Professor Zdzisław Pawlak's Life and Legacy & 35 Years of Rough Sets

Yazar

Wang, Guoyin. editor.

https://doi.org/10.1007/978-3-319-54966-8

Format:

Electronic Resources

Alıntı:

Information System and Rough Set -- Knowledge and Consequence in AC Semantics for General Rough Sets

35.

Enterprise Interoperability VI Interoperability for Agility, Resilience and Plasticity of Collaborations

Yazar

Mertins, Kai. editor.

http://dx.doi.org/10.1007/978-3-319-04948-9

Format:

Electronic Resources

Alıntı:

-- Semantics for Enterprise Interoperability -- Architectures and Frameworks for Interoperability -- Future

36.

Knowledge and Systems Engineering Proceedings of the Fifth International Conference KSE 2013, Volume 1

Yazar

Huynh, Van Nam. editor.

http://dx.doi.org/10.1007/978-3-319-02741-8

Format:

Electronic Resources

Alıntı:

Categorization -- Gender Prediction Using Browsing History -- News Aggregating System Supporting Semantic

Tümünü Seç

1 2 3 4

39 sonuç bulundu

	{displayName}	{count}
{error}