Search Results for -- ANSİKLOPEDİLER. - Narrowed by: SpringerLink (Online service) - English - Electronic Library - 2007 - Computer aided design. - Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d--$002bANS$0025C4$0025B0KLOPED$0025C4$0025B0LER.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092007$0025092007$0026qf$003dSUBJECT$002509Subject$002509Computer$002baided$002bdesign.$002509Computer$002baided$002bdesign.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-12T11:03:35Z
SAT-Based Scalable Formal Verification Solutions
ent://SD_ILS/0/SD_ILS:166702
2024-09-12T11:03:35Z
2024-09-12T11:03:35Z
Author Ganai, Malay K. author. Gupta, Aarti. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-69167-1">http://dx.doi.org/10.1007/978-0-387-69167-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware Verification with SystemVerilog An Object-Oriented Framework
ent://SD_ILS/0/SD_ILS:166869
2024-09-12T11:03:35Z
2024-09-12T11:03:35Z
Author Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-71740-1">http://dx.doi.org/10.1007/978-0-387-71740-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling
ent://SD_ILS/0/SD_ILS:186381
2024-09-12T11:03:35Z
2024-09-12T11:03:35Z
Author Pastor, Oscar. author. Molina, Juan Carlos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71868-0">http://dx.doi.org/10.1007/978-3-540-71868-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186668
2024-09-12T11:03:35Z
2024-09-12T11:03:35Z
Author Shen, Weiming. editor. Luo, Junzhou. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Hao, Qi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72863-4">http://dx.doi.org/10.1007/978-3-540-72863-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:187174
2024-09-12T11:03:35Z
2024-09-12T11:03:35Z
Author Mařík, Vladimír. editor. Vyatkin, Valeriy. editor. Colombo, Armando W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74481-8">http://dx.doi.org/10.1007/978-3-540-74481-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187218
2024-09-12T11:03:35Z
2024-09-12T11:03:35Z
Author Kang, Lishan. editor. Liu, Yong. editor. Zeng, Sanyou. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74626-3">http://dx.doi.org/10.1007/978-3-540-74626-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
ent://SD_ILS/0/SD_ILS:169768
2024-09-12T11:03:35Z
2024-09-12T11:03:35Z
Author Ma, Zhe. editor. Marchal, Pol. editor. Scarpazza, Daniele Paolo. editor. Yang, Peng. editor. Wong, Chun. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6344-2">http://dx.doi.org/10.1007/978-1-4020-6344-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Scientific Visualization
ent://SD_ILS/0/SD_ILS:175547
2024-09-12T11:03:35Z
2024-09-12T11:03:35Z
Author Wright, Helen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-755-8">http://dx.doi.org/10.1007/978-1-84628-755-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing with video Focusing the user-centred design process
ent://SD_ILS/0/SD_ILS:175646
2024-09-12T11:03:35Z
2024-09-12T11:03:35Z
Author Ylirisku, Salu. author. Buur, Jacob. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-961-3">http://dx.doi.org/10.1007/978-1-84628-961-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Methods and Applications 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers
ent://SD_ILS/0/SD_ILS:186110
2024-09-12T11:03:35Z
2024-09-12T11:03:35Z
Author Boyanov, Todor. editor. Dimova, Stefka. editor. Georgiev, Krassimir. editor. Nikolov, Geno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70942-8">http://dx.doi.org/10.1007/978-3-540-70942-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software
ent://SD_ILS/0/SD_ILS:184960
2024-09-12T11:03:35Z
2024-09-12T11:03:35Z
Author Diehl, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-46505-8">http://dx.doi.org/10.1007/978-3-540-46505-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:187522
2024-09-12T11:03:35Z
2024-09-12T11:03:35Z
Author Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75867-9">http://dx.doi.org/10.1007/978-3-540-75867-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design for Manufacturability and Yield for Nano-Scale CMOS
ent://SD_ILS/0/SD_ILS:169402
2024-09-12T11:03:35Z
2024-09-12T11:03:35Z
Author Chiang, Charles C. author. Kawa, Jamil. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5188-3">http://dx.doi.org/10.1007/978-1-4020-5188-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>