Search Results for Control Structures and Microprogramming.

Data Compression in Digital Systems

2024-09-20T02:35:20Z

Yazar Hoffman, Roy. author. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Automatic Control and Computer Sciences

2024-09-20T02:35:20Z

Yazar Greitans, Modris. editor. Springer Journals SpringerLink Journals SpringerLink (Online service)
Yer Numarası XX(1984886.1)
Elektronik Erişim Full Text Available From SpringerLink Journals
Format: Electronic Resources

Testing and Diagnosis of Analog Circuits and Systems

2024-09-20T02:35:20Z

Yazar Liu, Ruey-wen. author. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Secrets of the Oracle Database

2024-09-20T02:35:20Z

Yazar Debes, Norbert. author. SpringerLink (Online service)
Yer Numarası QA76.9 .D3
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2009 Packages
Format: Electronic Resources

Pro Oracle Application Express

2024-09-20T02:35:20Z

Yazar Scott, John. author. Spendolini, Scott. author. SpringerLink (Online service)
Yer Numarası QA76.9 .D3
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2008 Packages
Format: Electronic Resources

Beginning DB2 From Novice to Professional

2024-09-20T02:35:20Z

Yazar Allen, Grant. author. SpringerLink (Online service)
Yer Numarası QA76.9 .D3
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2008 Packages
Format: Electronic Resources

Pro Full-Text Search in SQL Server 2008

2024-09-20T02:35:20Z

Yazar Cotter, Hilary. author. Coles, Michael. author. SpringerLink (Online service)
Yer Numarası QA76.9 .D3
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2009 Packages
Format: Electronic Resources

Pro T-SQL 2008 Programmer's Guide

2024-09-20T02:35:20Z

Yazar Coles, Michael. author. SpringerLink (Online service)
Yer Numarası QA76.9 .D3
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2008 Packages
Format: Electronic Resources

Pro SQL Server 2008 Relational Database Design and Implementation

2024-09-20T02:35:20Z

Yazar Davidson, Louis. author. Kline, Kevin. author. Klein, Scott. author. Windisch, Kurt. author. SpringerLink (Online service)
Yer Numarası QA76.9 .D3
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2008 Packages
Format: Electronic Resources

Theory and Design of Digital Computer Systems

2024-09-20T02:35:20Z

Yazar Lewin, T.R. author. Noakes, David L.G. author. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Expert Shell Scripting

2024-09-20T02:35:20Z

Yazar Peters, Ron. author. SpringerLink (Online service)
Yer Numarası QA76.76 .O62
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2009 Packages
Format: Electronic Resources

Pro (IBM) WebSphere Application Server 7 Internals

2024-09-20T02:35:20Z

Yazar Renouf, Colin. author. SpringerLink (Online service)
Yer Numarası QA76.73 .J38
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2009 Packages
Format: Electronic Resources

Cloud as a Service Understanding the Service Innovation Ecosystem

2024-09-20T02:35:20Z

Yazar Castro-Leon, Enrique. author. Harmon, Robert. author. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2016 Packages
Format: Electronic Resources

Microelectronics Manufacturing Diagnostics Handbook

2024-09-20T02:35:20Z

Yazar Landzberg, Abraham. author. SpringerLink (Online service)
Yer Numarası TS1 -2301
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Enterprise Mac Managed Preferences

2024-09-20T02:35:20Z

Yazar Marczak, Edward. author. Neagle, Greg. author. SpringerLink (Online service)
Yer Numarası QA76.8 .M3
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2010 Packages
Format: Electronic Resources

Embedded Firmware Solutions Development Best Practices for the Internet of Things

2024-09-20T02:35:20Z

Yazar Zimmer, Vincent. author. Sun, Jiming. author. Jones, Marc. author. Reinauer, Stefan. author. SpringerLink (Online service)
Yer Numarası TS171.57
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2015 Packages
Format: Electronic Resources

Practical Fashion Tech Wearable Technologies for Costuming, Cosplay, and Everyday

2024-09-20T02:35:20Z

Yazar Horvath, Joan. author. Hoge, Lyn. author. Cameron, Rich. author. SpringerLink (Online service)
Yer Numarası TS171.57
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2016 Packages
Format: Electronic Resources

A Tutorial Introduction to VHDL Programming

2024-09-20T02:35:20Z

Yazar Gazi, Orhan. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering 2019 Packages
Format: Electronic Resources

Pro RFID in BizTalk Server 2009

2024-09-20T02:35:20Z

Yazar Simms, Mark. author. Beckner, Mark. author. Venkatesh, Ram. author. SpringerLink (Online service)
Yer Numarası QA76.76 .M52
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2009 Packages
Format: Electronic Resources

P-Functions and Boolean Matrix Factorization A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms

2024-09-20T02:35:20Z

Yazar Thayse, A. author. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

VLSI Design: Circuits, Systems and Applications Select Proceedings of ICNETS2, Volume V

2024-09-20T02:35:20Z

Yazar Li, Jie. editor. Sankar, A Ravi. editor. Beulet, P Augusta Sophy. editor. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering 2018 Packages
Format: Electronic Resources

Building Your Next Big Thing with Google Cloud Platform A Guide for Developers and Enterprise Architects

2024-09-20T02:35:20Z

Yazar Ugia Gonzalez, Jose. author. Krishnan, S. P. T. author. SpringerLink (Online service)
Yer Numarası QA76.625
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2015 Packages
Format: Electronic Resources

Logic Synthesis and SOC Prototyping RTL Design using VHDL

2024-09-20T02:35:20Z

Yazar Taraate, Vaibbhav. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering 2020 Packages
Format: Electronic Resources

Emerging Technologies for Developing Countries Second EAI International Conference, AFRICATEK 2018, Cotonou, Benin, May 29-30, 2018, Proceedings

2024-09-20T02:35:20Z

Yazar Zitouni, Rafik. editor. Agueh, Max. editor. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

ASIC Design and Synthesis RTL Design Using Verilog

2024-09-20T02:35:20Z

Yazar Taraate, Vaibbhav. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering 2021 Packages
Format: Electronic Resources

Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog

2024-09-20T02:35:20Z

Yazar Taraate, Vaibbhav. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering 2019 Packages
Format: Electronic Resources

Pro Mapping in BizTalk Server 2009

2024-09-20T02:35:20Z

