Arama Sonuçları spécification.

Specification development

2026-06-02T03:59:43Z

Yazar Lalanne, Christian. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/9780470611975
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Specification development

2026-06-02T03:59:43Z

Yazar Lalanne, Christian, author.
Yer Numarası ONLINE(342052.1)
Elektronik Erişim ebrary An electronic book accessible through the World Wide Web; click to view John Wiley http://dx.doi.org/10.1002/9781118931219
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Specification for tunnelling

2026-06-02T03:59:43Z

Yazar British Tunnelling Society. Institution of Civil Engineers (Great Britain)
Yer Numarası ONLINE(321490.1)
Elektronik Erişim Knovel http://app.knovel.com/hotlink/toc/id:kpSTE00023/specification-for-tunnelling
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software specification methods

2026-06-02T03:59:43Z

Yazar Habrias, Henri. Frappier, Marc, 1965- Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2006009290-b.html John Wiley http://dx.doi.org/10.1002/9780470612514
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Specification writing and management

2026-06-02T03:59:43Z

Yazar McRobb, Max
Yer Numarası TS 156 M39 1989 1.K
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~1

Logics of Specification Languages

2026-06-02T03:59:43Z

Yazar Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74107-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Specification of Software Systems

2026-06-02T03:59:43Z

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

Model specification for tunnelling

2026-06-02T03:59:43Z

Yazar The British Tunnelling Society. The Institution of Civil Engineers (Great Britain)
Yer Numarası TA 804.G7 M63 1997
Format: Kitap
Durum Beytepe Kütüphanesi~1

Software Engineering: Specification, Implementation, Verification

2026-06-02T03:59:43Z

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

Product Reliability Specification and Performance

2026-06-02T03:59:43Z

Yazar Murthy, Dodderi Narshima Prabhakar. author. Rausand, Marvin. author. Østerås, Trond. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-271-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Specification to Embedded Systems Application

2026-06-02T03:59:43Z

Yazar Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11523277
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relative Deprivation Specification, Development, and Integration

2026-06-02T03:59:43Z

Yazar Walker, Iain. Smith, Heather J..
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structured analysis and system specification

2026-06-02T03:59:43Z

Yazar De Marco, Tom.
Yer Numarası T 57.6 D45 1979
Format: Kitap
Durum Beytepe Kütüphanesi~1

Specification and uses of econometric models

2026-06-02T03:59:43Z

Yazar Brown Tillman Merritt,d1913-
Yer Numarası HB 74 M3 B77 1970
Format: Kitap
Durum Beytepe Kütüphanesi~1

Key to technical translation. Vol 1, Concept specification

2026-06-02T03:59:43Z

Yazar Hann, Michael.
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440654
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Chromatin Regulation of Early Embryonic Lineage Specification

2026-06-02T03:59:43Z

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

Formal Specification Level Concepts, Methods, and Algorithms

2026-06-02T03:59:43Z

Yazar Soeken, Mathias. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08699-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concrete mix design, quality control and specification

2026-06-02T03:59:43Z

Yazar Day, Ken W., author. Aldred, James, author. Hudson, Barry, author.
Yer Numarası TA439 .D39 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Specification and Verification of Multi-agent Systems

2026-06-02T03:59:43Z

Yazar Dastani, Mehdi. editor. Hindriks, Koen V. editor. Meyer, John-Jules Charles. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-6984-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software specification and design : an engineering approach

2026-06-02T03:59:43Z

Yazar Munson, John C., author.
Yer Numarası QA76.76 .D47 M853 2006
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Concrete mix design, quality control, and specification

2026-06-02T03:59:43Z

Yazar Day, Ken W.
Yer Numarası TA 439 D39 1999
Format: Kitap
Durum Beytepe Kütüphanesi~2

ICE specification for piling and embedded retaining walls

2026-06-02T03:59:43Z

Yazar Institution of Civil Engineers (Great Britain)
Yer Numarası ONLINE(312995.1)
Elektronik Erişim Knovel http://app.knovel.com/hotlink/toc/id:kpICESPER4/ice-specification-piling Knovel http://app.knovel.com/web/toc.v/cid:kpICESPER4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Protocal specification, testing and verification ix : proceedings of the.. Held in Enschede, The Netherlands, 6-9 June, 1989

2026-06-02T03:59:43Z

Yazar 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.
Yer Numarası TK 5105.5 I3426 1990
Format: Kitap
Durum Beytepe Kütüphanesi~1

Protocal specification, testing and verification IV : proceedings of the.. Org. by Columbia University, Skytop Lodge, Pennsylvania, U. S. A., June 11-14, 1984

2026-06-02T03:59:43Z

Yazar IFIP WG 6.1 International Workshop on Protocal Specification, Testing and Verification (4th : 1984 : Skytop Lodge Pa.,) Yemini, Y., ed. Strom, R. R., ed.
Yer Numarası TK 5105.5 I342 1984
Format: Kitap
Durum Beytepe Kütüphanesi~1

Protocal specification, testing and verification : proceedings of the.. Org. USC/ISI. Idyllwild, Calif., USA, 17-20 May. 1982

2026-06-02T03:59:43Z

Yazar IFIP WG 6.1 International Workshop on Protocal Specification, Testing and Verification (2nd : 1982 : Idyllwild, Calif.) Sunshine, C., ed.
Yer Numarası TK 5105.5 I342 1982
Format: Kitap
Durum Beytepe Kütüphanesi~1

Applied time series analysis for the social sciences : specification, estimation, and inference

2026-06-02T03:59:43Z

Yazar Baker, Regina M., author.
Yer Numarası HA30.3 .B35 2026
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119010494
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory building for hypothesis specification in organizational studies

2026-06-02T03:59:43Z

Yazar Pawar, Badrinarayan Shankar, 1962- author.
Yer Numarası HM786
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003506744 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Steel connection design by inelastic analysis : verification examples per AISC specification

2026-06-02T03:59:43Z

Yazar Denavit, Mark D., author.
Yer Numarası TA472 .D46 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394222186
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering drawing and product manufacturing information with 3D models : ISO geometrical product specification standards

2026-06-02T03:59:43Z

Yazar Mill, Frank, author.
Yer Numarası TA175
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003395072 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

2026-06-02T03:59:43Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75380-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

2026-06-02T03:59:43Z

Yazar Schlingloff, Bernd-Holger. editor. Vogel, Thomas. editor. Skowron, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-26651-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

