Search Results for Logic.

1824 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 152

000000000000DEFAULTTR

25.

Logic testing and design for testability

Yazar

Fujiwara, Hideo, author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264

Format:

Electronic Resources

Alıntı:

Logic testing and design for testability / Fujiwara, Hideo, author.

26.

Separation Logic for High-level Synthesis

Yazar

Winterstein, Felix. author.

https://doi.org/10.1007/978-3-319-53222-6

Format:

Electronic Resources

Alıntı:

Logic Design. http://scigraph.springernature.com/things/product-market-codes/I12050

27.

Non-logic Devices in Logic Processes

Yazar

Ma, Yanjun. author.

https://doi.org/10.1007/978-3-319-48339-9

Format:

Electronic Resources

Alıntı:

Non-logic Devices in Logic Processes Ma, Yanjun. author.

28.

Towards the Future of Fuzzy Logic

Yazar

Seising, Rudolf. editor.

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

Format:

Electronic Resources

Alıntı:

Towards the Future of Fuzzy Logic Seising, Rudolf. editor.

29.

Pesky Essays on the Logic of Philosophy

Yazar

Lucey, Kenneth G. author.

http://dx.doi.org/10.1007/978-3-319-08063-5

Format:

Electronic Resources

Alıntı:

Logic, Argumentation & Reasoning, Interdisciplinary Perspectives from the Humanities and Social

30.

Logic programming : proceedings of the 1995 international symposium

Yazar

Lloyd, John.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853

Format:

Electronic Resources

Alıntı:

Logic programming : proceedings of the 1995 international symposium / Lloyd, John.

31.

Inductive logic programming : from machine learning to software engineering

Yazar

Bergadano, Francesco, 1963-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819

Format:

Electronic Resources

Alıntı:

Inductive logic programming : from machine learning to software engineering / Bergadano, Francesco

32.

Johan van Benthem on Logic and Information Dynamics

Yazar

Baltag, Alexandru. editor.

http://dx.doi.org/10.1007/978-3-319-06025-5

Format:

Electronic Resources

Alıntı:

Johan van Benthem on Logic and Information Dynamics Baltag, Alexandru. editor.

33.

Logic programming : proceedings of the 1997 International Symposium

Yazar

Małuszyński, J. (Jan), 1941-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517

Format:

Electronic Resources

Alıntı:

Logic programming : proceedings of the 1997 International Symposium / Małuszyński, J. (Jan), 1941-

34.

Logic programming : proceedings of the Tenth International Conference on Logic Programming

Yazar

International Conference on Logic Programming (10th : 1993 : Budapest, Hungary)

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525

Format:

Electronic Resources

Alıntı:

Logic programming : proceedings of the Tenth International Conference on Logic Programming /

35.

Set theory and logic/ Robert R. Stoll.

Yazar

Stoll, Robert Roth.

Format:

Kitap

Alıntı:

Set theory and logic/ Robert R. Stoll. Stoll, Robert Roth.

36.

Fundamentals of digital logic with Verilog design

Yazar

Brown, Stephen D.

Format:

Kitap

Alıntı:

Fundamentals of digital logic with Verilog design / Brown, Stephen D.

Tümünü Seç

1 2 3 4 5 .. 152

1824 sonuç bulundu

	{displayName}	{count}
{error}