Yazar Dawson, Jim. author. Wainwright, John. author. SpringerLink (Online service)
Yer Numarası QA76.76 .M52
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2009 Packages
Format: Electronic Resources

MPEG Video Compression Standard

2024-09-20T02:35:20Z

Yazar Fogg, Chad. author. LeGall, Didier J. author. Mitchell, Joan L. author. Pennebaker, William B. author. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Analysis and Synthesis of Positive Systems Under ℓ1 and L1 Performance

2024-09-20T02:35:20Z

Yazar Chen, Xiaoming. author. SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Engineering 2017 Packages
Format: Electronic Resources

Classical and Modern Controls with Microcontrollers Design, Implementation and Applications

2024-09-20T02:35:20Z

Yazar Bai, Ying. author. Roth, Zvi S. author. SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2019 Packages
Format: Electronic Resources

Pro Ubuntu Server Administration

2024-09-20T02:35:20Z

Yazar van Vugt, Sander. author. SpringerLink (Online service)
Yer Numarası QA76.76 .O62
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2009 Packages
Format: Electronic Resources

Deploying Raspberry Pi in the Classroom

2024-09-20T02:35:20Z

Yazar Hart-Davis, Guy. author. SpringerLink (Online service)
Yer Numarası TS171.57
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2017 Packages
Format: Electronic Resources

Beginning Robotics Programming in Java with LEGO Mindstorms

2024-09-20T02:35:20Z

Yazar Lu, Wei. author. SpringerLink (Online service)
Yer Numarası TS171.57
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2016 Packages
Format: Electronic Resources

Asynchronous System-on-Chip Interconnect

2024-09-20T02:35:20Z

Yazar Bainbridge, John. author. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Informatics in Control, Automation and Robotics II

2024-09-20T02:35:20Z

Yazar Filipe, Joaquim. editor. Ferrier, Jean-Louis. editor. Cetto, Juan A. editor. Carvalho, Marina. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2007 Packages
Format: Electronic Resources

Beginning x64 Assembly Programming From Novice to AVX Professional

2024-09-20T02:35:20Z

Yazar Van Hoey, Jo. author. SpringerLink (Online service)
Yer Numarası QA76.76 .C65
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2019 Packages
Format: Electronic Resources

Theory of Control Systems Described by Differential Inclusions

2024-09-20T02:35:20Z

Yazar Han, Zhengzhi. author. Cai, Xiushan. author. Huang, Jun. author. SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Engineering 2016 Packages
Format: Electronic Resources

Informatics in Control, Automation and Robotics I

2024-09-20T02:35:20Z

Yazar Braz, José. editor. Araújo, Helder. editor. Vieira, Alves. editor. Encarnação, Bruno. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2006 Packages
Format: Electronic Resources

Control Flow and Data Flow: Concepts of Distributed Programming International Summer School

2024-09-20T02:35:20Z

Yazar Broy, Manfred. editor. SpringerLink (Online service)
Yer Numarası QA76.6 -76.66
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Multichip Module Technologies and Alternatives: The Basics

2024-09-20T02:35:20Z

Yazar Doane, Daryl Ann. author. Franzon, Paul. author. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Real Time Microcomputer Control of Industrial Processes

2024-09-20T02:35:20Z

Yazar Tzafestas, S.G. editor. Pal, J.K. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

SystemVerilog for Hardware Description RTL Design and Verification

2024-09-20T02:35:20Z

PLD Based Design with VHDL RTL Design, Synthesis and Implementation

2024-09-20T02:35:20Z

Yazar Taraate, Vaibbhav. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering 2017 Packages
Format: Electronic Resources

Microelectronics Packaging Handbook Semiconductor Packaging

2024-09-20T02:35:20Z

Yazar Tummala, R.R. author. Rymaszewski, Eugene J. author. Klopfenstein, Alan G. author. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Building Embedded Systems Programmable Hardware

2024-09-20T02:35:20Z

Yazar Gu, Changyi. author. SpringerLink (Online service)
Yer Numarası QA76.76 .C65
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2016 Packages
Format: Electronic Resources

Algorithm Portfolios Advances, Applications, and Challenges

2024-09-20T02:35:20Z

Yazar Souravlias, Dimitris. author. Parsopoulos, Konstantinos E. author. Kotsireas, Ilias S. author. Pardalos, Panos M. author. (orcid)0000-0003-2824-101X SpringerLink (Online service)
Yer Numarası T57.6 -57.97
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages
Format: Electronic Resources

Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms

2024-09-20T02:35:20Z

Yazar Trobec, Roman. author. Slivnik, Boštjan. author. Bulić, Patricio. author. Robič, Borut. author. SpringerLink (Online service)
Yer Numarası QA76.6 -76.66
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

EURASIP Journal on Embedded Systems

2024-09-20T02:35:20Z

Yazar Sousa, Leonel. editor. Springer Open Access Journals SpringerLink Journals SpringerLink (Online service)
Yer Numarası XX(1988352.1)
Elektronik Erişim Full Text Available From SpringerLink Open Access Journals
Format: Electronic Resources

Programming in HTML and PHP Coding for Scientists and Engineers

2024-09-20T02:35:20Z

Yazar Brooks, David R. author. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

Hands-on Experience with Altera FPGA Development Boards

2024-09-20T02:35:20Z

Yazar Parab, Jivan S. author. Gad, Rajendra S. author. Naik, G.M. author. SpringerLink (Online service)
Yer Numarası TK7800 -8360
Elektronik Erişim Full Text Available From Springer Nature Engineering 2018 Packages
Format: Electronic Resources

Prototyping of Concurrent Control Systems Implemented in FPGA Devices

2024-09-20T02:35:20Z

Yazar Wiśniewski, Remigiusz. author. SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Engineering 2017 Packages
Format: Electronic Resources

The Definitive Guide to SOA Oracle Service Bus

2024-09-20T02:35:20Z

Yazar Schorow, David. author. Davies, Jeff. author. Ray, Samrat. author. Rieber, David. author. SpringerLink (Online service)
Yer Numarası QA76.73 .J38
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2008 Packages
Format: Electronic Resources

Digital Controller Implementation and Fragility A Modern Perspective

2024-09-20T02:35:20Z

Yazar Istepanian, Robert. editor. Whidborne, James F. editor. SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Test Generation of Crosstalk Delay Faults in VLSI Circuits

