Arama Sonuçları Logic. - Daraltılmış: Engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic.$0026qf$003dSUBJECT$002509Konu$002509Engineering.$002509Engineering.$0026ps$003d300?dt=list
2024-11-22T12:01:06Z
Fuzzy Equational Logic
ent://SD_ILS/0/SD_ILS:183348
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Bělohlávek, Radim. author. Vychodil, Vilém. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b105121">http://dx.doi.org/10.1007/b105121</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Circuit Design Selected Methods
ent://SD_ILS/0/SD_ILS:196263
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Vingron, Shimon P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27657-6">http://dx.doi.org/10.1007/978-3-642-27657-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Fuzzy Logic using MATLAB
ent://SD_ILS/0/SD_ILS:184305
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Sivanandam, S. N. author. Sumathi, S. author. Deepa, S. N. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-35781-0">http://dx.doi.org/10.1007/978-3-540-35781-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy Logic Applications in Engineering Science
ent://SD_ILS/0/SD_ILS:169075
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Harris, J. author. Tzafestas, S. G. editor. Chen, C. S. editor. Fokuda, T. editor. Harashima, F. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4078-4">http://dx.doi.org/10.1007/1-4020-4078-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy Logic in Financial Analysis
ent://SD_ILS/0/SD_ILS:183311
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Gil-Lafuente, Anna Maria. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-32368-6">http://dx.doi.org/10.1007/3-540-32368-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy Logic, Identification and Predictive Control
ent://SD_ILS/0/SD_ILS:175220
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Espinosa, Jairo. author. Vandewalle, Joos. author. Wertz, Vincent. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138626">http://dx.doi.org/10.1007/b138626</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematics of Fuzzy Sets and Fuzzy Logic
ent://SD_ILS/0/SD_ILS:333950
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Bede, Barnabas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333950.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35221-8">http://dx.doi.org/10.1007/978-3-642-35221-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Linguistic Fuzzy Logic Methods in Social Sciences
ent://SD_ILS/0/SD_ILS:192305
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Arfi, Badredine. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13343-5">http://dx.doi.org/10.1007/978-3-642-13343-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Towards a Design Flow for Reversible Logic
ent://SD_ILS/0/SD_ILS:205530
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-9579-4">http://dx.doi.org/10.1007/978-90-481-9579-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Knowledge-Based Neurocomputing: A Fuzzy Logic Approach
ent://SD_ILS/0/SD_ILS:188985
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Kolman, Eyal. author. Margaliot, Michael. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88077-6">http://dx.doi.org/10.1007/978-3-540-88077-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Synthesis for FSM-Based Control Units
ent://SD_ILS/0/SD_ILS:190905
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04309-3">http://dx.doi.org/10.1007/978-3-642-04309-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Synthesis for Compositional Microprogram Control Units
ent://SD_ILS/0/SD_ILS:185766
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Barkalov, Alexander. editor. Titarenko, Larysa. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69285-0">http://dx.doi.org/10.1007/978-3-540-69285-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Type-2 Fuzzy Logic: Theory and Applications
ent://SD_ILS/0/SD_ILS:187564
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-76284-3">http://dx.doi.org/10.1007/978-3-540-76284-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integration of Fuzzy Logic and Chaos Theory
ent://SD_ILS/0/SD_ILS:183408
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Li, Zhong. editor. Halang, Wolfgang A. editor. Chen, Guanrong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-32502-6">http://dx.doi.org/10.1007/3-540-32502-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Fuzzy Logic Technologies in Industrial Applications
ent://SD_ILS/0/SD_ILS:175430
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Bai, Ying. editor. Zhuang, Hanqi. editor. Wang, Dali. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-469-4">http://dx.doi.org/10.1007/978-1-84628-469-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy Logic in Intelligent System Design Theory and Applications
ent://SD_ILS/0/SD_ILS:400579
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Melin, Patricia. editor. Castillo, Oscar. editor. Kacprzyk, Janusz. editor. Reformat, Marek. editor. Melek, William. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67137-6">https://doi.org/10.1007/978-3-319-67137-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logic
ent://SD_ILS/0/SD_ILS:401807
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Olivas, Frumen. author. Valdez, Fevrier. author. Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70851-5">https://doi.org/10.1007/978-3-319-70851-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Type-2 Fuzzy Logic and Systems Dedicated to Professor Jerry Mendel for his Pioneering Contribution
ent://SD_ILS/0/SD_ILS:402429
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar John, Robert. editor. Hagras, Hani. editor. Castillo, Oscar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-72892-6">https://doi.org/10.1007/978-3-319-72892-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT- 2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 2
ent://SD_ILS/0/SD_ILS:402618
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Slawomir. editor. Atanassov, K. T. editor. Krawczak, Maciej. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66824-6">https://doi.org/10.1007/978-3-319-66824-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT- 2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 3
ent://SD_ILS/0/SD_ILS:399038
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Slawomir. editor. Atanassov, Krassimir T. editor. Krawczak, Maciej. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66827-7">https://doi.org/10.1007/978-3-319-66827-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
New Classification Method Based on Modular Neural Networks with the LVQ Algorithm and Type-2 Fuzzy Logic
ent://SD_ILS/0/SD_ILS:402508
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Amezcua, Jonathan. author. Melin, Patricia. author. Castillo, Oscar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-73773-7">https://doi.org/10.1007/978-3-319-73773-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Synthesis for Finite State Machines Based on Linear Chains of States Foundations, Recent Developments and Challenges
ent://SD_ILS/0/SD_ILS:400169
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Barkalov, Alexander. author. Titarenko, Larysa. author. Bieganowski, Jacek. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-59837-6">https://doi.org/10.1007/978-3-319-59837-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applications
ent://SD_ILS/0/SD_ILS:401392
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Castillo, Oscar. editor. Melin, Patricia. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-71008-2">https://doi.org/10.1007/978-3-319-71008-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT-2017 – The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11–15, 2017, Warsaw, Poland IWIFSGN’2017 – The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13–15, 2017, Warsaw, Poland, Volume 1
ent://SD_ILS/0/SD_ILS:401408
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Kacprzyk, Janusz. editor. Szmidt, Eulalia. editor. Zadrożny, Sławomir. editor. Atanassov, Krassimir T. editor. Krawczak, Maciej. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66830-7">https://doi.org/10.1007/978-3-319-66830-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
ent://SD_ILS/0/SD_ILS:334139
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Czerwinski, Robert. author. Kania, Dariusz. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334139.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36166-1">http://dx.doi.org/10.1007/978-3-642-36166-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Early Software Reliability Prediction A Fuzzy Logic Approach
ent://SD_ILS/0/SD_ILS:335512
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Pandey, Ajeet Kumar. author. Goyal, Neeraj Kumar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335512.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-81-322-1176-1">http://dx.doi.org/10.1007/978-81-322-1176-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Design, Analysis and Test of Logic Circuits Under Uncertainty
ent://SD_ILS/0/SD_ILS:335669
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335669.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-9644-9">http://dx.doi.org/10.1007/978-90-481-9644-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Selected Advances in Nanoelectronic Devices Logic, Memory and RF
ent://SD_ILS/0/SD_ILS:333427
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Joodaki, Mojtaba. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333427.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31350-9">http://dx.doi.org/10.1007/978-3-642-31350-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Architecture and Design of Molecule Logic Gates and Atom Circuits Proceedings of the 2nd AtMol European Workshop
ent://SD_ILS/0/SD_ILS:333670
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Lorente, Nicolas. editor. Joachim, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333670.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33137-4">http://dx.doi.org/10.1007/978-3-642-33137-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamentals of the Fuzzy Logic-Based Generalized Theory of Decisions
ent://SD_ILS/0/SD_ILS:333898
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Aliev, Rafik Aziz. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333898.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34895-2">http://dx.doi.org/10.1007/978-3-642-34895-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertainty
ent://SD_ILS/0/SD_ILS:333243
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Starczewski, Janusz T. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333243.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29520-1">http://dx.doi.org/10.1007/978-3-642-29520-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Disruptive Logic Architectures and Technologies From Device to System Level
ent://SD_ILS/0/SD_ILS:174185
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Gaillardon, Pierre-Emmanuel. author. O’Connor, Ian. author. Clermidy, Fabien. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-3058-2">http://dx.doi.org/10.1007/978-1-4614-3058-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Vector Control of Induction Machines Desensitisation and Optimisation Through Fuzzy Logic
ent://SD_ILS/0/SD_ILS:168623
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Robyns, Benoît. author. Francois, Bruno. author. Degobert, Philippe. author. Hautier, Jean Paul. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-901-7">http://dx.doi.org/10.1007/978-0-85729-901-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Risk Management Technologies With Logic and Probabilistic Models
ent://SD_ILS/0/SD_ILS:206641
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Solozhentsev, E.D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-4288-8">http://dx.doi.org/10.1007/978-94-007-4288-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Type-2 Fuzzy Logic in Intelligent Control Applications
ent://SD_ILS/0/SD_ILS:195707
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Castillo, Oscar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24663-0">http://dx.doi.org/10.1007/978-3-642-24663-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Techniques in Logic Synthesis, Optimizations and Applications
ent://SD_ILS/0/SD_ILS:172897
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Gulati, Kanupriya. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-7518-8">http://dx.doi.org/10.1007/978-1-4419-7518-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design
ent://SD_ILS/0/SD_ILS:194757
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Vasyukevich, Vadim. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21611-4">http://dx.doi.org/10.1007/978-3-642-21611-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Emotional Cognitive Neural Algorithms with Engineering Applications Dynamic Logic: FromVague to Crisp
ent://SD_ILS/0/SD_ILS:195153
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Perlovsky, Leonid. author. Deming, Ross. author. Ilin, Roman. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22830-8">http://dx.doi.org/10.1007/978-3-642-22830-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
ent://SD_ILS/0/SD_ILS:191764
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11682-7">http://dx.doi.org/10.1007/978-3-642-11682-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information
ent://SD_ILS/0/SD_ILS:192546
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Cao, Tru Hoang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14087-7">http://dx.doi.org/10.1007/978-3-642-14087-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy Logic-Based Algorithms for Video De-Interlacing
ent://SD_ILS/0/SD_ILS:191449
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Brox, Piedad. author. Baturone, Iluminada. author. Sánchez-Solano, Santiago. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10695-8">http://dx.doi.org/10.1007/978-3-642-10695-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery
ent://SD_ILS/0/SD_ILS:192900
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Magnani, Lorenzo. editor. Carnielli, Walter. editor. Pizzi, Claudio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15223-8">http://dx.doi.org/10.1007/978-3-642-15223-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Quantitative Logic and Soft Computing 2010 Volume 2
ent://SD_ILS/0/SD_ILS:193043
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Cao, Bing-yuan. editor. Wang, Guo-jun. editor. Chen, Shui-li. editor. Guo, Si-zong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15660-1">http://dx.doi.org/10.1007/978-3-642-15660-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Modeling Uncertainty with Fuzzy Logic With Recent Theory and Applications
ent://SD_ILS/0/SD_ILS:189362
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Celikyilmaz, Asli. author. Türksen, I. Burhan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89924-2">http://dx.doi.org/10.1007/978-3-540-89924-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Views on Fuzzy Sets and Systems from Different Perspectives Philosophy and Logic, Criticisms and Applications
ent://SD_ILS/0/SD_ILS:189511
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Seising, Rudolf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-93802-6">http://dx.doi.org/10.1007/978-3-540-93802-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy Logic in Action: Applications in Epidemiology and Beyond
ent://SD_ILS/0/SD_ILS:185711
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Massad, Eduardo. author. Ortega, Neli Regina Siqueira. author. Barros, Laecio Carvalho. author. Struchiner, Claudio José. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69094-8">http://dx.doi.org/10.1007/978-3-540-69094-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy Logic A Spectrum of Theoretical & Practical Issues
ent://SD_ILS/0/SD_ILS:186227
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Wang, Paul P. editor. Ruan, Da. editor. Kerre, Etienne E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71258-9">http://dx.doi.org/10.1007/978-3-540-71258-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theoretical Advances and Applications of Fuzzy Logic and Soft Computing
ent://SD_ILS/0/SD_ILS:186540
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Castillo, Oscar. editor. Melin, Patricia. editor. Ross, Oscar Montiel. editor. Sepúlveda Cruz, Roberto. editor. Pedrycz, Witold. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72434-6">http://dx.doi.org/10.1007/978-3-540-72434-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines
ent://SD_ILS/0/SD_ILS:183748
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Bhattacharya, Alakananda. author. Konar, Amit. author. Mandal, Ajit K. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-33459-0">http://dx.doi.org/10.1007/978-3-540-33459-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
ent://SD_ILS/0/SD_ILS:183536
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Penczek, Wojciech. author. Pólrola, Agata. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-32870-4">http://dx.doi.org/10.1007/978-3-540-32870-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamentals of Switching Theory and Logic Design A Hands on Approach
ent://SD_ILS/0/SD_ILS:165712
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Astola, Jaakko T. author. Stanković, Radomir S. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-30311-1">http://dx.doi.org/10.1007/0-387-30311-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits
ent://SD_ILS/0/SD_ILS:168770
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Alioto, Massimo. author. Palumbo, Gaetano. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-2888-1">http://dx.doi.org/10.1007/1-4020-2888-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensions
ent://SD_ILS/0/SD_ILS:402514
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Buscema, Paolo Massimo. author. Massini, Giulia. author. Breda, Marco. author. Lodwick, Weldon A. author. Newman, Francis. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-75049-1">https://doi.org/10.1007/978-3-319-75049-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Complex Binary Number System Algorithms and Circuits
ent://SD_ILS/0/SD_ILS:335470
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Jamil, Tariq. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335470.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-81-322-0854-9">http://dx.doi.org/10.1007/978-81-322-0854-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory of Digital Automata
ent://SD_ILS/0/SD_ILS:335923
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Borowik, Bohdan. author. Karpinskyy, Mykola. author. Lahno, Valery. author. Petrov, Oleksandr. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335923.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-5228-3">http://dx.doi.org/10.1007/978-94-007-5228-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On Fuzziness A Homage to Lotfi A. Zadeh – Volume 1
ent://SD_ILS/0/SD_ILS:334017
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334017.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35641-4">http://dx.doi.org/10.1007/978-3-642-35641-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2
ent://SD_ILS/0/SD_ILS:334018
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334018.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35644-5">http://dx.doi.org/10.1007/978-3-642-35644-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Compact Models and Measurement Techniques for High-Speed Interconnects
ent://SD_ILS/0/SD_ILS:173845
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Sharma, Rohit. author. Chakravarty, Tapas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-1071-3">http://dx.doi.org/10.1007/978-1-4614-1071-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Unknown Component Problem Theory and Applications
ent://SD_ILS/0/SD_ILS:166624
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Villa, Tiziano. author. Yevtushenko, Nina. author. Brayton, Robert K. author. Mishchenko, Alan. author. Petrenko, Alexandre. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-68759-9">http://dx.doi.org/10.1007/978-0-387-68759-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recognizing Variable Environments The Theory of Cognitive Prism
ent://SD_ILS/0/SD_ILS:195532
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Dong, Tiansi. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24058-4">http://dx.doi.org/10.1007/978-3-642-24058-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Entwurf integrierter 3D-Systeme der Elektronik
ent://SD_ILS/0/SD_ILS:196921
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Lienig, Jens. editor. Dietrich, Manfred. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30572-6">http://dx.doi.org/10.1007/978-3-642-30572-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On Intuitionistic Fuzzy Sets Theory
ent://SD_ILS/0/SD_ILS:196621
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Atanassov, Krassimir T. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29127-2">http://dx.doi.org/10.1007/978-3-642-29127-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
VLSI Physical Design: From Graph Partitioning to Timing Closure
ent://SD_ILS/0/SD_ILS:205534
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Kahng, Andrew B. author. Lienig, Jens. author. Markov, Igor L. author. Hu, Jin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-9591-6">http://dx.doi.org/10.1007/978-90-481-9591-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Regular Nanofabrics in Emerging Technologies Design and Fabrication Methods for Nanoscale Digital Circuits
ent://SD_ILS/0/SD_ILS:205904
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Ben Jamaa, M. Haykel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0650-7">http://dx.doi.org/10.1007/978-94-007-0650-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Speech Processing in Embedded Systems
ent://SD_ILS/0/SD_ILS:167277
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Sinha, Priyabrata. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-75581-6">http://dx.doi.org/10.1007/978-0-387-75581-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
More than Moore Creating High Value Micro/Nanoelectronics Systems
ent://SD_ILS/0/SD_ILS:167281
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Zhang, Guo Qi. editor. Roosmalen, Alfred. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-75593-9">http://dx.doi.org/10.1007/978-0-387-75593-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Embedded System Design Using Field Programmable Gate Arrays
ent://SD_ILS/0/SD_ILS:175875
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Dubey, Rahul. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-016-6">http://dx.doi.org/10.1007/978-1-84882-016-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair
ent://SD_ILS/0/SD_ILS:170513
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Chang, Kai-hui. author. Markov, Igor L. author. Bertacco, Valeria. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9365-4">http://dx.doi.org/10.1007/978-1-4020-9365-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy Rationality A Critique and Methodological Unity of Classical, Bounded and Other Rationalities
ent://SD_ILS/0/SD_ILS:188988
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Dompere, Kofi Kissi. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88083-7">http://dx.doi.org/10.1007/978-3-540-88083-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Epistemic Foundations of Fuzziness Unified Theories on Decision-Choice Processes
ent://SD_ILS/0/SD_ILS:188989
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Dompere, Kofi Kissi. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88085-1">http://dx.doi.org/10.1007/978-3-540-88085-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzziness and Approximate Reasoning Epistemics on Uncertainty, Expectation and Risk in Rational Behavior
ent://SD_ILS/0/SD_ILS:188990
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Dompere, Kofi Kissi. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88087-5">http://dx.doi.org/10.1007/978-3-540-88087-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Electronics System Design Techniques for Safety Critical Applications
ent://SD_ILS/0/SD_ILS:170397
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Sterpone, Luca. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8979-4">http://dx.doi.org/10.1007/978-1-4020-8979-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Practical Problems in VLSI Physical Design Automation
ent://SD_ILS/0/SD_ILS:169876
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Lim, Sung Kyu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
High-Level Synthesis From Algorithm to Digital Circuit
ent://SD_ILS/0/SD_ILS:170235
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Coussy, Philippe. editor. Morawiec, Adam. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8588-8">http://dx.doi.org/10.1007/978-1-4020-8588-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
New Developments in Formal Languages and Applications
ent://SD_ILS/0/SD_ILS:188079
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78291-9">http://dx.doi.org/10.1007/978-3-540-78291-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fault-Tolerance Techniques for SRAM-based FPGAs
ent://SD_ILS/0/SD_ILS:165779
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Kastensmidt, Fernanda Lima. author. Carro, Luigi. author. Reis, Ricardo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-31069-5">http://dx.doi.org/10.1007/978-0-387-31069-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung
ent://SD_ILS/0/SD_ILS:182190
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Lienig, Jens. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-29942-4">http://dx.doi.org/10.1007/3-540-29942-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Roadmap for Formal Property Verification
ent://SD_ILS/0/SD_ILS:169271
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar DasGupta, Pallab. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-4758-9">http://dx.doi.org/10.1007/978-1-4020-4758-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Taxonomies for the Development and Verification of Digital Systems
ent://SD_ILS/0/SD_ILS:165002
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Bailey, Brian. editor. Martin, Grant. editor. Anderson, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b104217">http://dx.doi.org/10.1007/b104217</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
New Algorithms, Architectures and Applications for Reconfigurable Computing
ent://SD_ILS/0/SD_ILS:168817
2024-11-22T12:01:06Z
2024-11-22T12:01:06Z
Yazar Lysaght, Patrick. editor. Rosenstiel, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3128-9">http://dx.doi.org/10.1007/1-4020-3128-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>