User interface requirements for medical devices : driving toward safe, effective, and satisfying products by specification

2026-06-02T03:59:43Z

Yazar Wiklund, Michael, author. Davis, Erin, author. Trombley, Alexandria, author. Edwards, Jacqueline, illustrator.
Yer Numarası R856.6
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003029717 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security Policy in System-on-Chip Designs Specification, Implementation and Verification

2026-06-02T03:59:43Z

Yazar Ray, Sandip. author. Basak, Abhishek. author. Bhunia, Swarup. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93464-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Utility Communication Networks and Services Specification, Deployment and Operation

2026-06-02T03:59:43Z

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

Automatic Methods for the Refinement of System Models From the Specification to the Implementation

2026-06-02T03:59:43Z

Yazar Seiter, Julia. author. Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41480-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architectural Design Conception and Specification of Interactive Systems

2026-06-02T03:59:43Z

Yazar Vissers, Chris A. author. Pires, Luís Ferreira. author. Quartel, Dick A.C. author. van Sinderen, Marten. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43298-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach

2026-06-02T03:59:43Z

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

High Efficiency Video Coding Coding Tools and Specification

2026-06-02T03:59:43Z

Yazar Wien, Mathias. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44276-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

2026-06-02T03:59:43Z

Yazar Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54624-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An ASIC Low Power Primer Analysis, Techniques and Specification

2026-06-02T03:59:43Z

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

Recent Advances and Future Directions in Causality, Prediction, and Specification Analysis Essays in Honor of Halbert L. White Jr

2026-06-02T03:59:43Z

Yazar Chen, Xiaohong. editor. Swanson, Norman R. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331278.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1653-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Manual of engineering drawing technical product specification and documentation to British and international standards

2026-06-02T03:59:43Z

Yazar Simmons, C. H. (Colin H.) Phelps, Neil. Maguire, Dennis E.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780080966526
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes

2026-06-02T03:59:43Z

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

System Specification and Design Languages Selected Contributions from FDL 2010

2026-06-02T03:59:43Z

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

Foundations of Algebraic Specification and Formal Software Development

2026-06-02T03:59:43Z

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

SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation

2026-06-02T03:59:43Z

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

Autonomic networking-on-chip : bio-inspired specification, development, and verification

2026-06-02T03:59:43Z

Yazar Cong-Vinh, Phan.
Yer Numarası TK5105.546 .A98 2012
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009

2026-06-02T03:59:43Z

Yazar Borrione, Dominique. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9304-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-02T03:59:43Z

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

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

2026-06-02T03:59:43Z

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

Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach

2026-06-02T03:59:43Z

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

Developing Business Application Systems On the Specification and Selection of Software Components and Services

2026-06-02T03:59:43Z

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

Theory building for hypothesis specification in organizational studies

2026-06-02T03:59:43Z

Yazar Pawar, Badrinarayan Shankar, 1962-
Yer Numarası ONLINE(369762.1)
Elektronik Erişim SAGE knowledge http://sk.sagepub.com/books/theory-building-for-hypothesis-specification-in-organizational-studies
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

2026-06-02T03:59:43Z

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

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

2026-06-02T03:59:43Z

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

Real-Time Systems Formal Specification and Automatic Verification

2026-06-02T03:59:43Z

Yazar Olderog, Ernst-Rüdiger. Dierks, Henning.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Systems Specification and Design Languages Selected contributions from FDL’07

2026-06-02T03:59:43Z

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

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

2026-06-02T03:59:43Z

Yazar Graham, T. C. Nicholas. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70569-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06

2026-06-02T03:59:43Z

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

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

2026-06-02T03:59:43Z

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

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

2026-06-02T03:59:43Z

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

Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005

2026-06-02T03:59:43Z

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

Software Engineering 2 Specification of Systems and Languages

2026-06-02T03:59:43Z

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

Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

2026-06-02T03:59:43Z

Yazar Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11752707
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings

2026-06-02T03:59:43Z

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

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

2026-06-02T03:59:43Z

Yazar Treharne, Helen. editor. King, Steve. editor. Henson, Martin. editor. Schneider, Steve. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b135596
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-02T03:59:43Z

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

Clinical investigations of medical devices in dentistry : specification, interpretation, and practical guidance

2026-06-02T03:59:43Z

Yazar Groten, Martin. Janda, Ralf. Latta, Mark.
Yer Numarası WU 190 G8813 2004
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~1

Electromagnetic anechoic chambers a fundamental design and specification guide

2026-06-02T03:59:43Z

Yazar Hemming, Leland H. IEEE Electromagnetic Compatibility Society. IEEE Antennas and Propagation Society.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5273701
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The green guide to specification an environmental profiling system for building materials and components

2026-06-02T03:59:43Z

Yazar Anderson, Jane B.A., MSc. Shiers, David. Sinclair, Mike. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/9780470690666
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cold-formed steel structures to the AISI specification

2026-06-02T03:59:43Z

Yazar Hancock, Gregory J., author. Murray, Thomas M., 1940- author. Ellifritt, Duane S., author.
Yer Numarası TA684 .H345 2001 EB
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429207778 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architectural electromagnetic shielding handbook a design and specification guide

2026-06-02T03:59:43Z

Yazar Hemming, Leland H. Institute of Electrical and Electronics Engineers.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265560
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed system : methods and tools for specification : an advanced course

2026-06-02T03:59:43Z

Yazar Alford, M. F. Paul, M., ed. Siegert, H. J., ed.
Yer Numarası QA 76.9.D5 D5937 1985
Format: Kitap
Durum Beytepe Kütüphanesi~1

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.

2026-06-02T03:59:43Z

Yazar U. S. Forest Products Laboratory, Madison, Wis.
Yer Numarası TA 419 U63 1955
Format: Kitap
Durum Beytepe Kütüphanesi~1

Causal analysis with event history data using Stata

2026-06-02T03:59:43Z

Yazar Blossfeld, Hans-Peter, author. Rohwer, Götz, author. Blossfeld, Gwendolin, 1986- author. Halpin, Brendan.
Yer Numarası HA29
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781032708102 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ABC of evidence-based healthcare

2026-06-02T03:59:43Z

Yazar Frain, John, editor.
Yer Numarası R723.7 .A23 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394219346
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Materials and processes used in aircraft construction

2026-06-02T03:59:43Z

Yazar Fink, Johannes Karl, author.
Yer Numarası TL698 .F56 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394313990
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of intelligent automation systems using computer vision and artificial intelligence