2024-09-20T02:35:20Z

Yazar Jayanthy, S. author. Bhuvaneswari, M.C. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering 2019 Packages
Format: Electronic Resources

Digital Signal Processing with Field Programmable Gate Arrays

2024-09-20T02:35:20Z

Yazar Meyer-Baese, Uwe. author. SpringerLink (Online service)
Yer Numarası TK5102.9
Elektronik Erişim Full Text Available From Springer Nature Engineering 2014 Packages
Format: Electronic Resources

Cloud Computing, Big Data & Emerging Topics 9th Conference, JCC-BD&ET, La Plata, Argentina, June 22-25, 2021, Proceedings

2024-09-20T02:35:20Z

Yazar 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)
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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 Papers

2024-09-20T02:35:20Z

Yazar Becker, Jürgen. editor. De Oliveira Johann, Marcelo. editor. Reis, Ricardo. editor. (orcid)0000-0001-5781-5858 SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2011 Packages
Format: Electronic Resources

Fundamentals of Software Engineering 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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 Papers

2024-09-20T02:35:20Z

Yazar Ayala, Jose L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. (orcid)0000-0001-5781-5858 SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2012 Packages
Format: Electronic Resources

A Combined Data and Power Management Infrastructure For Small Satellites

2024-09-20T02:35:20Z

Yazar Eickhoff, Jens. editor. SpringerLink (Online service)
Yer Numarası TL1 -4050
Elektronik Erişim Full Text Available From Springer Nature Engineering 2013 Packages
Format: Electronic Resources

Digital Video: An Introduction to MPEG-2

2024-09-20T02:35:20Z

Yazar Haskell, Barry G. author. Puri, Atul. author. Netravali, Arun N. author. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Design of an Intelligent Embedded System for Condition Monitoring of an Industrial Robot

2024-09-20T02:35:20Z

Yazar Jaber, Alaa Abdulhady. author. SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Engineering 2017 Packages
Format: Electronic Resources

Digital Electronics for Musicians

2024-09-20T02:35:20Z

Yazar Drymonitis, Alexandros. author. SpringerLink (Online service)
Yer Numarası TS171.57
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2015 Packages
Format: Electronic Resources

Intelligent Engineering Informatics Proceedings of the 6th International Conference on FICTA

2024-09-20T02:35:20Z

Yazar Bhateja, Vikrant. editor. Coello Coello, Carlos A. editor. Satapathy, Suresh Chandra. editor. Pattnaik, Prasant Kumar. editor. SpringerLink (Online service)
Yer Numarası Q342
Elektronik Erişim Full Text Available From Springer Nature Engineering 2018 Packages
Format: Electronic Resources

Learn Electronics with Raspberry Pi Physical Computing with Circuits, Sensors, Outputs, and Projects

2024-09-20T02:35:20Z

Yazar Watkiss, Stewart. author. SpringerLink (Online service)
Yer Numarası TS171.57
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2016 Packages
Format: Electronic Resources

An Investigation into the Detection and Mitigation of Denial of Service (DoS) Attacks Critical Information Infrastructure Protection

2024-09-20T02:35:20Z

Yazar Raghavan, S.V. editor. Dawson, E. editor. SpringerLink (Online service)
Yer Numarası TK7887.5 -.8
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2011 Packages
Format: Electronic Resources

Neural Preprocessing and Control of Reactive Walking Machines Towards Versatile Artificial Perception-Action Systems

2024-09-20T02:35:20Z

Yazar Manoonpong, Poramate. author. SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2007 Packages
Format: Electronic Resources

Handbook of Electronics Manufacturing Engineering

2024-09-20T02:35:20Z

Yazar Matisoff, Bernie. author. SpringerLink (Online service)
Yer Numarası TS1 -2301
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Foundations of Programming Languages

2024-09-20T02:35:20Z

Yazar Lee, Kent D. author. SpringerLink (Online service)
Yer Numarası QA76.76 .C65
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

Java in Two Semesters Featuring JavaFX

2024-09-20T02:35:20Z

Yazar Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Yer Numarası QA76.76 .C65
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Mastering Media with the Raspberry Pi Media Centers, Music, High End Audio, Video, and Ultimate Movie Nights

2024-09-20T02:35:20Z

Yazar Roberts, Ralph. author. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2017 Packages
Format: Electronic Resources

Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings

2024-09-20T02:35:20Z

Yazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving

2024-09-20T02:35:20Z

Yazar Ross, Hans-Leo. author. SpringerLink (Online service)
Yer Numarası TL1 -483
Elektronik Erişim Full Text Available From Springer Nature Engineering 2016 Packages
Format: Electronic Resources

Understanding Control Flow Concurrent Programming Using μC++

2024-09-20T02:35:20Z

Yazar Buhr, Peter A. author. SpringerLink (Online service)
Yer Numarası QA76.76 .C65
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2016 Packages
Format: Electronic Resources

Advanced Thermal Design of Electronic Equipment

2024-09-20T02:35:20Z

Yazar Remsburg, Ralph. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Surface Mount Technology Principles and Practice

2024-09-20T02:35:20Z

Yazar Prasad, Ray. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Expanding Your Raspberry Pi Storage, printing, peripherals, and network connections for your Raspberry Pi

2024-09-20T02:35:20Z

Yazar Soper, Mark Edward. author. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2017 Packages
Format: Electronic Resources

Solder Joint Reliability Theory and Applications

2024-09-20T02:35:20Z

Yazar Lau, John H. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Microelectronics Packaging Handbook Technology Drivers Part I

2024-09-20T02:35:20Z

Yazar Tummala, R.R. author. Rymaszewski, Eugene J. author. Klopfenstein, Alan G. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Model-Driven Engineering and Software Development 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selić, Bran. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Applied Dynamics of Manipulation Robots Modelling, Analysis and Examples

2024-09-20T02:35:20Z

Yazar Vukobratovic, Miomir. author. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Applied Control of Manipulation Robots Analysis, Synthesis and Exercises

2024-09-20T02:35:20Z

Yazar Vukobratovic, Miomir. author. Stokic, Dragan. author. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Failure Modes and Mechanisms in Electronic Packages

2024-09-20T02:35:20Z

Yazar Singh, P. author. Viswanadham, Puligandla. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

The Mechanics of Solder Alloy Wetting and Spreading

2024-09-20T02:35:20Z

