Arama Sonuçları Operating Systems.

Operating systems :

2024-11-25T23:23:14Z

Yazar Deitel, Harvey M. Deitel, Paul J., ort. yaz. Choffnes, David R., ort. yaz.
Yer Numarası QA 76.76.O63 D46 2004
Format: Kitap
Durum Beytepe Kütüphanesi~1

Operating systems

2024-11-25T23:23:14Z

Yazar Madnick, Stuart E. Donovan, J. J., ort. yaz.
Yer Numarası QA 76.6 M33 1978
Format: Kitap
Durum Beytepe Kütüphanesi~1

Modern operating systems

2024-11-25T23:23:14Z

Yazar Tanenbaum, Andrew S. Bos, Herbert.
Yer Numarası QA76.76.O63 T359 2015
Format: Kitap
Durum Beytepe Kütüphanesi~3

Modern operating systems

2024-11-25T23:23:14Z

Yazar Tanenbaum, Andrew S.
Yer Numarası QA76.76.O63 T359 2014
Format: Kitap
Durum Beytepe Kütüphanesi~1

Modern operating systems

2024-11-25T23:23:14Z

Yazar Tanenbaum, Andrew S.
Yer Numarası QA 76.76.O63 T359 2001
Format: Kitap
Durum Beytepe Kütüphanesi~2

Operating systems theory

2024-11-25T23:23:14Z

Yazar Coffman, Edward Grady. Denning, Peter J., ort. yaz.
Yer Numarası QA 76.6 C62 1973
Format: Kitap
Durum Beytepe Kütüphanesi~1

Operating systems survey

2024-11-25T23:23:14Z

Yazar Comtre, Corporation. Sayers, Anthony P., ed.
Yer Numarası QA 76.6 C64 1971
Format: Kitap
Durum Beytepe Kütüphanesi~1

Operating systems demystified

2024-11-25T23:23:14Z

Yazar McHoes, Ann McIver, 1950- Ballew, Joli.
Yer Numarası ONLINE
Elektronik Erişim Subscription required
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of operating systems

2024-11-25T23:23:14Z

Yazar Chauhan, Naresh.
Yer Numarası QA76.77 C43 2014
Format: Kitap
Durum Beytepe Kütüphanesi~1

Survey of operating systems

2024-11-25T23:23:14Z

Yazar Holcombe, Jane. Holcombe, Charles.
Yer Numarası QA76.76.O63 H64 2006
Format: Kitap
Durum Beytepe Kütüphanesi~1

Auerbach guide to operating systems.

2024-11-25T23:23:14Z

Yazar Auerbach Publishers.
Yer Numarası QA 76.5 A33 1974
Format: Kitap
Durum Beytepe Kütüphanesi~1

Embedded and Real-Time Operating Systems

2024-11-25T23:23:14Z

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

Interrupt Handling Schemes in Operating Systems

2024-11-25T23:23:14Z

Yazar Mejia-Alvarez, Pedro. author. Leyva-del-Foyo, Luis Eduardo. author. Diaz-Ramirez, Arnaldo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94493-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Operating Systems A Practical Approach

2024-11-25T23:23:14Z

Yazar Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72977-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Operating systems : internals and design principles

2024-11-25T23:23:14Z

Yazar Stallings, William.
Yer Numarası QA76.76.O63 S733 2015
Format: Kitap
Durum Beytepe Kütüphanesi~2

Embedded Operating Systems A Practical Approach

2024-11-25T23:23:14Z

Yazar Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6603-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of modern operating systems

2024-11-25T23:23:14Z

Yazar Garrido, José M.
Yer Numarası QA76.76.O63 G384 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Operating systems : internals and design principles

2024-11-25T23:23:14Z

Yazar Stallings, William.
Yer Numarası QA76.76.O63 S733 2012
Format: Kitap
Durum Beytepe Kütüphanesi~1

Operating systems : a concept-based approach

2024-11-25T23:23:14Z

Yazar Dhamdhere, D. M.
Yer Numarası QA76.76.O63 D484 2007
Format: Kitap
Durum Beytepe Kütüphanesi~1

Schaum's outline of operating systems

2024-11-25T23:23:14Z

Yazar Harris, J. Archer, 1951-
Yer Numarası QA76.76 H34 2002
Format: Kitap
Durum Beytepe Kütüphanesi~1

Distributed operating systems concepts and design

2024-11-25T23:23:14Z

Yazar Sinha, Pradeep K. (Pradeep Kumar)
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5487818
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design of distributed operating systems

2024-11-25T23:23:14Z

Yazar Fortier, Paul J.
Yer Numarası QA 76.76.O63 F67 1986
Format: Kitap
Durum Beytepe Kütüphanesi~1

The logical design of operating systems

2024-11-25T23:23:14Z

Yazar Shaw, Alan.
Yer Numarası QA 76.6 S52 1974
Format: Kitap
Durum Beytepe Kütüphanesi~1

Executive programs and operating systems

2024-11-25T23:23:14Z

Yazar Cuttle, G., ed. Robinson, P. B., ed.
Yer Numarası QA 76.5 E97 1970
Format: Kitap
Durum Beytepe Kütüphanesi~1

Advanced programming : programming and operating systems

2024-11-25T23:23:14Z

Yazar Katzan, Harry.
Yer Numarası QA 76.5 K37 1970
Format: Kitap
Durum Beytepe Kütüphanesi~1

Operating systems and middleware : supporting controlled interaction

2024-11-25T23:23:14Z

Yazar Hailperin, Max.
Yer Numarası QA76.76.M54 H35 2007
Format: Kitap
Durum Beytepe Kütüphanesi~1

Regenerative inventory systems : operating charecteristics and optimization

2024-11-25T23:23:14Z

Yazar Şahin, İzzet.
Yer Numarası TS 160 S24 1990
Format: Kitap
Durum Beytepe Kütüphanesi~1

Mobile Wireless Middleware, Operating Systems and Applications 11th EAI International Conference, MOBILWARE 2022, Virtual Event, December 28-29, 2022, Proceedings