2026-06-02T03:59:43Z

Yer Numarası T59.5 .H36 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394302734
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cancer Field Surgery in Gynecologic Oncology Principles and Practice

2026-06-02T03:59:43Z

Yazar Höckel, Michael. author. Kimmig, Rainer. author. (orcid)0000-0003-1118-2199 Behn, Ulrich. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83030-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

2026-06-02T03:59:43Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75387-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

2026-06-02T03:59:43Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75107-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

2026-06-02T03:59:43Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75390-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

2026-06-02T03:59:43Z

Yazar Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77382-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Concise Introduction to Software Engineering With Open Source and GenAI

2026-06-02T03:59:43Z

Yazar Jalote, Pankaj. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74318-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bring Your Own Device Security Policy Compliance Framework

2026-06-02T03:59:43Z

Yazar Palanisamy, Rathika. author. (orcid)0000-0001-6495-1081 Norman, Azah Anir. author. Kiah, Miss Laiha Mat. author. Herawan, Tutut. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86801-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design of shipboard power system grounding/earthing

2026-06-02T03:59:43Z

Yazar Doerry, Norbert, author. Islam, Mohammed M., author. Prousalidis, John, 1968- author.
Yer Numarası VM471 .D64 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119933113
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Method validation in pharmaceutical analysis : a guide to best practice

2026-06-02T03:59:43Z

Yazar Ermer, Joachim, editor. Nethercote, Phil, editor.
Yer Numarası RS187
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9783527831708
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

2026-06-02T03:59:43Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73709-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

2026-06-02T03:59:43Z

Yazar Lee, Edward A. editor. (orcid)0000-0002-5663-0584 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 Talcott, Carolyn. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85134-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

2026-06-02T03:59:43Z

Yazar Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-88930-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems engineering for the digital age : practitioner perspectives

2026-06-02T03:59:43Z

Yazar Verma, Dinesh, 1964- editor.
Yer Numarası TA168 .S8854 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394203314
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovation Diffusion Models : Theory and Practice.

2026-06-02T03:59:43Z

Yazar Guidolin, Mariangela.
Yer Numarası HF5415.153
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119756231
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals and applications of colour engineering

2026-06-02T03:59:43Z

Yazar Green, Phil, 1953- editor.
Yer Numarası QC495 .F85 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119827214
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems science for engineers and scholars

2026-06-02T03:59:43Z

Yazar Engel, Avner (Researcher), author.
Yer Numarası Q295 .E534 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394211678
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Photovoltaic (PV) system delivery as reliable energy infrastructure

2026-06-02T03:59:43Z

Yazar Balfour, John (John R.), author. Morris, Russell W., author.
Yer Numarası TK1087 .B353 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119571247
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Modelling and Simulation of Aircraft and the Environment. Volume 2, Aircraft dynamics.

2026-06-02T03:59:43Z

Yazar Diston, Dominic J. Belobaba, Peter. Cooper, Jonathan. Seabridge, Allan.
Yer Numarası TL563
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781118536407
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electromagnetic wave absorbing materials : fundamentals and applications

2026-06-02T03:59:43Z

Yazar Wu, Hongjing (Professor), editor. Luo, Jun (Professor of microelectronics), editor. Yang, Meiyin, editor.
Yer Numarası QC182 .W8 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119699316
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reshaping intelligent business and industry : convergence of AI and IoT at the cutting edge

2026-06-02T03:59:43Z

Yazar Dahiya, Neeraj, editor. Jaglan, Vivek. Koundal, Deepika. Le, Dac-Nhuong.
Yer Numarası HD45 .R47 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119905202
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

2026-06-02T03:59:43Z

Yazar Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49342-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Numerical Simulation of In-Flight Icing

2026-06-02T03:59:43Z

Yazar Habashi, Wagdi George. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-33845-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Technical Drawing for Product Design Mastering ISO GPS and ASME GD&T

2026-06-02T03:59:43Z

Yazar Tornincasa, Stefano. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51187-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

2026-06-02T03:59:43Z

Yazar Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66064-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Software Verification with Frama-C Core Components, Usages, and Applications

2026-06-02T03:59:43Z

Yazar Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55608-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding the Digital World Modeling with HERAKLIT

2026-06-02T03:59:43Z

Yazar Fettke, Peter. author. Reisig, Wolfgang. author. (orcid)0000-0002-7026-2810 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61898-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Molecular and Cell Biology of Pancreas Development, Function and Regeneration

2026-06-02T03:59:43Z

Yazar Golson, Maria L. editor. (orcid)0000-0002-2927-2013 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-62232-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part I

2026-06-02T03:59:43Z

Yazar Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64748-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part II

2026-06-02T03:59:43Z

Yazar Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64755-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The UFAW handbook on the care and management of laboratory and other research animals

2026-06-02T03:59:43Z

Yazar Golledge, Huw, editor. Richardson, Claire, editor.
Yer Numarası SF406 .U55 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119555278
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Differential antennas : theory and practice

2026-06-02T03:59:43Z

Yazar Zhang, Yueping, author. John Wiley & Sons, publisher.
Yer Numarası TK7871.67 .M5 Z48 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394273119
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart materials for science and engineering

2026-06-02T03:59:43Z

Yazar Upēndra Kumār, editor. Sonkar, Piyush Kumar, 1989- editor.
Yer Numarası TA418.9 .S62 S53 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394186488
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Open RAN explained : the new era of radio networks

2026-06-02T03:59:43Z

Yazar Penttinen, Jyrki T. J., author. Zarri, Michele, author. Kim, Dongwook, author.
Yer Numarası TK5103.2 .P444 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119847083
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile-SOFL Agile Formal Engineering Method

2026-06-02T03:59:43Z

Yazar Liu, Shaoying. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2285-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Ontology A Human-Centric Approach to Understanding the Essence of Organisation

2026-06-02T03:59:43Z

Yazar Dietz, Jan L. G. author. Mulder, Hans B. F. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-53361-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

2026-06-02T03:59:43Z

Yazar Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-67114-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

2026-06-02T03:59:43Z

Yazar Bowles, Juliana. editor. (orcid)0000-0002-5918-9114 Søndergaard, Harald. editor. (orcid)0000-0002-2352-1883 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71294-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic Environments Testing, Vol. 7: Proceedings of the 42nd IMAC, A Conference and Exposition on Structural Dynamics 2024

2026-06-02T03:59:43Z