Yazar Hosking, Michael. author. Yost, Frederick G. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Optimal Design of Distributed Control and Embedded Systems

2024-09-20T02:35:20Z

Yazar Çela, Arben. author. Ben Gaid, Mongi. author. Li, Xu-Guang. author. Niculescu, Silviu-Iulian. author. SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Engineering 2014 Packages
Format: Electronic Resources

Fine Pitch Surface Mount Technology Quality, Design, and Manufacturing Techniques

2024-09-20T02:35:20Z

Yazar Marcoux, Phil. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

High Performance Computing 7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2-4, 2020, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar 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)
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers

2024-09-20T02:35:20Z

Yazar Lämmel, Ralf. editor. (orcid)0000-0001-9946-4363 Visser, Joost. editor. Saraiva, João. editor. (orcid)0000-0002-5686-7151 SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2008 Packages
Format: Electronic Resources

Robotic Vehicles: Systems and Technology

2024-09-20T02:35:20Z

Yazar Ng, Tian Seng. author. SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2021 Packages
Format: Electronic Resources

Concurrent Engineering and Design for Manufacture of Electronics Products

2024-09-20T02:35:20Z

Yazar Shina, Sammy G. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Euro-Par 2019: Parallel Processing Workshops Euro-Par 2019 International Workshops, Göttingen, Germany, August 26-30, 2019, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar 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.
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Data Access and Storage Management for Embedded Programmable Processors

2024-09-20T02:35:20Z

Yazar Catthoor, Francky. author. Danckaert, K. author. Kulkarni, K.K. author. Brockmeyer, E. author. Kjeldsberg, Per Gunnar. author.
Yer Numarası TA345 -345.5
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

The Engineer's Error Coding Handbook

2024-09-20T02:35:20Z

Yazar Houghton, A. author. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Microprocessors in Robotic and Manufacturing Systems

2024-09-20T02:35:20Z

Yazar Tzafestas, S.G. editor. SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

The Microarchitecture of Pipelined and Superscalar Computers

2024-09-20T02:35:20Z

Yazar Omondi, Amos R. author. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Parallel Computational Technologies 15th International Conference, PCT 2021, Volgograd, Russia, March 30 - April 1, 2021, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Yer Numarası QA76.9 .S88
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Intelligent Systems: Safety, Reliability and Maintainability Issues

2024-09-20T02:35:20Z

Yazar Kaynak, Okyay. editor. Honderd, Ger. editor. Grant, Edward. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

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 II

2024-09-20T02:35:20Z

Yazar Groote, Jan Friso. editor. (orcid)0000-0003-2196-6587 Larsen, Kim Guldstrand. editor. (orcid)0000-0002-5953-3384 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

A Combined Data and Power Management Infrastructure For Small Satellites

2024-09-20T02:35:20Z

Yazar Eickhoff, Jens. editor. SpringerLink (Online service)
Yer Numarası TL1 -4050
Elektronik Erişim Full Text Available From Springer Nature Physics and Astronomy 2021 Packages
Format: Electronic Resources

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 Papers

2024-09-20T02:35:20Z

Yazar Piguet, Christian. editor. Reis, Ricardo. editor. (orcid)0000-0001-5781-5858 Soudris, Dimitrios. editor. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2010 Packages
Format: Electronic Resources

On the Physical Security of Physically Unclonable Functions

2024-09-20T02:35:20Z

Yazar Tajik, Shahin. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering 2019 Packages
Format: Electronic Resources

Machine Learning Control - Taming Nonlinear Dynamics and Turbulence

2024-09-20T02:35:20Z

Yazar Duriez, Thomas. author. Brunton, Steven L. author. Noack, Bernd R. author. SpringerLink (Online service)
Yer Numarası TA357 -359
Elektronik Erişim Full Text Available From Springer Nature Engineering 2017 Packages
Format: Electronic Resources

Systems Modelling and Management First International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020, Proceedings

2024-09-20T02:35:20Z

Yazar Babur, Önder. editor. Denil, Joachim. editor. Vogel-Heuser, Birgit. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Large-Scale Disk Failure Prediction PAKDD 2020 Competition and Workshop, AI Ops 2020, February 7 - May 15, 2020, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar 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
Yer Numarası QA76.9 .D343
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Mathematical Modeling and Supercomputer Technologies 20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 - 27, 2020, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar 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)
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

The Use Case and Smart Grid Architecture Model Approach The IEC 62559-2 Use Case Template and the SGAM applied in various domains

2024-09-20T02:35:20Z

Yazar Gottschalk, Marion. author. Uslar, Mathias. author. Delfs, Christina. author. SpringerLink (Online service)
Yer Numarası TK1001 -1841
Elektronik Erişim Full Text Available From Springer Nature Energy 2017 Packages
Format: Electronic Resources

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

2024-09-20T02:35:20Z

Yazar 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)
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Getting Started with Tiva ARM Cortex M4 Microcontrollers A Lab Manual for Tiva LaunchPad Evaluation Kit

2024-09-20T02:35:20Z

Yazar Gadre, Dhananjay V. author. Gupta, Sarthak. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering 2018 Packages
Format: Electronic Resources

Networked Systems 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Schwarzmann, Alexander A. editor. (orcid)0000-0003-3041-1006 SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings

2024-09-20T02:35:20Z

Yazar 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)
Yer Numarası QA267 -268.5
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings

2024-09-20T02:35:20Z

Yazar Das, Vinu V. editor. Thankachan, Nessy. editor. Debnath, Narayan C. editor. SpringerLink (Online service)
Yer Numarası QA76.5 -.73
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2011 Packages
Format: Electronic Resources

Unmanned Rotorcraft Systems

2024-09-20T02:35:20Z

Yazar Cai, Guowei. author. Chen, Ben M. author. Lee, Tong Heng. author. (orcid)0000-0002-2785-516X SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Engineering 2011 Packages
Format: Electronic Resources

Real Time Control Engineering Systems And Automation

2024-09-20T02:35:20Z

Yazar Ng, Tian Seng. author. SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Engineering 2016 Packages
Format: Electronic Resources

Reflections on the History of Computing Preserving Memories and Sharing Stories

2024-09-20T02:35:20Z

Yazar Tatnall, Arthur. editor. SpringerLink (Online service)
Yer Numarası QA76.17
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2012 Packages
Format: Electronic Resources