2024-11-25T23:23:14Z

Yazar Li, Ruidong. editor. Jia, Min. editor. Taleb, Tarik. editor. SpringerLink (Online service)
Yer Numarası XX(520676.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-34497-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Operating Systems for Supercomputers and High Performance Computing

2024-11-25T23:23:14Z

Yazar Gerofi, Balazs. editor. Ishikawa, Yutaka. editor. Riesen, Rolf. editor. Wisniewski, Robert W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-6624-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data hiding exposing concealed data in multimedia, operating systems, mobile devices and network protocols

2024-11-25T23:23:14Z

Yazar Raggo, Michael T. Hosmer, Chet.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9781597497435
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Environmental Systems Studies A Macroscope for Understanding and Operating Spaceship Earth

2024-11-25T23:23:14Z

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

Mobile Wireless Middleware, Operating Systems, and Applications 5th International Conference, Mobilware 2012, Berlin, Germany, November 13-14, 2012, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Borcea, Cristian. editor. Bellavista, Paolo. editor. Giannelli, Carlo. editor. Magedanz, Thomas. editor. Schreiner, Florian. editor.
Yer Numarası ONLINE(334259.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36660-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Wireless Middleware, Operating Systems, and Applications 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers

2024-11-25T23:23:14Z

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

Real-time embedded systems open-source operating systems perspective

2024-11-25T23:23:14Z

Yazar Bertolotti, Ivan Cibrario. Manduchi, Gabriele.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Wireless Middleware, Operating Systems, and Applications Third International Conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010. Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Cai, Ying. editor. Magedanz, Thomas. editor. Li, Minglu. editor. Xia, Jinchun. editor. Giannelli, Carlo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17758-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An introduction to operating systems : concepts and practice

2024-11-25T23:23:14Z

Yazar Bhatt, Pramod Chandra P.
Yer Numarası Q76.76.O63 B43 2010
Format: Kitap
Durum Beytepe Kütüphanesi~1

MobileWireless Middleware, Operating Systems, and Applications Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings

2024-11-25T23:23:14Z

Yazar Bonnin, Jean-Marie. editor. Giannelli, Carlo. editor. Magedanz, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01802-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Wireless Middleware, Operating Systems, and Applications - Workshops Mobilware 2009 Workshops, Berlin, Germany, April 2009, Revised Selected Papers

2024-11-25T23:23:14Z

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

Chaos-based digital communication systems : operating principles, analysis methods, and performance evaluation

2024-11-25T23:23:14Z

Yazar Lau, Francis C. M. Tse, Chi Kong, ort. yaz.
Yer Numarası TK 5103.7 L39 2003
Format: Kitap
Durum Beytepe Kütüphanesi~1

Design and operating guide for aquaculture seawater systems

2024-11-25T23:23:14Z

Yazar Huguenin, John E. Colt, John.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444505774
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interpreting machines : architecture and programming of the B1700/B1800 series

2024-11-25T23:23:14Z

Yazar Organick, Elliott Irving. Hinds, James A.
Yer Numarası QA76.8.B85 O73 1978
Format: Kitap
Durum Beytepe Kütüphanesi~1

The thoth system : Multi-Process structuring and portability

2024-11-25T23:23:14Z

Yazar Cheriton, David R.
Yer Numarası QA 76.6 C443 1982
Format: Kitap
Durum Beytepe Kütüphanesi~1

Cognitive Security A System-Scientific Approach

2024-11-25T23:23:14Z

Yazar Huang, Linan. author. Zhu, Quanyan. author. SpringerLink (Online service)
Yer Numarası XX(520429.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-30709-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers

2024-11-25T23:23:14Z

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

Emerging Trends in Cybersecurity Applications

2024-11-25T23:23:14Z

Yazar Daimi, Kevin. editor. Alsadoon, Abeer. editor. Peoples, Cathryn. editor. El Madhoun, Nour. editor. SpringerLink (Online service)
Yer Numarası XX(520552.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-09640-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis, Estimations, and Applications of Embedded Systems 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Wehrmeister, Marco A. editor. Kreutz, Márcio. editor. Götz, Marcelo. editor. Henkler, Stefan. editor. Pimentel, Andy D. editor.
Yer Numarası XX(520563.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-26500-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

E-Business. Digital Empowerment for an Intelligent Future 22nd Wuhan International Conference, WHICEB 2023, Wuhan, China, May 26-28, 2023, Proceedings, Part II

2024-11-25T23:23:14Z

Yazar Tu, Yiliu. editor. (orcid) Chi, Maomao. editor. SpringerLink (Online service)
Yer Numarası XX(520575.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-32302-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Aiello, Marco. editor. Barzen, Johanna. editor. Dustdar, Schahram. editor. Leymann, Frank. editor. SpringerLink (Online service)
Yer Numarası XX(520703.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-45728-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings

2024-11-25T23:23:14Z

Yazar Gerber, Aurona. editor. Baskerville, Richard. editor. SpringerLink (Online service)
Yer Numarası XX(520865.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-32808-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecture of Computing Systems 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023, Proceedings

2024-11-25T23:23:14Z

Yazar Goumas, Georgios. editor. Tomforde, Sven. editor. Brehm, Jürgen. editor. Wildermann, Stefan. editor. Pionteck, Thilo. editor.
Yer Numarası XX(520879.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-42785-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mastering Endo-Laparoscopic and Thoracoscopic Surgery ELSA Manual

2024-11-25T23:23:14Z

Yazar Lomanto, Davide. editor. Chen, William Tzu-Liang. editor. Fuentes, Marilou B. editor. SpringerLink (Online service)
Yer Numarası XX(521422.1)
Elektronik Erişim https://doi.org/10.1007/978-981-19-3755-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Surgical Treatment of Chronic Constrictive Pericarditis

2024-11-25T23:23:14Z

Yazar Chowdhury, Ujjwal K. author. Sankhyan, Lakshmi Kumari. author. SpringerLink (Online service)
Yer Numarası XX(522143.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-5808-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

IoT Edge Solutions for Cognitive Buildings

2024-11-25T23:23:14Z

Yazar Cicirelli, Franco. editor. Guerrieri, Antonio. editor. Vinci, Andrea. editor. Spezzano, Giandomenico. editor. SpringerLink (Online service)
Yer Numarası XX(520175.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-15160-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

2024-11-25T23:23:14Z

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

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

2024-11-25T23:23:14Z

Yazar Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Roy, Matthieu. editor. Bitsch, Friedemann. editor.
Yer Numarası XX(521137.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-40953-0
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

2024-11-25T23:23:14Z

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

The High-risk Surgical Patient

2024-11-25T23:23:14Z

Yazar Aseni, Paolo. editor. Grande, Antonino Massimiliano. editor. Leppäniemi, Ari. editor. Chiara, Osvaldo. editor. SpringerLink (Online service)
Yer Numarası XX(521568.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-17273-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The New Science of Medicine & Management A Comprehensive, Case-Based Guide for Clinical Leaders

2024-11-25T23:23:14Z

Yazar Chilingerian, Jon A. editor. Shobeiri, S. Abbas. editor. Talamini, Mark A. editor. SpringerLink (Online service)
Yer Numarası XX(521855.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-26510-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Imaging and Technology in Urology

2024-11-25T23:23:14Z

Yazar Tolofari, Sotonye. editor. Moon, Dora. editor. Starmer, Benjamin. editor. Payne, Steve. editor. SpringerLink (Online service)
Yer Numarası XX(521791.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-26058-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Windows Server

2024-11-25T23:23:14Z

Yazar Yıldırımoğlu, Murat.
Yer Numarası QA76.774.M55 Y53 2022
Format: Kitap
Durum Beytepe Kütüphanesi~1

Windows Server 2022 : kurulum, yönetim ve onarım işlemleri

2024-11-25T23:23:14Z

Yazar Arıcı, Haydar Yener.
Yer Numarası QA76.774.M55 A75 2022
Format: Kitap
Durum Beytepe Kütüphanesi~1

Sistem ve network mühendisliği

2024-11-25T23:23:14Z

Yazar Kırbaş, Kayhan.
Yer Numarası QA76.76.O63 K463 2021
Format: Kitap
Durum Beytepe Kütüphanesi~1

İşletim sistemleri : bilgisayar mühendisliği

2024-11-25T23:23:14Z

Yazar Çoşkun, Vedat.
Yer Numarası QA76.76 I764 2020
Format: Kitap
Durum Beytepe Kütüphanesi~2

Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Mencagli, Gabriele. editor. B. Heras, Dora. editor. Cardellini, Valeria. editor. Casalicchio, Emiliano. editor. Jeannot, Emmanuel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-10549-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Network and Parallel Computing 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedings

2024-11-25T23:23:14Z

Yazar Tang, Xiaoxin. editor. Chen, Quan. editor. Bose, Pradip. editor. Zheng, Weiming. editor. Gaudiot, Jean-Luc. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30709-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

2024-11-25T23:23:14Z

Yazar Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-28596-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings

2024-11-25T23:23:14Z

Yazar Polian, Ilia. editor. (orcid)0000-0002-6563-2725 Stöttinger, Marc. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-16350-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers

2024-11-25T23:23:14Z

Yazar Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651 Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Sonza Reorda, Matteo. editor. (orcid)0000-0003-2899-7669 Ugurdag, H. Fatih. editor. (orcid)0000-0002-6256-0850 Monteiro, José. editor. (orcid)0000-0003-0603-2268
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-15663-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supercomputing 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Torres, Moisés. editor. (orcid)0000-0003-4877-3443 Klapp, Jaime. editor. (orcid)0000-0003-1828-9183 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-38043-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings

2024-11-25T23:23:14Z

Yazar Yew, Pen-Chung. editor. Stenström, Per. editor. (orcid)0000-0002-7441-8245 Wu, Junjie. editor. Gong, Xiaoli. editor. Li, Tao. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29611-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II

2024-11-25T23:23:14Z

Yazar Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Groumpos, Peter P. editor. (orcid)0000-0002-0110-2696 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29750-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on High-Performance Embedded Architectures and Compilers V

2024-11-25T23:23:14Z

Yazar Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58834-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Strous, Leon. editor. Cerf, Vinton G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-15651-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18506-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings

2024-11-25T23:23:14Z

Yazar Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261 Gee, James C. editor. (orcid)0000-0002-2258-0187 Yushkevich, Paul A. editor. (orcid)0000-0001-8543-4016 Bao, Siqi. editor. (orcid)0000-0003-3885-125X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-20351-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Searchable Storage in Cloud Computing

2024-11-25T23:23:14Z

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

High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet

2024-11-25T23:23:14Z

Yazar Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713 González-Vélez, Horacio. editor. (orcid)0000-0003-0241-6053 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-16272-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2024-11-25T23:23:14Z

Yazar Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22397-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecture of Computing Systems – ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings

2024-11-25T23:23:14Z

Yazar Schoeberl, Martin. editor. Hochberger, Christian. editor. Uhrig, Sascha. editor. Brehm, Jürgen. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18656-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493 Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04918-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings

2024-11-25T23:23:14Z

Yazar Censor-Hillel, Keren. editor. Flammini, Michele. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24922-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence Applications and Innovations AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings

2024-11-25T23:23:14Z

Yazar MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19909-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

2024-11-25T23:23:14Z

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

Supercomputing 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-36592-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers

2024-11-25T23:23:14Z

Yazar Bombieri, Nicola. editor. Pravadelli, Graziano. editor. Fujita, Masahiro. editor. Austin, Todd. editor. Reis, Ricardo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23425-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

İşletim sistemleri ve sistem programlama

2024-11-25T23:23:14Z

Yazar Avcı, Mutlu. Özyıldırım, Buse Melis. Ülgen, Onur.
Yer Numarası QA76.76.O63 A94 2019
Format: Kitap
Durum Beytepe Kütüphanesi~1

GNU LINUX

2024-11-25T23:23:14Z

Yazar Ertuğrul, İlker .
Yer Numarası QA76.76.O63 E78 2019
Format: Kitap
Durum Beytepe Kütüphanesi~1

Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings

2024-11-25T23:23:14Z

Yazar Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17227-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computing by Mobile Entities Current Research in Moving and Computing

2024-11-25T23:23:14Z

Yazar Flocchini, Paola. editor. Prencipe, Giuseppe. editor. Santoro, Nicola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-11072-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Economics of Grids, Clouds, Systems, and Services 16th International Conference, GECON 2019, Leeds, UK, September 17–19, 2019, Proceedings

2024-11-25T23:23:14Z

Yazar Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 Agmon Ben-Yehuda, Orna. editor. (orcid)0000-0002-6699-8999 Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-36027-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings

2024-11-25T23:23:14Z

Yazar Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912 Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Asada, Minoru. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24741-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Collective Intelligence XXVIII

2024-11-25T23:23:14Z

Yazar Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. van den Herik, Jaap. editor. Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758 Filipe, Joaquim. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78301-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

2024-11-25T23:23:14Z

Yazar Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99241-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Fault Detection and Correction: Modeling and Applications

2024-11-25T23:23:14Z

Yazar Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-1162-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System and Architecture Proceedings of CSI 2015

2024-11-25T23:23:14Z

Yazar Muttoo, Sunil Kumar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8533-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2024-11-25T23:23:14Z

Yazar Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-2423-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21–22, 2018, Proceedings

2024-11-25T23:23:14Z

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

Research in Attacks, Intrusions, and Defenses 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings

2024-11-25T23:23:14Z

Yazar Bailey, Michael. editor. Holz, Thorsten. editor. (orcid)0000-0002-2783-1264 Stamatogiannakis, Manolis. editor. (orcid)0000-0002-5527-8726 Ioannidis, Sotiris. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00470-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Science XXXIII

2024-11-25T23:23:14Z

Yazar Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58039-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

2024-11-25T23:23:14Z

Yazar Zhang, Feng. editor. (orcid)0000-0003-1983-7321 Zhai, Jidong. editor. Snir, Marc. editor. Jin, Hai. editor. Kasahara, Hironori. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05677-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach

2024-11-25T23:23:14Z

Yazar Parkinson, Simon. editor. (orcid)0000-0002-1747-9914 Crampton, Andrew. editor. (orcid)0000-0002-4635-9102 Hill, Richard. editor. (orcid)0000-0003-0105-7730 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92624-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data and Energy Integrated Communication Networks A Brief Introduction

2024-11-25T23:23:14Z

Yazar Hu, Jie. author. Yang, Kun. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-0116-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94764-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

2024-11-25T23:23:14Z

Yazar Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03232-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII

2024-11-25T23:23:14Z

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

Performance gaps of machines A process oriented approach

2024-11-25T23:23:14Z

Yazar Nüßer, Wilhelm. author. Steckel, Thilo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-56446-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

2024-11-25T23:23:14Z

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

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75178-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2024-11-25T23:23:14Z

Yazar Yang, Alvin. editor. Kantamneni, Siva. editor. (orcid)0000-0002-5729-2898 Li, Ying. editor. Dico, Awel. editor. Chen, Xiangang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94472-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Safety-Critical Electrical Drives Topologies, Reliability, Performance

2024-11-25T23:23:14Z

Yazar Bolvashenkov, Igor. author. Herzog, Hans-Georg. author. Frenkel, Ilia. author. Khvatskin, Lev. author. Lisnianski, Anatoly. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89969-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses

2024-11-25T23:23:14Z

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

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

2024-11-25T23:23:14Z

Yazar Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92408-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Model Checking

2024-11-25T23:23:14Z

Yazar Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10575-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2024-11-25T23:23:14Z

Yazar Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92612-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

2024-11-25T23:23:14Z

Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69953-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

2024-11-25T23:23:14Z

Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92040-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-11-25T23:23:14Z

Yazar Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93317-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Bi, Yuanguo. editor. Chen, Gang. editor. Deng, Qingxu. editor. Wang, Yi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-1026-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers

2024-11-25T23:23:14Z

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

Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings

2024-11-25T23:23:14Z

Yazar Fortino, Giancarlo. editor. Ali, A.B.M. Shawkat. editor. Pathan, Mukaddim. editor. Guerrieri, Antonio. editor. Di Fatta, Giuseppe. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-97795-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliability

2024-11-25T23:23:14Z

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

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

2024-11-25T23:23:14Z

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

Silicon Photonics & High Performance Computing Proceedings of CSI 2015

2024-11-25T23:23:14Z

Yazar Mishra, Anurag. editor. Basu, Anirban. editor. Tyagi, Vipin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7656-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generation

2024-11-25T23:23:14Z

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

The Hardware Trojan War Attacks, Myths, and Defenses

2024-11-25T23:23:14Z

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

Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2024-11-25T23:23:14Z

Yazar Bonomi, Silvia. editor. Rivière, Etienne. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93767-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

5G Wireless Systems Simulation and Evaluation Techniques

2024-11-25T23:23:14Z

Yazar Yang, Yang. author. Xu, Jing. author. Shi, Guang. author. Wang, Cheng-Xiang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61869-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip

2024-11-25T23:23:14Z

Yazar Wang, Zheng. author. Chattopadhyay, Anupam. author. (orcid)0000-0002-8818-6983 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-1073-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-11-25T23:23:14Z

Yazar Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72971-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Maintenance Policies for Shock and Damage Models

2024-11-25T23:23:14Z

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

Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Lotker, Zvi. editor. Patt-Shamir, Boaz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01325-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

2024-11-25T23:23:14Z

Yazar Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Grosky, William I. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58415-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems Programming in Unix/Linux

2024-11-25T23:23:14Z

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

Transactions on Petri Nets and Other Models of Concurrency XIII

2024-11-25T23:23:14Z

Yazar Koutny, Maciej. editor. Kristensen, Lars Michael. editor. Penczek, Wojciech. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58381-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99673-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings

2024-11-25T23:23:14Z

Yazar Pahl, Claus. editor. Vukovic, Maja. editor. Yin, Jianwei. editor. Yu, Qi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03596-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Greening Video Distribution Networks Energy-Efficient Internet Video Delivery

2024-11-25T23:23:14Z

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

Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Ferguson, Donald. editor. Muñoz, Víctor Méndez. editor. Cardoso, Jorge. editor. Helfert, Markus. editor. Pahl, Claus. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94959-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71734-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7844-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-11-25T23:23:14Z

Yazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74896-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings

2024-11-25T23:23:14Z

Yazar Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77610-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2024-11-25T23:23:14Z

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

Image Analysis and Recognition 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27–29, 2018, Proceedings

2024-11-25T23:23:14Z

Yazar Campilho, Aurélio. editor. Karray, Fakhri. editor. (orcid)0000-0002-4217-1372 ter Haar Romeny, Bart. editor. (orcid)0000-0003-3442-3207 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93000-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Detection of Intrusions and Malware, and Vulnerability Assessment 15th International Conference, DIMVA 2018, Saclay, France, June 28–29, 2018, Proceedings

2024-11-25T23:23:14Z

Yazar Giuffrida, Cristiano. editor. Bardin, Sébastien. editor. Blanc, Gregory. editor. (orcid)0000-0001-8150-6617 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93411-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Closing the Gap Between Practice and Research in Industrial Engineering

2024-11-25T23:23:14Z

Yazar Viles, Elisabeth. editor. Ormazábal, Marta. editor. Lleó, Alvaro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58409-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable Multicore Architectures at Nanoscale

2024-11-25T23:23:14Z

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

Low-Power Design and Power-Aware Verification

2024-11-25T23:23:14Z

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

Yeni başlayanlar için Windows Server 2012 R2

2024-11-25T23:23:14Z

Yazar Aladağ, Mesut, 1977- author
Yer Numarası QA76.774.M55 A43 2017
Format: Kitap
Durum Beytepe Kütüphanesi~1

Linux komut satırı

2024-11-25T23:23:14Z

Yazar Demirez, Kemal
Yer Numarası QA76.76.O63 D46 2016
Format: Kitap
Durum Beytepe Kütüphanesi~1

Windows registry forensics : advanced digital forensic analysis of the Windows registry

2024-11-25T23:23:14Z

Yazar Carvey, Harlan A., author.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128032916
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linux essentials

2024-11-25T23:23:14Z

Yazar Bresnahan, Christine, author. Blum, Richard, 1962- author.
Yer Numarası QA76.76.O63 B74 2015
Format: Kitap
Durum Beytepe Kütüphanesi~1

Android malware and analysis

2024-11-25T23:23:14Z

Yazar Dunham, Ken, author. Hartman, Shane, author. Morales, Jose Andre, author. Quintans, Manu, author. Strazzere, Tim, author.
Yer Numarası ONLINE(356400.1)
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Thor's OS Xodus securely migrating from Microsoft Windows to Mac OSX

2024-11-25T23:23:14Z

Yazar Mullen, Timothy M., author.
Yer Numarası ONLINE(364055.1)
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780124104631
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Encyclopedia of Biometrics

2024-11-25T23:23:14Z

Yazar Li, Stan Z. editor. Jain, Anil K. editor. SpringerLink (Online service)
Yer Numarası XX(518417.1)
Elektronik Erişim https://doi.org/10.1007/978-1-4899-7488-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook on Data Centers

2024-11-25T23:23:14Z

Yazar Khan, Samee U. editor. Zomaya, Albert Y. editor. SpringerLink (Online service)
Yer Numarası XX(518461.1)
Elektronik Erişim https://doi.org/10.1007/978-1-4939-2092-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II

2024-11-25T23:23:14Z

Yazar Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Yer Numarası XX(519299.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19369-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CentOS sistem ve sunucu yönetimi

2024-11-25T23:23:14Z

Yazar Parlak, Deniz. Çiftçi, Yunus.
Yer Numarası QA76.774.L46 P37 2015
Format: Kitap
Durum Beytepe Kütüphanesi~1

Trustworthy Computing and Services International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers

2024-11-25T23:23:14Z

Yazar Yueming, Lu. editor. Xu, Wu. editor. Xi, Zhang. editor. SpringerLink (Online service)
Yer Numarası XX(518531.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-47401-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design and Implementation of the MTX Operating System

2024-11-25T23:23:14Z

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

A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations

2024-11-25T23:23:14Z

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

Industrial Engineering, Management Science and Applications 2015

2024-11-25T23:23:14Z

Yazar Gen, Mitsuo. editor. Kim, Kuinam J. editor. Huang, Xiaoxia. editor. Hiroshi, Yabe. editor. SpringerLink (Online service)
Yer Numarası XX(518706.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-47200-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pediatric and Congenital Cardiac Care Volume 2: Quality Improvement and Patient Safety

2024-11-25T23:23:14Z

Yazar Barach, Paul R. editor. Jacobs, Jeffery P. editor. Lipshultz, Steven E. editor. Laussen, Peter C. editor. SpringerLink (Online service)
Yer Numarası XX(519396.1)
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6566-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Atlas of Knee Arthroscopy

2024-11-25T23:23:14Z

Yazar Prejbeanu, Radu. editor. SpringerLink (Online service)
Yer Numarası XX(519621.1)
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6593-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grid integration of wind energy : onshore and offshore conversion systems

2024-11-25T23:23:14Z

Yazar Heier, Siegfried, author.
Yer Numarası ONLINE(341684.1)
Elektronik Erişim ebrary An electronic book accessible through the World Wide Web; click to view CLICK HERE for online access John Wiley http://dx.doi.org/10.1002/9781118703274
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Driving sustainability to business success : the DS factor-management system integration and automation

2024-11-25T23:23:14Z

Yazar Pilot, Jayne.
Yer Numarası ONLINE(342062.1)
Elektronik Erişim Ebook Library Click here to view book Cover image http://catalogimages.wiley.com/images/db/jimages/9781118356937.jpg John Wiley http://dx.doi.org/10.1002/9781118936733 Image http://images.contentreserve.com/ImageType-100/0128-1/{97DD79E9-A497-4924-970A-A4EBEA6F6FBE}Img100.jpg
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The art of Linux kernel design : illustrating the operating system design principle and implementation

2024-11-25T23:23:14Z

Yazar Yang, Lixiang, author. Wenfeng, Liang, author. Dazhao, Chen, author. Liu, Tianhou, 1941- author. Ruobing, Wu, author.
Yer Numarası ONLINE(356414.1)
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Operating system concepts

2024-11-25T23:23:14Z

Yazar Silberschatz, Abraham. Galvin, Peter B. Gagne, Greg.
Yer Numarası QA76.76.O63 S5583 2014
Format: Kitap
Durum Beytepe Kütüphanesi~2

The art of Linux kernel design : illustrating the operating system design principle and implementation

2024-11-25T23:23:14Z

Yazar Yang, Lixiang, author.
Yer Numarası QA76.76.O63 Y36 2014
Format: Kitap
Durum Beytepe Kütüphanesi~1

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

2024-11-25T23:23:14Z

Yazar Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-06200-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Serialization and Persistent Objects Turning Data Structures into Efficient Databases

2024-11-25T23:23:14Z

Yazar Soukup, Jiri. author. Macháček, Petr. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-39323-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

2024-11-25T23:23:14Z

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

Network and Parallel Computing 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, Proceedings

2024-11-25T23:23:14Z

Yazar Hsu, Ching-Hsien. editor. (orcid)0000-0002-2440-2771 Shi, Xuanhua. editor. Salapura, Valentina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44917-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-11-25T23:23:14Z

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

Architecture of Computing Systems -- ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings

2024-11-25T23:23:14Z

Yazar Maehle, Erik. editor. Römer, Kay. editor. Karl, Wolfgang. editor. Tovar, Eduardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-04891-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wired/Wireless Internet Communications 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Mellouk, Abdelhamid. editor. Fowler, Scott. editor. Daachi, Boubaker. editor. Hoceini, Said. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13174-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings

2024-11-25T23:23:14Z

Yazar Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09873-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Grid Security Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers

2024-11-25T23:23:14Z

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

Ubuntu unleashed

2024-11-25T23:23:14Z

Yazar Helmke, Matthew. Hudson, Andrew, 1978- Hudson, Paul, 1979-
Yer Numarası QA76.774.U28 H453 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

The Android developer's cookbook : building applications with the Android SDK

2024-11-25T23:23:14Z

Yazar Schwarz, Ronan. Dutson, Phil, 1981- Steele, James, 1971- To, Nelson, 1976-
Yer Numarası QA76.76.A65 S743 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Natural ventilation in high-rise office buildings an output of the CTBUH sustainability working group

2024-11-25T23:23:14Z

Yazar Wood, Antony, 1970- Salib, Ruba.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Red Hat Enterprise Linux 6 administration real world skills for Red Hat administrators

2024-11-25T23:23:14Z

Yazar Vugt, Sander van.
Yer Numarası QA76.774.L46 V84 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Absolute OpenBSD UNIX for the practical paranoid

2024-11-25T23:23:14Z

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

Transformer engineering design, technology, and diagnostics

2024-11-25T23:23:14Z

Yazar Kulkarni, S. V. (Satish V.) Khaparde, S. A., 1949-
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Android security attacks and defenses

2024-11-25T23:23:14Z

Yazar Misra, Anmol.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Windows 8 kickstart

2024-11-25T23:23:14Z

Yazar Russell, James Howard.
Yer Numarası ONLINE
Elektronik Erişim Subscription required
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings

2024-11-25T23:23:14Z

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

Windows 8 : temel başvuru kılavuzu

2024-11-25T23:23:14Z

Yazar Demirel, Ortaç, 1978-
Yer Numarası QA76 774 M434 D46 2013
Format: Kitap
Durum Beytepe Kütüphanesi~2

Robust Data Mining

2024-11-25T23:23:14Z

Yazar Xanthopoulos, Petros. author. Pardalos, Panos M. author. Trafalis, Theodore B. author. SpringerLink (Online service)
Yer Numarası ONLINE(330861.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9878-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fault-Tolerant Design

2024-11-25T23:23:14Z

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

Concise Guide to Databases A Practical Introduction

2024-11-25T23:23:14Z

Yazar Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)
Yer Numarası ONLINE(331224.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5601-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Finding Source Code on the Web for Remix and Reuse

2024-11-25T23:23:14Z

Yazar Sim, Susan Elliott. editor. Gallardo-Valencia, Rosalva E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332071.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6596-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sustainable Web Ecosystem Design

2024-11-25T23:23:14Z

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

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333246.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29578-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Yuan, Yuyu. editor. Wu, Xu. editor. Lu, Yueming. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334049.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35795-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2024-11-25T23:23:14Z

Yazar Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334055.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334071.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35867-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing

2024-11-25T23:23:14Z

Yazar Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334079.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35893-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

2024-11-25T23:23:14Z

Yazar Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334327.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36946-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Yer Numarası ONLINE(334328.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36949-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers

2024-11-25T23:23:14Z

Yazar Piazolo, Felix. editor. Felderer, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334344.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37021-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2024-11-25T23:23:14Z

Yazar Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334353.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37051-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334469.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37658-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wired/Wireless Internet Communication 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings

2024-11-25T23:23:14Z

Yazar Tsaoussidis, Vassilis. editor. Kassler, Andreas J. editor. Koucheryavy, Yevgeni. editor. Mellouk, Abdelhamid. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334594.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38401-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

2024-11-25T23:23:14Z

Yazar Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334870.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39955-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

2024-11-25T23:23:14Z

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

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

2024-11-25T23:23:14Z

Yazar Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334882.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40047-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.
Yer Numarası ONLINE(335131.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41635-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Keine Angst vor Linux/Unix Ein Lehrbuch für Linux- und Unix-Anwender

2024-11-25T23:23:14Z

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

Windows networking tools the complete guide to management, troubleshooting, and security

2024-11-25T23:23:14Z

Yazar Held, Gilbert, 1943-
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Java ile nesne programlama

2024-11-25T23:23:14Z

Yazar Karaçay, Timur
Yer Numarası QA76 .73 K37 2013
Format: Kitap
Durum Beytepe Kütüphanesi~2

Management of hazardous energy deactivation, de-energization, isolation, and lockout

2024-11-25T23:23:14Z

Yazar McManus, Thomas Neil.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electrochemical supercapacitors for energy storage and delivery fundamentals and applications

2024-11-25T23:23:14Z

Yazar Yu, Aiping.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Neuroevolution Through Erlang

2024-11-25T23:23:14Z

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

Information Systems Development Reflections, Challenges and New Directions

2024-11-25T23:23:14Z

Yazar Pooley, Rob. editor. Coady, Jennifer. editor. Schneider, Christoph. editor. Linger, Henry. editor. Barry, Chris. editor.
Yer Numarası ONLINE(331631.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4951-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

2024-11-25T23:23:14Z

Yazar Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332921.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02444-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings

2024-11-25T23:23:14Z

Yazar Bloem, Roderick. editor. Lipp, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332976.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03491-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Optimization Systems - Applications - Processes

2024-11-25T23:23:14Z

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

The Software Industry Economic Principles, Strategies, Perspectives

2024-11-25T23:23:14Z

Yazar Buxmann, Peter. author. Diefenbach, Heiner. author. Hess, Thomas. author. SpringerLink (Online service)
Yer Numarası ONLINE(333443.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31510-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations

2024-11-25T23:23:14Z

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

Introduction to Cryptography with Maple

2024-11-25T23:23:14Z

Yazar Gómez Pardo, José Luis. author. SpringerLink (Online service)
Yer Numarası ONLINE(333533.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32166-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings

2024-11-25T23:23:14Z

Yazar Kubátová, Hana. editor. Hochberger, Christian. editor. Daněk, Martin. editor. Sick, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334200.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36424-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings

2024-11-25T23:23:14Z

Yazar Roughan, Matthew. editor. Chang, Rocky. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334223.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36516-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

2024-11-25T23:23:14Z

Yazar Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334236.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36563-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

2024-11-25T23:23:14Z

Yazar Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334533.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38088-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings

2024-11-25T23:23:14Z

Yazar Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334662.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38750-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2024-11-25T23:23:14Z

Yazar Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334610.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38493-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

2024-11-25T23:23:14Z

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

Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings

2024-11-25T23:23:14Z

Yazar Heyden, Anders. editor. Kahl, Fredrik. editor. Olsson, Carl. editor. Oskarsson, Magnus. editor. Tai, Xue-Cheng. editor.
Yer Numarası ONLINE(334939.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40395-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ada 2012 Rationale The Language, The Standard Libraries

2024-11-25T23:23:14Z

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

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335206.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45293-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)

2024-11-25T23:23:14Z

Yazar Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.
Yer Numarası ONLINE(335216.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45419-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, Analysis and Test of Logic Circuits Under Uncertainty

2024-11-25T23:23:14Z

Yazar Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Yer Numarası ONLINE(335669.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9644-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Microsoft server 2012

2024-11-25T23:23:14Z

Yazar Yıldırımoğlu, Murat
Yer Numarası QA76.76.O63 Y55 2013
Format: Kitap
Durum Beytepe Kütüphanesi~2

iOS 6 programming : pushing the limits : advanced application development for Apple IPhone, IPad, and IPod Touch

2024-11-25T23:23:14Z

Yazar Napier, Robert. Kumar, Mugunth.
Yer Numarası QA76.774 .I67 N37 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Energy-Efficient High Performance Computing Measurement and Tuning

2024-11-25T23:23:14Z

Yazar Laros III, James H. author. Pedretti, Kevin. author. Kelly, Suzanne M. author. Shu, Wei. author. Ferreira, Kurt. author.
Yer Numarası ONLINE(330991.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4492-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Privacy and Security for Cloud Computing

2024-11-25T23:23:14Z

Yazar Pearson, Siani. editor. Yee, George. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330926.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4189-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomic Computing Principles, Design and Implementation

2024-11-25T23:23:14Z

Yazar Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Yer Numarası ONLINE(331115.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Network Programming with Java Java 7 Compatible

2024-11-25T23:23:14Z

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

Requirements Engineering and Management for Software Development Projects

2024-11-25T23:23:14Z

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

Scala Design Patterns Patterns for Practical Reuse and Design

2024-11-25T23:23:14Z

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

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

2024-11-25T23:23:14Z

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

Surface- and Groundwater Quality Changes in Periods of Water Scarcity

2024-11-25T23:23:14Z

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

Industrial Deployment of System Engineering Methods

2024-11-25T23:23:14Z

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

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

2024-11-25T23:23:14Z

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

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

2024-11-25T23:23:14Z

Yazar Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334156.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36249-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334077.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35887-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.
Yer Numarası ONLINE(334080.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35898-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

2024-11-25T23:23:14Z

Yazar Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334096.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35992-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings

2024-11-25T23:23:14Z

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

Tools for High Performance Computing 2012

2024-11-25T23:23:14Z

Yazar Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.
Yer Numarası ONLINE(334411.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37349-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Dynpro ABAP for Practitioners

2024-11-25T23:23:14Z

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

Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings

2024-11-25T23:23:14Z

Yazar Park, James J. (Jong Hyuk). editor. Arabnia, Hamid R. editor. Kim, Cheonshik. editor. Shi, Weisong. editor. Gil, Joon-Min. editor.
Yer Numarası ONLINE(334517.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38027-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers

2024-11-25T23:23:14Z

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

Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Pierson, Jean-Marc. editor. Da Costa, Georges. editor. Dittmann, Lars. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334960.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40517-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings

2024-11-25T23:23:14Z

Yazar Hsu, Ching-Hsien. editor. Li, Xiaoming. editor. Shi, Xuanhua. editor. Zheng, Ran. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335013.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40820-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

2024-11-25T23:23:14Z

Yazar Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335024.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40894-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project

2024-11-25T23:23:14Z

Yazar Cotroneo, Domenico. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335577.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-88-470-2772-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011

2024-11-25T23:23:14Z

Yazar Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335821.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-4786-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linux-Unix-Kurzreferenz Für Anwender, Entwickler und Systemadministratoren

2024-11-25T23:23:14Z

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

Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation

2024-11-25T23:23:14Z

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

Android programlama

2024-11-25T23:23:14Z

Yazar Taç, Muharrem.
Yer Numarası QA76.76.O63 T33 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

The hacker's guide to OS X exploiting OS X from the root up

2024-11-25T23:23:14Z

Yazar Bathurst, Robert. Rogers, Russ. Ghassemlouei, Alijohn.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9781597499507
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services

2024-11-25T23:23:14Z

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

Pervasive Linux Basistechnologien, Softwareentwicklung, Werkzeuge

2024-11-25T23:23:14Z

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

Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings

2024-11-25T23:23:14Z

Yazar Herkersdorf, Andreas. editor. Römer, Kay. editor. Brinkschulte, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28293-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

2024-11-25T23:23:14Z

Yazar Göschka, Karl Michael. editor. Haridi, Seif. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30823-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32770-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings

2024-11-25T23:23:14Z

Yazar Kaklamanis, Christos. editor. Papatheodorou, Theodore. editor. Spirakis, Paul G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32820-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security and Privacy in Communication Networks 7th International ICST Conference, SecureComm 2011, London, UK, September 7-9, 2011, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Rajarajan, Muttukrishnan. editor. Piper, Fred. editor. Wang, Haining. editor. Kesidis, George. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31909-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research in Attacks, Intrusions, and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings

2024-11-25T23:23:14Z

Yazar Balzarotti, Davide. editor. Stolfo, Salvatore J. editor. Cova, Marco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33338-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers

2024-11-25T23:23:14Z

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

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings

2024-11-25T23:23:14Z

Yazar Park, James J. editor. Zomaya, Albert. editor. Yeo, Sang-Soo. editor. Sahni, Sartaj. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35606-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

2024-11-25T23:23:14Z

Yazar Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25271-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29479-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings

2024-11-25T23:23:14Z

Yazar Sadre, Ramin. editor. Novotný, Jiří. editor. Čeleda, Pavel. editor. Waldburger, Martin. editor. Stiller, Burkhard. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30633-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

2024-11-25T23:23:14Z

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

Test and Diagnosis for Small-Delay Defects

2024-11-25T23:23:14Z

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

Plasma processing of nanomaterials

2024-11-25T23:23:14Z

Yazar Sankaran, Mohan.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Industrial control systems mathematical and statistical models and techniques

2024-11-25T23:23:14Z

Yazar Badiru, Adedeji Bodunde, 1952- Ibidapo-Obe, Oye. Ayeni, Babatunde J.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unit operations of particulate solids theory and practice

2024-11-25T23:23:14Z

Yazar Ortega-Rivas, Enrique.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Performance-Optimierung Systeme, Anwendungen, Geschäftsprozesse

2024-11-25T23:23:14Z

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

Data Privacy Management and Autonomous Spontaneus Security 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Garcia-Alfaro, Joaquin. editor. Navarro-Arribas, Guillermo. editor. Cuppens-Boulahia, Nora. editor. Capitani di Vimercati, Sabrina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28879-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

2024-11-25T23:23:14Z

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

Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings

2024-11-25T23:23:14Z

Yazar Li, Ruixuan. editor. Cao, Jiannong. editor. Bourgeois, Julien. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30767-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

2024-11-25T23:23:14Z

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

Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

2024-11-25T23:23:14Z

Yazar Brunst, Holger. editor. Müller, Matthias S. editor. Nagel, Wolfgang E. editor. Resch, Michael M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31476-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings

2024-11-25T23:23:14Z

Yazar Fraser, Gordon. editor. Teixeira de Souza, Jerffeson. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33119-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

2024-11-25T23:23:14Z

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

Provable Security 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings

2024-11-25T23:23:14Z

Yazar Takagi, Tsuyoshi. editor. Wang, Guilin. editor. Qin, Zhiguang. editor. Jiang, Shaoquan. editor. Yu, Yong. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33272-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Network Security 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings

2024-11-25T23:23:14Z

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

Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers

2024-11-25T23:23:14Z

Yazar Korakis, Thanasis. editor. Zink, Michael. editor. Ott, Maximilian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35576-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

2024-11-25T23:23:14Z

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

Ubuntu 12.10 server : administration and reference

2024-11-25T23:23:14Z

Yazar Petersen, Richard.
Yer Numarası QA76.774.U28 P473 2012
Format: Kitap
Durum Beytepe Kütüphanesi~1

Corruption and law in Indonesia

2024-11-25T23:23:14Z

Yazar Butt, Simon.
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

2024-11-25T23:23:14Z

Yazar Hocken, Robert J. Pereira, Paulo H.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Oracle database 11g & MySQL 5.6 developer handbook

2024-11-25T23:23:14Z

Yazar McLaughlin, Michael, D.CS.
Yer Numarası ONLINE
Elektronik Erişim Subscription required
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mac, OS X Mountain Lion

2024-11-25T23:23:14Z

Yazar Spivey, Dwight.
Yer Numarası ONLINE
Elektronik Erişim Subscription required
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Windows 7 SP1

2024-11-25T23:23:14Z

Yazar Matthews, Martin S.
Yer Numarası ONLINE
Elektronik Erişim Subscription required
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Windows 7 for seniors

2024-11-25T23:23:14Z

Yazar Matthews, Martin S.
Yer Numarası ONLINE
Elektronik Erişim Subscription required
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1