Yazar Schoenherr, Tyler. editor. Karlicek, Alexandra. editor. Beale, Dagny. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68184-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Networking of Chaperones by Co-Chaperones

2026-06-02T03:59:43Z

Yazar Edkins, Adrienne L. editor. Blatch, Gregory L. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-14740-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neurogenetics Current Topics in Cellular and Developmental Neurobiology

2026-06-02T03:59:43Z

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

Collaborative Approaches for Cyber Security in Cyber-Physical Systems

2026-06-02T03:59:43Z

Yazar Dimitrakos, Theo. editor. Lopez, Javier. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-16088-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers

2026-06-02T03:59:43Z

Yazar Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-39386-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

2026-06-02T03:59:43Z

Yazar Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-21203-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

2026-06-02T03:59:43Z

Yazar Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-24841-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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, Proceedings

2026-06-02T03:59:43Z

Yazar Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-30826-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings

2026-06-02T03:59:43Z

Yazar Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-33498-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

2026-06-02T03:59:43Z

Yazar Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-27481-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

2026-06-02T03:59:43Z

Yazar Liu, Shaoying. editor. Duan, Zhenhua. editor. Liu, Ai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-29476-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

3D Research Challenges in Cultural Heritage III Complexity and Quality in Digitisation

2026-06-02T03:59:43Z

Yazar Ioannides, Marinos. editor. Patias, Petros. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35593-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedings

2026-06-02T03:59:43Z

Yazar Palumbo, Francesca. editor. Keramidas, Georgios. editor. Voros, Nikolaos. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42921-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings

2026-06-02T03:59:43Z

Yazar Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-44267-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers

2026-06-02T03:59:43Z

Yazar Ciortea, Andrei. editor. Dastani, Mehdi. editor. Luo, Jieting. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48539-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hair Cell Regeneration

2026-06-02T03:59:43Z

Yazar Warchol, Mark E. editor. Stone, Jennifer S. editor. Coffin, Allison B. editor. Popper, Arthur N. editor. Fay, Richard R. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-20661-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of Third Doctoral Symposium on Computational Intelligence DoSCI 2022

2026-06-02T03:59:43Z

Yazar Khanna, Ashish. editor. Gupta, Deepak. editor. Kansal, Vineet. editor. Fortino, Giancarlo. editor. Hassanien, Aboul Ella. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-3148-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings

2026-06-02T03:59:43Z

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

Concise Guide to Software Verification From Model Checking to Annotation Checking

2026-06-02T03:59:43Z

Yazar Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-30167-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

2026-06-02T03:59:43Z

Yazar Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-40132-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers

2026-06-02T03:59:43Z

Yazar Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-36889-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

2026-06-02T03:59:43Z

Yazar Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42441-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pluripotent Stem Cell Therapy for Diabetes

2026-06-02T03:59:43Z

Yazar Piemonti, Lorenzo. editor. Odorico, Jon. editor. Kieffer, Timothy J . editor. Sordi, Valeria. editor. de Koning, Eelco. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-41943-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

2026-06-02T03:59:43Z

Yazar Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-33163-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ITNG 2023 20th International Conference on Information Technology-New Generations

2026-06-02T03:59:43Z

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

Iterative learning control algorithms and experimental benchmarking

2026-06-02T03:59:43Z

Yazar Rogers, E. T. A. (Eric Thomas Alexander), 1956- Chu, Bing, author. Freeman, Christopher, author. Lewin, Paul, author.
Yer Numarası TJ217.5 .R65 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781118535349
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Securing delay-tolerant networks with BPSec

2026-06-02T03:59:43Z

Yazar Birrane, Edward J., author. Heiner, Sarah, author. McKeever, Ken, author.
Yer Numarası TK5105.59 .B48 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119823513
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of computational sciences : a multi and interdisciplinary approach

2026-06-02T03:59:43Z

Yazar Elngar, Ahmed A., editor.
Yer Numarası QA76 .H36 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119763468
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neocortical neurogenesis in development and evolution

2026-06-02T03:59:43Z

Yer Numarası QP356.22 .N46 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119860914
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inverse heat conduction : ill-posed problems

2026-06-02T03:59:43Z

Yazar Woodbury, Keith A., author. Najafi, Hamidreza, author. De Monte, Filippo, author. Beck, J. V. (James Vere), 1930-2022, author.
Yer Numarası QC320 .B4 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119840220
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Beginning software engineering

2026-06-02T03:59:43Z

Yazar Stephens, Rod, author.
Yer Numarası QA76.758 .S74 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An effective strategy for safe design in engineering and construction

2026-06-02T03:59:43Z

Yazar England, David (Safety engineer), author. Painting, Andrew, author.
Yer Numarası T55 .E445 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119832065
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Renewable energy systems : modeling, optimization and applications

2026-06-02T03:59:43Z

Yazar Kumar, Sanjay, editor. Gupta, Nikita, editor. Kumar, Sandeep, editor. Upadhyay, Subho, editor.
Yer Numarası TJ808.5 .R46 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119804017
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical chemistry : an introduction to pharmaceutical GMP laboratory

2026-06-02T03:59:43Z

Yazar Huynh-Ba, Kim, author.
Yer Numarası RS189 .H89 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119680475
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Gas insulated substations

2026-06-02T03:59:43Z

Yazar Koch, Hermann J., editor.
Yer Numarası TK3441 .G3
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119623632
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliability and Physics-Of-Healthy in Mechatronics.

2026-06-02T03:59:43Z

Yazar El Hami, Abdelkhalak. Delaux, David. Grzeskowiak, Henri.
Yer Numarası TA169 .E515 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394186068
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to statistical process control

2026-06-02T03:59:43Z

Yazar Aslam, Muhammad. Saghir, Aamir. Ahmad, Liaquat.
Yer Numarası TS156.8
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119528425
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Accelerated life testing of one-shot devices : data collection and analysis

2026-06-02T03:59:43Z

Yazar Balakrishnan, N., 1956- author. Ling, Man Ho, author. So, Hon Yiu, author.
Yer Numarası TA169.3 .B35 2021
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119664031
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A framework of human systems engineering : applications and case studies

2026-06-02T03:59:43Z

Yazar Handley, Holly A. Tolk, Andreas.
Yer Numarası TA168 .F736 2021 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119698821
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

E-CARGO and role-based collaboration : modeling and solving problems in the complex world

2026-06-02T03:59:43Z

Yazar Zhu, Haibin, author.
Yer Numarası HD30.29 .Z48 2021
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119693123
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to fuzzy logic

