Search Results for Microprogramming .SirsiDynix Enterprisehttps://bilge.isikun.edu.tr/client/tr_TR/default/default/qu$003dMicroprogramming$0025C2$0025A0.$0026ps$003d300?dt=list2024-09-20T02:23:27ZData Compression in Digital Systemsent://SD_ILS/0/SD_ILS:19233612024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Hoffman, Roy. author. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-6031-9">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Automatic Control and Computer Sciencesent://SD_ILS/0/SD_ILS:19848862024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Greitans, Modris. editor. Springer Journals SpringerLink Journals SpringerLink (Online service)<br/>Yer Numarası XX(1984886.1)<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=http://link.springer.com/journal/11950">Full Text Available From SpringerLink Journals</a><br/>Format: Electronic Resources<br/>Testing and Diagnosis of Analog Circuits and Systemsent://SD_ILS/0/SD_ILS:19276022024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Liu, Ruey-wen. author. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-9747-6">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Theory and Design of Digital Computer Systemsent://SD_ILS/0/SD_ILS:19238852024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Lewin, T.R. author. Noakes, David L.G. author. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-1576-6">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>MPEG Video Compression Standardent://SD_ILS/0/SD_ILS:19242732024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Fogg, Chad. author. LeGall, Didier J. author. Mitchell, Joan L. author. Pennebaker, William B. author. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b115884">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Multichip Module Technologies and Alternatives: The Basicsent://SD_ILS/0/SD_ILS:19228402024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Doane, Daryl Ann. author. Franzon, Paul. author. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-3100-5">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Microelectronics Packaging Handbook Semiconductor Packagingent://SD_ILS/0/SD_ILS:19267972024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Tummala, R.R. author. Rymaszewski, Eugene J. author. Klopfenstein, Alan G. author. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-6037-1">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>VLSI-SoC: Technologies for Systems Integration 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianópolis, Brazil, October 12-15, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:18807732024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Becker, Jürgen. editor. De Oliveira Johann, Marcelo. editor. Reis, Ricardo. editor. (orcid)0000-0001-5781-5858 SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-23120-9">Full Text Available From Springer Nature Computer Science 2011 Packages</a><br/>Format: Electronic Resources<br/>VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:18812882024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Ayala, Jose L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. (orcid)0000-0001-5781-5858 SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-28566-0">Full Text Available From Springer Nature Computer Science 2012 Packages</a><br/>Format: Electronic Resources<br/>Digital Video: An Introduction to MPEG-2ent://SD_ILS/0/SD_ILS:19221702024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Haskell, Barry G. author. Puri, Atul. author. Netravali, Arun N. author. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b115887">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Mastering Media with the Raspberry Pi Media Centers, Music, High End Audio, Video, and Ultimate Movie Nightsent://SD_ILS/0/SD_ILS:18777602024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Roberts, Ralph. author. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4842-2728-2">Full Text Available From Springer Nature Professional and Applied Computing 2017 Packages</a><br/>Format: Electronic Resources<br/>Expanding Your Raspberry Pi Storage, printing, peripherals, and network connections for your Raspberry Pient://SD_ILS/0/SD_ILS:18779202024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Soper, Mark Edward. author. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4842-2922-4">Full Text Available From Springer Nature Professional and Applied Computing 2017 Packages</a><br/>Format: Electronic Resources<br/>Applied Dynamics of Manipulation Robots Modelling, Analysis and Examplesent://SD_ILS/0/SD_ILS:19277702024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Vukobratovic, Miomir. author. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-83866-8">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Applied Control of Manipulation Robots Analysis, Synthesis and Exercisesent://SD_ILS/0/SD_ILS:19277952024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Vukobratovic, Miomir. author. Stokic, Dragan. author. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-83869-9">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papersent://SD_ILS/0/SD_ILS:18803012024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Piguet, Christian. editor. Reis, Ricardo. editor. (orcid)0000-0001-5781-5858 Soudris, Dimitrios. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-12267-5">Full Text Available From Springer Nature Computer Science 2010 Packages</a><br/>Format: Electronic Resources<br/>LUCAS Associative Array Processor Design, Programming and Application Studiesent://SD_ILS/0/SD_ILS:19271862024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Fernstrom, Christer. author. Kruzela, Ivan. author. Svensson, Bertil. author. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-16445-6">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Architecture Design and Validation Methodsent://SD_ILS/0/SD_ILS:19237372024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Börger, Egon. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-57199-2">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>16-Bit-Microprocessor Systems Structure, Behavior, and Programmingent://SD_ILS/0/SD_ILS:19278172024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Flik, Thomas. author. Liebig, Hans. author. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-93285-4">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>The Complexity of Simple Computer Architecturesent://SD_ILS/0/SD_ILS:19220962024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Müller, Silvia M. editor. Paul, Wolfgang J. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-60580-0">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Nonlinear Control Systems An Introductionent://SD_ILS/0/SD_ILS:19211162024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Isidori, Alberto. author. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-02581-9">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Passive and Active Structural Vibration Control in Civil Engineeringent://SD_ILS/0/SD_ILS:19278162024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Soong, T.T. editor. Costantinou, M.C. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-7091-3012-4">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Dependable Computing - EDCC-1 First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedingsent://SD_ILS/0/SD_ILS:19253852024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Echtle, Klaus. editor. Hammer, Dieter. editor. Powell, David. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-58426-9">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Secrets of the Oracle Databaseent://SD_ILS/0/SD_ILS:18763732024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Debes, Norbert. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .D3<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4302-1953-8">Full Text Available From Springer Nature Professional and Applied Computing 2009 Packages</a><br/>Format: Electronic Resources<br/>Pro Oracle Application Expressent://SD_ILS/0/SD_ILS:18761402024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Scott, John. author. Spendolini, Scott. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .D3<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4302-0280-6">Full Text Available From Springer Nature Professional and Applied Computing 2008 Packages</a><br/>Format: Electronic Resources<br/>Beginning DB2 From Novice to Professionalent://SD_ILS/0/SD_ILS:18761702024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Allen, Grant. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .D3<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4302-0548-7">Full Text Available From Springer Nature Professional and Applied Computing 2008 Packages</a><br/>Format: Electronic Resources<br/>Pro Full-Text Search in SQL Server 2008ent://SD_ILS/0/SD_ILS:18762692024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Cotter, Hilary. author. Coles, Michael. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .D3<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4302-1595-0">Full Text Available From Springer Nature Professional and Applied Computing 2009 Packages</a><br/>Format: Electronic Resources<br/>Pro T-SQL 2008 Programmer's Guideent://SD_ILS/0/SD_ILS:18762182024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Coles, Michael. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .D3<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4302-1002-3">Full Text Available From Springer Nature Professional and Applied Computing 2008 Packages</a><br/>Format: Electronic Resources<br/>Pro SQL Server 2008 Relational Database Design and Implementationent://SD_ILS/0/SD_ILS:18762032024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Davidson, Louis. author. Kline, Kevin. author. Klein, Scott. author. Windisch, Kurt. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .D3<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4302-0867-9">Full Text Available From Springer Nature Professional and Applied Computing 2008 Packages</a><br/>Format: Electronic Resources<br/>Expert Shell Scriptingent://SD_ILS/0/SD_ILS:18763552024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Peters, Ron. author. SpringerLink (Online service)<br/>Yer Numarası QA76.76 .O62<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4302-1842-5">Full Text Available From Springer Nature Professional and Applied Computing 2009 Packages</a><br/>Format: Electronic Resources<br/>Pro (IBM) WebSphere Application Server 7 Internalsent://SD_ILS/0/SD_ILS:18763742024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Renouf, Colin. author. SpringerLink (Online service)<br/>Yer Numarası QA76.73 .J38<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4302-1959-0">Full Text Available From Springer Nature Professional and Applied Computing 2009 Packages</a><br/>Format: Electronic Resources<br/>Cloud as a Service Understanding the Service Innovation Ecosystement://SD_ILS/0/SD_ILS:18775672024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Castro-Leon, Enrique. author. Harmon, Robert. author. SpringerLink (Online service)<br/>Yer Numarası TK5105.5 -5105.9<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4842-0103-9">Full Text Available From Springer Nature Professional and Applied Computing 2016 Packages</a><br/>Format: Electronic Resources<br/>Microelectronics Manufacturing Diagnostics Handbookent://SD_ILS/0/SD_ILS:19205962024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Landzberg, Abraham. author. SpringerLink (Online service)<br/>Yer Numarası TS1 -2301<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-2029-0">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Enterprise Mac Managed Preferencesent://SD_ILS/0/SD_ILS:18764642024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Marczak, Edward. author. Neagle, Greg. author. SpringerLink (Online service)<br/>Yer Numarası QA76.8 .M3<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4302-2938-4">Full Text Available From Springer Nature Professional and Applied Computing 2010 Packages</a><br/>Format: Electronic Resources<br/>Embedded Firmware Solutions Development Best Practices for the Internet of Thingsent://SD_ILS/0/SD_ILS:18773912024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Zimmer, Vincent. author. Sun, Jiming. author. Jones, Marc. author. Reinauer, Stefan. author. SpringerLink (Online service)<br/>Yer Numarası TS171.57<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4842-0070-4">Full Text Available From Springer Nature Professional and Applied Computing 2015 Packages</a><br/>Format: Electronic Resources<br/>Practical Fashion Tech Wearable Technologies for Costuming, Cosplay, and Everydayent://SD_ILS/0/SD_ILS:18776612024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Horvath, Joan. author. Hoge, Lyn. author. Cameron, Rich. author. SpringerLink (Online service)<br/>Yer Numarası TS171.57<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4842-1662-0">Full Text Available From Springer Nature Professional and Applied Computing 2016 Packages</a><br/>Format: Electronic Resources<br/>A Tutorial Introduction to VHDL Programmingent://SD_ILS/0/SD_ILS:18124202024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Gazi, Orhan. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-13-2309-6">Full Text Available From Springer Nature Engineering 2019 Packages</a><br/>Format: Electronic Resources<br/>Pro RFID in BizTalk Server 2009ent://SD_ILS/0/SD_ILS:18762932024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Simms, Mark. author. Beckner, Mark. author. Venkatesh, Ram. author. SpringerLink (Online service)<br/>Yer Numarası QA76.76 .M52<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4302-1838-8">Full Text Available From Springer Nature Professional and Applied Computing 2009 Packages</a><br/>Format: Electronic Resources<br/>P-Functions and Boolean Matrix Factorization A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithmsent://SD_ILS/0/SD_ILS:19269702024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Thayse, A. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .S88<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-13358-5">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>VLSI Design: Circuits, Systems and Applications Select Proceedings of ICNETS2, Volume Vent://SD_ILS/0/SD_ILS:18115262024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Li, Jie. editor. Sankar, A Ravi. editor. Beulet, P Augusta Sophy. editor. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-10-7251-2">Full Text Available From Springer Nature Engineering 2018 Packages</a><br/>Format: Electronic Resources<br/>Building Your Next Big Thing with Google Cloud Platform A Guide for Developers and Enterprise Architectsent://SD_ILS/0/SD_ILS:18773662024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Ugia Gonzalez, Jose. author. Krishnan, S. P. T. author. SpringerLink (Online service)<br/>Yer Numarası QA76.625<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4842-1004-8">Full Text Available From Springer Nature Professional and Applied Computing 2015 Packages</a><br/>Format: Electronic Resources<br/>Logic Synthesis and SOC Prototyping RTL Design using VHDLent://SD_ILS/0/SD_ILS:18134172024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Taraate, Vaibbhav. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-15-1314-5">Full Text Available From Springer Nature Engineering 2020 Packages</a><br/>Format: Electronic Resources<br/>Emerging Technologies for Developing Countries Second EAI International Conference, AFRICATEK 2018, Cotonou, Benin, May 29-30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:18849552024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Zitouni, Rafik. editor. Agueh, Max. editor. SpringerLink (Online service)<br/>Yer Numarası TK5105.5 -5105.9<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-05198-3">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>ASIC Design and Synthesis RTL Design Using Verilogent://SD_ILS/0/SD_ILS:18145702024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Taraate, Vaibbhav. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-33-4642-0">Full Text Available From Springer Nature Engineering 2021 Packages</a><br/>Format: Electronic Resources<br/>Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilogent://SD_ILS/0/SD_ILS:18125602024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Taraate, Vaibbhav. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-10-8776-9">Full Text Available From Springer Nature Engineering 2019 Packages</a><br/>Format: Electronic Resources<br/>Pro Mapping in BizTalk Server 2009ent://SD_ILS/0/SD_ILS:18763582024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Dawson, Jim. author. Wainwright, John. author. SpringerLink (Online service)<br/>Yer Numarası QA76.76 .M52<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4302-1858-6">Full Text Available From Springer Nature Professional and Applied Computing 2009 Packages</a><br/>Format: Electronic Resources<br/>Analysis and Synthesis of Positive Systems Under ℓ1 and L1 Performanceent://SD_ILS/0/SD_ILS:18107242024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Chen, Xiaoming. author. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-10-2227-2">Full Text Available From Springer Nature Engineering 2017 Packages</a><br/>Format: Electronic Resources<br/>Pro Ubuntu Server Administrationent://SD_ILS/0/SD_ILS:18762792024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar van Vugt, Sander. author. SpringerLink (Online service)<br/>Yer Numarası QA76.76 .O62<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4302-1623-0">Full Text Available From Springer Nature Professional and Applied Computing 2009 Packages</a><br/>Format: Electronic Resources<br/>Deploying Raspberry Pi in the Classrooment://SD_ILS/0/SD_ILS:18778122024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Hart-Davis, Guy. author. SpringerLink (Online service)<br/>Yer Numarası TS171.57<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4842-2304-8">Full Text Available From Springer Nature Professional and Applied Computing 2017 Packages</a><br/>Format: Electronic Resources<br/>Classical and Modern Controls with Microcontrollers Design, Implementation and Applicationsent://SD_ILS/0/SD_ILS:18528892024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Bai, Ying. author. Roth, Zvi S. author. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-01382-0">Full Text Available From Springer Nature Intelligent Technologies and Robotics 2019 Packages</a><br/>Format: Electronic Resources<br/>Beginning Robotics Programming in Java with LEGO Mindstormsent://SD_ILS/0/SD_ILS:18775662024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Lu, Wei. author. SpringerLink (Online service)<br/>Yer Numarası TS171.57<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4842-2005-4">Full Text Available From Springer Nature Professional and Applied Computing 2016 Packages</a><br/>Format: Electronic Resources<br/>Asynchronous System-on-Chip Interconnectent://SD_ILS/0/SD_ILS:19233732024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Bainbridge, John. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .S88<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4471-0189-5">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Informatics in Control, Automation and Robotics IIent://SD_ILS/0/SD_ILS:18795092024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Filipe, Joaquim. editor. Ferrier, Jean-Louis. editor. Cetto, Juan A. editor. Carvalho, Marina. editor. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4020-5626-0">Full Text Available From Springer Nature Computer Science 2007 Packages</a><br/>Format: Electronic Resources<br/>Beginning x64 Assembly Programming From Novice to AVX Professionalent://SD_ILS/0/SD_ILS:18782892024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Van Hoey, Jo. author. SpringerLink (Online service)<br/>Yer Numarası QA76.76 .C65<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4842-5076-1">Full Text Available From Springer Nature Professional and Applied Computing 2019 Packages</a><br/>Format: Electronic Resources<br/>Theory of Control Systems Described by Differential Inclusionsent://SD_ILS/0/SD_ILS:18090802024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Han, Zhengzhi. author. Cai, Xiushan. author. Huang, Jun. author. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-49245-1">Full Text Available From Springer Nature Engineering 2016 Packages</a><br/>Format: Electronic Resources<br/>Informatics in Control, Automation and Robotics Ient://SD_ILS/0/SD_ILS:18792932024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Braz, José. editor. Araújo, Helder. editor. Vieira, Alves. editor. Encarnação, Bruno. editor. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/1-4020-4543-3">Full Text Available From Springer Nature Computer Science 2006 Packages</a><br/>Format: Electronic Resources<br/>Control Flow and Data Flow: Concepts of Distributed Programming International Summer Schoolent://SD_ILS/0/SD_ILS:19263772024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Broy, Manfred. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.6 -76.66<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-82921-5">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Real Time Microcomputer Control of Industrial Processesent://SD_ILS/0/SD_ILS:19208182024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Tzafestas, S.G. editor. Pal, J.K. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-0609-9">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>SystemVerilog for Hardware Description RTL Design and Verificationent://SD_ILS/0/SD_ILS:18133572024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Taraate, Vaibbhav. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-15-4405-7">Full Text Available From Springer Nature Engineering 2020 Packages</a><br/>Format: Electronic Resources<br/>PLD Based Design with VHDL RTL Design, Synthesis and Implementationent://SD_ILS/0/SD_ILS:18104692024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Taraate, Vaibbhav. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-10-3296-7">Full Text Available From Springer Nature Engineering 2017 Packages</a><br/>Format: Electronic Resources<br/>Building Embedded Systems Programmable Hardwareent://SD_ILS/0/SD_ILS:18776652024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Gu, Changyi. author. SpringerLink (Online service)<br/>Yer Numarası QA76.76 .C65<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4842-1919-5">Full Text Available From Springer Nature Professional and Applied Computing 2016 Packages</a><br/>Format: Electronic Resources<br/>Algorithm Portfolios Advances, Applications, and Challengesent://SD_ILS/0/SD_ILS:18947112024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Souravlias, Dimitris. author. Parsopoulos, Konstantinos E. author. Kotsireas, Ilias S. author. Pardalos, Panos M. author. (orcid)0000-0003-2824-101X SpringerLink (Online service)<br/>Yer Numarası T57.6 -57.97<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-68514-0">Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages</a><br/>Format: Electronic Resources<br/>Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platformsent://SD_ILS/0/SD_ILS:18842142024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Trobec, Roman. author. Slivnik, Boštjan. author. Bulić, Patricio. author. Robič, Borut. author. SpringerLink (Online service)<br/>Yer Numarası QA76.6 -76.66<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-98833-7">Full Text Available From Springer Nature Computer Science 2018 Packages</a><br/>Format: Electronic Resources<br/>EURASIP Journal on Embedded Systemsent://SD_ILS/0/SD_ILS:19883522024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Sousa, Leonel. editor. Springer Open Access Journals SpringerLink Journals SpringerLink (Online service)<br/>Yer Numarası XX(1988352.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/13639.1687-3963">Full Text Available From SpringerLink Open Access Journals</a><br/>Format: Electronic Resources<br/>Programming in HTML and PHP Coding for Scientists and Engineersent://SD_ILS/0/SD_ILS:18833152024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Brooks, David R. author. SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-56973-4">Full Text Available From Springer Nature Computer Science 2017 Packages</a><br/>Format: Electronic Resources<br/>Hands-on Experience with Altera FPGA Development Boardsent://SD_ILS/0/SD_ILS:18110232024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Parab, Jivan S. author. Gad, Rajendra S. author. Naik, G.M. author. SpringerLink (Online service)<br/>Yer Numarası TK7800 -8360<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-81-322-3769-3">Full Text Available From Springer Nature Engineering 2018 Packages</a><br/>Format: Electronic Resources<br/>Prototyping of Concurrent Control Systems Implemented in FPGA Devicesent://SD_ILS/0/SD_ILS:18106332024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Wiśniewski, Remigiusz. author. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-45811-3">Full Text Available From Springer Nature Engineering 2017 Packages</a><br/>Format: Electronic Resources<br/>The Definitive Guide to SOA Oracle Service Busent://SD_ILS/0/SD_ILS:18762352024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Schorow, David. author. Davies, Jeff. author. Ray, Samrat. author. Rieber, David. author. SpringerLink (Online service)<br/>Yer Numarası QA76.73 .J38<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4302-1058-0">Full Text Available From Springer Nature Professional and Applied Computing 2008 Packages</a><br/>Format: Electronic Resources<br/>Digital Controller Implementation and Fragility A Modern Perspectiveent://SD_ILS/0/SD_ILS:19183072024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Istepanian, Robert. editor. Whidborne, James F. editor. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4471-0265-6">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Test Generation of Crosstalk Delay Faults in VLSI Circuitsent://SD_ILS/0/SD_ILS:18124442024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Jayanthy, S. author. Bhuvaneswari, M.C. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-13-2493-2">Full Text Available From Springer Nature Engineering 2019 Packages</a><br/>Format: Electronic Resources<br/>Digital Signal Processing with Field Programmable Gate Arraysent://SD_ILS/0/SD_ILS:18073772024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Meyer-Baese, Uwe. author. SpringerLink (Online service)<br/>Yer Numarası TK5102.9<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-45309-0">Full Text Available From Springer Nature Engineering 2014 Packages</a><br/>Format: Electronic Resources<br/>Cloud Computing, Big Data & Emerging Topics 9th Conference, JCC-BD&ET, La Plata, Argentina, June 22-25, 2021, Proceedingsent://SD_ILS/0/SD_ILS:18861452024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Naiouf, Marcelo. editor. (orcid)0000-0001-9127-3212 Rucci, Enzo. editor. (orcid)0000-0001-6736-7358 Chichizola, Franco. editor. (orcid)0000-0001-8857-6343 De Giusti, Laura. editor. (orcid)0000-0003-2850-801X SpringerLink (Online service)<br/>Yer Numarası TK7885 -7895<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-84825-5">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Fundamentals of Software Engineering 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papersent://SD_ILS/0/SD_ILS:18868212024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-89247-0">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>A Combined Data and Power Management Infrastructure For Small Satellitesent://SD_ILS/0/SD_ILS:18196242024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Eickhoff, Jens. editor. SpringerLink (Online service)<br/>Yer Numarası TL1 -4050<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-35557-8">Full Text Available From Springer Nature Engineering 2013 Packages</a><br/>Format: Electronic Resources<br/>Design of an Intelligent Embedded System for Condition Monitoring of an Industrial Robotent://SD_ILS/0/SD_ILS:18109012024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Jaber, Alaa Abdulhady. author. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-44932-6">Full Text Available From Springer Nature Engineering 2017 Packages</a><br/>Format: Electronic Resources<br/>Digital Electronics for Musiciansent://SD_ILS/0/SD_ILS:18773682024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Drymonitis, Alexandros. author. SpringerLink (Online service)<br/>Yer Numarası TS171.57<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4842-1583-8">Full Text Available From Springer Nature Professional and Applied Computing 2015 Packages</a><br/>Format: Electronic Resources<br/>Intelligent Engineering Informatics Proceedings of the 6th International Conference on FICTAent://SD_ILS/0/SD_ILS:18112462024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Bhateja, Vikrant. editor. Coello Coello, Carlos A. editor. Satapathy, Suresh Chandra. editor. Pattnaik, Prasant Kumar. editor. SpringerLink (Online service)<br/>Yer Numarası Q342<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-10-7566-7">Full Text Available From Springer Nature Engineering 2018 Packages</a><br/>Format: Electronic Resources<br/>Learn Electronics with Raspberry Pi Physical Computing with Circuits, Sensors, Outputs, and Projectsent://SD_ILS/0/SD_ILS:18774802024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Watkiss, Stewart. author. SpringerLink (Online service)<br/>Yer Numarası TS171.57<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4842-1898-3">Full Text Available From Springer Nature Professional and Applied Computing 2016 Packages</a><br/>Format: Electronic Resources<br/>An Investigation into the Detection and Mitigation of Denial of Service (DoS) Attacks Critical Information Infrastructure Protectionent://SD_ILS/0/SD_ILS:18809022024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Raghavan, S.V. editor. Dawson, E. editor. SpringerLink (Online service)<br/>Yer Numarası TK7887.5 -.8<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-81-322-0277-6">Full Text Available From Springer Nature Computer Science 2011 Packages</a><br/>Format: Electronic Resources<br/>Neural Preprocessing and Control of Reactive Walking Machines Towards Versatile Artificial Perception-Action Systemsent://SD_ILS/0/SD_ILS:18795432024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Manoonpong, Poramate. author. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-68803-7">Full Text Available From Springer Nature Computer Science 2007 Packages</a><br/>Format: Electronic Resources<br/>Handbook of Electronics Manufacturing Engineeringent://SD_ILS/0/SD_ILS:19209742024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Matisoff, Bernie. author. SpringerLink (Online service)<br/>Yer Numarası TS1 -2301<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-6047-0">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Foundations of Programming Languagesent://SD_ILS/0/SD_ILS:18836542024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Lee, Kent D. author. SpringerLink (Online service)<br/>Yer Numarası QA76.76 .C65<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-70790-7">Full Text Available From Springer Nature Computer Science 2017 Packages</a><br/>Format: Electronic Resources<br/>Java in Two Semesters Featuring JavaFXent://SD_ILS/0/SD_ILS:18852612024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)<br/>Yer Numarası QA76.76 .C65<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-99420-8">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:18844992024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Yer Numarası TK7885 -7895<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-26601-1">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Drivingent://SD_ILS/0/SD_ILS:18096702024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Ross, Hans-Leo. author. SpringerLink (Online service)<br/>Yer Numarası TL1 -483<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-33361-8">Full Text Available From Springer Nature Engineering 2016 Packages</a><br/>Format: Electronic Resources<br/>Understanding Control Flow Concurrent Programming Using μC++ent://SD_ILS/0/SD_ILS:18828952024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Buhr, Peter A. author. SpringerLink (Online service)<br/>Yer Numarası QA76.76 .C65<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-25703-7">Full Text Available From Springer Nature Computer Science 2016 Packages</a><br/>Format: Electronic Resources<br/>Advanced Thermal Design of Electronic Equipmentent://SD_ILS/0/SD_ILS:19195712024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Remsburg, Ralph. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4419-8509-5">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Surface Mount Technology Principles and Practiceent://SD_ILS/0/SD_ILS:19217992024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Prasad, Ray. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-4084-7">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Solder Joint Reliability Theory and Applicationsent://SD_ILS/0/SD_ILS:19185572024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Lau, John H. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-3910-0">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Microelectronics Packaging Handbook Technology Drivers Part Ient://SD_ILS/0/SD_ILS:19206072024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Tummala, R.R. author. Rymaszewski, Eugene J. author. Klopfenstein, Alan G. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-4086-1">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Model-Driven Engineering and Software Development 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:18855682024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selić, Bran. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-37873-8">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Failure Modes and Mechanisms in Electronic Packagesent://SD_ILS/0/SD_ILS:19202112024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Singh, P. author. Viswanadham, Puligandla. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-6029-6">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>The Mechanics of Solder Alloy Wetting and Spreadingent://SD_ILS/0/SD_ILS:19211462024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Hosking, Michael. author. Yost, Frederick G. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4684-1440-0">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Optimal Design of Distributed Control and Embedded Systemsent://SD_ILS/0/SD_ILS:18078532024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Çela, Arben. author. Ben Gaid, Mongi. author. Li, Xu-Guang. author. Niculescu, Silviu-Iulian. author. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-02729-6">Full Text Available From Springer Nature Engineering 2014 Packages</a><br/>Format: Electronic Resources<br/>Fine Pitch Surface Mount Technology Quality, Design, and Manufacturing Techniquesent://SD_ILS/0/SD_ILS:19208332024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Marcoux, Phil. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-3532-4">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>High Performance Computing 7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2-4, 2020, Revised Selected Papersent://SD_ILS/0/SD_ILS:18865002024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012 Castro, Harold. editor. (orcid)0000-0002-7586-9419 Tchernykh, Andrei. editor. (orcid)0000-0001-5029-5212 SpringerLink (Online service)<br/>Yer Numarası TK7885 -7895<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-68035-0">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papersent://SD_ILS/0/SD_ILS:18400472024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Lämmel, Ralf. editor. (orcid)0000-0001-9946-4363 Visser, Joost. editor. Saraiva, João. editor. (orcid)0000-0002-5686-7151 SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-88643-3">Full Text Available From Springer Nature Computer Science 2008 Packages</a><br/>Format: Electronic Resources<br/>Robotic Vehicles: Systems and Technologyent://SD_ILS/0/SD_ILS:18537652024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Ng, Tian Seng. author. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-33-6687-9">Full Text Available From Springer Nature Intelligent Technologies and Robotics 2021 Packages</a><br/>Format: Electronic Resources<br/>Concurrent Engineering and Design for Manufacture of Electronics Productsent://SD_ILS/0/SD_ILS:19195592024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Shina, Sammy G. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4684-6518-1">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Euro-Par 2019: Parallel Processing Workshops Euro-Par 2019 International Workshops, Göttingen, Germany, August 26-30, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:18465062024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Schwardmann, Ulrich. editor. (orcid)0000-0001-6337-8674 Boehme, Christian. editor. B. Heras, Dora. editor. (orcid)0000-0002-5304-1426 Cardellini, Valeria. editor. Jeannot, Emmanuel. editor.<br/>Yer Numarası TK7885 -7895<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-48340-1">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Data Access and Storage Management for Embedded Programmable Processorsent://SD_ILS/0/SD_ILS:19281172024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Catthoor, Francky. author. Danckaert, K. author. Kulkarni, K.K. author. Brockmeyer, E. author. Kjeldsberg, Per Gunnar. author.<br/>Yer Numarası TA345 -345.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4757-4903-8">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>The Engineer's Error Coding Handbookent://SD_ILS/0/SD_ILS:19263522024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Houghton, A. author. SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-0447-0">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Microprocessors in Robotic and Manufacturing Systemsent://SD_ILS/0/SD_ILS:19209552024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Tzafestas, S.G. editor. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-3812-3">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>The Microarchitecture of Pipelined and Superscalar Computersent://SD_ILS/0/SD_ILS:19248612024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Omondi, Amos R. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .S88<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4757-2989-4">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Parallel Computational Technologies 15th International Conference, PCT 2021, Volgograd, Russia, March 30 - April 1, 2021, Revised Selected Papersent://SD_ILS/0/SD_ILS:18862152024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)<br/>Yer Numarası QA76.9 .S88<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-81691-9">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Intelligent Systems: Safety, Reliability and Maintainability Issuesent://SD_ILS/0/SD_ILS:19272322024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Kaynak, Okyay. editor. Honderd, Ger. editor. Grant, Edward. editor. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-58021-5">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part IIent://SD_ILS/0/SD_ILS:18871892024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Groote, Jan Friso. editor. (orcid)0000-0003-2196-6587 Larsen, Kim Guldstrand. editor. (orcid)0000-0002-5953-3384 SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-72013-1">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>A Combined Data and Power Management Infrastructure For Small Satellitesent://SD_ILS/0/SD_ILS:19015992024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Eickhoff, Jens. editor. SpringerLink (Online service)<br/>Yer Numarası TL1 -4050<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-64053-1">Full Text Available From Springer Nature Physics and Astronomy 2021 Packages</a><br/>Format: Electronic Resources<br/>On the Physical Security of Physically Unclonable Functionsent://SD_ILS/0/SD_ILS:18129042024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Tajik, Shahin. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-75820-6">Full Text Available From Springer Nature Engineering 2019 Packages</a><br/>Format: Electronic Resources<br/>Machine Learning Control - Taming Nonlinear Dynamics and Turbulenceent://SD_ILS/0/SD_ILS:18100722024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Duriez, Thomas. author. Brunton, Steven L. author. Noack, Bernd R. author. SpringerLink (Online service)<br/>Yer Numarası TA357 -359<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-40624-4">Full Text Available From Springer Nature Engineering 2017 Packages</a><br/>Format: Electronic Resources<br/>Systems Modelling and Management First International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020, Proceedingsent://SD_ILS/0/SD_ILS:18858332024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Babur, Önder. editor. Denil, Joachim. editor. Vogel-Heuser, Birgit. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-58167-1">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Large-Scale Disk Failure Prediction PAKDD 2020 Competition and Workshop, AI Ops 2020, February 7 - May 15, 2020, Revised Selected Papersent://SD_ILS/0/SD_ILS:18858862024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar He, Cheng. editor. Feng, Mengling. editor. (orcid)0000-0002-5338-6248 Lee, Patrick P. C. editor. (orcid)0000-0002-4501-4364 Wang, Pinghui. editor. Han, Shujie. editor. (orcid)0000-0001-5311-5782<br/>Yer Numarası QA76.9 .D343<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-15-7749-9">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Mathematical Modeling and Supercomputer Technologies 20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 - 27, 2020, Revised Selected Papersent://SD_ILS/0/SD_ILS:18867832024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Balandin, Dmitry. editor. (orcid)0000-0001-7727-5924 Barkalov, Konstantin. editor. (orcid)0000-0001-5273-2471 Gergel, Victor. editor. (orcid)0000-0002-4013-2329 Meyerov, Iosif. editor. (orcid)0000-0001-6905-2050 SpringerLink (Online service)<br/>Yer Numarası TK7885 -7895<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-78759-2">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>The Use Case and Smart Grid Architecture Model Approach The IEC 62559-2 Use Case Template and the SGAM applied in various domainsent://SD_ILS/0/SD_ILS:18953482024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Gottschalk, Marion. author. Uslar, Mathias. author. Delfs, Christina. author. SpringerLink (Online service)<br/>Yer Numarası TK1001 -1841<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-49229-2">Full Text Available From Springer Nature Energy 2017 Packages</a><br/>Format: Electronic Resources<br/>Technological Innovation for Industry and Service Systems 10th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2019, Costa de Caparica, Portugal, May 8-10, 2019, Proceedingsent://SD_ILS/0/SD_ILS:18851812024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Almeida, Ricardo. editor. (orcid)0000-0003-2432-5670 Oliveira, José. editor. (orcid)0000-0002-9398-8841 SpringerLink (Online service)<br/>Yer Numarası TK7885 -7895<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-17771-3">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>Getting Started with Tiva ARM Cortex M4 Microcontrollers A Lab Manual for Tiva LaunchPad Evaluation Kitent://SD_ILS/0/SD_ILS:18114002024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Gadre, Dhananjay V. author. Gupta, Sarthak. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-81-322-3766-2">Full Text Available From Springer Nature Engineering 2018 Packages</a><br/>Format: Electronic Resources<br/>Networked Systems 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:18853252024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Schwarzmann, Alexander A. editor. (orcid)0000-0003-3041-1006 SpringerLink (Online service)<br/>Yer Numarası TK5105.5 -5105.9<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-31277-0">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedingsent://SD_ILS/0/SD_ILS:18462282024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Raschke, Alexander. editor. (orcid)0000-0002-6088-8393 Méry, Dominique. editor. (orcid)0000-0001-5231-6611 Houdek, Frank. editor. (orcid)0000-0003-3132-6698 SpringerLink (Online service)<br/>Yer Numarası QA267 -268.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-48077-6">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedingsent://SD_ILS/0/SD_ILS:18810082024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Das, Vinu V. editor. Thankachan, Nessy. editor. Debnath, Narayan C. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.5 -.73<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-20499-9">Full Text Available From Springer Nature Computer Science 2011 Packages</a><br/>Format: Electronic Resources<br/>Unmanned Rotorcraft Systemsent://SD_ILS/0/SD_ILS:18181622024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Cai, Guowei. author. Chen, Ben M. author. Lee, Tong Heng. author. (orcid)0000-0002-2785-516X SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-85729-635-1">Full Text Available From Springer Nature Engineering 2011 Packages</a><br/>Format: Electronic Resources<br/>Real Time Control Engineering Systems And Automationent://SD_ILS/0/SD_ILS:18093232024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Ng, Tian Seng. author. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-10-1509-0">Full Text Available From Springer Nature Engineering 2016 Packages</a><br/>Format: Electronic Resources<br/>Reflections on the History of Computing Preserving Memories and Sharing Storiesent://SD_ILS/0/SD_ILS:18811532024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Tatnall, Arthur. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.17<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-33899-1">Full Text Available From Springer Nature Computer Science 2012 Packages</a><br/>Format: Electronic Resources<br/>Guide to RISC Processors for Programmers and Engineersent://SD_ILS/0/SD_ILS:18791512024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Dandamudi, Sivarama P. author. SpringerLink (Online service)<br/>Yer Numarası TK7895 .M5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b139084">Full Text Available From Springer Nature Computer Science 2005 Packages</a><br/>Format: Electronic Resources<br/>Accelerator Programming Using Directives 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedingsent://SD_ILS/0/SD_ILS:18864232024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Bhalachandra, Sridutt. editor. (orcid)0000-0003-1084-5683 Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 Chandrasekaran, Sunita. editor. (orcid)0000-0002-4333-4145 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 SpringerLink (Online service)<br/>Yer Numarası QA76.76 .C65<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-74224-9">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Parallel Computing Technologies 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13-18, 2021, Proceedingsent://SD_ILS/0/SD_ILS:18862632024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686 SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-86359-3">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Microelectronic Devices, Circuits and Systems Second International Conference, ICMDCS 2021, Vellore, India, February 11-13, 2021, Revised Selected Papersent://SD_ILS/0/SD_ILS:18864352024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Arunachalam, V. editor. (orcid)0000-0002-7797-4749 Sivasankaran, K. editor. (orcid)0000-0001-7036-0165 SpringerLink (Online service)<br/>Yer Numarası TK7885 -7895<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-16-5048-2">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Industrial Applications of Holonic and Multi-Agent Systems 9th International Conference, HoloMAS 2019, Linz, Austria, August 26-29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:18852142024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Mařík, Vladimír. editor. Kadera, Petr. editor. Rzevski, George. editor. Zoitl, Alois. editor. Anderst-Kotsis, Gabriele. editor.<br/>Yer Numarası Q334 -342<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-27878-6">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>Computer Intensive Methods in Control and Signal Processing The Curse of Dimensionalityent://SD_ILS/0/SD_ILS:19184172024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Warwick, Kevin. author. Karny, Miroslav. author. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-1996-5">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Power Electronics and Instrumentation Engineering International Conference, PEIE 2010,Kochi, Kerala, India, September 7-9, 2010, Proceedingsent://SD_ILS/0/SD_ILS:18805272024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Das, Vinu V. editor. Stephen, Janahallal. editor. Thankachan, Nessy. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.5 -.73<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-15739-4">Full Text Available From Springer Nature Computer Science 2010 Packages</a><br/>Format: Electronic Resources<br/>High Performance Computing Systems 19th Symposium, WSCAD 2018, São Paulo, Brazil, October 1-3, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:18855752024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Bianchini, Calebe. editor. (orcid)0000-0001-7683-3437 Osthoff, Carla. editor. (orcid)0000-0002-4694-7182 Souza, Paulo. editor. (orcid)0000-0002-1560-2704 Ferreira, Renato. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-41050-6">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part Ient://SD_ILS/0/SD_ILS:18861962024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Groote, Jan Friso. editor. (orcid)0000-0003-2196-6587 Larsen, Kim Guldstrand. editor. (orcid)0000-0002-5953-3384 SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-72016-2">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USAent://SD_ILS/0/SD_ILS:18801222024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Reis, Ricardo. editor. (orcid)0000-0001-5781-5858 Mooney, Vincent. editor. Hasler, Paul. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.6 -76.66<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-387-89558-1">Full Text Available From Springer Nature Computer Science 2009 Packages</a><br/>Format: Electronic Resources<br/>Embedded System Technology 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:18826182024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Zhang, Xing. editor. Wu, Zhonghai. editor. Sha, Xingmian. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .A73<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-10-0421-6">Full Text Available From Springer Nature Computer Science 2015 Packages</a><br/>Format: Electronic Resources<br/>Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:18847592024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Podelski, Andreas. editor. Taïani, François. editor. (orcid)0000-0002-9692-5678 SpringerLink (Online service)<br/>Yer Numarası TK5105.5 -5105.9<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-05529-5">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>Search-Based Software Engineering 12th International Symposium, SSBSE 2020, Bari, Italy, October 7-8, 2020, Proceedingsent://SD_ILS/0/SD_ILS:18463302024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Aleti, Aldeida. editor. Panichella, Annibale. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-59762-7">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Job Scheduling Strategies for Parallel Processing 23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papersent://SD_ILS/0/SD_ILS:18462672024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-63171-0">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Logic Synthesis for Control Automataent://SD_ILS/0/SD_ILS:19204352024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Baranov, Samary. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-2692-6">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedingsent://SD_ILS/0/SD_ILS:18447802024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Mařík, Vladimír. editor. Wahlster, Wolfgang. editor. Strasser, Thomas. editor. Kadera, Petr. editor. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-64635-0">Full Text Available From Springer Nature Computer Science 2017 Packages</a><br/>Format: Electronic Resources<br/>High Performance Computing 6th Latin American Conference, CARLA 2019, Turrialba, Costa Rica, September 25-27, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:18857572024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Crespo-Mariño, Juan Luis. editor. (orcid)0000-0002-2716-4107 Meneses-Rojas, Esteban. editor. SpringerLink (Online service)<br/>Yer Numarası TK7885 -7895<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-41005-6">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Exploitation of Fine-Grain Parallelisment://SD_ILS/0/SD_ILS:19276722024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Böckle, Günter. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.76 .C65<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0017665">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Model Checking, Synthesis, and Learning Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:18870112024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Olderog, Ernst-Rüdiger. editor. Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Yi, Wang. editor. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-91384-7">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Measurement, Control, and Communication Using IEEE 1588ent://SD_ILS/0/SD_ILS:18157002024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Eidson, John C. author. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/1-84628-251-9">Full Text Available From Springer Nature Engineering 2006 Packages</a><br/>Format: Electronic Resources<br/>Frontier Computing Theory, Technologies and Applicationsent://SD_ILS/0/SD_ILS:18830252024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Hung, Jason C. editor. Yen, Neil Y. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)<br/>Yer Numarası TK5105.5 -5105.9<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-10-0539-8">Full Text Available From Springer Nature Computer Science 2016 Packages</a><br/>Format: Electronic Resources<br/>Flying Insects and Robotsent://SD_ILS/0/SD_ILS:18175882024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Floreano, Dario. editor. Zufferey, Jean-Christophe. editor. Srinivasan, Mandyam V. editor. Ellington, Charlie. editor. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-89393-6">Full Text Available From Springer Nature Engineering 2010 Packages</a><br/>Format: Electronic Resources<br/>Interfacing with C++ Programming Real-World Applicationsent://SD_ILS/0/SD_ILS:18157422024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Katupitiya, Jayantha. author. Bentley, Kim. author. SpringerLink (Online service)<br/>Yer Numarası TK7800 -8360<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-33581-1">Full Text Available From Springer Nature Engineering 2006 Packages</a><br/>Format: Electronic Resources<br/>Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programmingent://SD_ILS/0/SD_ILS:18861382024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Kormanyos, Christopher. author. SpringerLink (Online service)<br/>Yer Numarası QA76.5 -.73<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-62996-3">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:18843672024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-4333-4145 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 SpringerLink (Online service)<br/>Yer Numarası QA76.76 .C65<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-12274-4">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programmingent://SD_ILS/0/SD_ILS:18841572024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Kormanyos, Christopher. author. SpringerLink (Online service)<br/>Yer Numarası QA76.5 -.73<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-56718-0">Full Text Available From Springer Nature Computer Science 2018 Packages</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part IIent://SD_ILS/0/SD_ILS:18462152024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Biere, Armin. editor. (orcid)0000-0001-7170-9242 Parker, David. editor. (orcid)0000-0003-4137-8862 SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-45237-7">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Accelerator Programming Using Directives 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:18460222024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 Bhalachandra, Sridutt. editor. (orcid)0000-0003-1084-5683 SpringerLink (Online service)<br/>Yer Numarası QA76.76 .C65<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-49943-3">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Fundamentals of Computation Theory International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedingsent://SD_ILS/0/SD_ILS:19261642024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Csirik, Janos. editor. Gecseg, Ferenc. editor. Demetrovics, Janos. editor. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-51498-8">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedingsent://SD_ILS/0/SD_ILS:18462172024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Wehrheim, Heike. editor. (orcid)0000-0002-2385-7512 Cabot, Jordi. editor. (orcid)0000-0003-2418-2489 SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-45234-6">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Cloud Computing and Services Science 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:18853122024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Muñoz, Víctor Méndez. editor. Ferguson, Donald. editor. Helfert, Markus. editor. Pahl, Claus. editor. (orcid)0000-0002-9049-212X SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-29193-8">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>Euro-Par 2020: Parallel Processing 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020, Proceedingsent://SD_ILS/0/SD_ILS:18461442024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Malawski, Maciej. editor. (orcid)0000-0001-6005-0243 Rzadca, Krzysztof. editor. (orcid)0000-0002-4176-853X SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-57675-2">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Formal Techniques for Safety-Critical Systems 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:18855042024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Hasan, Osman. editor. (orcid)0000-0003-2562-2669 Mallet, Frédéric. editor. (orcid)0000-0002-9088-9821 SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-46902-3">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Job Scheduling Strategies for Parallel Processing 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papersent://SD_ILS/0/SD_ILS:18867532024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Cirne, Walfredo. editor. Rodrigo, Gonzalo P. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-88224-2">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Flight Systems and Control A Practical Approachent://SD_ILS/0/SD_ILS:18112512024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Ng, Tian Seng. author. SpringerLink (Online service)<br/>Yer Numarası TL1 -4050<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-10-8721-9">Full Text Available From Springer Nature Engineering 2018 Packages</a><br/>Format: Electronic Resources<br/>Structured Object-Oriented Formal Language and Method 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papersent://SD_ILS/0/SD_ILS:18866922024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Xue, Jinyun. editor. Nagoya, Fumiko. editor. Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-77474-5">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Automated Reasoning with Analytic Tableaux and Related Methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedingsent://SD_ILS/0/SD_ILS:18863242024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Das, Anupam. editor. Negri, Sara. editor. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-86059-2">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Stabilization, Safety, and Security of Distributed Systems 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedingsent://SD_ILS/0/SD_ILS:18869362024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Johnen, Colette. editor. (orcid)0000-0001-7170-4521 Schiller, Elad Michael. editor. (orcid)0000-0003-3258-3696 Schmid, Stefan. editor. (orcid)0000-0002-7798-1711 SpringerLink (Online service)<br/>Yer Numarası TK5105.5 -5105.9<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-91081-5">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Computational Intelligence and Optimization Methods for Control Engineeringent://SD_ILS/0/SD_ILS:18935032024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Blondin, Maude Josée. editor. Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X Sanchis Sáez, Javier. editor. SpringerLink (Online service)<br/>Yer Numarası QA402.5 -402.6<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-25446-9">Full Text Available From Springer Nature Mathematics and Statistics 2019 Packages</a><br/>Format: Electronic Resources<br/>Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:18451682024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Großmann, Jürgen. editor. Felderer, Michael. editor. Seehusen, Fredrik. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-57858-3">Full Text Available From Springer Nature Computer Science 2017 Packages</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing - SAT 2020 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedingsent://SD_ILS/0/SD_ILS:18461182024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Pulina, Luca. editor. (orcid)0000-0003-0258-3222 Seidl, Martina. editor. (orcid)0000-0002-3267-4494 SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-51825-7">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Testing and Validation of Computer Simulation Models Principles, Methods and Applicationsent://SD_ILS/0/SD_ILS:18827052024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Murray-Smith, David J. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .C65<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-15099-4">Full Text Available From Springer Nature Computer Science 2015 Packages</a><br/>Format: Electronic Resources<br/>Human Activity Sensing Corpus and Applicationsent://SD_ILS/0/SD_ILS:18844232024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Kawaguchi, Nobuo. editor. Nishio, Nobuhiko. editor. Roggen, Daniel. editor. Inoue, Sozo. editor. Pirttikangas, Susanna. editor.<br/>Yer Numarası QA76.9 .U83<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-13001-5">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>Microelectronic Systems Circuits, Systems and Applicationsent://SD_ILS/0/SD_ILS:18808232024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Heuberger, Albert. editor. Elst, Günter. editor. Hanke, Randolf. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.5 -.73<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-23071-4">Full Text Available From Springer Nature Computer Science 2011 Packages</a><br/>Format: Electronic Resources<br/>Embedded Microcontroller Interfacing Designing Integrated Projectsent://SD_ILS/0/SD_ILS:18175352024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Sen Gupta, Gourab. author. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-13636-8">Full Text Available From Springer Nature Engineering 2010 Packages</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedingsent://SD_ILS/0/SD_ILS:18862292024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Dima, Catalin. editor. Shirmohammadi, Mahsa. editor. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-85037-1">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:18449392024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Fantechi, Alessandro. editor. Lecomte, Thierry. editor. (orcid)0000-0001-8977-4827 Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-68499-4">Full Text Available From Springer Nature Computer Science 2017 Packages</a><br/>Format: Electronic Resources<br/>Scientific Computation with Automatic Result Verificationent://SD_ILS/0/SD_ILS:19230562024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Kulisch, Ulrich. editor. Stetter, Hans J. editor. SpringerLink (Online service)<br/>Yer Numarası QA297 -299.4<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-7091-6957-5">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Transactions on High-Performance Embedded Architectures and Compilers Vent://SD_ILS/0/SD_ILS:18852652024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar 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)<br/>Yer Numarası QA76.9 .C62<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-58834-5">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedingsent://SD_ILS/0/SD_ILS:18461572024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Jansen, Nils. editor. (orcid)0000-0003-1318-8973 SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-57628-8">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Introduction to the Theory of Radiopolarimetric Navigation Systemsent://SD_ILS/0/SD_ILS:18135942024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Kozlov A.I. author. Logvin A.I. author. Sarychev V.A. author. Shatrakov Y.G. author. Zavalishin O.I. author.<br/>Yer Numarası TK5103.2 -.4885<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-13-8395-3">Full Text Available From Springer Nature Engineering 2020 Packages</a><br/>Format: Electronic Resources<br/>VLSI-SoC: New Technology Enabler 27th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2019, Cusco, Peru, October 6-9, 2019, Revised and Extended Selected Papersent://SD_ILS/0/SD_ILS:18857212024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Metzler, Carolina. editor. (orcid)0000-0001-8817-8273 Gaillardon, Pierre-Emmanuel. editor. (orcid)0000-0003-3634-3999 De Micheli, Giovanni. editor. (orcid)0000-0002-7827-3215 Silva-Cardenas, Carlos. editor. (orcid)0000-0003-4653-0915 Reis, Ricardo. editor. (orcid)0000-0001-5781-5858<br/>Yer Numarası TK7885 -7895<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-53273-4">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Information Security Applications 22nd International Conference, WISA 2021, Jeju Island, South Korea, August 11-13, 2021, Revised Selected Papersent://SD_ILS/0/SD_ILS:18868572024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Kim, Hyoungshick. editor. (orcid)0000-0002-1605-3866 SpringerLink (Online service)<br/>Yer Numarası QA76.9 .A25<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-89432-0">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Applied and Computational Control, Signals, and Circuits Volume 1ent://SD_ILS/0/SD_ILS:19184792024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Datta, Biswa N. editor. SpringerLink (Online service)<br/>Yer Numarası TK1 -9971<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-0571-5">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Distributed Embedded Control Systems Improving Dependability with Coherent Designent://SD_ILS/0/SD_ILS:18166122024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Colnaric, Matjaž. author. Verber, Domen. author. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-84800-052-0">Full Text Available From Springer Nature Engineering 2008 Packages</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing - SAT 2021 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedingsent://SD_ILS/0/SD_ILS:18861002024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Li, Chu-Min. editor. (orcid)0000-0002-6886-8434 Manyà, Felip. editor. (orcid)0000-0002-8366-1458 SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-80223-3">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>STACS 88 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedingsent://SD_ILS/0/SD_ILS:19255242024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Cori, Robert. editor. Wirsing, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .S88<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0035825">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedingsent://SD_ILS/0/SD_ILS:18862362024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Habli, Ibrahim. editor. (orcid)0000-0003-2736-8238 Sujan, Mark. editor. (orcid)0000-0001-6895-946X Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Yer Numarası TK7885 -7895<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-83903-1">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Reversible Computation 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedingsent://SD_ILS/0/SD_ILS:18867812024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Yamashita, Shigeru. editor. (orcid)0000-0002-2279-4644 Yokoyama, Tetsuo. editor. (orcid)0000-0002-7677-143X SpringerLink (Online service)<br/>Yer Numarası QA76.9 .L63<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-79837-6">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedingsent://SD_ILS/0/SD_ILS:19260442024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Kumar, Ramayya. editor. Kropf, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-59047-1">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>The BOXES Methodology Black Box Dynamic Controlent://SD_ILS/0/SD_ILS:18188172024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Russell, David W. author. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-84996-528-6">Full Text Available From Springer Nature Engineering 2012 Packages</a><br/>Format: Electronic Resources<br/>Smart Card Research and Advanced Applications 18th International Conference, CARDIS 2019, Prague, Czech Republic, November 11-13, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:18460002024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Belaïd, Sonia. editor. Güneysu, Tim. editor. (orcid)0000-0002-3293-4989 SpringerLink (Online service)<br/>Yer Numarası QA268<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-42068-0">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Logic Synthesis for Compositional Microprogram Control Unitsent://SD_ILS/0/SD_ILS:18166702024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)<br/>Yer Numarası TK1 -9971<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-69285-0">Full Text Available From Springer Nature Engineering 2008 Packages</a><br/>Format: Electronic Resources<br/>Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3-5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:18851712024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Polian, Ilia. editor. (orcid)0000-0002-6563-2725 Stöttinger, Marc. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .A25<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-16350-1">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>Smart Grid and Innovative Frontiers in Telecommunications 5th EAI International Conference, SmartGIFT 2020, Chicago, USA, December 12, 2020, Proceedingsent://SD_ILS/0/SD_ILS:18867742024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Cheng, Maggie. editor. (orcid)0000-0003-1823-4043 Yu, Peng. editor. Hong, Yuan. editor. (orcid)0000-0003-4095-4506 Jia, Huibin. editor. (orcid)0000-0002-5809-2572 SpringerLink (Online service)<br/>Yer Numarası TK5105.5 -5105.9<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-73562-3">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedingsent://SD_ILS/0/SD_ILS:18402262024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Kaeli, David. editor. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-93799-9">Full Text Available From Springer Nature Computer Science 2009 Packages</a><br/>Format: Electronic Resources<br/>Computer Engineering and Technology 23rd CCF Conference, NCCET 2019, Enshi, China, August 1-2, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:18851452024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhu, Zhenzhen. editor. SpringerLink (Online service)<br/>Yer Numarası TK7895 .M5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-15-1850-8">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>Software Technologies 15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papersent://SD_ILS/0/SD_ILS:18870962024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. Fill, Hans-Georg. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-83007-6">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988ent://SD_ILS/0/SD_ILS:19281582024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Bakker, Jacobus W. de. editor. Roever, Willem-Paul de. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.6 -76.66<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0013019">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of his 75th Birthdayent://SD_ILS/0/SD_ILS:18416912024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Jones, Cliff B. editor. Lloyd, John L. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.17<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-24541-1">Full Text Available From Springer Nature Computer Science 2011 Packages</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part Ient://SD_ILS/0/SD_ILS:18462142024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Biere, Armin. editor. (orcid)0000-0001-7170-9242 Parker, David. editor. (orcid)0000-0003-4137-8862 SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-45190-5">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:18459802024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931 Schneider, Kurt. editor. Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Amasaki, Sousuke. editor. Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-03673-7">Full Text Available From Springer Nature Computer Science 2018 Packages</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedingsent://SD_ILS/0/SD_ILS:18463912024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Casimiro, António. editor. (orcid)0000-0002-5522-5739 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 Ferreira, Pedro. editor. (orcid)0000-0003-2369-0115 SpringerLink (Online service)<br/>Yer Numarası TK7885 -7895<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-54549-9">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing - ICTAC 2021 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedingsent://SD_ILS/0/SD_ILS:18861522024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Cerone, Antonio. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-85315-0">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedingsent://SD_ILS/0/SD_ILS:18863882024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Henglein, Fritz. editor. Shoham, Sharon. editor. (orcid)0000-0002-7226-3526 Vizel, Yakir. editor. (orcid)0000-0002-5655-1667 SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-67067-2">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Selected Areas in Cryptography - SAC 2016 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:18449472024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Avanzi, Roberto. editor. Heys, Howard. editor. SpringerLink (Online service)<br/>Yer Numarası QA268<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-69453-5">Full Text Available From Springer Nature Computer Science 2017 Packages</a><br/>Format: Electronic Resources<br/>Body Sensor Networksent://SD_ILS/0/SD_ILS:18794032024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Yang, Guang-Zhong. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .U83<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/1-84628-484-8">Full Text Available From Springer Nature Computer Science 2006 Packages</a><br/>Format: Electronic Resources<br/>Hardware Specification, Verification and Synthesis: Mathematical Aspects Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedingsent://SD_ILS/0/SD_ILS:19222892024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Leeser, Miriam. editor. Brown, Geoffrey. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .S88<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/0-387-97226-9">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Advanced Computer Architecture 13th Conference, ACA 2020, Kunming, China, August 13-15, 2020, Proceedingsent://SD_ILS/0/SD_ILS:18860162024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Dong, Dezun. editor. Gong, Xiaoli. editor. (orcid)0000-0002-9836-558X Li, Cunlu. editor. Li, Dongsheng. editor. Wu, Junjie. editor.<br/>Yer Numarası TK7895 .M5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-15-8135-9">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Radio Navigation Systems for Airports and Airwaysent://SD_ILS/0/SD_ILS:18125902024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Skrypnik, Oleg Nicolaevich. author. SpringerLink (Online service)<br/>Yer Numarası TL1 -4050<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-13-7201-8">Full Text Available From Springer Nature Engineering 2019 Packages</a><br/>Format: Electronic Resources<br/>Supercomputing 7th Russian Supercomputing Days, RuSCDays 2021, Moscow, Russia, September 27-28, 2021, Revised Selected Papersent://SD_ILS/0/SD_ILS:18871512024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)<br/>Yer Numarası QA76.5 -.73<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-92864-3">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedingsent://SD_ILS/0/SD_ILS:18862372024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Habli, Ibrahim. editor. (orcid)0000-0003-2736-8238 Sujan, Mark. editor. (orcid)0000-0001-6895-946X Gerasimou, Simos. editor. (orcid)0000-0002-2706-5272 Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121<br/>Yer Numarası TK7885 -7895<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-83906-2">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Cyber Physical Systems. Model-Based Design 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:18461872024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106 Edin Grimheden, Martin. editor. (orcid)0000-0003-3699-5049 Taha, Walid. editor. (orcid)0000-0003-3160-9188 SpringerLink (Online service)<br/>Yer Numarası QA76.76 .A65<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-41131-2">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>VLSI-SoC: Design Trends 28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020, Salt Lake City, UT, USA, October 6-9, 2020, Revised and Extended Selected Papersent://SD_ILS/0/SD_ILS:18862192024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Calimera, Andrea. editor. (orcid)0000-0001-5881-3811 Gaillardon, Pierre-Emmanuel. editor. (orcid)0000-0003-3634-3999 Korgaonkar, Kunal. editor. (orcid)0000-0002-9078-2944 Kvatinsky, Shahar. editor. (orcid)0000-0001-7277-7271 Reis, Ricardo. editor. (orcid)0000-0001-5781-5858<br/>Yer Numarası TK7885 -7895<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-81641-4">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Model Identification Selected Approachesent://SD_ILS/0/SD_ILS:19272232024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Hellendoorn, Hans. editor. Driankov, Dimiter. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .C65<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-60767-7">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Trends in Functional Programming 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papersent://SD_ILS/0/SD_ILS:18463902024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Byrski, Aleksander. editor. (orcid)0000-0001-6317-7012 Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)<br/>Yer Numarası QA76.6 -76.66<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-57761-2">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedingsent://SD_ILS/0/SD_ILS:18460102024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Panda, Dhabaleswar K. editor. SpringerLink (Online service)<br/>Yer Numarası TK7885 -7895<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-48842-0">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Supercomputing 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25-29, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:18845492024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Torres, Moisés. editor. (orcid)0000-0003-4877-3443 Klapp, Jaime. editor. (orcid)0000-0003-1828-9183 SpringerLink (Online service)<br/>Yer Numarası TK5105.5 -5105.9<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-38043-4">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>Principles of Radio Navigation for Ground and Ship-Based Aircraftsent://SD_ILS/0/SD_ILS:18128892024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Sauta O.I. author. Shatrakov A.Y. author. Shatrakov Y.G. author. Zavalishin O.I. author. SpringerLink (Online service)<br/>Yer Numarası TK5103.2 -.4885<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-13-8293-2">Full Text Available From Springer Nature Engineering 2019 Packages</a><br/>Format: Electronic Resources<br/>Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:18849862024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106 Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)<br/>Yer Numarası QA76.9 .C65<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-23703-5">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedingsent://SD_ILS/0/SD_ILS:18869302024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Salaün, Gwen. editor. Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-90636-8">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedingsent://SD_ILS/0/SD_ILS:18462652024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-63461-2">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:18844432024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. (orcid)0000-0002-3545-1392 SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-35540-1">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>Logic Synthesis for FSM-Based Control Unitsent://SD_ILS/0/SD_ILS:18172612024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-04309-3">Full Text Available From Springer Nature Engineering 2009 Packages</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedingsent://SD_ILS/0/SD_ILS:18460022024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Müller, Peter. editor. (orcid)0000-0001-7001-2566 SpringerLink (Online service)<br/>Yer Numarası QA76.76 .C65<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-44914-8">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:18462552024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Camara, Javier. editor. Steffen, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-57506-9">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Computer Security ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:18457632024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596<br/>Yer Numarası QA76.9 .A25<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-72817-9">Full Text Available From Springer Nature Computer Science 2018 Packages</a><br/>Format: Electronic Resources<br/>Body Sensor Networksent://SD_ILS/0/SD_ILS:18819892024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Yang, Guang-Zhong. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .U83<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4471-6374-9">Full Text Available From Springer Nature Computer Science 2014 Packages</a><br/>Format: Electronic Resources<br/>A Pipelined Multi-Core Machine with Operating System Support Hardware Implementation and Correctness Proofent://SD_ILS/0/SD_ILS:18462232024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Lutsyk, Petro. author. Oberhauser, Jonas. author. Paul, Wolfgang J. author. SpringerLink (Online service)<br/>Yer Numarası QA76.6 -76.66<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-43243-0">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:18454012024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-99130-6">Full Text Available From Springer Nature Computer Science 2018 Packages</a><br/>Format: Electronic Resources<br/>Air Traffic Control Automated Systemsent://SD_ILS/0/SD_ILS:18131842024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Bestugin A.R. author. Eshenko A.A. author. Filin A.D. author. Plyasovskikh A.P. author. Shatrakov A.Y. author.<br/>Yer Numarası TL1 -4050<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-13-9386-0">Full Text Available From Springer Nature Engineering 2020 Packages</a><br/>Format: Electronic Resources<br/>Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedingsent://SD_ILS/0/SD_ILS:18849372024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153 Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177 Katsaros, Panagiotis. editor. (orcid)0000-0002-4309-5295 Bozzano, Marco. editor. (orcid)0000-0002-4135-103X SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-32872-6">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing - ICTAC 2020 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedingsent://SD_ILS/0/SD_ILS:18463602024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Pun, Violet Ka I. editor. (orcid)0000-0002-8763-5548 Stolz, Volker. editor. (orcid)0000-0002-1031-6936 Simao, Adenilso. editor. (orcid)0000-0002-1454-2607 SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-64276-1">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Practical Formal Methods for Hardware Designent://SD_ILS/0/SD_ILS:19278602024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Delgado Kloos, Carlos. editor. Damm, Werner. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .S88<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-60641-0">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Development of Navigation Technology for Flight Safetyent://SD_ILS/0/SD_ILS:18136772024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Baburov S.V. author. Bestugin A.R. author. Galyamov A.M. author. Sauta O.I. author. Shatrakov Y.G. author.<br/>Yer Numarası TL1 -4050<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-13-8375-5">Full Text Available From Springer Nature Engineering 2020 Packages</a><br/>Format: Electronic Resources<br/>Legal Programming Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyondent://SD_ILS/0/SD_ILS:18790352024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Subirana, Brian. author. Bain, Malcolm. author. SpringerLink (Online service)<br/>Yer Numarası K564 .C6<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b101542">Full Text Available From Springer Nature Computer Science 2005 Packages</a><br/>Format: Electronic Resources<br/>Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23-24, 2018, Proceedingsent://SD_ILS/0/SD_ILS:18453672024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Fan, Junfeng. editor. Gierlichs, Benedikt. editor. (orcid)0000-0002-5866-1990 SpringerLink (Online service)<br/>Yer Numarası QA76.9 .A25<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-89641-0">Full Text Available From Springer Nature Computer Science 2018 Packages</a><br/>Format: Electronic Resources<br/>Design of Embedded Control Systemsent://SD_ILS/0/SD_ILS:18152702024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Adamski, Marian Andrzej. editor. Karatkevich, Andrei. editor. Wegrzyn, Marek. editor. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/0-387-28327-7">Full Text Available From Springer Nature Engineering 2005 Packages</a><br/>Format: Electronic Resources<br/>Reliability and Safety Assessment of Dynamic Process Systemsent://SD_ILS/0/SD_ILS:19213532024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Aldemir, Tunc. editor. Siu, Nathan O. editor. Mosleh, Ali. editor. Cacciabue, P.Carlo. editor. Göktepe, B.Gül. editor.<br/>Yer Numarası TH9701 -9745<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-03041-7">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Model and Data Engineering 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedingsent://SD_ILS/0/SD_ILS:18867122024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Attiogbé, Christian. editor. (orcid)0000-0002-7815-1752 Ben Yahia, Sadok. editor. (orcid)0000-0001-8939-8948 SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-78428-7">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Critical Information Infrastructures Security 11th International Conference, CRITIS 2016, Paris, France, October 10-12, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:18450462024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Havarneanu, Grigore. editor. Setola, Roberto. editor. Nassopoulos, Hypatia. editor. Wolthusen, Stephen. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .A25<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-71368-7">Full Text Available From Springer Nature Computer Science 2017 Packages</a><br/>Format: Electronic Resources<br/>Constrained Control and Estimation An Optimisation Approachent://SD_ILS/0/SD_ILS:18153972024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Goodwin, Graham. author. Seron, María M. author. de Doná, José A. author. SpringerLink (Online service)<br/>Yer Numarası T55.4 -60.8<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b138145">Full Text Available From Springer Nature Engineering 2005 Packages</a><br/>Format: Electronic Resources<br/>Constructive Side-Channel Analysis and Secure Design 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:18451432024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Guilley, Sylvain. editor. (orcid)0000-0002-5044-3534 SpringerLink (Online service)<br/>Yer Numarası QA76.9 .A25<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-64647-3">Full Text Available From Springer Nature Computer Science 2017 Packages</a><br/>Format: Electronic Resources<br/>ThinkQuest 2010 Proceedings of the First International Conference on Contours of Computing Technologyent://SD_ILS/0/SD_ILS:18809052024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Pise, S J. editor. SpringerLink (Online service)<br/>Yer Numarası QA268<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-81-8489-989-4">Full Text Available From Springer Nature Computer Science 2011 Packages</a><br/>Format: Electronic Resources<br/>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 Papersent://SD_ILS/0/SD_ILS:18850892024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar 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<br/>Yer Numarası TK7885 -7895<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-15663-3">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>Quantitative Measure for Discrete Event Supervisory Controlent://SD_ILS/0/SD_ILS:18791212024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Ray, Asok. editor. Phoha, Vir V. editor. Phoha, Shashi. editor. SpringerLink (Online service)<br/>Yer Numarası TK7885 -7895<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b103444">Full Text Available From Springer Nature Computer Science 2005 Packages</a><br/>Format: Electronic Resources<br/>Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedingsent://SD_ILS/0/SD_ILS:18844762024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Abramson, David. editor. (orcid)0000-0003-0441-4596 de Supinski, Bronis R. editor. SpringerLink (Online service)<br/>Yer Numarası TK7885 -7895<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-18645-6">Full Text Available From Springer Nature Computer Science 2019 Packages</a><br/>Format: Electronic Resources<br/>Data Management Technologies and Applications 9th International Conference, DATA 2020, Virtual Event, July 7-9, 2020, Revised Selected Papersent://SD_ILS/0/SD_ILS:18870982024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Hammoudi, Slimane. editor. Quix, Christoph. editor. Bernardino, Jorge. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .D3<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-83014-4">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Algorithms and Architectures for Parallel Processing 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part Ient://SD_ILS/0/SD_ILS:18941542024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)<br/>Yer Numarası QA71 -90<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-60245-1">Full Text Available From Springer Nature Mathematics and Statistics 2020 Packages</a><br/>Format: Electronic Resources<br/>Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications 4. Internationale GI/ITG/GMA-Fachtagung 4th International GI/ITG/GMA Conference Baden-Baden, 20.-22. September 1989, Proceedingsent://SD_ILS/0/SD_ILS:19243332024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Görke, Winfried. editor. Sörensen, Holger. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.6 -76.66<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-75002-1">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Correct Hardware Design and Verification Methods IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedingsent://SD_ILS/0/SD_ILS:19238952024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Milne, George J. editor. Pierre, Laurence. editor. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0021709">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aidsent://SD_ILS/0/SD_ILS:18174622024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar John, Karl Heinz. author. Tiegelkamp, Michael. author. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-12015-2">Full Text Available From Springer Nature Engineering 2010 Packages</a><br/>Format: Electronic Resources<br/>Correct Hardware Design and Verification Methods IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedingsent://SD_ILS/0/SD_ILS:19239082024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Camurati, Paolo Enrico. editor. Eveking, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .S88<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-60385-9">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Proceedings / Parcella 1988 Fourth International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, GDR, October 17-21, 1988ent://SD_ILS/0/SD_ILS:19250422024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Wolf, Gottfried. editor. Legendi, Tamas. editor. Schendel, Udo. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .S88<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-50647-0">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>The SECD Microprocessor A Verification Case Studyent://SD_ILS/0/SD_ILS:19200462024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Graham, Brian T. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-3576-8">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>The Design of a Microprocessorent://SD_ILS/0/SD_ILS:19254992024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Spruth, Wilhelm G. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .S88<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-74916-2">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Advances in Information Systems Science Volume 5ent://SD_ILS/0/SD_ILS:19562782024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Tou, Julius T. author. SpringerLink (Online service)<br/>Yer Numarası H1 -99<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-8246-5">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm 8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - September 3, 1998 Proceedingsent://SD_ILS/0/SD_ILS:19251152024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Hartenstein, Reiner W. editor. Keevallik, Andres. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .S88<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0055226">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Microprocessor-Based Control Systemsent://SD_ILS/0/SD_ILS:19217242024-09-20T02:23:27Z2024-09-20T02:23:27ZYazar Sinha, N.K. editor. SpringerLink (Online service)<br/>Yer Numarası TK1 -9971<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-4708-5">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>