Arama Sonuçları Logic. - Daraltılmış: Computer science.

Early Output Logic and Anti-Tokens

2026-07-16T19:48:19Z

by Brej, Charles, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:13870707
Format: Kitap

Linear Logic and Coordination for Parallel Programming

2026-07-16T19:48:19Z

by Cruz, Flávio Manuel Fernandes, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10820622
Format: Kitap

Three-Valued Combinational and Sequential Logic Networks

2026-07-16T19:48:19Z

by Porat, D. I., author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:13870510
Format: Kitap

The exploitation of parallelism in logic simulation

2026-07-16T19:48:19Z

by Whitaker, Nigel Allen, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10870983
Format: Kitap

Learning and soft computing support vector machines, neural networks, and fuzzy logic models

2026-07-16T19:48:19Z

by Kecman, V. (Vojislav), 1948-
Click to View
Format: Elektronik Kaynak

A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications

2026-07-16T19:48:19Z

by Iannopollo, Antonio, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:13423777
Format: Kitap

Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing

2026-07-16T19:48:19Z

by Seising, Rudolf. editor.
http://dx.doi.org/10.1007/978-3-319-48317-7
Format: Elektronik Kaynak

A framework for defining logics

2026-07-16T19:48:19Z

by Harper, Robert
Format: Kitap

Working material for the lectures of Gerhard Jager.

2026-07-16T19:48:19Z

by Jager, Gerhard
Format: Kitap

Working material for the lectures of Stan S. Wainer.

2026-07-16T19:48:19Z

by Wainer, Stan S.
Format: Kitap

Inductive Certificate Synthesis for Control Design

2026-07-16T19:48:19Z

by Ravanbakhsh, Hadi, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10792462
Format: Kitap

Overview of the PMBOK® Guide Paving the Way for PMP® Certification

2026-07-16T19:48:19Z

by Ó Conchúir, Deasún.
http://dx.doi.org/10.1007/978-3-642-31803-0
Format: Elektronik Kaynak

Advances in computers. Volume 32

2026-07-16T19:48:19Z

by Yovits, M. C. (Marshall Clinton)
ScienceDirect http://www.sciencedirect.com/science/book/9780120121328
Format: Elektronik Kaynak

Tunnel Field Effect Transistors: From Theory to Applications

2026-07-16T19:48:19Z

by Li, Mingda, author. (orcid)0000-0002-0494-3853
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10822280
Format: Kitap

A Neural Network Model for Classifying Bubble-Based Instructor Evaluations, and an Accompanying Web Portal

2026-07-16T19:48:19Z

by Held, Jason, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10786695
Format: Kitap

Bytecode-based Multiple Condition Coverage: An Initial Investigation

2026-07-16T19:48:19Z

by Bollina, Srujana, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10751455
Format: Kitap

Modelling and planning dialogue from formal semantics

2026-07-16T19:48:19Z

by Funk, John Adam, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10836293
Format: Kitap

Pipelined IEEE-754 Double Precision Floating Point Arithmetic Operators on Virtex FPGA's

2026-07-16T19:48:19Z

by Pathanjali, Nandini, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10857176
Format: Kitap

An adaptive agent-based multicriteria simulation system

2026-07-16T19:48:19Z

by Neumann, Uwe, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10832333
Format: Kitap

Parallel processing for artificial intelligence 3

2026-07-16T19:48:19Z

by Geller, James.
ScienceDirect https://www.sciencedirect.com/science/book/9780444824868 ScienceDirect https://www.sciencedirect.com/science/bookseries/09230459/20
Format: Elektronik Kaynak

Advances in computers. Volume 24

2026-07-16T19:48:19Z

by Yovits, M. C. (Marshall Clinton)
ScienceDirect http://www.sciencedirect.com/science/book/9780120121243 ScienceDirect http://www.sciencedirect.com/science/bookseries/00652458/24
Format: Elektronik Kaynak

Advances in computers. Volume 17

2026-07-16T19:48:19Z

by Yovits, M. C. (Marshall Clinton)
ScienceDirect https://www.sciencedirect.com/science/book/9780120121175 ScienceDirect https://www.sciencedirect.com/science/bookseries/00652458/17
Format: Elektronik Kaynak

Advances in computers. Volume 11

2026-07-16T19:48:19Z

by Alt, Franz L.
ScienceDirect http://www.sciencedirect.com/science/book/9780120121113
Format: Elektronik Kaynak

Advances in computers. Volume 4

2026-07-16T19:48:19Z

by Alt, Franz L.
ScienceDirect https://www.sciencedirect.com/science/book/9780120121045 ScienceDirect https://www.sciencedirect.com/science/bookseries/00652458/4
Format: Elektronik Kaynak

Computer analysis of cardiac arrhythmias

2026-07-16T19:48:19Z

by Taylor, Thomas Philip Muir, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10868036
Format: Kitap

Advances in computers. Volume 12

2026-07-16T19:48:19Z

by Rubinoff, Morris.
ScienceDirect https://www.sciencedirect.com/science/book/9780120121120 ScienceDirect https://www.sciencedirect.com/science/bookseries/00652458/12 ScienceDirect http://www.sciencedirect.com/science/book/9780120121120 ScienceDirect http://www.sciencedirect.com/science/bookseries/00652458/12
Format: Elektronik Kaynak

Advances in computers. Volume 3

2026-07-16T19:48:19Z

by Alt, Franz L.
ScienceDirect https://www.sciencedirect.com/science/book/9780120121038 ScienceDirect https://www.sciencedirect.com/science/bookseries/00652458/3
Format: Elektronik Kaynak

Strategic Security and Recovery on Interdependent Networks

2026-07-16T19:48:19Z

by Smith, Andrew Michael, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10749164
Format: Kitap

Chronic Risk and Disease Management Model Using Structured Query Language and Predictive Analysis

2026-07-16T19:48:19Z

by Ojha, Mamata, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10809708
Format: Kitap

Elastic and Adaptive SDN-based Defense in Cloud Computing with Programmable Measurement

2026-07-16T19:48:19Z

by Wang, An, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10813524
Format: Kitap