Guide to RISC Processors for Programmers and Engineers

2024-09-20T02:35:20Z

Yazar Dandamudi, Sivarama P. author. SpringerLink (Online service)
Yer Numarası TK7895 .M5
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2005 Packages
Format: Electronic Resources

Accelerator Programming Using Directives 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings

2024-09-20T02:35:20Z

Yazar 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)
Yer Numarası QA76.76 .C65
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Parallel Computing Technologies 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13-18, 2021, Proceedings

2024-09-20T02:35:20Z

Yazar Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686 SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

LUCAS Associative Array Processor Design, Programming and Application Studies

2024-09-20T02:35:20Z

Yazar Fernstrom, Christer. author. Kruzela, Ivan. author. Svensson, Bertil. author. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Microelectronic Devices, Circuits and Systems Second International Conference, ICMDCS 2021, Vellore, India, February 11-13, 2021, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Arunachalam, V. editor. (orcid)0000-0002-7797-4749 Sivasankaran, K. editor. (orcid)0000-0001-7036-0165 SpringerLink (Online service)
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Industrial Applications of Holonic and Multi-Agent Systems 9th International Conference, HoloMAS 2019, Linz, Austria, August 26-29, 2019, Proceedings

2024-09-20T02:35:20Z

Yazar Mařík, Vladimír. editor. Kadera, Petr. editor. Rzevski, George. editor. Zoitl, Alois. editor. Anderst-Kotsis, Gabriele. editor.
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Computer Intensive Methods in Control and Signal Processing The Curse of Dimensionality

2024-09-20T02:35:20Z

Yazar Warwick, Kevin. author. Karny, Miroslav. author. SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Power Electronics and Instrumentation Engineering International Conference, PEIE 2010,Kochi, Kerala, India, September 7-9, 2010, Proceedings

2024-09-20T02:35:20Z

Yazar Das, Vinu V. editor. Stephen, Janahallal. editor. Thankachan, Nessy. editor. SpringerLink (Online service)
Yer Numarası QA76.5 -.73
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2010 Packages
Format: Electronic Resources

High Performance Computing Systems 19th Symposium, WSCAD 2018, São Paulo, Brazil, October 1-3, 2018, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar 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)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

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 I

2024-09-20T02:35:20Z

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

2024-09-20T02:35:20Z

Yazar Reis, Ricardo. editor. (orcid)0000-0001-5781-5858 Mooney, Vincent. editor. Hasler, Paul. editor. SpringerLink (Online service)
Yer Numarası QA76.6 -76.66
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2009 Packages
Format: Electronic Resources

Embedded System Technology 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Zhang, Xing. editor. Wu, Zhonghai. editor. Sha, Xingmian. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .A73
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2015 Packages
Format: Electronic Resources

Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Podelski, Andreas. editor. Taïani, François. editor. (orcid)0000-0002-9692-5678 SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Search-Based Software Engineering 12th International Symposium, SSBSE 2020, Bari, Italy, October 7-8, 2020, Proceedings

2024-09-20T02:35:20Z

Yazar Aleti, Aldeida. editor. Panichella, Annibale. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Logic Synthesis for Control Automata

2024-09-20T02:35:20Z

Yazar Baranov, Samary. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings

2024-09-20T02:35:20Z

Yazar Mařík, Vladimír. editor. Wahlster, Wolfgang. editor. Strasser, Thomas. editor. Kadera, Petr. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

High Performance Computing 6th Latin American Conference, CARLA 2019, Turrialba, Costa Rica, September 25-27, 2019, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Crespo-Mariño, Juan Luis. editor. (orcid)0000-0002-2716-4107 Meneses-Rojas, Esteban. editor. SpringerLink (Online service)
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Exploitation of Fine-Grain Parallelism

2024-09-20T02:35:20Z

Yazar Böckle, Günter. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .C65
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Model Checking, Synthesis, and Learning Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

2024-09-20T02:35:20Z

Yazar Olderog, Ernst-Rüdiger. editor. Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Yi, Wang. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Xue, Jinyun. editor. Nagoya, Fumiko. editor. Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Measurement, Control, and Communication Using IEEE 1588

2024-09-20T02:35:20Z

Yazar Eidson, John C. author. SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Engineering 2006 Packages
Format: Electronic Resources

Frontier Computing Theory, Technologies and Applications

2024-09-20T02:35:20Z

Yazar Hung, Jason C. editor. Yen, Neil Y. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2016 Packages
Format: Electronic Resources

Flying Insects and Robots

2024-09-20T02:35:20Z

Yazar Floreano, Dario. editor. Zufferey, Jean-Christophe. editor. Srinivasan, Mandyam V. editor. Ellington, Charlie. editor. SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Engineering 2010 Packages
Format: Electronic Resources

16-Bit-Microprocessor Systems Structure, Behavior, and Programming

2024-09-20T02:35:20Z

Yazar Flik, Thomas. author. Liebig, Hans. author. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Interfacing with C++ Programming Real-World Applications

2024-09-20T02:35:20Z

Yazar Katupitiya, Jayantha. author. Bentley, Kim. author. SpringerLink (Online service)
Yer Numarası TK7800 -8360
Elektronik Erişim Full Text Available From Springer Nature Engineering 2006 Packages
Format: Electronic Resources

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

2024-09-20T02:35:20Z

Yazar Kormanyos, Christopher. author. SpringerLink (Online service)
Yer Numarası QA76.5 -.73
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

2024-09-20T02:35:20Z

Yazar 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)
Yer Numarası QA76.76 .C65
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

2024-09-20T02:35:20Z

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 II

2024-09-20T02:35:20Z

Yazar Biere, Armin. editor. (orcid)0000-0001-7170-9242 Parker, David. editor. (orcid)0000-0003-4137-8862 SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Accelerator Programming Using Directives 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 Bhalachandra, Sridutt. editor. (orcid)0000-0003-1084-5683 SpringerLink (Online service)
Yer Numarası QA76.76 .C65
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Fundamentals of Computation Theory International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings

2024-09-20T02:35:20Z

Yazar Csirik, Janos. editor. Gecseg, Ferenc. editor. Demetrovics, Janos. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

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

2024-09-20T02:35:20Z