2026-06-02T03:59:43Z

Yazar Peckol, James K., author. John Wiley & Sons, publisher.
Yer Numarası QA9.64 .P43 2021
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Axially chiral compounds : asymmetric synthesis and applications

2026-06-02T03:59:43Z

Yazar Tan, Bin (Writes on Chemistry)
Yer Numarası QD262
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9783527825172
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design of thermal energy systems

2026-06-02T03:59:43Z

Yazar Majumdar, Pradip, 1954- author.
Yer Numarası TJ808 .M345 2021
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781118956922
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied univariate, bivariate, and multivariate statistics using Python

2026-06-02T03:59:43Z

Yazar Denis, Daniel J., 1974- author.
Yer Numarası QA276.45 .P98 D46 2021
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119578208
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid renewable energy systems

2026-06-02T03:59:43Z

Yazar Sahoo, Umakanta, editor.
Yer Numarası TK1006 .H93 2021
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119555667
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital cities roadmap : IoT-based architecture and sustainable buildings

2026-06-02T03:59:43Z

Yazar Solanki, Arun, 1985- editor. Kumar, Adarsh, editor. Nayyar, Anand, editor.
Yer Numarası TD159.4 .D54 2021
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119792079
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Endotoxine und Pyrogene : Nachweisverfahren, Produktprüfung, Inaktivierung

2026-06-02T03:59:43Z

Yazar Rieth, Michael, author.
Yer Numarası QP632 .E4
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9783527824670
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile communications systems development : a practical introduction to system understanding, implementation and deployment

2026-06-02T03:59:43Z

Yazar Taid, Rajib.
Yer Numarası TK6570 .M6
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119778714
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pump user's handbook : life extension

2026-06-02T03:59:43Z

Yazar Bloch, Heinz P., 1933- author. Budris, Allan R., author.
Yer Numarası TJ900
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003151807 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

5G new radio : a beam-based air interface

2026-06-02T03:59:43Z

Yazar Enescu, Mihai, 1974- editor.
Yer Numarası TK5103.25
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119582335
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The load-pull method of RF and microwave power amplifier design

2026-06-02T03:59:43Z

Yazar Sevic, John, author.
Yer Numarası TK7871.58 .P6 S45 2020
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119078128
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recycling from waste in fashion and textiles : a sustainable and circular economic approach

2026-06-02T03:59:43Z

Yazar Pandit, Pintu, editor. Ahmed, Shakeel, 1989- editor. Singha, Kunal, editor. Shrivastava, Sanjay, editor.
Yer Numarası TT507 .R43 2020
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119620532
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless connectivity : an intuitive and fundamental guide

2026-06-02T03:59:43Z

Yazar Popovski, Petar, 1973- author.
Yer Numarası TK5103.2 .P575 2020
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119114963
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PID control system design and automatic tuning using MATLAB/Simulink

2026-06-02T03:59:43Z

Yazar Wang, Liuping, author.
Yer Numarası TJ223 .P55 W36 2020
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119469414
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The ESD control program handbook

2026-06-02T03:59:43Z

Yazar Smallwood, J. M. (Jeremy M.), author.
Yer Numarası TK7870
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781118694541
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cold-formed steel design

2026-06-02T03:59:43Z

Yazar Yu, Wei-wen, 1924- author. LaBoube, Roger A., author. Chen, Helen (Metallurgist), author.
Yer Numarası TA684 .Y787 2020
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119487425
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transparent ceramics : materials, engineering, and applications

2026-06-02T03:59:43Z

Yazar Goldstein, Adrian, 1951- author. Krell, Andreas, author. Burshtein, Zeev, author.
Yer Numarası QC378.5
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119429524
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Discrete wavelet transformations : an elementary approach with applications

2026-06-02T03:59:43Z

Yazar Van Fleet, Patrick J., 1962- author.
Yer Numarası QA403.3
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119555414
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transport and town planning : the city in search of sustainable development

2026-06-02T03:59:43Z

Yazar Laterrasse, Jean, author.
Yer Numarası TD163
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119579502
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modern aerodynamic methods for direct and inverse applications

2026-06-02T03:59:43Z

Yazar Chin, Wilson C., author.
Yer Numarası TL570 .C457 2019
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119581222
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Billmeyer and Saltzman's principles of color technology

2026-06-02T03:59:43Z

Yazar Berns, Roy S., 1954- author. Billmeyer, Fred W. Saltzman, Max.
Yer Numarası QC495
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119367314
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Microgrid planning and design : a concise guide

2026-06-02T03:59:43Z

Yazar Farhangi, Hassan, author. Joós, Géza, author.
Yer Numarası TK3105
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119453550
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to automotive engineering

2026-06-02T03:59:43Z

Yazar Sakthivel, R., author. Mahroogi, Faisal O., author. Narayan, S., author. Abubakar, S., author. Kaisan, M. U., author.
Yer Numarası TL240 .S25 2019 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119480099
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pumps and compressors

2026-06-02T03:59:43Z

Yazar Borremans, Marc, 1951- author.
Yer Numarası TJ900 .B67 2019
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119534112
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Avionics : elements, software and functions

2026-06-02T03:59:43Z

Yazar Spitzer, Cary R., author. Spitzer, Cary R., editor.
Yer Numarası TL695
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781315222240 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design for safety

2026-06-02T03:59:43Z

Yazar Gullo, Louis J., editor. Dixon, Jack, 1948- editor.
Yer Numarası TA169.7
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781118974339
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concurrent, real-time and distributed programming in Java : Threads, RTSJ and RMI

2026-06-02T03:59:43Z

Yazar Benmammar, Badr, author.
Yer Numarası QA76.73 .J38
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119476764
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied mechanical design

2026-06-02T03:59:43Z

Yazar Grous, Ammar, author.
Yer Numarası TJ145 .G76 2018
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119137658
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, simulation and optimization of adsorptive and chromatographic separations : a hands-on approach

2026-06-02T03:59:43Z

Yazar Wood, Kevin R., author. Liu, Y. A. (Yih An), author. Yu, Yueying, author.
Yer Numarası QD547
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9783527815029
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovation in wind turbine design

2026-06-02T03:59:43Z

Yazar Jamieson, Peter, 1946- author.
Yer Numarası TJ828
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119137924
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Polygeneration Process Concept for Hybrid Solar and Biomass Power Plant : Simulation, Modeling, and Optimization.

2026-06-02T03:59:43Z

