Arama Sonuçları systems. - Daraltılmış: Computer aided design.

Wearable Monitoring Systems

2026-01-26T12:59:18Z

Yazar Bonfiglio, Annalisa. editor. De Rossi, Danilo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7384-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptable Embedded Systems

2026-01-26T12:59:18Z

Yazar Beck, Antonio Carlos Schneider. editor. Lang Lisbôa, Carlos Arthur. editor. Carro, Luigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331281.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1746-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamics of Microelectromechanical Systems

2026-01-26T12:59:18Z

Yazar Lobontiu, Nicolae. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-68195-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Systems - qualitätsorientierte Entwicklung

2026-01-26T12:59:18Z

Yazar Bender, Klaus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138984
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Clocking in Modern VLSI Systems

2026-01-26T12:59:18Z

Yazar Xanthopoulos, Thucydides. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0261-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Optical Interconnect Architectures for Embedded Systems

2026-01-26T12:59:18Z

Yazar O'Connor, Ian. editor. Nicolescu, Gabriela. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330817.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6193-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Connectivity and Embedded Sensory Systems

2026-01-26T12:59:18Z

Yazar Spaanenburg, Lambert. author. Spaanenburg, Hendrik. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7545-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rapid Prototyping of Digital Systems

2026-01-26T12:59:18Z

Yazar Hamblen, James O. author. Hall, Tyson S. author. Furman, Michael D. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-72671-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rapid Prototyping of Digital Systems

2026-01-26T12:59:18Z

Yazar Hamblen, James O. author. Hall, Tyson S. author. Furman, Michael D. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28965-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design of Embedded Control Systems

2026-01-26T12:59:18Z

Yazar Adamski, Marian Andrzej. author. Karatkevich, Andrei. author. Wegrzyn, Marek. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28327-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On-Chip Interconnect with aelite Composable and Predictable Systems

2026-01-26T12:59:18Z

Yazar Hansson, Andreas. author. Goossens, Kees. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6865-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design of Image Processing Embedded Systems Using Multidimensional Data Flow

2026-01-26T12:59:18Z

Yazar Keinert, Joachim. author. Teich, Jürgen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7182-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed, Embedded and Real-time Java Systems

2026-01-26T12:59:18Z

Yazar Higuera-Toledano, M. Teresa. editor. Wellings, Andy J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8158-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Heterogeneous Multicore Processor Technologies for Embedded Systems

2026-01-26T12:59:18Z

Yazar Uchiyama, Kunio. author. Arakawa, Fumio. author. Kasahara, Hironori. author. Nojiri, Tohru. author. Noda, Hideyuki. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0284-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Energy Harvesting Systems Principles, Modeling and Applications

2026-01-26T12:59:18Z

Yazar Kaźmierski, Tom J. editor. Beeby, Steve. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7566-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Network Systems From Concepts to Implementations

2026-01-26T12:59:18Z

Yazar Jia, Weijia. author. Zhou, Wanlei. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b102545
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part I

2026-01-26T12:59:18Z

Yazar Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351 Lee, Gyu M. editor. (orcid)0000-0001-5466-6244 Park, Jinwoo. editor. Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99704-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part II

2026-01-26T12:59:18Z

Yazar Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351 Lee, Gyu M. editor. (orcid)0000-0001-5466-6244 Park, Jinwoo. editor. Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99707-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Preventive Biomechanics Optimizing Support Systems for the Human Body in the Lying and Sitting Position

2026-01-26T12:59:18Z