Yazar Wehrheim, Heike. editor. (orcid)0000-0002-2385-7512 Cabot, Jordi. editor. (orcid)0000-0003-2418-2489 SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Cloud Computing and Services Science 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Muñoz, Víctor Méndez. editor. Ferguson, Donald. editor. Helfert, Markus. editor. Pahl, Claus. editor. (orcid)0000-0002-9049-212X SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Euro-Par 2020: Parallel Processing 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020, Proceedings

2024-09-20T02:35:20Z

Yazar Malawski, Maciej. editor. (orcid)0000-0001-6005-0243 Rzadca, Krzysztof. editor. (orcid)0000-0002-4176-853X SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Hasan, Osman. editor. (orcid)0000-0003-2562-2669 Mallet, Frédéric. editor. (orcid)0000-0002-9088-9821 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Cirne, Walfredo. editor. Rodrigo, Gonzalo P. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Flight Systems and Control A Practical Approach

2024-09-20T02:35:20Z

Yazar Ng, Tian Seng. author. SpringerLink (Online service)
Yer Numarası TL1 -4050
Elektronik Erişim Full Text Available From Springer Nature Engineering 2018 Packages
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings

2024-09-20T02:35:20Z

Yazar Das, Anupam. editor. Negri, Sara. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedings

2024-09-20T02:35:20Z

Yazar 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)
Yer Numarası TK5105.5 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computational Intelligence and Optimization Methods for Control Engineering

2024-09-20T02:35:20Z

Yazar Blondin, Maude Josée. editor. Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X Sanchis Sáez, Javier. editor. SpringerLink (Online service)
Yer Numarası QA402.5 -402.6
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2019 Packages
Format: Electronic Resources

Architecture Design and Validation Methods

2024-09-20T02:35:20Z

Yazar Börger, Egon. editor. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

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 Papers

2024-09-20T02:35:20Z

Yazar Großmann, Jürgen. editor. Felderer, Michael. editor. Seehusen, Fredrik. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

Theory and Applications of Satisfiability Testing - SAT 2020 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

2024-09-20T02:35:20Z

Yazar Pulina, Luca. editor. (orcid)0000-0003-0258-3222 Seidl, Martina. editor. (orcid)0000-0002-3267-4494 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Testing and Validation of Computer Simulation Models Principles, Methods and Applications

2024-09-20T02:35:20Z

Yazar Murray-Smith, David J. author. SpringerLink (Online service)
Yer Numarası QA76.9 .C65
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2015 Packages
Format: Electronic Resources

Human Activity Sensing Corpus and Applications

2024-09-20T02:35:20Z

Yazar Kawaguchi, Nobuo. editor. Nishio, Nobuhiko. editor. Roggen, Daniel. editor. Inoue, Sozo. editor. Pirttikangas, Susanna. editor.
Yer Numarası QA76.9 .U83
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Microelectronic Systems Circuits, Systems and Applications

2024-09-20T02:35:20Z

Yazar Heuberger, Albert. editor. Elst, Günter. editor. Hanke, Randolf. editor. SpringerLink (Online service)
Yer Numarası QA76.5 -.73
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2011 Packages
Format: Electronic Resources

Embedded Microcontroller Interfacing Designing Integrated Projects

2024-09-20T02:35:20Z

Yazar Sen Gupta, Gourab. author. SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Engineering 2010 Packages
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings

2024-09-20T02:35:20Z

Yazar Dima, Catalin. editor. Shirmohammadi, Mahsa. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

2024-09-20T02:35:20Z

Yazar Fantechi, Alessandro. editor. Lecomte, Thierry. editor. (orcid)0000-0001-8977-4827 Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

Scientific Computation with Automatic Result Verification

2024-09-20T02:35:20Z

Yazar Kulisch, Ulrich. editor. Stetter, Hans J. editor. SpringerLink (Online service)
Yer Numarası QA297 -299.4
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Transactions on High-Performance Embedded Architectures and Compilers V

2024-09-20T02:35:20Z

Yazar Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)
Yer Numarası QA76.9 .C62
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings

2024-09-20T02:35:20Z

Yazar Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Jansen, Nils. editor. (orcid)0000-0003-1318-8973 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Introduction to the Theory of Radiopolarimetric Navigation Systems

2024-09-20T02:35:20Z

Yazar Kozlov A.I. author. Logvin A.I. author. Sarychev V.A. author. Shatrakov Y.G. author. Zavalishin O.I. author.
Yer Numarası TK5103.2 -.4885
Elektronik Erişim Full Text Available From Springer Nature Engineering 2020 Packages
Format: Electronic Resources

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 Papers

2024-09-20T02:35:20Z

Yazar 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
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Applied and Computational Control, Signals, and Circuits Volume 1

2024-09-20T02:35:20Z

Yazar Datta, Biswa N. editor. SpringerLink (Online service)
Yer Numarası TK1 -9971
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Information Security Applications 22nd International Conference, WISA 2021, Jeju Island, South Korea, August 11-13, 2021, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Kim, Hyoungshick. editor. (orcid)0000-0002-1605-3866 SpringerLink (Online service)
Yer Numarası QA76.9 .A25
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Distributed Embedded Control Systems Improving Dependability with Coherent Design

2024-09-20T02:35:20Z

Yazar Colnaric, Matjaž. author. Verber, Domen. author. SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Engineering 2008 Packages
Format: Electronic Resources

STACS 88 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings

2024-09-20T02:35:20Z

Yazar Cori, Robert. editor. Wirsing, Martin. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Theory and Applications of Satisfiability Testing - SAT 2021 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

2024-09-20T02:35:20Z

Yazar Li, Chu-Min. editor. (orcid)0000-0002-6886-8434 Manyà, Felip. editor. (orcid)0000-0002-8366-1458 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computer Safety, Reliability, and Security 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings

2024-09-20T02:35:20Z

Yazar 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)
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Reversible Computation 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings

2024-09-20T02:35:20Z

Yazar Yamashita, Shigeru. editor. (orcid)0000-0002-2279-4644 Yokoyama, Tetsuo. editor. (orcid)0000-0002-7677-143X SpringerLink (Online service)
Yer Numarası QA76.9 .L63
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings

2024-09-20T02:35:20Z

Yazar Kumar, Ramayya. editor. Kropf, Thomas. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

The BOXES Methodology Black Box Dynamic Control

2024-09-20T02:35:20Z

Yazar Russell, David W. author. SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Engineering 2012 Packages
Format: Electronic Resources