Yazar Sahoo, Umakanta.
Yer Numarası TK1085 .S34 2018
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119536321
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding least squares estimation and geomatics data analysis

2026-06-02T03:59:43Z

Yazar Ogundare, John Olusegun, author.
Yer Numarası QA276.8
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119501459
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering documentation control/configuration management standards manual : policies, procedures, flow diagrams, forms and form instructions for product manufacturing companies

2026-06-02T03:59:43Z

Yazar Watts, Frank B., author.
Yer Numarası T10.6 .W38 2018
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119479314
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Materials for solid state lighting and displays

2026-06-02T03:59:43Z

Yazar Kitai, Adrian, 1957- editor.
Yer Numarası TK7882 .I6 M374 2017 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119140610
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in DEA theory and applications : with extensions to forecasting models

2026-06-02T03:59:43Z

Yazar Tone, Kaoru, 1931- editor.
Yer Numarası HA31.38
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781118946688
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Future challenges in evaluating and managing sustainable development in the built environment

2026-06-02T03:59:43Z

Yazar Brandon, P. S. (Peter S.), editor. Lombardi, P. L. (Patrizia L.), editor. Shen, Qiping, editor.
Yer Numarası HC79 .E5
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119190691
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The JCT minor works building contracts 2016

2026-06-02T03:59:43Z

Yazar Chappell, David (David M.), author. Chappell, David (David M.). JCT minor works form of contract.
Yer Numarası KD1615
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119415268
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics

2026-06-02T03:59:43Z

Yazar Tolk, Andreas, editor. Ören, Tuncer I., editor.
Yer Numarası QA10.5
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real-time embedded systems

2026-06-02T03:59:43Z

Yazar Wang, Jiacun, 1963- author.
Yer Numarası TK7895 .E42
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The solar cooling design guide : case studies of successful solar air conditioning design

2026-06-02T03:59:43Z

Yazar Mugnier, Daniel, editor. Neyer, Daniel, editor. White, Stephen D., editor.
Yer Numarası TH7687.9
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9783433606841
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Big Data Factories Collaborative Approaches

2026-06-02T03:59:43Z

Yazar Matei, Sorin Adam. editor. (orcid)0000-0002-2247-8860 Jullien, Nicolas. editor. Goggins, Sean P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59186-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

2026-06-02T03:59:43Z

Yazar Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51963-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SCION: A Secure Internet Architecture

2026-06-02T03:59:43Z

Yazar Perrig, Adrian. author. Szalachowski, Pawel. author. Reischuk, Raphael M. author. Chuat, Laurent. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67080-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communication in Critical Embedded Systems First Workshop, WoCCES 2013, Brasília, Brazil, May, 10, 2013, Second Workshop, WoCCES 2014, Florianópolis, Brazil, May 9, 2014, Third Workshop, WoCCES 2015, Vitória, Brazil, May 22, 2015, 4th Workshop, WoCCES 2016, Salvador, Brazil, June 3, 2016, Revised Selected Papers

2026-06-02T03:59:43Z

Yazar Branco, Kalinka. editor. Pinto, Alex. editor. Pigatto, Daniel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61403-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Modeling and Simulation of Systems of Systems

2026-06-02T03:59:43Z

Yazar P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64134-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

2026-06-02T03:59:43Z

Yazar Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-53946-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

2026-06-02T03:59:43Z

Yazar Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63139-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

2026-06-02T03:59:43Z

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

Prototyping of Concurrent Control Systems Implemented in FPGA Devices

2026-06-02T03:59:43Z

Yazar Wiśniewski, Remigiusz. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45811-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

2026-06-02T03:59:43Z

Yazar Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57708-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach

2026-06-02T03:59:43Z

Yazar Zhan, Naijun. author. Wang, Shuling. author. (orcid)0000-0002-2798-2660 Zhao, Hengjun. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47016-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Systems From Logic Gates to Processors

2026-06-02T03:59:43Z

Yazar Deschamps, Jean-Pierre. author. Valderrama, Elena. author. Terés, Lluís. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41198-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware Security and Trust Design and Deployment of Integrated Circuits in a Threatened Environment

2026-06-02T03:59:43Z

Yazar Sklavos, Nicolas. editor. Chaves, Ricardo. editor. Di Natale, Giorgio. editor. Regazzoni, Francesco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44318-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Electronic Filter Design

2026-06-02T03:59:43Z

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

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

2026-06-02T03:59:43Z

Yazar Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6687-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

2026-06-02T03:59:43Z

Yazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65948-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Distributed Simulation with HLA

2026-06-02T03:59:43Z

Yazar Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61267-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

2026-06-02T03:59:43Z

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

Requirements Engineering for Service and Cloud Computing

2026-06-02T03:59:43Z

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

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

2026-06-02T03:59:43Z

Yazar O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64021-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Software Engineering From Fundamentals to Application Methods

2026-06-02T03:59:43Z

Yazar O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57750-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

RILEM Recommendations for the Prevention of Damage by Alkali-Aggregate Reactions in New Concrete Structures State-of-the-Art Report of the RILEM Technical Committee 219-ACS

2026-06-02T03:59:43Z

Yazar Nixon, Philip J. editor. Sims, Ian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-94-017-7252-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliability and Safety Engineering

2026-06-02T03:59:43Z

Yazar Verma, Ajit Kumar. author. Ajit, Srividya. author. Karanki, Durga Rao. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6269-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

2026-06-02T03:59:43Z

Yazar Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33951-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers

2026-06-02T03:59:43Z

Yazar Gorentla Venkata, Manjunath. editor. Imam, Neena. editor. Pophale, Swaroop. editor. Mintz, Tiffany M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50995-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

2026-06-02T03:59:43Z

Yazar Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-31220-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

2026-06-02T03:59:43Z

Yazar Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Müller, Jörg P. editor. Nunes, Ingrid. editor. Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50983-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection

2026-06-02T03:59:43Z

Yazar Mohamed, Khaled Salah. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-22035-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

2026-06-02T03:59:43Z

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

IIW Recommendations for the HFMI Treatment For Improving the Fatigue Strength of Welded Joints

2026-06-02T03:59:43Z

Yazar Marquis, Gary B. author. Barsoum, Zuheir. author. (orcid)0000-0003-4180-4710 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-2504-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design of Reconfigurable Logic Controllers

2026-06-02T03:59:43Z

