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

Early Output Logic and Anti-Tokens

2026-07-20T09:37:01Z

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-20T09:37:01Z

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-20T09:37:01Z

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-20T09:37:01Z

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

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

2026-07-20T09:37:01Z

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

Inductive Certificate Synthesis for Control Design

2026-07-20T09:37:01Z

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

Tunnel Field Effect Transistors: From Theory to Applications

2026-07-20T09:37:01Z

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-20T09:37:01Z

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-20T09:37:01Z

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-20T09:37:01Z

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-20T09:37:01Z

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-20T09:37:01Z

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

Computer analysis of cardiac arrhythmias

2026-07-20T09:37:01Z

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

Strategic Security and Recovery on Interdependent Networks

2026-07-20T09:37:01Z

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-20T09:37:01Z

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-20T09:37:01Z

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