Smart Card Research and Advanced Applications 18th International Conference, CARDIS 2019, Prague, Czech Republic, November 11-13, 2019, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Belaïd, Sonia. editor. Güneysu, Tim. editor. (orcid)0000-0002-3293-4989 SpringerLink (Online service)
Yer Numarası QA268
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Logic Synthesis for Compositional Microprogram Control Units

2024-09-20T02:35:20Z

Yazar Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)
Yer Numarası TK1 -9971
Elektronik Erişim Full Text Available From Springer Nature Engineering 2008 Packages
Format: Electronic Resources

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

2024-09-20T02:35:20Z

Yazar Polian, Ilia. editor. (orcid)0000-0002-6563-2725 Stöttinger, Marc. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .A25
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Smart Grid and Innovative Frontiers in Telecommunications 5th EAI International Conference, SmartGIFT 2020, Chicago, USA, December 12, 2020, Proceedings

2024-09-20T02:35:20Z

Yazar 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)
Yer Numarası TK5105.5 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings

2024-09-20T02:35:20Z

Yazar Kaeli, David. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2009 Packages
Format: Electronic Resources

Computer Engineering and Technology 23rd CCF Conference, NCCET 2019, Enshi, China, August 1-2, 2019, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhu, Zhenzhen. editor. SpringerLink (Online service)
Yer Numarası TK7895 .M5
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Software Technologies 15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. Fill, Hans-Georg. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

2024-09-20T02:35:20Z

Yazar Bakker, Jacobus W. de. editor. Roever, Willem-Paul de. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)
Yer Numarası QA76.6 -76.66
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday

2024-09-20T02:35:20Z

Yazar Jones, Cliff B. editor. Lloyd, John L. editor. SpringerLink (Online service)
Yer Numarası QA76.17
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2011 Packages
Format: Electronic Resources

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 I

2024-09-20T02:35:20Z

Yazar Biere, Armin. editor. (orcid)0000-0001-7170-9242 Parker, David. editor. (orcid)0000-0003-4137-8862 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings

2024-09-20T02:35:20Z

Yazar 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
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Computer Safety, Reliability, and Security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings

2024-09-20T02:35:20Z

Yazar 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)
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2021 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings

2024-09-20T02:35:20Z

Yazar Cerone, Antonio. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings

2024-09-20T02:35:20Z

Yazar Henglein, Fritz. editor. Shoham, Sharon. editor. (orcid)0000-0002-7226-3526 Vizel, Yakir. editor. (orcid)0000-0002-5655-1667 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Selected Areas in Cryptography - SAC 2016 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Avanzi, Roberto. editor. Heys, Howard. editor. SpringerLink (Online service)
Yer Numarası QA268
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

Body Sensor Networks

2024-09-20T02:35:20Z

Yazar Yang, Guang-Zhong. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2006 Packages
Format: Electronic Resources

Hardware Specification, Verification and Synthesis: Mathematical Aspects Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings

2024-09-20T02:35:20Z

Yazar Leeser, Miriam. editor. Brown, Geoffrey. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Advanced Computer Architecture 13th Conference, ACA 2020, Kunming, China, August 13-15, 2020, Proceedings

2024-09-20T02:35:20Z

Yazar Dong, Dezun. editor. Gong, Xiaoli. editor. (orcid)0000-0002-9836-558X Li, Cunlu. editor. Li, Dongsheng. editor. Wu, Junjie. editor.
Yer Numarası TK7895 .M5
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Radio Navigation Systems for Airports and Airways

2024-09-20T02:35:20Z

Yazar Skrypnik, Oleg Nicolaevich. author. SpringerLink (Online service)
Yer Numarası TL1 -4050
Elektronik Erişim Full Text Available From Springer Nature Engineering 2019 Packages
Format: Electronic Resources

The Complexity of Simple Computer Architectures

2024-09-20T02:35:20Z

Yazar Müller, Silvia M. editor. Paul, Wolfgang J. editor. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Supercomputing 7th Russian Supercomputing Days, RuSCDays 2021, Moscow, Russia, September 27-28, 2021, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)
Yer Numarası QA76.5 -.73
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings

2024-09-20T02:35:20Z

Yazar 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
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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 Papers

2024-09-20T02:35:20Z

Yazar 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)
Yer Numarası QA76.76 .A65
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

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 Papers

2024-09-20T02:35:20Z

Yazar 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
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Fuzzy Model Identification Selected Approaches

2024-09-20T02:35:20Z

Yazar Hellendoorn, Hans. editor. Driankov, Dimiter. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .C65
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Trends in Functional Programming 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Byrski, Aleksander. editor. (orcid)0000-0001-6317-7012 Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)
Yer Numarası QA76.6 -76.66
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings

2024-09-20T02:35:20Z

Yazar Panda, Dhabaleswar K. editor. SpringerLink (Online service)
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

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

2024-09-20T02:35:20Z

Yazar Torres, Moisés. editor. (orcid)0000-0003-4877-3443 Klapp, Jaime. editor. (orcid)0000-0003-1828-9183 SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Principles of Radio Navigation for Ground and Ship-Based Aircrafts

2024-09-20T02:35:20Z

Yazar Sauta O.I. author. Shatrakov A.Y. author. Shatrakov Y.G. author. Zavalishin O.I. author. SpringerLink (Online service)
Yer Numarası TK5103.2 -.4885
Elektronik Erişim Full Text Available From Springer Nature Engineering 2019 Packages
Format: Electronic Resources

Passive and Active Structural Vibration Control in Civil Engineering

2024-09-20T02:35:20Z

Yazar Soong, T.T. editor. Costantinou, M.C. editor. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

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 Papers

2024-09-20T02:35:20Z

Yazar 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)
Yer Numarası QA76.9 .C65
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Formal Aspects of Component Software 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings

2024-09-20T02:35:20Z

Yazar Salaün, Gwen. editor. Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings

2024-09-20T02:35:20Z

Yazar Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Troubitsyna, Elena. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings

2024-09-20T02:35:20Z

Yazar Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. (orcid)0000-0002-3545-1392 SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Logic Synthesis for FSM-Based Control Units

2024-09-20T02:35:20Z

Yazar Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering 2009 Packages
Format: Electronic Resources

Nonlinear Control Systems An Introduction

2024-09-20T02:35:20Z

Yazar Isidori, Alberto. author. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

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