Yazar Karatkevich, Andrei. editor. Bukowiec, Arkadiusz. editor. Doligalski, Michał. editor. Tkacz, Jacek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-26725-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014

2026-06-02T03:59:43Z

Yazar Oppenheimer, Frank. editor. Medina Pasaje, Julio Luis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-24457-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015

2026-06-02T03:59:43Z

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

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-06-02T03:59:43Z

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

Polymer Nanoparticles for Nanomedicines A Guide for their Design, Preparation and Development

2026-06-02T03:59:43Z

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

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2026-06-02T03:59:43Z

Yazar Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39570-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security and Resiliency Analytics for Smart Grids Static and Dynamic Approaches

2026-06-02T03:59:43Z

Yazar Al-Shaer, Ehab. author. Rahman, Mohammad Ashiqur. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32871-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

2026-06-02T03:59:43Z

Yazar Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29628-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

2026-06-02T03:59:43Z

Yazar O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44561-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stem Cells in the Lung Development, Repair and Regeneration

2026-06-02T03:59:43Z

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

Computational Advancement in Communication Circuits and Systems Proceedings of ICCACCS 2014

2026-06-02T03:59:43Z

Yazar Maharatna, Koushik. editor. Dalapati, Goutam Kumar. editor. Banerjee, P K. editor. Mallick, Amiya Kumar. editor. Mukherjee, Moumita. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-81-322-2274-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Preventing medical device recalls

2026-06-02T03:59:43Z

Yazar Raheja, Dev, author.
Yer Numarası R859.7 .S43 P74 2015
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

2026-06-02T03:59:43Z

Yazar Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-23485-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

2026-06-02T03:59:43Z

Yazar Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-21668-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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, Proceedings

2026-06-02T03:59:43Z

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

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

2026-06-02T03:59:43Z

Yazar Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-28114-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

2026-06-02T03:59:43Z

Yazar Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-26184-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013

2026-06-02T03:59:43Z

Yazar Louërat, Marie-Minerve. editor. Maehne, Torsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-06317-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Automation, Robotics and Measuring Techniques Volume 2 Robotics

2026-06-02T03:59:43Z

Yazar Szewczyk, Roman. editor. Zieliński, Cezary. editor. Kaliczyńska, Małgorzata. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-15847-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Behaviour Design Modelling Symposium 2015

2026-06-02T03:59:43Z

Yazar Thomsen, Mette Ramsgaard. editor. Tamke, Martin. editor. Gengnagel, Christoph. editor. Faircloth, Billie. editor. Scheurer, Fabian. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-24208-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Taurine 9

2026-06-02T03:59:43Z

Yazar Marcinkiewicz, Janusz. editor. Schaffer, Stephen W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-15126-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Research in Multimedia and Internet Systems

2026-06-02T03:59:43Z

Yazar Zgrzywa, Aleksander. editor. Choroś, Kazimierz. editor. Siemiński, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10383-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Development and Reproduction in Humans and Animal Model Species

2026-06-02T03:59:43Z

Yazar Mueller, Werner A. author. Hassel, Monika. author. Grealy, Maura. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43784-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Networking of Chaperones by Co-chaperones Control of Cellular Protein Homeostasis

2026-06-02T03:59:43Z

Yazar Blatch, Gregory Lloyd. editor. Edkins, Adrienne Lesley. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11731-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FPGA Design Best Practices for Team-based Reuse

2026-06-02T03:59:43Z

Yazar Simpson, Philip Andrew. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-17924-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Vertebrate Myogenesis Stem Cells and Precursors

2026-06-02T03:59:43Z

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

Formalisms for Reuse and Systems Integration

2026-06-02T03:59:43Z

Yazar Bouabana-Tebibel, Thouraya. editor. Rubin, Stuart H. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-16577-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice

2026-06-02T03:59:43Z

Yazar Śmiałek, Michał. author. Nowakowski, Wiktor. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12838-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers

2026-06-02T03:59:43Z

Yazar Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-27218-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementation

2026-06-02T03:59:43Z

Yazar Štuikys, Vytautas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-16913-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nordic Contributions in IS Research 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings

2026-06-02T03:59:43Z

Yazar Oinas-Kukkonen, Harri. editor. Iivari, Netta. editor. Kuutti, Kari. editor. Öörni, Anssi. editor. Rajanen, Mikko. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-21783-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concepts and Methodologies for Modeling and Simulation A Tribute to Tuncer Ören

2026-06-02T03:59:43Z

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

Enterprise Information Systems 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers

2026-06-02T03:59:43Z

Yazar Hammoudi, Slimane. editor. Maciaszek, Leszek. editor. Teniente, Ernest. editor. Camp, Olivier. editor. Cordeiro, José. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29133-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings

2026-06-02T03:59:43Z

Yazar Benyoucef, Morad. editor. Weiss, Michael. editor. Mili, Hafedh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-17957-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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 2015

2026-06-02T03:59:43Z

Yazar Drechsler, Rolf. editor. Kühne, Ulrich. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-658-09994-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Aspect-Oriented Security Hardening of UML Design Models

2026-06-02T03:59:43Z

Yazar Mouheb, Djedjiga. author. Debbabi, Mourad. author. Pourzandi, Makan. author. Wang, Lingyu. author. Nouh, Mariam. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-16106-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Information Retrieval 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015. Proceedings

2026-06-02T03:59:43Z

Yazar Hanbury, Allan. editor. Kazai, Gabriella. editor. Rauber, Andreas. editor. Fuhr, Norbert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-16354-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

2026-06-02T03:59:43Z

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

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

2026-06-02T03:59:43Z

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

Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings

2026-06-02T03:59:43Z

Yazar Zdravkovic, Jelena. editor. Kirikova, Marite. editor. Johannesson, Paul. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-19069-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

2026-06-02T03:59:43Z

Yazar Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-19458-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

2026-06-02T03:59:43Z

Yazar Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-21690-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

2026-06-02T03:59:43Z

Yazar de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-19584-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2026-06-02T03:59:43Z

Yazar Machado, Penousal. editor. Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-16501-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geotechnical engineering of dams

2026-06-02T03:59:43Z

Yazar Fell, Robin, author.
Yer Numarası TC540 .F45 2015
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Prestressed Concrete Designer's Handbook, Third ed

2026-06-02T03:59:43Z

Yazar Abeles, P.W., author. Bardhan-Roy, B K, author.
Yer Numarası TA683.9 A245 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Software engineering mathematics

2026-06-02T03:59:43Z

