Search Results for Problems. - Narrowed by: Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProblems.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ps$003d300?dt=list
2026-04-03T20:42:09Z
Practical Problems in VLSI Physical Design Automation
ent://SD_ILS/0/SD_ILS:169876
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author Lim, Sung Kyu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6627-6">http://dx.doi.org/10.1007/978-1-4020-6627-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399721
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author Potapov, Igor. editor. Reynier, Pierre-Alain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00250-3">https://doi.org/10.1007/978-3-030-00250-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
ent://SD_ILS/0/SD_ILS:335046
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335046.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41036-9">http://dx.doi.org/10.1007/978-3-642-41036-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197393
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author Finkel, Alain. editor. Leroux, Jérôme. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33512-9">http://dx.doi.org/10.1007/978-3-642-33512-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195591
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author Delzanno, Giorgio. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24288-5">http://dx.doi.org/10.1007/978-3-642-24288-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192941
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author Kučera, Antonín. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15349-5">http://dx.doi.org/10.1007/978-3-642-15349-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz
ent://SD_ILS/0/SD_ILS:170617
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author Ravi, S. S. editor. Shukla, Sandeep K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9688-4">http://dx.doi.org/10.1007/978-1-4020-9688-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190942
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author Bournez, Olivier. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04420-5">http://dx.doi.org/10.1007/978-3-642-04420-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Problems from Applied Logic I Logics for the XXIst Century
ent://SD_ILS/0/SD_ILS:165782
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-31072-X">http://dx.doi.org/10.1007/0-387-31072-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification
ent://SD_ILS/0/SD_ILS:607564
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author Klemmer, Lucas. author. Große, Daniel. author. (orcid)0000-0002-1490-6175 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83093-8">https://doi.org/10.1007/978-3-031-83093-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Robotics Goes MOOC Impact
ent://SD_ILS/0/SD_ILS:608398
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author Siciliano, Bruno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77267-7">https://doi.org/10.1007/978-3-319-77267-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:606596
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Corbalán, Julita. editor. (orcid)0000-0002-3926-5634 Rodrigo, Gonzalo P. editor. (orcid)0000-0003-3315-8253 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74430-3">https://doi.org/10.1007/978-3-031-74430-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quick Start Guide to Verilog
ent://SD_ILS/0/SD_ILS:601842
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author LaMeres, Brock J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44104-2">https://doi.org/10.1007/978-3-031-44104-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Logic Circuits & Logic Design with Verilog
ent://SD_ILS/0/SD_ILS:601869
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author LaMeres, Brock J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43946-9">https://doi.org/10.1007/978-3-031-43946-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quick Start Guide to VHDL
ent://SD_ILS/0/SD_ILS:601872
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author LaMeres, Brock J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42543-1">https://doi.org/10.1007/978-3-031-42543-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Logic Circuits & Logic Design with VHDL
ent://SD_ILS/0/SD_ILS:601878
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author LaMeres, Brock J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42547-9">https://doi.org/10.1007/978-3-031-42547-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Logic Circuits & Logic Design with Verilog
ent://SD_ILS/0/SD_ILS:614238
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author LaMeres, Brock J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53883-9">https://doi.org/10.1007/978-3-319-53883-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:611801
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525 Korytkowski, Marcin. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59060-8">https://doi.org/10.1007/978-3-319-59060-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Logic Circuits & Logic Design with VHDL
ent://SD_ILS/0/SD_ILS:612345
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author LaMeres, Brock J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-34195-8">https://doi.org/10.1007/978-3-319-34195-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Data Structures and Algorithms for Logic Synthesis and Verification
ent://SD_ILS/0/SD_ILS:617019
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author Amaru, Luca Gaetano. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43174-1">https://doi.org/10.1007/978-3-319-43174-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hierarchical Type-2 Fuzzy Aggregation of Fuzzy Controllers
ent://SD_ILS/0/SD_ILS:613379
2026-04-03T20:42:09Z
2026-04-03T20:42:09Z
Author Cervantes, Leticia. author. Castillo, Oscar. author. (orcid)0000-0002-7385-5689 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-26671-8">https://doi.org/10.1007/978-3-319-26671-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>