Arama Sonuçları spécification.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dsp$0025C3$0025A9cification.$0026te$003dILS$0026ps$003d300?2026-01-01T15:27:56ZSpecification developmentent://SD_ILS/0/SD_ILS:2979982026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Lalanne, Christian. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9780470611975">http://dx.doi.org/10.1002/9780470611975</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Specification developmentent://SD_ILS/0/SD_ILS:3420522026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Lalanne, Christian, author.<br/>Yer Numarası ONLINE(342052.1)<br/>Elektronik Erişim ebrary <a href="http://alltitles.ebrary.com/Doc?id=10862673">An electronic book accessible through the World Wide Web; click to view</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118931219">http://dx.doi.org/10.1002/9781118931219</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Specification for tunnellingent://SD_ILS/0/SD_ILS:3214902026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar British Tunnelling Society. Institution of Civil Engineers (Great Britain)<br/>Yer Numarası ONLINE(321490.1)<br/>Elektronik Erişim Knovel <a href="http://app.knovel.com/hotlink/toc/id:kpSTE00023/specification-for-tunnelling">http://app.knovel.com/hotlink/toc/id:kpSTE00023/specification-for-tunnelling</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software specification methodsent://SD_ILS/0/SD_ILS:3023622026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Habrias, Henri. Frappier, Marc, 1965- Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0806/2006009290-b.html">http://catdir.loc.gov/catdir/enhancements/fy0806/2006009290-b.html</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470612514">http://dx.doi.org/10.1002/9780470612514</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Specification writing and managementent://SD_ILS/0/SD_ILS:538272026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar McRobb, Max<br/>Yer Numarası TS 156 M39 1989 1.K<br/>Format: Kitap<br/>Durum Sağlık Bilimleri Kütüphanesi~1<br/>Logics of Specification Languagesent://SD_ILS/0/SD_ILS:1870562026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74107-7">http://dx.doi.org/10.1007/978-3-540-74107-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Specification of Software Systemsent://SD_ILS/0/SD_ILS:1684762026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-277-3">http://dx.doi.org/10.1007/978-0-85729-277-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model specification for tunnellingent://SD_ILS/0/SD_ILS:240412026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar The British Tunnelling Society. The Institution of Civil Engineers (Great Britain)<br/>Yer Numarası TA 804.G7 M63 1997<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Product Reliability Specification and Performanceent://SD_ILS/0/SD_ILS:1757902026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Murthy, Dodderi Narshima Prabhakar. author. Rausand, Marvin. author. Østerås, Trond. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-271-5">http://dx.doi.org/10.1007/978-1-84800-271-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Specification to Embedded Systems Applicationent://SD_ILS/0/SD_ILS:1653902026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11523277">http://dx.doi.org/10.1007/11523277</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Relative Deprivation Specification, Development, and Integrationent://SD_ILS/0/SD_ILS:2381732026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Walker, Iain. Smith, Heather J..<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511527753">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Structured analysis and system specificationent://SD_ILS/0/SD_ILS:474502026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar De Marco, Tom.<br/>Yer Numarası T 57.6 D45 1979<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Specification and uses of econometric modelsent://SD_ILS/0/SD_ILS:81022026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Brown Tillman Merritt,d1913-<br/>Yer Numarası HB 74 M3 B77 1970<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Key to technical translation. Vol 1, Concept specificationent://SD_ILS/0/SD_ILS:2793012026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Hann, Michael.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440654">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440654</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Toward a Semantic Specification of Deep Caseent://SD_ILS/0/SD_ILS:5325742026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Nilsen, Don L., author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110815504">https://doi.org/10.1515/9783110815504</a>
<a href="https://www.degruyter.com/isbn/9783110815504">https://www.degruyter.com/isbn/9783110815504</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110815504/original">https://www.degruyter.com/document/cover/isbn/9783110815504/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Chromatin Regulation of Early Embryonic Lineage Specificationent://SD_ILS/0/SD_ILS:4025752026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Knott, Jason. editor. Latham, Keith. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63187-5">https://doi.org/10.1007/978-3-319-63187-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Specification Level Concepts, Methods, and Algorithmsent://SD_ILS/0/SD_ILS:5304002026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Soeken, Mathias. author. Drechsler, Rolf. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08699-6">https://doi.org/10.1007/978-3-319-08699-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concrete mix design, quality control and specificationent://SD_ILS/0/SD_ILS:5453142026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Day, Ken W., author. Aldred, James, author. Hudson, Barry, author.<br/>Yer Numarası TA439 .D39 2014<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781136464898">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Specification and Verification of Multi-agent Systemsent://SD_ILS/0/SD_ILS:1727412026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Dastani, Mehdi. editor. Hindriks, Koen V. editor. Meyer, John-Jules Charles. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-6984-2">http://dx.doi.org/10.1007/978-1-4419-6984-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software specification and design : an engineering approachent://SD_ILS/0/SD_ILS:5412692026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Munson, John C., author.<br/>Yer Numarası QA76.76 .D47 M853 2006<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9780203496299">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Concrete mix design, quality control, and specificationent://SD_ILS/0/SD_ILS:946212026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Day, Ken W.<br/>Yer Numarası TA 439 D39 1999<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>ICE specification for piling and embedded retaining wallsent://SD_ILS/0/SD_ILS:3129952026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Institution of Civil Engineers (Great Britain)<br/>Yer Numarası ONLINE(312995.1)<br/>Elektronik Erişim Knovel <a href="http://app.knovel.com/hotlink/toc/id:kpICESPER4/ice-specification-piling">http://app.knovel.com/hotlink/toc/id:kpICESPER4/ice-specification-piling</a>
Knovel <a href="http://app.knovel.com/web/toc.v/cid:kpICESPER4">http://app.knovel.com/web/toc.v/cid:kpICESPER4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Protocal specification, testing and verification ix : proceedings of the.. Held in Enschede, The Netherlands, 6-9 June, 1989ent://SD_ILS/0/SD_ILS:373732026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing and Verification (9th : 1989 : Enschede, The Netherlands) Brinksma, E., ed. Scollo, G., ed. Vissers, C.A., ed.<br/>Yer Numarası TK 5105.5 I3426 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Protocal specification, testing and verification IV : proceedings of the.. Org. by Columbia University, Skytop Lodge, Pennsylvania, U. S. A., June 11-14, 1984ent://SD_ILS/0/SD_ILS:373722026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar IFIP WG 6.1 International Workshop on Protocal Specification, Testing and Verification (4th : 1984 : Skytop Lodge Pa.,) Yemini, Y., ed. Strom, R. R., ed.<br/>Yer Numarası TK 5105.5 I342 1984<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Protocal specification, testing and verification : proceedings of the.. Org. USC/ISI. Idyllwild, Calif., USA, 17-20 May. 1982ent://SD_ILS/0/SD_ILS:373712026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar IFIP WG 6.1 International Workshop on Protocal Specification, Testing and Verification (2nd : 1982 : Idyllwild, Calif.) Sunshine, C., ed.<br/>Yer Numarası TK 5105.5 I342 1982<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germanyent://SD_ILS/0/SD_ILS:5290122026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Schlingloff, Bernd-Holger. editor. Vogel, Thomas. editor. Skowron, Andrzej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26651-5">https://doi.org/10.1007/978-3-031-26651-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Security Policy in System-on-Chip Designs Specification, Implementation and Verificationent://SD_ILS/0/SD_ILS:4829202026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Ray, Sandip. author. Basak, Abhishek. author. Bhunia, Swarup. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-93464-8">https://doi.org/10.1007/978-3-319-93464-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>High Efficiency Video Coding Coding Tools and Specificationent://SD_ILS/0/SD_ILS:5294602026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Wien, Mathias. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44276-0">https://doi.org/10.1007/978-3-662-44276-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugient://SD_ILS/0/SD_ILS:4872122026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54624-2">https://doi.org/10.1007/978-3-642-54624-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An ASIC Low Power Primer Analysis, Techniques and Specificationent://SD_ILS/0/SD_ILS:3314642026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Chadha, Rakesh. author. Bhasker, J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331464.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-4271-4">http://dx.doi.org/10.1007/978-1-4614-4271-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recent Advances and Future Directions in Causality, Prediction, and Specification Analysis Essays in Honor of Halbert L. White Jrent://SD_ILS/0/SD_ILS:3312782026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Chen, Xiaohong. editor. Swanson, Norman R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331278.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-1653-1">http://dx.doi.org/10.1007/978-1-4614-1653-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Manual of engineering drawing technical product specification and documentation to British and international standardsent://SD_ILS/0/SD_ILS:1469782026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Simmons, C. H. (Colin H.) Phelps, Neil. Maguire, Dennis E.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780080966526">http://www.sciencedirect.com/science/book/9780080966526</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Specification and Design Languages Selected Contributions from FDL 2010ent://SD_ILS/0/SD_ILS:1739372026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Kaźmierski, Tom J. 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-4614-1427-8">http://dx.doi.org/10.1007/978-1-4614-1427-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemesent://SD_ILS/0/SD_ILS:1989172026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Storm, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-2381-6">http://dx.doi.org/10.1007/978-3-8348-2381-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Algebraic Specification and Formal Software Developmentent://SD_ILS/0/SD_ILS:1935722026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17336-3">http://dx.doi.org/10.1007/978-3-642-17336-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computationent://SD_ILS/0/SD_ILS:1976682026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Molter, H. Gregor. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-658-00397-5">http://dx.doi.org/10.1007/978-3-658-00397-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Autonomic networking-on-chip : bio-inspired specification, development, and verificationent://SD_ILS/0/SD_ILS:5474682026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Cong-Vinh, Phan.<br/>Yer Numarası TK5105.546 .A98 2012<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439829134">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Tonal Accents in Norwegian : Phonology, morphology and lexical specificationent://SD_ILS/0/SD_ILS:5315582026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Wetterlin, Allison, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110234381">https://doi.org/10.1515/9783110234381</a>
<a href="https://www.degruyter.com/isbn/9783110234381">https://www.degruyter.com/isbn/9783110234381</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110234381/original">https://www.degruyter.com/document/cover/isbn/9783110234381/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specificationent://SD_ILS/0/SD_ILS:1721042026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Gamatie, Abdoulaye. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-0941-1">http://dx.doi.org/10.1007/978-1-4419-0941-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chipent://SD_ILS/0/SD_ILS:1721092026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Lin, Youn-Long Steve. author. Kao, Chao-Yang. author. Kuo, Hung-Chih. author. Chen, Jian-Wen. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-0959-6">http://dx.doi.org/10.1007/978-1-4419-0959-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009ent://SD_ILS/0/SD_ILS:2054572026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Borrione, Dominique. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-9304-2">http://dx.doi.org/10.1007/978-90-481-9304-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Specification and Verification of Declarative Open Interaction Models A Logic-Based Approachent://SD_ILS/0/SD_ILS:1926882026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Montali, Marco. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14538-4">http://dx.doi.org/10.1007/978-3-642-14538-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Developing Business Application Systems On the Specification and Selection of Software Components and Servicesent://SD_ILS/0/SD_ILS:2019282026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Skroch, Oliver. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8349-8858-4">http://dx.doi.org/10.1007/978-3-8349-8858-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory building for hypothesis specification in organizational studiesent://SD_ILS/0/SD_ILS:3697622026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Pawar, Badrinarayan Shankar, 1962-<br/>Yer Numarası ONLINE(369762.1)<br/>Elektronik Erişim SAGE knowledge <a href="http://sk.sagepub.com/books/theory-building-for-hypothesis-specification-in-organizational-studies">http://sk.sagepub.com/books/theory-building-for-hypothesis-specification-in-organizational-studies</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08ent://SD_ILS/0/SD_ILS:1706262026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Radetzki, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9714-0">http://dx.doi.org/10.1007/978-1-4020-9714-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1908572026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Palsberg, Jens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04164-8">http://dx.doi.org/10.1007/978-3-642-04164-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papersent://SD_ILS/0/SD_ILS:1859922026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Graham, T. C. Nicholas. editor. Palanque, Philippe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70569-7">http://dx.doi.org/10.1007/978-3-540-70569-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Embedded Systems Specification and Design Languages Selected contributions from FDL’07ent://SD_ILS/0/SD_ILS:1701072026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Villar, Eugenio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8297-9">http://dx.doi.org/10.1007/978-1-4020-8297-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Real-Time Systems Formal Specification and Automatic Verificationent://SD_ILS/0/SD_ILS:2361452026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Olderog, Ernst-Rüdiger. Dierks, Henning.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511619953">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papersent://SD_ILS/0/SD_ILS:1858602026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69554-7">http://dx.doi.org/10.1007/978-3-540-69554-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06ent://SD_ILS/0/SD_ILS:1697052026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Huss, Sorin A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6149-3">http://dx.doi.org/10.1007/978-1-4020-6149-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Global Specification and Validation of Embedded Systems Integrating Heterogeneous Componentsent://SD_ILS/0/SD_ILS:1697062026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6153-0">http://dx.doi.org/10.1007/978-1-4020-6153-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering 2 Specification of Systems and Languagesent://SD_ILS/0/SD_ILS:1836562026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Bjørner, Dines. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-33193-3">http://dx.doi.org/10.1007/978-3-540-33193-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papersent://SD_ILS/0/SD_ILS:1839522026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11752707">http://dx.doi.org/10.1007/11752707</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005ent://SD_ILS/0/SD_ILS:1693402026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Vachoux, A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-4998-9">http://dx.doi.org/10.1007/978-1-4020-4998-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1855762026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Julliand, Jacques. editor. Kouchnarenko, Olga. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11955757">http://dx.doi.org/10.1007/11955757</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830752026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Treharne, Helen. editor. King, Steve. editor. Henson, Martin. editor. Schneider, Steve. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b135596">http://dx.doi.org/10.1007/b135596</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04ent://SD_ILS/0/SD_ILS:1652372026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Boulet, Pierre. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136935">http://dx.doi.org/10.1007/b136935</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Clinical investigations of medical devices in dentistry : specification, interpretation, and practical guidanceent://SD_ILS/0/SD_ILS:1118682026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Groten, Martin. Janda, Ralf. Latta, Mark.<br/>Yer Numarası WU 190 G8813 2004<br/>Format: Kitap<br/>Durum Sağlık Bilimleri Kütüphanesi~1<br/>The green guide to specification an environmental profiling system for building materials and componentsent://SD_ILS/0/SD_ILS:2960322026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Anderson, Jane B.A., MSc. Shiers, David. Sinclair, Mike. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9780470690666">http://dx.doi.org/10.1002/9780470690666</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Electromagnetic anechoic chambers a fundamental design and specification guideent://SD_ILS/0/SD_ILS:2497532026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Hemming, Leland H. IEEE Electromagnetic Compatibility Society. IEEE Antennas and Propagation Society.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5273701">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5273701</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cold-formed steel structures to the AISI specificationent://SD_ILS/0/SD_ILS:5462522026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Hancock, Gregory J., author. Murray, Thomas M., 1940- author. Ellifritt, Duane S., author.<br/>Yer Numarası TA684 .H345 2001 EB<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429207778">https://www.taylorfrancis.com/books/9780429207778</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Architectural electromagnetic shielding handbook a design and specification guideent://SD_ILS/0/SD_ILS:2495862026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Hemming, Leland H. Institute of Electrical and Electronics Engineers.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265560">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265560</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed system : methods and tools for specification : an advanced courseent://SD_ILS/0/SD_ILS:325452026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Alford, M. F. Paul, M., ed. Siegert, H. J., ed.<br/>Yer Numarası QA 76.9.D5 D5937 1985<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Wood handbook : basic information on wood as a material of construction with data for its use in design and specification /U. S. Forest Products Laboratory, Madison, Wis.ent://SD_ILS/0/SD_ILS:472102026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar U. S. Forest Products Laboratory, Madison, Wis.<br/>Yer Numarası TA 419 U63 1955<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>It-Clefts : Empirical and Theoretical Surveys and Advancesent://SD_ILS/0/SD_ILS:5343772026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Belletti, Adriana, contributor. Bertollo, Sabrina, contributor. Bocci, Giuliano, contributor. Bonan, Caterina, contributor. Bonan, Caterina, editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110734140">https://doi.org/10.1515/9783110734140</a>
<a href="https://www.degruyter.com/isbn/9783110734140">https://www.degruyter.com/isbn/9783110734140</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110734140/original">https://www.degruyter.com/document/cover/isbn/9783110734140/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Collaborative Approaches for Cyber Security in Cyber-Physical Systemsent://SD_ILS/0/SD_ILS:5201882026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Dimitrakos, Theo. editor. Lopez, Javier. editor. Martinelli, Fabio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-16088-2">https://doi.org/10.1007/978-3-031-16088-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5205992026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-39386-0">https://doi.org/10.1007/978-3-031-39386-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208682026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-33498-6">https://doi.org/10.1007/978-3-031-33498-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208892026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-27481-7">https://doi.org/10.1007/978-3-031-27481-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211442026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Palumbo, Francesca. editor. Keramidas, Georgios. editor. Voros, Nikolaos. editor. Diniz, Pedro C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42921-7">https://doi.org/10.1007/978-3-031-42921-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:5213462026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Ciortea, Andrei. editor. Dastani, Mehdi. editor. Luo, Jieting. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-48539-8">https://doi.org/10.1007/978-3-031-48539-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proceedings of Third Doctoral Symposium on Computational Intelligence DoSCI 2022ent://SD_ILS/0/SD_ILS:5270742026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Khanna, Ashish. editor. Gupta, Deepak. editor. Kansal, Vineet. editor. Fortino, Giancarlo. editor. Hassanien, Aboul Ella. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-19-3148-2">https://doi.org/10.1007/978-981-19-3148-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Networking of Chaperones by Co-Chaperonesent://SD_ILS/0/SD_ILS:5271972026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Edkins, Adrienne L. editor. Blatch, Gregory L. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-14740-1">https://doi.org/10.1007/978-3-031-14740-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concise Guide to Software Verification From Model Checking to Annotation Checkingent://SD_ILS/0/SD_ILS:5205252026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30167-4">https://doi.org/10.1007/978-3-031-30167-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208412026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30826-0">https://doi.org/10.1007/978-3-031-30826-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5209112026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Liu, Shaoying. editor. Duan, Zhenhua. editor. Liu, Ai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-29476-1">https://doi.org/10.1007/978-3-031-29476-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212952026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-33163-3">https://doi.org/10.1007/978-3-031-33163-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pluripotent Stem Cell Therapy for Diabetesent://SD_ILS/0/SD_ILS:5222392026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Piemonti, Lorenzo. editor. Odorico, Jon. editor. Kieffer, Timothy J . editor. Sordi, Valeria. editor. de Koning, Eelco. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-41943-0">https://doi.org/10.1007/978-3-031-41943-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hair Cell Regenerationent://SD_ILS/0/SD_ILS:5268322026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Warchol, Mark E. editor. Stone, Jennifer S. editor. Coffin, Allison B. editor. Popper, Arthur N. editor. Fay, Richard R. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-20661-0">https://doi.org/10.1007/978-3-031-20661-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ITNG 2023 20th International Conference on Information Technology-New Generationsent://SD_ILS/0/SD_ILS:5269662026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Latifi, Shahram. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-28332-1">https://doi.org/10.1007/978-3-031-28332-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Neurogenetics Current Topics in Cellular and Developmental Neurobiologyent://SD_ILS/0/SD_ILS:5271772026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Egger, Boris. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-07793-7">https://doi.org/10.1007/978-3-031-07793-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5204582026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Tsanas, Athanasios. editor. Triantafyllidis, Andreas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-34586-9">https://doi.org/10.1007/978-3-031-34586-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5207842026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-21203-1">https://doi.org/10.1007/978-3-031-21203-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5207882026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-24841-2">https://doi.org/10.1007/978-3-031-24841-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:5210732026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-40132-9">https://doi.org/10.1007/978-3-031-40132-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5210952026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-36889-9">https://doi.org/10.1007/978-3-031-36889-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>3D Research Challenges in Cultural Heritage III Complexity and Quality in Digitisationent://SD_ILS/0/SD_ILS:5211032026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Ioannides, Marinos. editor. Patias, Petros. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-35593-6">https://doi.org/10.1007/978-3-031-35593-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:5211202026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42441-0">https://doi.org/10.1007/978-3-031-42441-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212092026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-44267-4">https://doi.org/10.1007/978-3-031-44267-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of Radical CV Phonology : A Theory of Segmental and Syllabic Structureent://SD_ILS/0/SD_ILS:5346632026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar van der Hulst, Harry, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9781474454681?locatt=mode:legacy">https://doi.org/10.1515/9781474454681?locatt=mode:legacy</a>
<a href="https://www.degruyter.com/isbn/9781474454681">https://www.degruyter.com/isbn/9781474454681</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9781474454681/original">https://www.degruyter.com/document/cover/isbn/9781474454681/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Experimental Insights into the Syntax of Romanian Ditransitivesent://SD_ILS/0/SD_ILS:5318202026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Tigău, Alina, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9781501513657">https://doi.org/10.1515/9781501513657</a>
<a href="https://www.degruyter.com/isbn/9781501513657">https://www.degruyter.com/isbn/9781501513657</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9781501513657/original">https://www.degruyter.com/document/cover/isbn/9781501513657/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pump user's handbook : life extensionent://SD_ILS/0/SD_ILS:5394382026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Bloch, Heinz P., 1933- author. Budris, Allan R., author.<br/>Yer Numarası TJ900<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003151807">https://www.taylorfrancis.com/books/9781003151807</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Language and Politicsent://SD_ILS/0/SD_ILS:5321992026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Apte, Mahadev L., contributor. Bailey, F. G., contributor. Bretton, Henry L., contributor. Conti, Eugene A., contributor. DuBow, Fred, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110807134">https://doi.org/10.1515/9783110807134</a>
<a href="https://www.degruyter.com/isbn/9783110807134">https://www.degruyter.com/isbn/9783110807134</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110807134/original">https://www.degruyter.com/document/cover/isbn/9783110807134/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Avionics : elements, software and functionsent://SD_ILS/0/SD_ILS:5405062026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Spitzer, Cary R., author. Spitzer, Cary R., editor.<br/>Yer Numarası TL695<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781315222240">https://www.taylorfrancis.com/books/9781315222240</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concepts and Methodologies for Modeling and Simulation A Tribute to Tuncer Örenent://SD_ILS/0/SD_ILS:5183402026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Yilmaz, Levent. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15096-3">https://doi.org/10.1007/978-3-319-15096-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Enterprise Information Systems 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:5183822026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Hammoudi, Slimane. editor. Maciaszek, Leszek. editor. Teniente, Ernest. editor. Camp, Olivier. editor. Cordeiro, José. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29133-8">https://doi.org/10.1007/978-3-319-29133-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practiceent://SD_ILS/0/SD_ILS:5183992026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Śmiałek, Michał. author. Nowakowski, Wiktor. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12838-2">https://doi.org/10.1007/978-3-319-12838-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5184972026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Benyoucef, Morad. editor. Weiss, Michael. editor. Mili, Hafedh. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17957-5">https://doi.org/10.1007/978-3-319-17957-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementationent://SD_ILS/0/SD_ILS:5186582026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Štuikys, Vytautas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16913-2">https://doi.org/10.1007/978-3-319-16913-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Aspect-Oriented Security Hardening of UML Design Modelsent://SD_ILS/0/SD_ILS:5187222026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Mouheb, Djedjiga. author. Debbabi, Mourad. author. Pourzandi, Makan. author. Wang, Lingyu. author. Nouh, Mariam. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16106-8">https://doi.org/10.1007/978-3-319-16106-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Information Retrieval 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5187872026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Hanbury, Allan. editor. Kazai, Gabriella. editor. Rauber, Andreas. editor. Fuhr, Norbert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16354-3">https://doi.org/10.1007/978-3-319-16354-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:5187982026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17404-4">https://doi.org/10.1007/978-3-319-17404-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedingsent://SD_ILS/0/SD_ILS:5189772026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19458-5">https://doi.org/10.1007/978-3-319-19458-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5190072026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21690-4">https://doi.org/10.1007/978-3-319-21690-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191362026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46675-9">https://doi.org/10.1007/978-3-662-46675-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:5191392026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28114-8">https://doi.org/10.1007/978-3-319-28114-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papersent://SD_ILS/0/SD_ILS:5192972026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-26184-3">https://doi.org/10.1007/978-3-319-26184-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>FPGA Design Best Practices for Team-based Reuseent://SD_ILS/0/SD_ILS:5296502026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Simpson, Philip Andrew. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17924-7">https://doi.org/10.1007/978-3-319-17924-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Development and Reproduction in Humans and Animal Model Speciesent://SD_ILS/0/SD_ILS:5296702026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Mueller, Werner A. author. Hassel, Monika. author. Grealy, Maura. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-43784-1">https://doi.org/10.1007/978-3-662-43784-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Networking of Chaperones by Co-chaperones Control of Cellular Protein Homeostasisent://SD_ILS/0/SD_ILS:5300812026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Blatch, Gregory Lloyd. editor. Edkins, Adrienne Lesley. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11731-7">https://doi.org/10.1007/978-3-319-11731-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Vertebrate Myogenesis Stem Cells and Precursorsent://SD_ILS/0/SD_ILS:5300982026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Brand-Saberi, Beate. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44608-9">https://doi.org/10.1007/978-3-662-44608-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Stem Cells in the Lung Development, Repair and Regenerationent://SD_ILS/0/SD_ILS:5303152026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Bertoncello, Ivan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21082-7">https://doi.org/10.1007/978-3-319-21082-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formalisms for Reuse and Systems Integrationent://SD_ILS/0/SD_ILS:5306302026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Bouabana-Tebibel, Thouraya. editor. Rubin, Stuart H. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16577-6">https://doi.org/10.1007/978-3-319-16577-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Morpheme : A Theoretical Introductionent://SD_ILS/0/SD_ILS:5319732026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Embick, David, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9781501502569">https://doi.org/10.1515/9781501502569</a>
<a href="https://www.degruyter.com/isbn/9781501502569">https://www.degruyter.com/isbn/9781501502569</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9781501502569/original">https://www.degruyter.com/document/cover/isbn/9781501502569/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Progress in Automation, Robotics and Measuring Techniques Volume 2 Roboticsent://SD_ILS/0/SD_ILS:5294312026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Szewczyk, Roman. editor. Zieliński, Cezary. editor. Kaliczyńska, Małgorzata. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15847-1">https://doi.org/10.1007/978-3-319-15847-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Behaviour Design Modelling Symposium 2015ent://SD_ILS/0/SD_ILS:5294432026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Thomsen, Mette Ramsgaard. editor. Tamke, Martin. editor. Gengnagel, Christoph. editor. Faircloth, Billie. editor. Scheurer, Fabian. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-24208-8">https://doi.org/10.1007/978-3-319-24208-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Advancement in Communication Circuits and Systems Proceedings of ICCACCS 2014ent://SD_ILS/0/SD_ILS:5305612026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Maharatna, Koushik. editor. Dalapati, Goutam Kumar. editor. Banerjee, P K. editor. Mallick, Amiya Kumar. editor. Mukherjee, Moumita. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-81-322-2274-3">https://doi.org/10.1007/978-81-322-2274-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5187632026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23485-4">https://doi.org/10.1007/978-3-319-23485-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5188402026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-22969-0">https://doi.org/10.1007/978-3-319-22969-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5193442026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Machado, Penousal. editor. Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16501-1">https://doi.org/10.1007/978-3-319-16501-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Nordic Contributions in IS Research 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5185832026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Oinas-Kukkonen, Harri. editor. Iivari, Netta. editor. Kuutti, Kari. editor. Öörni, Anssi. editor. Rajanen, Mikko. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21783-3">https://doi.org/10.1007/978-3-319-21783-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:5185252026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-27218-4">https://doi.org/10.1007/978-3-319-27218-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015ent://SD_ILS/0/SD_ILS:5185282026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Drechsler, Rolf. editor. Kühne, Ulrich. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-09994-7">https://doi.org/10.1007/978-3-658-09994-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5188912026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Zdravkovic, Jelena. editor. Kirikova, Marite. editor. Johannesson, Paul. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19069-3">https://doi.org/10.1007/978-3-319-19069-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5190192026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19584-1">https://doi.org/10.1007/978-3-319-19584-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5190282026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21668-3">https://doi.org/10.1007/978-3-319-21668-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013ent://SD_ILS/0/SD_ILS:5292552026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Louërat, Marie-Minerve. editor. Maehne, Torsten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06317-1">https://doi.org/10.1007/978-3-319-06317-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Taurine 9ent://SD_ILS/0/SD_ILS:5295622026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Marcinkiewicz, Janusz. editor. Schaffer, Stephen W. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15126-7">https://doi.org/10.1007/978-3-319-15126-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>New Research in Multimedia and Internet Systemsent://SD_ILS/0/SD_ILS:5295932026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Zgrzywa, Aleksander. editor. Choroś, Kazimierz. editor. Siemiński, Andrzej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10383-9">https://doi.org/10.1007/978-3-319-10383-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Geotechnical engineering of damsent://SD_ILS/0/SD_ILS:5463282026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Fell, Robin, author.<br/>Yer Numarası TC540 .F45 2015<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781136697456">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Preventing medical device recallsent://SD_ILS/0/SD_ILS:5434222026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Raheja, Dev, author.<br/>Yer Numarası R859.7 .S43 P74 2015<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466568235">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Phonology and Morphology of the Germanic Languagesent://SD_ILS/0/SD_ILS:5352172026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Alber, Birgit, contributor. Booij, Geert, contributor. Golston, Chris, contributor. Grijzenhout, Janet, contributor. Hülst, Harry van der, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110919769">https://doi.org/10.1515/9783110919769</a>
<a href="https://www.degruyter.com/isbn/9783110919769">https://www.degruyter.com/isbn/9783110919769</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110919769/original">https://www.degruyter.com/document/cover/isbn/9783110919769/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Nano-scale CMOS analog circuits : models and CAD techniques for high-level designent://SD_ILS/0/SD_ILS:5414592026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Pandit, Soumya, author. Mandal, Chittaranjan, author. Patra, Amit, author.<br/>Yer Numarası TK7871.99 .M44 P36 2014<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466564282">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Reflective Cracking in Pavements : State of the Art and Design Recommendationsent://SD_ILS/0/SD_ILS:5396492026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Degeimbre, R., editor. Francken, L., editor. Rigo, J.M., editor.<br/>Yer Numarası TE220.3 R445 2014<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781482271249">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals and evolution of MPEG-2 systems : paving the MPEG roadent://SD_ILS/0/SD_ILS:3419322026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Meer, Jan van der (Electrical engineer), author.<br/>Yer Numarası ONLINE(341932.1)<br/>Elektronik Erişim Cover image <a href="http://catalogimages.wiley.com/images/db/jimages/9780470974339.jpg">http://catalogimages.wiley.com/images/db/jimages/9780470974339.jpg</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118875926">http://dx.doi.org/10.1002/9781118875926</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Gas insulated substationsent://SD_ILS/0/SD_ILS:3416742026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Koch, Hermann, 1954- editor.<br/>Yer Numarası ONLINE(341674.1)<br/>Elektronik Erişim ebrary <a href="http://alltitles.ebrary.com/Doc?id=10888213">An electronic book accessible through the World Wide Web; click to view</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118694534">http://dx.doi.org/10.1002/9781118694534</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Current interruption transients calculationent://SD_ILS/0/SD_ILS:3416962026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Peelo, David F., author.<br/>Yer Numarası ONLINE(341696.1)<br/>Elektronik Erişim <a href="http://site.ebrary.com/lib/byuprovo/docDetail.action?docID=10831323">CLICK HERE for online access</a>
<a href="http://dx.doi.org/10.1002/9781118707227">http://dx.doi.org/10.1002/9781118707227</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=63509">http://www.books24x7.com/marc.asp?bookid=63509</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Prestressed Concrete Designer's Handbook, Third edent://SD_ILS/0/SD_ILS:5401432026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Abeles, P.W., author. Bardhan-Roy, B K, author.<br/>Yer Numarası TA683.9 A245 2014<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781482272338">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Concrete Masonry Designer's Handbook, Second Editionent://SD_ILS/0/SD_ILS:5441412026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Fried, Anton, author. Roberts, J.J., author. Tovey, Alan, author.<br/>Yer Numarası TH1491 .F754 2014<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781482271478">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Missing Data Methodologyent://SD_ILS/0/SD_ILS:5467532026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Molenberghs, Geert, author. Fitzmaurice, Garrett, editor. Kenward, Michael G., editor. Tsiatis, Anastasios, editor. Verbeke, Geert, editor.<br/>Yer Numarası QA276 .M654 2014<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439854624">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Software engineering mathematicsent://SD_ILS/0/SD_ILS:5425122026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Woodcock, Janet, author. Taylor and Francis.<br/>Yer Numarası QA76.758 .W661989<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9780429019111">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Concrete durabilityent://SD_ILS/0/SD_ILS:5462402026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Dyer, Thomas (Civil engineer), author.<br/>Yer Numarası TA440 .D894 2014<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781135181741">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced risk analysis in engineering enterprise systemsent://SD_ILS/0/SD_ILS:5387592026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Pinto, Cesar Ariel., author. Garvey, Paul R., 1956-<br/>Yer Numarası TA169 .P56 2013<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439826157">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Netcentric system of systems engineering with DEVS unified processent://SD_ILS/0/SD_ILS:5454592026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Mittal, Saurabh., author. Cetinkaya, Deniz. Risco-Martin, Jose Luis, 1975- Seck, Mamadou D. Verbraeck, Alexander.<br/>Yer Numarası TA168 .M58 2013<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439827079">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Usability evaluation for in-vehicle systemsent://SD_ILS/0/SD_ILS:5467262026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Harvey, Catherine, 1984, author. Stanton, Neville, 1960-<br/>Yer Numarası TL272.55 .H37 2013<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466514300">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Distinctive Feature Theoryent://SD_ILS/0/SD_ILS:5342032026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Avery, Peter, contributor. Clements, G. N., contributor. Ghini, Mirco, contributor. Grijzenhout, Janet, contributor. Hall, T. Alan, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110886672">https://doi.org/10.1515/9783110886672</a>
<a href="https://www.degruyter.com/isbn/9783110886672">https://www.degruyter.com/isbn/9783110886672</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110886672/original">https://www.degruyter.com/document/cover/isbn/9783110886672/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Aspect Bound : A Voyage into the Realm of Germanic, Slavonic and Finno-Ugrian Aspectologyent://SD_ILS/0/SD_ILS:5340132026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar ANDERSSON, STIG-OLAV, contributor. ANDERSSON, SVEN-GUNNAR, contributor. BRIGDEN, NIGEL, contributor. DAHL, ÖSTEN, contributor. DE GROOT, CASPER, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110846195">https://doi.org/10.1515/9783110846195</a>
<a href="https://www.degruyter.com/isbn/9783110846195">https://www.degruyter.com/isbn/9783110846195</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110846195/original">https://www.degruyter.com/document/cover/isbn/9783110846195/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Health and safety at work revision guide for the NEBOSH National General Certificateent://SD_ILS/0/SD_ILS:2623672026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Ferrett, Ed.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.tandfebooks.com/isbn/9780203113813">Click here to view</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Coordinate measuring machines and systemsent://SD_ILS/0/SD_ILS:5468122026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Hocken, Robert J. Pereira, Paulo H.<br/>Yer Numarası TA165.5 .C66 2012<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420017533">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of analytical validationent://SD_ILS/0/SD_ILS:5469452026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Swartz, Michael (Michael E.), author. Krull, Ira S., 1940-<br/>Yer Numarası QD75.4 .Q34 S93 2012<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420014488">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Expecting the Unexpected: Exceptions in Grammarent://SD_ILS/0/SD_ILS:5326672026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Alexiadou, Artemis, contributor. Anderson, Stephen R., contributor. Corbett, Greville G., contributor. Cysouw, Michael, contributor. Dahl, Östen, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110219098">https://doi.org/10.1515/9783110219098</a>
<a href="https://www.degruyter.com/isbn/9783110219098">https://www.degruyter.com/isbn/9783110219098</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110219098/original">https://www.degruyter.com/document/cover/isbn/9783110219098/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>History of Englishes : New Methods and Interpretations in Historical Linguisticsent://SD_ILS/0/SD_ILS:5340522026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Aertsen, Henk, contributor. Anderson, John, contributor. Bailey, Guy, contributor. Biber, Douglas, contributor. Blake, N. F., contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110877007">https://doi.org/10.1515/9783110877007</a>
<a href="https://www.degruyter.com/isbn/9783110877007">https://www.degruyter.com/isbn/9783110877007</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110877007/original">https://www.degruyter.com/document/cover/isbn/9783110877007/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The nature of translation : Essays on the theory and practice of literary translationent://SD_ILS/0/SD_ILS:5325262026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar BABLER, O. F., contributor. BALCERZAN, EDWARD, contributor. DOBOSSY, LÁSZLÓ, contributor. FERENČÍK, JÁN, contributor. GACHECHILADZE, GIVI R., contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110871098">https://doi.org/10.1515/9783110871098</a>
<a href="https://www.degruyter.com/isbn/9783110871098">https://www.degruyter.com/isbn/9783110871098</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110871098/original">https://www.degruyter.com/document/cover/isbn/9783110871098/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in human factors, ergonomics, and safety in manufacturing and service industriesent://SD_ILS/0/SD_ILS:5400712026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Karwowski, Waldemar, 1953- Salvendy, Gavriel, 1938-<br/>Yer Numarası TA166 .A383 2011<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439835005">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Reproductive physiology in plantsent://SD_ILS/0/SD_ILS:5447392026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Stewart, Philip, 1974- Globig, Sabine, 1949-<br/>Yer Numarası QK825 .R47 2011<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466561977">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Distillation control, optimization, and tuning : fundamentals and strategiesent://SD_ILS/0/SD_ILS:5457772026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Robbins, Lanny., author.<br/>Yer Numarası TP156 .D5 R625 2011<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439858004">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Pharmaceutical water : system design, operation, and validationent://SD_ILS/0/SD_ILS:5470322026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Collentro, William V., author.<br/>Yer Numarası RS199 .W37 C64 2011<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420077834">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Mining software specifications : methodologies and applicationsent://SD_ILS/0/SD_ILS:5476742026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Lo, David.<br/>Yer Numarası QA76.9 .D343 M558 2011<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439806272">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Lectures on Government and Binding : The Pisa Lecturesent://SD_ILS/0/SD_ILS:5341662026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Chomsky, Noam, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110884166">https://doi.org/10.1515/9783110884166</a>
<a href="https://www.degruyter.com/isbn/9783110884166">https://www.degruyter.com/isbn/9783110884166</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110884166/original">https://www.degruyter.com/document/cover/isbn/9783110884166/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Spatial data quality : from process to decisionsent://SD_ILS/0/SD_ILS:5455852026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Devillers, Rodolphe. Goodchild, H. (Helen)<br/>Yer Numarası G70.212 .S648 2010<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781439810132">https://www.taylorfrancis.com/books/9781439810132</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367806903">https://www.taylorfrancis.com/books/9780367806903</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Discrete-event modeling and simulation : theory and applicationsent://SD_ILS/0/SD_ILS:5394772026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Mosterman, Pieter J. Wainer, Gabriel A.<br/>Yer Numarası TA168 .D566 2010<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420072341">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Tubular structures XIII : proceedings of the 13th International Symposium on Tubular Structures, Hong Kong, China, 15-17 December 2010ent://SD_ILS/0/SD_ILS:5397632026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar International Symposium on Tubular Structures (13th : 2010 : Hong Kong, China) Young, Ben.<br/>Yer Numarası TA684 .I58 2010<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439862988">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Thin-film optical filtersent://SD_ILS/0/SD_ILS:5469782026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Macleod, H. A. (Hugh Angus), author.<br/>Yer Numarası QC373 .L5 M34 2010<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420073034">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Variation and Gradience in Phonetics and Phonologyent://SD_ILS/0/SD_ILS:5328772026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Bergmann, Pia, contributor. Christophe, Anne, contributor. Cristófaro-Silva, Thaïs, contributor. Darcy, Isabelle, contributor. Dupoux, Emmanuel, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110219326">https://doi.org/10.1515/9783110219326</a>
<a href="https://www.degruyter.com/isbn/9783110219326">https://www.degruyter.com/isbn/9783110219326</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110219326/original">https://www.degruyter.com/document/cover/isbn/9783110219326/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Laboratory Phonology 8ent://SD_ILS/0/SD_ILS:5330092026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Baayen, Harald, contributor. Baltazani, Mary, contributor. Best, Catherine T., editor. Brentari, Diane, contributor. Byrd, Dani, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110197211">https://doi.org/10.1515/9783110197211</a>
<a href="https://www.degruyter.com/isbn/9783110197211">https://www.degruyter.com/isbn/9783110197211</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110197211/original">https://www.degruyter.com/document/cover/isbn/9783110197211/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Boilers for power and processent://SD_ILS/0/SD_ILS:5410432026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar RayaProfilu, Kumar., author.<br/>Yer Numarası TJ263.5 .R388 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420075373">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Process algebra for parallel and distributed processingent://SD_ILS/0/SD_ILS:5450392026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Alexander, Michael, 1970 Sept. 25- Gardner, William, 1952-<br/>Yer Numarası QA76.58 .P7664 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420064872">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Multi-agent systems : simulation and applicationsent://SD_ILS/0/SD_ILS:5474772026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Uhrmacher, Adelinde. Weyns, Danny.<br/>Yer Numarası QA76.76 .I58 M864 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420070248">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Human-computer interaction. Development processent://SD_ILS/0/SD_ILS:5460072026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Sears, Andrew. Jacko, Julie A.<br/>Yer Numarası QA76.9 .H85 H85653 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420088892">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling urban development with geographical information systems and cellular automataent://SD_ILS/0/SD_ILS:5459852026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Liu, Yan, 1965 Oct. 29, author.<br/>Yer Numarası HT166 .L58 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420059908">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Chromosome nanoscience and technologyent://SD_ILS/0/SD_ILS:5390712026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Fukui, Kiichi. Ushiki, Tatsuo, 1957-<br/>Yer Numarası QH600 .C4943 2008<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420044928">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Implementing electronic document and record management systemsent://SD_ILS/0/SD_ILS:5398292026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Adam, Azad., author.<br/>Yer Numarası HF5738 .A32 2008<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9780849380600">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Software solutions for engineers and scientistsent://SD_ILS/0/SD_ILS:5444852026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Sanchez, Julio, 1938- author. Canton, Maria P.<br/>Yer Numarası TA345 .S31535 2008<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420043037">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Steel-reinforced concrete structures : assessment and repair of corrosionent://SD_ILS/0/SD_ILS:5439632026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar El-Reedy, Mohamed A. (Mohamed Abdallah), author.<br/>Yer Numarası TA445.5 .E47 2008<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420054316">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>The Internet of things : from RFID to the next-generation pervasive networked systemsent://SD_ILS/0/SD_ILS:5459552026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Yan, Lu.<br/>Yer Numarası QA76.5915 .I68 2008<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420052824">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of machining with grinding wheelsent://SD_ILS/0/SD_ILS:5399662026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Marinescu, Ioan D.<br/>Yer Numarası TJ1280 .H425 2007<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420017649">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>What every engineer should know about software engineeringent://SD_ILS/0/SD_ILS:5437972026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Laplante, Phillip A., author.<br/>Yer Numarası QA76.758 .L327 2007<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420006742">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Validation and qualification in analytical laboratoriesent://SD_ILS/0/SD_ILS:1091352026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Huber, Ludwig, 1948-<br/>Yer Numarası QV 744 H877 2007<br/>Format: Kitap<br/>Durum Sağlık Bilimleri Kütüphanesi~1<br/>Nonlinear time series : semiparametric and nonparametric methodsent://SD_ILS/0/SD_ILS:5422022026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Gao, Jiti, 1962, author.<br/>Yer Numarası QA280 .G36 2007<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420011210">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Validation and qualification in analytical laboratoriesent://SD_ILS/0/SD_ILS:5451902026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Huber, Ludwig, 1948- author.<br/>Yer Numarası QD75.4 .Q34 H83 2007<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9780849382680">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Embedded systems handbookent://SD_ILS/0/SD_ILS:5438522026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Zurawski, Richard.<br/>Yer Numarası TK7895 .E42 E64 2006<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420038163">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>EDA for IC system design, verification, and testingent://SD_ILS/0/SD_ILS:5454962026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Lavagno, Luciano, 1959- Martin, Grant (Grant Edmund) Scheffer, Louis Kossuth.<br/>Yer Numarası TK7874 .E26 2006<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420007947">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>The practical handbook of Internet computingent://SD_ILS/0/SD_ILS:5452762026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Singh, Munindar P. (Munindar Paul), 1964-<br/>Yer Numarası QA76.625 .P73 2005<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9780203507223">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>The industrial information technology handbookent://SD_ILS/0/SD_ILS:5454872026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Zurawski, Richard.<br/>Yer Numarası T58.5 .I513 2005<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420036336">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Shotcrete : more engineering developments : proceedings of the Second International Conference on Engineering Developments in Shotcrete, 4 October 2004, Cairns, Queensland, Australiaent://SD_ILS/0/SD_ILS:5423022026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar International Conference on Engineering Developments in Shotcrete (2nd : 2004 : airns, Qld.) Bernard, E. Stefan (Erik Stefan)<br/>Yer Numarası TA446 .I58 2004<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781134242948">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Isolation technology : a practical guideent://SD_ILS/0/SD_ILS:5405582026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Coles, Tim P.<br/>Yer Numarası RS192 .C645 2004 EB<br/>Elektronik Erişim Taylor & Francis <a href="http://www.taylorfrancis.com/books/9781420025842">http://www.taylorfrancis.com/books/9781420025842</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781420025842">https://www.taylorfrancis.com/books/9781420025842</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367801182">https://www.taylorfrancis.com/books/9780367801182</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Generalized latent variable modeling : multilevel, longitudinal, and structural equation modelsent://SD_ILS/0/SD_ILS:5452282026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Skrondal, Anders., author. Rabe-Hesketh, S.<br/>Yer Numarası QA278.6 .S57 2004<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781135443405">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Testing computer systems for FDA/MHRA complianceent://SD_ILS/0/SD_ILS:5472942026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Stokes, David., author.<br/>Yer Numarası RS418 .S76 2004<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781135505981">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer-aided econometricsent://SD_ILS/0/SD_ILS:5413022026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Giles, David E. A., 1949-<br/>Yer Numarası HB139 .C647 2003<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781135530341">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Software engineering measurementent://SD_ILS/0/SD_ILS:5453002026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Munson, John C., author.<br/>Yer Numarası QA76.76 .S65 M86 2003<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781135505776">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Inverse engineering handbookent://SD_ILS/0/SD_ILS:5388342026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Woodbury, Keith A.<br/>Yer Numarası TA647 .D45 I575 2003<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420041613">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Software engineering handbookent://SD_ILS/0/SD_ILS:5476812026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Keyes, Jessica, 1950, author.<br/>Yer Numarası QA76.758 .K48 2003<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420031416">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Thin-film optical filtersent://SD_ILS/0/SD_ILS:5430552026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Macleod, H. A. (Hugh Angus), author.<br/>Yer Numarası QC373 .L5 M34 2001<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420033236">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Software testing and continuous quality improvementent://SD_ILS/0/SD_ILS:5459472026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Lewis, William E., author.<br/>Yer Numarası QA76.76 .T48 L495 2000<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420048124">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Centrifugal and rotary pumps : fundamentals with applicationsent://SD_ILS/0/SD_ILS:5388132026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Nelik, Lev., author.<br/>Yer Numarası TJ919 .N34 1999<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420049725">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Introductory medical statisticsent://SD_ILS/0/SD_ILS:5456992026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Mould, Richard F. (Richard Francis), author.<br/>Yer Numarası R853 .S7 M685 1998<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439833681">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Concrete materials : problems and solutionsent://SD_ILS/0/SD_ILS:5472212026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Levitt, M., author.<br/>Yer Numarası TA439 .L442 1997<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781135815387">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>An introduction to programming with specifications a mathematical approachent://SD_ILS/0/SD_ILS:2577562026-01-01T15:27:56Z2026-01-01T15:27:56ZYazar Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124276208">http://www.sciencedirect.com/science/book/9780124276208</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>