Yazar Woodcock, Janet, author. Taylor and Francis.
Yer Numarası QA76.758 .W661989
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Concrete Masonry Designer's Handbook, Second Edition

2026-06-02T03:59:43Z

Yazar Fried, Anton, author. Roberts, J.J., author. Tovey, Alan, author.
Yer Numarası TH1491 .F754 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Handbook of Missing Data Methodology

2026-06-02T03:59:43Z

Yazar Molenberghs, Geert, author. Fitzmaurice, Garrett, editor. Kenward, Michael G., editor. Tsiatis, Anastasios, editor. Verbeke, Geert, editor.
Yer Numarası QA276 .M654 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Reflective Cracking in Pavements : State of the Art and Design Recommendations

2026-06-02T03:59:43Z

Yazar Degeimbre, R., editor. Francken, L., editor. Rigo, J.M., editor.
Yer Numarası TE220.3 R445 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Nano-scale CMOS analog circuits : models and CAD techniques for high-level design

2026-06-02T03:59:43Z

Yazar Pandit, Soumya, author. Mandal, Chittaranjan, author. Patra, Amit, author.
Yer Numarası TK7871.99 .M44 P36 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Gas insulated substations

2026-06-02T03:59:43Z

Yazar Koch, Hermann, 1954- editor.
Yer Numarası ONLINE(341674.1)
Elektronik Erişim ebrary An electronic book accessible through the World Wide Web; click to view John Wiley http://dx.doi.org/10.1002/9781118694534
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Current interruption transients calculation

2026-06-02T03:59:43Z

Yazar Peelo, David F., author.
Yer Numarası ONLINE(341696.1)
Elektronik Erişim CLICK HERE for online access http://dx.doi.org/10.1002/9781118707227 Books24x7 http://www.books24x7.com/marc.asp?bookid=63509
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals and evolution of MPEG-2 systems : paving the MPEG road

2026-06-02T03:59:43Z

Yazar Meer, Jan van der (Electrical engineer), author.
Yer Numarası ONLINE(341932.1)
Elektronik Erişim Cover image http://catalogimages.wiley.com/images/db/jimages/9780470974339.jpg John Wiley http://dx.doi.org/10.1002/9781118875926
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CSS Quick Syntax Reference

2026-06-02T03:59:43Z

Yazar Olsson, Mikael. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4302-6491-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unboxing Android USB A hands on approach with real world examples

2026-06-02T03:59:43Z

Yazar Regupathy, Rajaram. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4302-6209-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concrete durability

2026-06-02T03:59:43Z

Yazar Dyer, Thomas (Civil engineer), author.
Yer Numarası TA440 .D894 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Advanced risk analysis in engineering enterprise systems

2026-06-02T03:59:43Z

Yazar Pinto, Cesar Ariel., author. Garvey, Paul R., 1956-
Yer Numarası TA169 .P56 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Netcentric system of systems engineering with DEVS unified process

2026-06-02T03:59:43Z

Yazar Mittal, Saurabh., author. Cetinkaya, Deniz. Risco-Martin, Jose Luis, 1975- Seck, Mamadou D. Verbraeck, Alexander.
Yer Numarası TA168 .M58 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Usability evaluation for in-vehicle systems

2026-06-02T03:59:43Z

Yazar Harvey, Catherine, 1984, author. Stanton, Neville, 1960-
Yer Numarası TL272.55 .H37 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Health and safety at work revision guide for the NEBOSH National General Certificate

2026-06-02T03:59:43Z

Yazar Ferrett, Ed.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordinate measuring machines and systems

2026-06-02T03:59:43Z

Yazar Hocken, Robert J. Pereira, Paulo H.
Yer Numarası TA165.5 .C66 2012
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Handbook of analytical validation

2026-06-02T03:59:43Z

Yazar Swartz, Michael (Michael E.), author. Krull, Ira S., 1940-
Yer Numarası QD75.4 .Q34 S93 2012
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Advances in human factors, ergonomics, and safety in manufacturing and service industries

2026-06-02T03:59:43Z

Yazar Karwowski, Waldemar, 1953- Salvendy, Gavriel, 1938-
Yer Numarası TA166 .A383 2011
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Mining software specifications : methodologies and applications

2026-06-02T03:59:43Z

Yazar Lo, David.
Yer Numarası QA76.9 .D343 M558 2011
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Design for embedded image processing on FPGAs

2026-06-02T03:59:43Z

Yazar Bailey, Donald G. (Donald Graeme), 1962-
Yer Numarası TK7895 .E42 B3264 2011 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119819820
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reproductive physiology in plants

2026-06-02T03:59:43Z

Yazar Stewart, Philip, 1974- Globig, Sabine, 1949-
Yer Numarası QK825 .R47 2011
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Distillation control, optimization, and tuning : fundamentals and strategies

2026-06-02T03:59:43Z

Yazar Robbins, Lanny., author.
Yer Numarası TP156 .D5 R625 2011
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Pharmaceutical water : system design, operation, and validation

2026-06-02T03:59:43Z

Yazar Collentro, William V., author.
Yer Numarası RS199 .W37 C64 2011
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Discrete-event modeling and simulation : theory and applications

2026-06-02T03:59:43Z

Yazar Mosterman, Pieter J. Wainer, Gabriel A.
Yer Numarası TA168 .D566 2010
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Tubular structures XIII : proceedings of the 13th International Symposium on Tubular Structures, Hong Kong, China, 15-17 December 2010

2026-06-02T03:59:43Z

Yazar International Symposium on Tubular Structures (13th : 2010 : Hong Kong, China) Young, Ben.
Yer Numarası TA684 .I58 2010
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Spatial data quality : from process to decisions

2026-06-02T03:59:43Z

Yazar Devillers, Rodolphe. Goodchild, H. (Helen)
Yer Numarası G70.212 .S648 2010
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781439810132 Taylor & Francis https://www.taylorfrancis.com/books/9780367806903 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Thin-film optical filters

2026-06-02T03:59:43Z

Yazar Macleod, H. A. (Hugh Angus), author.
Yer Numarası QC373 .L5 M34 2010
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Boilers for power and process

2026-06-02T03:59:43Z

Yazar RayaProfilu, Kumar., author.
Yer Numarası TJ263.5 .R388 2009
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Multi-agent systems : simulation and applications

2026-06-02T03:59:43Z

Yazar Uhrmacher, Adelinde. Weyns, Danny.
Yer Numarası QA76.76 .I58 M864 2009
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1