Yazar Silber, Gerhard. author. Then, Christophe. author. SpringerLink (Online service)
Yer Numarası ONLINE(333216.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29003-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

2026-01-26T12:59:18Z

Yazar Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.
Yer Numarası ONLINE(334682.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38853-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

2026-01-26T12:59:18Z

Yazar Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335219.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-53856-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II

2026-01-26T12:59:18Z

Yazar Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335220.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-53862-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part II

2026-01-26T12:59:18Z

Yazar Prabhu, Vittal. editor. Taisch, Marco. editor. Kiritsis, Dimitris. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335081.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41263-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part I

2026-01-26T12:59:18Z

Yazar Prabhu, Vittal. editor. Taisch, Marco. editor. Kiritsis, Dimitris. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335082.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41266-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Product and Process Development Systems IFIP TC 5 International Conference, NEW PROLAMAT 2013, Dresden, Germany, October 10-11, 2013. Proceedings

2026-01-26T12:59:18Z

Yazar Kovács, George L. editor. Kochan, Detlef. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335089.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41329-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Designing Inclusive Systems Designing Inclusion for Real-world Applications

2026-01-26T12:59:18Z

Yazar Langdon, Patrick. editor. Clarkson, John. editor. Robinson, Peter. editor. Lazar, Jonathan. editor. Heylighen, Ann. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2867-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Production Systems and Supply Chain Management in Emerging Countries: Best Practices Selected papers from the International Conference on Production Research (ICPR)

2026-01-26T12:59:18Z

Yazar Mejía, Gonzalo. editor. Velasco, Nubia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-26004-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

2026-01-26T12:59:18Z

Yazar Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27549-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II

2026-01-26T12:59:18Z

Yazar Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27579-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Solid Modelling and CAD Systems How to Survive a CAD System

2026-01-26T12:59:18Z

Yazar Stroud, Ian. author. Nagy, Hildegarde. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-259-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On-Chip Instrumentation Design and Debug for Systems on Chip

2026-01-26T12:59:18Z

Yazar Stollon, Neal. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7563-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems

2026-01-26T12:59:18Z

Yazar Verhulst, Eric. author. Boute, Raymond T. author. Faria, José Miguel Sampaio. author. Sputh, Bernhard H.C. author. Mezhuyev, Vitaliy. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9736-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Holonic and Multi-Agent Systems for Manufacturing 5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, Toulouse, France, August 29-31, 2011. Proceedings

2026-01-26T12:59:18Z

Yazar Mařík, Vladimír. editor. Vrba, Pavel. editor. Leitão, Paulo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23181-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliability of Nanoscale Circuits and Systems Methodologies and Circuit Architectures

2026-01-26T12:59:18Z

Yazar Stanisavljević, Miloš. author. Schmid, Alexandre. author. Leblebici, Yusuf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6217-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependability in Electronic Systems Mitigation of Hardware Failures, Soft Errors, and Electro-Magnetic Disturbances

2026-01-26T12:59:18Z

Yazar Kanekawa, Nobuyasu. author. Ibe, Eishi H. author. Suga, Takashi. author. Uematsu, Yutaka. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6715-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design and Analysis of Biomolecular Circuits Engineering Approaches to Systems and Synthetic Biology

2026-01-26T12:59:18Z

Yazar Koeppl, Heinz. editor. Setti, Gianluca. editor. di Bernardo, Mario. editor. Densmore, Douglas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6766-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation Methods for Reliability and Availability of Complex Systems

2026-01-26T12:59:18Z

Yazar Faulin, Javier. editor. Juan, Angel A. editor. Martorell, Sebastián. editor. Ramírez-Márquez, José-Emmanuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-213-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification

2026-01-26T12:59:18Z

Yazar Gamatie, Abdoulaye. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0941-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design and Verification of Microprocessor Systems for High-Assurance Applications

2026-01-26T12:59:18Z

Yazar Hardin, David S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-1539-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Holonic and Multi-Agent Systems for Manufacturing 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2009, Linz, Austria, August 31 - September 2, 2009. Proceedings

2026-01-26T12:59:18Z

Yazar Mařík, Vladimír. editor. Strasser, Thomas. editor. Zoitl, Alois. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03668-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Management of Knowledge Imperfection in Building Intelligent Systems

2026-01-26T12:59:18Z

Yazar Roventa, Eugene. author. Spircu, Tiberiu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77463-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

2026-01-26T12:59:18Z

Yazar Rettberg, Achim. editor. Zanella, Mauro C. editor. Amann, Michael. editor. Keckeisen, Michael. editor. Rammig, Franz J. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04284-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers

2026-01-26T12:59:18Z

Yazar Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04772-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings

2026-01-26T12:59:18Z

Yazar Hornby, Gregory S. editor. Sekanina, Lukáš. editor. Haddow, Pauline C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85857-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reanalysis of Structures A Unified Approach for Linear, Nonlinear, Static and Dynamic Systems

2026-01-26T12:59:18Z

Yazar Kirsch, Uri. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8198-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

2026-01-26T12:59:18Z

Yazar Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Holonic and Multi-Agent Systems for Manufacturing Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007

2026-01-26T12:59:18Z

Yazar Mařík, Vladimír. editor. Vyatkin, Valeriy. editor. Colombo, Armando W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74481-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms

2026-01-26T12:59:18Z

Yazar Ma, Zhe. editor. Marchal, Pol. editor. Scarpazza, Daniele Paolo. editor. Yang, Peng. editor. Wong, Chun. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6344-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Towards Synthesis of Micro-/Nano-systems The 11th International Conference on Precision Engineering (ICPE) August 16–18, 2006, Tokyo, Japan

2026-01-26T12:59:18Z

Yazar Kimura, Fumihiko. author. Horio, Kenichiro. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-559-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Maintenance Management Framework Models and Methods for Complex Systems Maintenance

2026-01-26T12:59:18Z

Yazar Márquez, Adolfo Crespo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-821-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Warehouse Management Automation and Organisation of Warehouse and Order Picking Systems

2026-01-26T12:59:18Z

Yazar Hompel, Michael. author. Schmidt, Thorsten. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-35220-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings

2026-01-26T12:59:18Z

Yazar Kang, Lishan. editor. Liu, Yong. editor. Zeng, Sanyou. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74626-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

2026-01-26T12:59:18Z

Yazar Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75867-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovations in Design & Decision Support Systems in Architecture and Urban Planning

2026-01-26T12:59:18Z

Yazar Leeuwen, Jos P. editor. Timmermans, Harry J. P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5060-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Taxonomies for the Development and Verification of Digital Systems

2026-01-26T12:59:18Z

Yazar Bailey, Brian. editor. Martin, Grant. editor. Anderson, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b104217
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

2026-01-26T12:59:18Z

Yazar Baik, Doo-Kwon. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105611
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

2026-01-26T12:59:18Z

Yazar Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11556985
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System-Level Design Techniques for Energy-Efficient Embedded Systems

2026-01-26T12:59:18Z

Yazar Schmitz, Marcus T. author. Al-Hashimi, Bashir M. author. Eles, Petru. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106642
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings

2026-01-26T12:59:18Z

Yazar Moreno, J. Manuel. editor. Madrenas, Jordi. editor. Cosp, Jordi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11549703
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Holonic and Multi-Agent Systems for Manufacturing Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005. Proceedings

2026-01-26T12:59:18Z

Yazar Mařík, Vladimír. editor. Brennan, Robert. editor. Pěchouček, Michal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11537847
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fault Location on Power Networks

2026-01-26T12:59:18Z

Yazar Saha, Murari Mohan. author. Izykowski, Jan. author. Rosolowski, Eugeniusz. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-886-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ESL Models and their Application Electronic System Level Design and Verification in Practice

2026-01-26T12:59:18Z

Yazar Bailey, Brian. author. Martin, Grant. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0965-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies

2026-01-26T12:59:18Z

Yazar Popovici, Katalin. author. Rousseau, Frédéric. author. Jerraya, Ahmed A. author. Wolf, Marilyn. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-5567-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security in Embedded Devices

2026-01-26T12:59:18Z

Yazar Gebotys, Catherine H. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-1530-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spotlight on Modern Transformer Design

2026-01-26T12:59:18Z

Yazar Georgilakis, Pavlos S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-667-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nanoscale Memory Repair

2026-01-26T12:59:18Z

Yazar Horiguchi, Masashi. author. Itoh, Kiyoo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7958-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Carbon Nanotube Electronics

2026-01-26T12:59:18Z

Yazar Kong, Jing. editor. Javey, Ali. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-69285-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Communication Technology for Sustainable Development Proceedings of ICT4SD 2016, Volume 1

2026-01-26T12:59:18Z

Yazar Mishra, Durgesh Kumar. editor. Nayak, Malaya Kumar. editor. Joshi, Amit. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3932-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Communication Technology for Sustainable Development Proceedings of ICT4SD 2016, Volume 2

2026-01-26T12:59:18Z

Yazar Mishra, Durgesh Kumar. editor. Nayak, Malaya Kumar. editor. Joshi, Amit. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3920-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Ergonomics of Manufacturing: Managing the Enterprise of the Future Proceedings of the AHFE 2017 International Conference on Human Aspects of Advanced Manufacturing, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-01-26T12:59:18Z

Yazar Trzcielinski, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60474-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Routing Congestion in VLSI Circuits: Estimation and Optimization

2026-01-26T12:59:18Z

Yazar Saxena, Prashant. author. Shelar, Rupesh S. author. Sapatnekar, Sachin S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-48550-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design for Manufacturability and Yield for Nano-Scale CMOS

2026-01-26T12:59:18Z

Yazar Chiang, Charles C. author. Kawa, Jamil. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5188-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SAT-Based Scalable Formal Verification Solutions

2026-01-26T12:59:18Z

Yazar Ganai, Malay K. author. Gupta, Aarti. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-69167-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leakage in Nanometer CMOS Technologies

2026-01-26T12:59:18Z

Yazar Narendra, Siva G. author. Chandrakasan, Anantha. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28133-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Abstraction Refinement for Large Scale Model Checking

2026-01-26T12:59:18Z

Yazar Wang, Chao. author. Hachtel, Gary D. author. Somenzi, Fabio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-34600-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Practical Introduction to PSL

2026-01-26T12:59:18Z

Yazar Eisner, Cindy. author. Fisman, Dana. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-36123-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Thermal and Power Management of Integrated Circuits

2026-01-26T12:59:18Z

Yazar Vassighi, Arman. author. Sachdev, Manoj. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-29749-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

All-Embracing Manufacturing Roadmap System

2026-01-26T12:59:18Z

Yazar Halevi, Gideon. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-4180-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mixed Reality and Human-Robot Interaction

2026-01-26T12:59:18Z

Yazar Wang, Xiangyu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0582-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Collaborative Design in Virtual Environments

2026-01-26T12:59:18Z

Yazar Wang, Xiangyu. editor. Tsai, Jerry Jen-Hung. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0605-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Millimeter-Wave Low Noise Amplifiers

2026-01-26T12:59:18Z

Yazar Božanić, Mladen. author. Sinha, Saurabh. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69020-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bio/CMOS Interfaces and Co-Design

2026-01-26T12:59:18Z

Yazar Carrara, Sandro. author. SpringerLink (Online service)
Yer Numarası ONLINE(331564.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4690-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Global Design and Local Materialization 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings

2026-01-26T12:59:18Z

Yazar Zhang, Jianlong. editor. Sun, Chengyu. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334705.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38974-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Design, Visualization, and Engineering 10th International Conference, CDVE 2013, Alcudia, Mallorca, Spain, September 22-25, 2013. Proceedings

2026-01-26T12:59:18Z

Yazar Luo, Yuhua. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335015.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40840-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robust Control Design with MATLAB®

2026-01-26T12:59:18Z

Yazar Gu, Da-Wei. author. Petkov, Petko H. author. Konstantinov, Mihail M. author. SpringerLink (Online service)
Yer Numarası ONLINE(331040.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4682-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Decentralized Spatial Computing Foundations of Geosensor Networks

2026-01-26T12:59:18Z

Yazar Duckham, Matt. author. SpringerLink (Online service)
Yer Numarası ONLINE(333364.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30853-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Multiscale Modeling to Meso-Science A Chemical Engineering Perspective

2026-01-26T12:59:18Z

Yazar Li, Jinghai. author. Ge, Wei. author. Wang, Wei. author. Yang, Ning. author. Liu, Xinhua. author.
Yer Numarası ONLINE(333946.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35189-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automotive Radar Sensors in Silicon Technologies

2026-01-26T12:59:18Z

Yazar Jain, Vipul. author. Heydari, Payam. author. SpringerLink (Online service)
Yer Numarası ONLINE(330821.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6775-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The History of Visual Magic in Computers How Beautiful Images are Made in CAD, 3D, VR and AR

2026-01-26T12:59:18Z

Yazar Peddie, Jon. author. SpringerLink (Online service)
Yer Numarası ONLINE(331101.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4932-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nanometer Variation-Tolerant SRAM Circuits and Statistical Design for Yield

2026-01-26T12:59:18Z

Yazar Abu-Rahma, Mohamed H. author. Anis, Mohab. author. SpringerLink (Online service)
Yer Numarası ONLINE(331282.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1749-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Error Control for Network-on-Chip Links

2026-01-26T12:59:18Z

Yazar Fu, Bo. author. Ampadu, Paul. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9313-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Configuration Problem Solving

2026-01-26T12:59:18Z

Yazar Petrie, Charles J. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4532-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nanometer CMOS Sigma-Delta Modulators for Software Defined Radio

2026-01-26T12:59:18Z

Yazar Morgado, Alonso. author. del Río, Rocío. author. Rosa, José M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0037-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ultra High-Speed CMOS Circuits Beyond 100 GHz

2026-01-26T12:59:18Z

Yazar Gharavi, Sam. author. Heydari, Babak. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0305-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding and Using the Controller Area Network Communication Protocol Theory and Practice

2026-01-26T12:59:18Z

Yazar Di Natale, Marco. author. Zeng, Haibo. author. Giusto, Paolo. author. Ghosal, Arkadeb. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0314-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

3D TCAD Simulation for Semiconductor Processes, Devices and Optoelectronics

2026-01-26T12:59:18Z

Yazar Li, Simon. author. Fu, Yue. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0481-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SystemVerilog for Verification A Guide to Learning the Testbench Language Features

2026-01-26T12:59:18Z

Yazar Spear, Chris. author. Tumbush, Greg. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0715-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Statistical Performance Analysis and Modeling Techniques for Nanometer VLSI Designs

2026-01-26T12:59:18Z

Yazar Shen, Ruijing. author. Tan, Sheldon X.-D. author. Yu, Hao. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0788-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliability, Availability and Serviceability of Networks-on-Chip

2026-01-26T12:59:18Z

Yazar Cota, Érika. author. Morais Amory, Alexandre. author. Soares Lubaszewski, Marcelo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0791-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis

2026-01-26T12:59:18Z

Yazar Ahuja, Sumit. author. Lakshminarayana, Avinash. author. Shukla, Sandeep Kumar. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0872-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Design, Visualization, and Engineering 9th International Conference, CDVE 2012, Osaka, Japan, September 2-5, 2012. Proceedings

2026-01-26T12:59:18Z

Yazar Luo, Yuhua. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32609-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

3D-Druck/Rapid Prototyping Eine Zukunftstechnologie - kompakt erklärt

2026-01-26T12:59:18Z

Yazar Fastermann, Petra. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29225-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers

2026-01-26T12:59:18Z

Yazar Helfert, Markus. editor. Donnellan, Brian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33681-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The MPEG Representation of Digital Media

2026-01-26T12:59:18Z

Yazar Chiariglione, Leonardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6184-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Process Variations and Probabilistic Integrated Circuit Design

2026-01-26T12:59:18Z

Yazar Dietrich, Manfred. editor. Haase, Joachim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6621-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scalable Multi-core Architectures Design Methodologies and Tools

2026-01-26T12:59:18Z

Yazar Soudris, Dimitrios. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6778-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Mixed-Signal, Embedded Design

2026-01-26T12:59:18Z

Yazar Doboli, Alex. author. Currie, Edward H. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7446-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Post-Silicon and Runtime Verification for Modern Processors

2026-01-26T12:59:18Z

Yazar Wagner, Ilya. author. Bertacco, Valeria. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8034-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Memory-Based Logic Synthesis

2026-01-26T12:59:18Z

Yazar Sasao, Tsutomu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8104-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio

2026-01-26T12:59:18Z

Yazar Okada, Kenichi. editor. Kousai, Shouhei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8514-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Simple Art of SoC Design Closing the Gap between RTL and ESL

2026-01-26T12:59:18Z

Yazar Keating, Michael. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8586-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-objective Design Space Exploration of Multiprocessor SoC Architectures The MULTICUBE Approach

2026-01-26T12:59:18Z

Yazar Silvano, Cristina. editor. Fornaciari, William. editor. Villar, Eugenio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8837-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nano-Electronic Devices Semiclassical and Quantum Transport Modeling

2026-01-26T12:59:18Z

Yazar Vasileska, Dragica. editor. Goodnick, Stephen M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8840-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of VLSI RTL Design A Practical Guide

2026-01-26T12:59:18Z

Yazar Churiwala, Sanjay. author. Garg, Sapan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9296-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High-Level Verification Methods and Tools for Verification of System-Level Designs

2026-01-26T12:59:18Z

Yazar Kundu, Sudipta. author. Lerner, Sorin. author. Gupta, Rajesh K. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9359-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cartesian Genetic Programming

2026-01-26T12:59:18Z

Yazar Miller, Julian F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17310-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontologies in Urban Development Projects

2026-01-26T12:59:18Z

Yazar Falquet, Gilles. author. Métral, Claudine. author. Teller, Jacques. author. Tweed, Christopher. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-724-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiprocessor System-on-Chip Hardware Design and Tool Integration

2026-01-26T12:59:18Z

Yazar Hübner, Michael. editor. Becker, Jürgen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6460-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ultra-thin Chip Technology and Applications

2026-01-26T12:59:18Z

Yazar Burghartz, Joachim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7276-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Run-time Adaptation for Reconfigurable Embedded Processors

2026-01-26T12:59:18Z

Yazar Bauer, Lars. author. Henkel, Jörg. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7412-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Low-Power Variation-Tolerant Design in Nanometer Silicon

2026-01-26T12:59:18Z

Yazar Bhunia, Swarup. editor. Mukhopadhyay, Saibal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7418-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Techniques in Logic Synthesis, Optimizations and Applications

2026-01-26T12:59:18Z

Yazar Gulati, Kanupriya. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7518-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Voltage Regulators for Next Generation Microprocessors

2026-01-26T12:59:18Z

Yazar López, Toni. author. Elferich, Reinhold. author. Alarcón, Eduard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7560-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CMOS Circuits for Passive Wireless Microsystems

2026-01-26T12:59:18Z

Yazar Yuan, Fei. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7680-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Many-Core Chips

2026-01-26T12:59:18Z

Yazar Vajda, András. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9739-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reconfigurable Computing From FPGAs to Hardware/Software Codesign

2026-01-26T12:59:18Z

Yazar Cardoso, João M. P. editor. Hübner, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0061-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Playing with the Past

2026-01-26T12:59:18Z

Yazar Champion, Erik. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84996-501-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Complexity Metrics in Engineering Design Managing the Structure of Design Processes

2026-01-26T12:59:18Z

Yazar Kreimeyer, Matthias. author. Lindemann, Udo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20963-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI Physical Design: From Graph Partitioning to Timing Closure

2026-01-26T12:59:18Z

Yazar Kahng, Andrew B. author. Lienig, Jens. author. Markov, Igor L. author. Hu, Jin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9591-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Low-Power High-Resolution Analog to Digital Converters Design, Test and Calibration

2026-01-26T12:59:18Z

Yazar Zjajo, Amir. author. Pineda de Gyvez, José. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9725-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Regular Nanofabrics in Emerging Technologies Design and Fabrication Methods for Nanoscale Digital Circuits

2026-01-26T12:59:18Z

Yazar Ben Jamaa, M. Haykel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0650-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Focal-Plane Sensor-Processor Chips

2026-01-26T12:59:18Z

Yazar Zarándy, Ákos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6475-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ultra Low-Power Integrated Circuit Design for Wireless Neural Interfaces

2026-01-26T12:59:18Z

Yazar Holleman, Jeremy. author. Zhang, Fan. author. Otis, Brian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6727-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Low Power Networks-on-Chip

2026-01-26T12:59:18Z

Yazar Silvano, Cristina. editor. Lajolo, Marcello. editor. Palermo, Gianluca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6911-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analog Layout Synthesis A Survey of Topological Approaches

2026-01-26T12:59:18Z

Yazar Graeb, Helmut E. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6932-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications

2026-01-26T12:59:18Z

Yazar Battezzati, Niccolò. author. Sterpone, Luca. author. Violante, Massimo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7595-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

E-maintenance

2026-01-26T12:59:18Z

Yazar Holmberg, Kenneth. editor. Adgar, Adam. editor. Arnaiz, Aitor. editor. Jantunen, Erkki. editor. Mascolo, Julien. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84996-205-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Power-Aware Testing and Test Strategies for Low Power Devices

2026-01-26T12:59:18Z

Yazar Girard, Patrick. editor. Nicolici, Nicola. editor. Wen, Xiaoqing. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0928-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations

2026-01-26T12:59:18Z

Yazar Garg, Rajesh. author. Khatri, Sunil P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0931-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies

2026-01-26T12:59:18Z

Yazar Bosio, Alberto. author. Dilillo, Luigi. author. Girard, Patrick. author. Pravossoudovitch, Serge. author. Virazel, Arnaud. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0938-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs

2026-01-26T12:59:18Z

Yazar Gulati, Kanupriya. author. Khatri, Sunil P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0944-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Minimizing and Exploiting Leakage in VLSI Design

2026-01-26T12:59:18Z

Yazar Jayakumar, Nikhil. author. Paul, Suganth. author. Garg, Rajesh. author. Gulati, Kanupriya. author. Khatri, Sunil P. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0950-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip

2026-01-26T12:59:18Z

Yazar Lin, Youn-Long Steve. author. Kao, Chao-Yang. author. Kuo, Hung-Chih. author. Chen, Jian-Wen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0959-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Composing Software Components A Software-testing Perspective

2026-01-26T12:59:18Z

Yazar Hamlet, Dick. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7148-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Designing Inclusive Interactions Inclusive Interactions Between People and Products in Their Contexts of Use

2026-01-26T12:59:18Z

Yazar Langdon, Patrick Martin. editor. Clarkson, Peter John. editor. Robinson, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84996-166-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SystemC: From the Ground Up

2026-01-26T12:59:18Z

Yazar Black, David C. author. Donovan, Jack. author. Bunton, Bill. author. Keist, Anna. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-69958-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Manufacturing and Sustainable Logistics 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010. Proceedings

2026-01-26T12:59:18Z

Yazar Dangelmaier, Wilhelm. editor. Blecken, Alexander. editor. Delius, Robin. editor. Klöpfer, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12494-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers

2026-01-26T12:59:18Z

Yazar Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12535-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On and Off-Chip Crosstalk Avoidance in VLSI Design

2026-01-26T12:59:18Z

Yazar Duan, Chunjie. author. LaMeres, Brock J. author. Khatri, Sunil P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0947-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantifying and Exploring the Gap Between FPGAs and ASICs Measuring and Exploring

2026-01-26T12:59:18Z

Yazar Kuon, Ian. author. Rose, Jonathan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0739-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

C Compilers for ASIPs Automatic Compiler Generation with LISA

2026-01-26T12:59:18Z

Yazar Hohenauer, Manuel. author. Leupers, Rainer. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-1176-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Processor and System-on-Chip Simulation

2026-01-26T12:59:18Z

Yazar Leupers, Rainer. editor. Temam, Olivier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6175-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FPGA Design Best Practices for Team-based Design

2026-01-26T12:59:18Z

Yazar Simpson, Philip. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6339-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits

2026-01-26T12:59:18Z

Yazar Tajalli, Armin. author. Leblebici, Yusuf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6478-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

2026-01-26T12:59:18Z

Yazar Singh, Gaurav. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6481-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Power-efficient System Design

2026-01-26T12:59:18Z

Yazar Panda, Preeti Ranjan. author. Silpa, B. V. N. author. Shrivastava, Aviral. author. Gummidipudi, Krishnaiah. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6388-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction

2026-01-26T12:59:18Z

Yazar Shukla, Sandeep K. editor. Talpin, Jean-Pierre. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6400-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scalable Techniques for Formal Verification

2026-01-26T12:59:18Z

Yazar Ray, Sandip. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-5998-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Practical Introduction to Hardware/Software Codesign

2026-01-26T12:59:18Z

Yazar Schaumont, Patrick R. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6000-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Automatic Tuning From Concepts to State-of-the-Art Results

2026-01-26T12:59:18Z

Yazar Naono, Ken. editor. Teranishi, Keita. editor. Cavazos, John. editor. Suda, Reiji. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6935-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Embedded System Design Using Field Programmable Gate Arrays

2026-01-26T12:59:18Z

Yazar Dubey, Rahul. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-016-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Predictive Control System Design and Implementation Using MATLAB®

2026-01-26T12:59:18Z

Yazar Wang, Liuping. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-331-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair

2026-01-26T12:59:18Z

Yazar Chang, Kai-hui. author. Markov, Igor L. author. Bertacco, Valeria. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9365-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware Software Co-Design of a Multimedia SOC Platform

2026-01-26T12:59:18Z

Yazar Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9623-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nanosystems Design and Technology

2026-01-26T12:59:18Z

Yazar Micheli, Giovanni. author. Leblebici, Yusuf. author. Gijs, Martin. author. Vörös, Janos. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0255-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen

2026-01-26T12:59:18Z

Yazar Tiegelkamp, Michael. author. John, Karl Heinz. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00269-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings

2026-01-26T12:59:18Z

Yazar Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10741-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Timing Optimization Through Clock Skew Scheduling

2026-01-26T12:59:18Z

Yazar Kourtev, Ivan S. editor. Taskin, Baris. editor. Friedman, Eby G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-71056-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Complex Sciences First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1

2026-01-26T12:59:18Z

Yazar Zhou, Jie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02466-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Timing Analysis for Nanometer Designs A Practical Approach

2026-01-26T12:59:18Z

Yazar Chadha, Rakesh. author. Bhasker, J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-93820-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Open Verification Methodology Cookbook

2026-01-26T12:59:18Z

Yazar Glasser, Mark. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0968-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded System Design Modeling, Synthesis and Verification

2026-01-26T12:59:18Z

Yazar Gajski, Daniel D. author. Abdi, Samar. author. Gerstlauer, Andreas. author. Schirner, Gunar. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0504-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Writing mental ray® Shaders A Perceptual Introduction

2026-01-26T12:59:18Z

Yazar Kopra, Andy. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-211-48965-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers

2026-01-26T12:59:18Z

Yazar Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78827-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Creating Assertion-Based IP

2026-01-26T12:59:18Z

Yazar Foster, Harry D. author. Krolnik, Adam C. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-68398-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design for Manufacturability and Statistical Design A Constructive Approach

2026-01-26T12:59:18Z

Yazar Orshansky, Michael. author. Nassif, Sani R. author. Boning, Duane. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-69011-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Power Distribution Networks with On-Chip Decoupling Capacitors

2026-01-26T12:59:18Z

Yazar Popovich, Mikhhail. author. Mezhiba, Andrey V. author. Friedman, Eby G. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-71601-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Standardized Functional Verification

2026-01-26T12:59:18Z

Yazar Wiemann, Alan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-71733-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers

2026-01-26T12:59:18Z

Yazar Shen, Weiming. editor. Yong, Jianming. editor. Yang, Yun. editor. Barthès, Jean-Paul A. editor. Luo, Junzhou. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92719-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Art of Artificial Evolution A Handbook on Evolutionary Art and Music

2026-01-26T12:59:18Z

Yazar Romero, Juan. editor. Machado, Penousal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72877-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nanometer Technology Designs High-Quality Delay Tests

2026-01-26T12:59:18Z

Yazar Tehranipoor, Mohammad. author. Ahmed, Nisar. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-75728-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits

2026-01-26T12:59:18Z

Yazar Patra, Priyardarsan. author. Kougianos, Elias. author. Ranganathan, Nagarajan. author. Mohanty, Saraju P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-76474-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CMOS Active Inductors and Transformers Principle, Implementation, and Applications

2026-01-26T12:59:18Z

Yazar Yuan, Fei. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-76479-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Verilog for Verification A Guide to Learning the Testbench Language Features

2026-01-26T12:59:18Z

Yazar Spear, Chris. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-76530-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional Verification Coverage Measurement and Analysis

2026-01-26T12:59:18Z

Yazar Piziali, Andrew. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b117979
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Full-Chip Nanometer Routing Techniques

2026-01-26T12:59:18Z

Yazar Ho, Tsung-Yi. author. Chang, Yao-Wen. author. Chen, Sao-Jie. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6195-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling

2026-01-26T12:59:18Z

Yazar Pastor, Oscar. author. Molina, Juan Carlos. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71868-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

2026-01-26T12:59:18Z

Yazar Shen, Weiming. editor. Luo, Junzhou. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Hao, Qi. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72863-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

IT-Projektrecht Vertragliche Gestaltung und Steuerung von IT-Projekten, Best Practices, Haftung der Geschäftsleitung

2026-01-26T12:59:18Z

Yazar Koch, Frank A. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73224-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inverse Problems in Electric Circuits and Electromagnetics

2026-01-26T12:59:18Z

Yazar Chechurin, V. L. author. Korovkin, N. V. author. Hayakawa, M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-46047-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design

2026-01-26T12:59:18Z

Yazar Chinnery, David. author. Keutzer, Kurt. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-68953-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them

2026-01-26T12:59:18Z

Yazar Sutherland, Stuart. author. Mills, Don. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-71715-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware Verification with SystemVerilog An Object-Oriented Framework

2026-01-26T12:59:18Z

Yazar Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-71740-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Visualization of Digital Terrain and Landscape Data A Manual

2026-01-26T12:59:18Z

Yazar Mach, Rüdiger. author. Petschek, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-30491-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CMOS Current-Mode Circuits for Data Communications

2026-01-26T12:59:18Z

Yazar Yuan, Fei. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-47691-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer-Aided Architectural Design Futures (CAADFutures) 2007 Proceedings of the 12th International CAADFutures Conference

2026-01-26T12:59:18Z

Yazar Dong, Andy. editor. Moere, Andrew Vande. editor. Gero, John S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6528-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification Methodology Manual for SystemVerilog

2026-01-26T12:59:18Z

Yazar Bergeron, Janick. author. Cerny, Eduard. author. Hunter, Alan. author. Nightingale, Andrew. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b135575
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Roadmap for Formal Property Verification

2026-01-26T12:59:18Z

Yazar DasGupta, Pallab. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-4758-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

2026-01-26T12:59:18Z

Yazar Kogel, Tim. author. Leupers, Rainer. author. Meyr, Heinrich. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-4826-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits

2026-01-26T12:59:18Z

Yazar CASTRO-LÓPEZ, R. author. FERNÁNDEZ, F.V. author. GUERRA-VINUESA, O. author. RODRÍGUEZ-VÁZQUEZ, Á. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5139-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility

2026-01-26T12:59:18Z

Yazar Ben Dhia, Sonia. editor. Ramdani, Mohamed. editor. Sicard, Etienne. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137864
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded System Design

2026-01-26T12:59:18Z

Yazar Marwedel, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-30087-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™

2026-01-26T12:59:18Z

Yazar Silva, Francisco. author. McLaurin, Teresa. author. Waayers, Tom. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-34609-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware Verification with C++ A Practitioner’s Handbook

2026-01-26T12:59:18Z

Yazar Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-36254-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung

2026-01-26T12:59:18Z

Yazar Lienig, Jens. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-29942-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

2026-01-26T12:59:18Z

Yazar Shen, Wei-ming. editor. Chao, Kuo-Ming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. James, Anne. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11686699
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers

2026-01-26T12:59:18Z

Yazar Smith, Ian F. C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11888598
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systemverilog for Verification A Guide to Learning the Testbench Language Features

2026-01-26T12:59:18Z

Yazar Spear, Chris. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138536
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interconnect Noise Optimization in Nanometer Technologies

2026-01-26T12:59:18Z

Yazar Elgamel, Mohamed A. author. Bayoumi, Magdy A. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-29366-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scalable Hardware Verification with Symbolic Simulation

2026-01-26T12:59:18Z

Yazar Bertacco, Valeria. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-29906-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constraint-Based Verification

2026-01-26T12:59:18Z

Yazar Yuan, Jun. author. Pixley, Carl. author. Aziz, Adnan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-30784-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Writing Testbenches using System Verilog

2026-01-26T12:59:18Z

Yazar Bergeron, Janick. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-31275-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Visualisierung digitaler Gelände- und Landschaftsdaten

2026-01-26T12:59:18Z

Yazar Mach, Rüdiger. author. Petschek, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-30533-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers

2026-01-26T12:59:18Z

Yazar Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11666806
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity

2026-01-26T12:59:18Z

Yazar Leventhal, Roy G. author. Green, Lynne. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b104647
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling

2026-01-26T12:59:18Z

Yazar Sutherland, Stuart. author. Davidmann, Simon. author. Flake, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-36495-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robust Control Design with MATLAB®

2026-01-26T12:59:18Z

Yazar Gu, Da-Wei. author. Petkov, Petko Hristov. author. Konstantinov, Mihail Mihaylov. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b135806
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

2026-01-26T12:59:18Z

Yazar Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137514
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

2026-01-26T12:59:18Z

Yazar Paliouras, Vassilis. editor. Vounckx, Johan. editor. Verkest, Diederik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11556930
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mixed-Signal Layout Generation Concepts

2026-01-26T12:59:18Z

Yazar Lin, Chieh. author. Roermund, Arthur H. M. author. Leenaerts, Domine M. W. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106472
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04

2026-01-26T12:59:18Z

Yazar Boulet, Pierre. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136935
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers

2026-01-26T12:59:18Z

Yazar Shen, Weiming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Li, Tangqiu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11568421
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interconnect-Centric Design for Advanced SoC and NoC

2026-01-26T12:59:18Z

Yazar Nurmi, Jari. editor. Tenhunen, Hannu. editor. Isoaho, Jouni. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b117241
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Design and Implementation with Field Programmable Devices

2026-01-26T12:59:18Z

Yazar Navabi, Zainalabedin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b117975
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Assertion-Based Design

2026-01-26T12:59:18Z

Yazar Foster, Harry. author. Krolnik, Adam. author. Lacey, David. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b117047
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Direct Transistor-level Layout for Digital Blocks

2026-01-26T12:59:18Z

Yazar Gopalakrishnan, Prakash. author. Rutenbar, Rob A. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b117054
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation

2026-01-26T12:59:18Z

Yazar Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b117249
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1