2024-09-20T02:35:20Z

Yazar Müller, Peter. editor. (orcid)0000-0001-7001-2566 SpringerLink (Online service)
Yer Numarası QA76.76 .C65
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Reliability and Safety Assessment of Dynamic Process Systems

2024-09-20T02:35:20Z

Yazar Aldemir, Tunc. editor. Siu, Nathan O. editor. Mosleh, Ali. editor. Cacciabue, P.Carlo. editor. Göktepe, B.Gül. editor.
Yer Numarası TH9701 -9745
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Software Engineering and Formal Methods SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Camara, Javier. editor. Steffen, Martin. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Computer Security ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar 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
Yer Numarası QA76.9 .A25
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Body Sensor Networks

2024-09-20T02:35:20Z

Yazar Yang, Guang-Zhong. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2014 Packages
Format: Electronic Resources

A Pipelined Multi-Core Machine with Operating System Support Hardware Implementation and Correctness Proof

2024-09-20T02:35:20Z

Yazar Lutsyk, Petro. author. Oberhauser, Jonas. author. Paul, Wolfgang J. author. SpringerLink (Online service)
Yer Numarası QA76.6 -76.66
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

2024-09-20T02:35:20Z

Yazar Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Air Traffic Control Automated Systems

2024-09-20T02:35:20Z

Yazar Bestugin A.R. author. Eshenko A.A. author. Filin A.D. author. Plyasovskikh A.P. author. Shatrakov A.Y. author.
Yer Numarası TL1 -4050
Elektronik Erişim Full Text Available From Springer Nature Engineering 2020 Packages
Format: Electronic Resources

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings

2024-09-20T02:35:20Z

Yazar 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)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2020 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings

2024-09-20T02:35:20Z

Yazar 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)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Practical Formal Methods for Hardware Design

2024-09-20T02:35:20Z

Yazar Delgado Kloos, Carlos. editor. Damm, Werner. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Development of Navigation Technology for Flight Safety

2024-09-20T02:35:20Z

Yazar Baburov S.V. author. Bestugin A.R. author. Galyamov A.M. author. Sauta O.I. author. Shatrakov Y.G. author.
Yer Numarası TL1 -4050
Elektronik Erişim Full Text Available From Springer Nature Engineering 2020 Packages
Format: Electronic Resources

Legal Programming Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond

2024-09-20T02:35:20Z

Yazar Subirana, Brian. author. Bain, Malcolm. author. SpringerLink (Online service)
Yer Numarası K564 .C6
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2005 Packages
Format: Electronic Resources

Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23-24, 2018, Proceedings

2024-09-20T02:35:20Z

Yazar Fan, Junfeng. editor. Gierlichs, Benedikt. editor. (orcid)0000-0002-5866-1990 SpringerLink (Online service)
Yer Numarası QA76.9 .A25
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Design of Embedded Control Systems

2024-09-20T02:35:20Z

Yazar Adamski, Marian Andrzej. editor. Karatkevich, Andrei. editor. Wegrzyn, Marek. editor. SpringerLink (Online service)
Yer Numarası TJ212 -225
Elektronik Erişim Full Text Available From Springer Nature Engineering 2005 Packages
Format: Electronic Resources

Model and Data Engineering 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings

2024-09-20T02:35:20Z

Yazar Attiogbé, Christian. editor. (orcid)0000-0002-7815-1752 Ben Yahia, Sadok. editor. (orcid)0000-0001-8939-8948 SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Critical Information Infrastructures Security 11th International Conference, CRITIS 2016, Paris, France, October 10-12, 2016, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Havarneanu, Grigore. editor. Setola, Roberto. editor. Nassopoulos, Hypatia. editor. Wolthusen, Stephen. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .A25
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

Constrained Control and Estimation An Optimisation Approach

2024-09-20T02:35:20Z

Yazar Goodwin, Graham. author. Seron, María M. author. de Doná, José A. author. SpringerLink (Online service)
Yer Numarası T55.4 -60.8
Elektronik Erişim Full Text Available From Springer Nature Engineering 2005 Packages
Format: Electronic Resources

Constructive Side-Channel Analysis and Secure Design 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Guilley, Sylvain. editor. (orcid)0000-0002-5044-3534 SpringerLink (Online service)
Yer Numarası QA76.9 .A25
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

ThinkQuest 2010 Proceedings of the First International Conference on Contours of Computing Technology

2024-09-20T02:35:20Z

Yazar Pise, S J. editor. SpringerLink (Online service)
Yer Numarası QA268
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2011 Packages
Format: Electronic Resources

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

2024-09-20T02:35:20Z

Yazar Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651 Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Sonza Reorda, Matteo. editor. (orcid)0000-0003-2899-7669 Ugurdag, H. Fatih. editor. (orcid)0000-0002-6256-0850 Monteiro, José. editor. (orcid)0000-0003-0603-2268
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

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

2024-09-20T02:35:20Z

Yazar Görke, Winfried. editor. Sörensen, Holger. editor. SpringerLink (Online service)
Yer Numarası QA76.6 -76.66
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Quantitative Measure for Discrete Event Supervisory Control

2024-09-20T02:35:20Z

Yazar Ray, Asok. editor. Phoha, Vir V. editor. Phoha, Shashi. editor. SpringerLink (Online service)
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2005 Packages
Format: Electronic Resources

Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings

2024-09-20T02:35:20Z

Yazar Abramson, David. editor. (orcid)0000-0003-0441-4596 de Supinski, Bronis R. editor. SpringerLink (Online service)
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Correct Hardware Design and Verification Methods IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings

2024-09-20T02:35:20Z

Yazar Milne, George J. editor. Pierre, Laurence. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Data Management Technologies and Applications 9th International Conference, DATA 2020, Virtual Event, July 7-9, 2020, Revised Selected Papers

2024-09-20T02:35:20Z

Yazar Hammoudi, Slimane. editor. Quix, Christoph. editor. Bernardino, Jorge. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .D3
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I

2024-09-20T02:35:20Z

Yazar Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)
Yer Numarası QA71 -90
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2020 Packages
Format: Electronic Resources

Dependable Computing - EDCC-1 First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings

2024-09-20T02:35:20Z

Yazar Echtle, Klaus. editor. Hammer, Dieter. editor. Powell, David. editor. SpringerLink (Online service)
Yer Numarası QA76.635
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources