Search Results for Logic design.

Contemporary logic design

2024-11-13T00:42:35Z

Yazar Katz, Randy H., 1955-
Yer Numarası TK7888.4 .K36 1994
ISBN 9780805327038
Format: Books

Computer logic design

2024-11-13T00:42:35Z

Yazar Mano, M. Morris, 1927-
Yer Numarası TK7868.S9 M275 1972
ISBN 9780131654723
Format: Books

Design of logic systems

2024-11-13T00:42:35Z

Yazar Lewin, Douglas.
Yer Numarası TK7868.S9 L397 1985
ISBN 9780442306069
Format: Books

Introduction to logic design

2024-11-13T00:42:35Z

Yazar Shiva, Sajjan G.
Yer Numarası TK7868.D5 S433 1998
ISBN 9780824700829
Elektronik Erişim Publisher description
Format: Books

CMOS Logic Circuit Design

2024-11-13T00:42:35Z

Yazar Uyemura, John P. author. SpringerLink (Online service)
Yer Numarası TK7800 -8360
ISBN 9780306475290
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Design of Logic Systems

2024-11-13T00:42:35Z

Yazar DOUGLAS LEWIN, DAVID PROTHEROE. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9781489968562
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Design of Reconfigurable Logic Controllers

2024-11-13T00:42:35Z

Yazar Karatkevich, Andrei. editor. Bukowiec, Arkadiusz. editor. Doligalski, Michał. editor. Tkacz, Jacek. editor. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9783319267258
Elektronik Erişim Full Text Available From Springer Nature Engineering 2016 Packages
Format: Electronic Resources

Logic and computer design fundamentals

2024-11-13T00:42:35Z

Yazar Mano, M. Morris, 1927- Kime, Charles R.
Yer Numarası TK7888.4 .M36 1997
ISBN 9780132067805
Format: Books

Logic Circuit Design Selected Methods

2024-11-13T00:42:35Z

Yazar Vingron, Shimon P. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9783642276576
Elektronik Erişim Full Text Available From Springer Nature Engineering 2012 Packages
Format: Electronic Resources

Artificial Intelligence in Logic Design

2024-11-13T00:42:35Z

Yazar Yanushkevich, Svetlana N. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9781402020759
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Logic and computer design fundamentals

2024-11-13T00:42:35Z

Yazar Mano, M. Morris, 1927- author. Kime, Charles R., author.
Yer Numarası TK7888.4 .M36 2001
ISBN 9780130314864
Format: Books

Introduction to digital logic design

2024-11-13T00:42:35Z

Yazar Hayes, John P. (John Patrick), 1944-
Yer Numarası TK7888.4 .H39 1993
ISBN 9780201154610
Format: Books

Digital logic system design handbook

2024-11-13T00:42:35Z

Yazar Digital Equipment Corporation. Logic Products Group.
Yer Numarası TK7888.4 .D523 1972
Format: Books

Design and Testing of Reversible Logic

2024-11-13T00:42:35Z

Yazar Singh, Ashutosh Kumar. editor. Fujita, Masahiro. editor. Mohan, Anand. editor. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9789811388217
Elektronik Erişim Full Text Available From Springer Nature Engineering 2020 Packages
Format: Electronic Resources

Computer Logic Design Principles and Applications

2024-11-13T00:42:35Z

Yazar Hsu, John Y. author. SpringerLink (Online service)
Yer Numarası TK7887.5 -.8
ISBN 9781461300472
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Logic design : an introduction to digital logic

2024-11-13T00:42:35Z

Yazar Wharton, Mike.
Yer Numarası TK7868.L6 W47 1994
ISBN 9780750621229
Format: Books

Trustworthy Hardware Design: Combinational Logic Locking Techniques

2024-11-13T00:42:35Z

Yazar Yasin, Muhammad. author. Rajendran, Jeyavijayan (JV). author. Sinanoglu, Ozgur. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9783030153342
Elektronik Erişim Full Text Available From Springer Nature Engineering 2020 Packages
Format: Electronic Resources

Towards a Design Flow for Reversible Logic

2024-11-13T00:42:35Z

Yazar Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9789048195794
Elektronik Erişim Full Text Available From Springer Nature Engineering 2010 Packages
Format: Electronic Resources

Design of Interconnection Networks for Programmable Logic

2024-11-13T00:42:35Z

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

Compact Representations for the Design of Quantum Logic

2024-11-13T00:42:35Z

Yazar Niemann, Philipp. author. Wille, Robert. author. SpringerLink (Online service)
Yer Numarası TK7874.887
ISBN 9783319637242
Elektronik Erişim Full Text Available From Springer Nature Physics and Astronomy 2017 Packages
Format: Electronic Resources

Introduction to Logic Circuits & Logic Design with VHDL

2024-11-13T00:42:35Z

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

Introduction to Logic Circuits & Logic Design with Verilog

2024-11-13T00:42:35Z

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

Introduction to Logic Circuits & Logic Design with VHDL

2024-11-13T00:42:35Z

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

Introduction to Logic Circuits & Logic Design with Verilog

2024-11-13T00:42:35Z

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

Interactive Relational Database Design A Logic Programming Implementation

2024-11-13T00:42:35Z

Yazar Bagchi, Tapan P. author. Chaudhri, Vinay K. author. SpringerLink (Online service)
Yer Numarası QA76.9 .D35
ISBN 9783540468400
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

The logic of architecture : design, computation, and cognition

2024-11-13T00:42:35Z

Yazar Mitchell, William J. (William John), 1944-2010.
Yer Numarası NA2750 .M58 1990
ISBN 9780262132381 9780262631167
Format: Books

Logic Synthesis and SOC Prototyping RTL Design using VHDL

2024-11-13T00:42:35Z

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

Digital Logic Design Using Verilog Coding and RTL Synthesis

2024-11-13T00:42:35Z

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

Design, Analysis and Test of Logic Circuits Under Uncertainty

2024-11-13T00:42:35Z

Yazar Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9789048196449
Elektronik Erişim Full Text Available From Springer Nature Engineering 2013 Packages
Format: Electronic Resources

Design Automation for Differential MOS Current-Mode Logic Circuits

2024-11-13T00:42:35Z

Yazar Badel, Stéphane. author. Baltaci, Can. author. Cevrero, Alessandro. author. Leblebici, Yusuf. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9783319913070
Elektronik Erişim Full Text Available From Springer Nature Engineering 2019 Packages
Format: Electronic Resources

Fuzzy Logic in Intelligent System Design Theory and Applications

2024-11-13T00:42:35Z

Yazar Melin, Patricia. editor. Castillo, Oscar. editor. Kacprzyk, Janusz. editor. (orcid)0000-0003-4187-5877 Reformat, Marek. editor. Melek, William. editor.
Yer Numarası Q342
ISBN 9783319671376
Elektronik Erişim Full Text Available From Springer Nature Engineering 2018 Packages
Format: Electronic Resources

Digital Systems Design and Prototyping Using Field Programmable Logic

2024-11-13T00:42:35Z

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

Dual Mode Logic A New Paradigm for Digital IC Design

2024-11-13T00:42:35Z

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

Fuzzy Logic in Data Modeling Semantics, Constraints, and Database Design

2024-11-13T00:42:35Z

Yazar Guoqing Chen. author. SpringerLink (Online service)
Yer Numarası QA76.9 .D35
ISBN 9781461540687
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Computer-Aided Design Techniques for Low Power Sequential Logic Circuits

2024-11-13T00:42:35Z

Yazar Monteiro, José. author. Devadas, Srinivas. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9781461563198
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Fundamentals of Switching Theory and Logic Design A Hands on Approach

2024-11-13T00:42:35Z

Yazar Astola, Jaakko. author. Stankovic, Radomir S. author. SpringerLink (Online service)
Yer Numarası TJ212 -225
ISBN 9780387303116
Elektronik Erişim Full Text Available From Springer Nature Engineering 2006 Packages
Format: Electronic Resources

Quantum-Dot Cellular Automata Based Digital Logic Circuits: A Design Perspective

2024-11-13T00:42:35Z

Yazar Sasamal, Trailokya Nath. author. Singh, Ashutosh Kumar. author. Mohan, Anand. author. SpringerLink (Online service)
Yer Numarası TK7875
ISBN 9789811518232
Elektronik Erişim Full Text Available From Springer Nature Engineering 2020 Packages
Format: Electronic Resources

From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions

2024-11-13T00:42:35Z

Yazar Snyers, Dominique. author. Thayse, Andre. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783540478119
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design

2024-11-13T00:42:35Z

Yazar Vasyukevich, Vadim. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9783642216114
Elektronik Erişim Full Text Available From Springer Nature Engineering 2011 Packages
Format: Electronic Resources

Fuzzy Logic Control in Energy Systems with design applications in MATLAB�/Simulink�

2024-11-13T00:42:35Z

Yazar Altas, Ismail H. IET Digital Library IET e-Books
Yer Numarası XX(2014183.1)
ISBN 9781785611087
Elektronik Erişim Full Text Available From IET eBooks 2017 Packages
Format: Electronic Resources

Logic Synthesis for FPGA-Based Control Units Structural Decomposition in Logic Design

2024-11-13T00:42:35Z

Yazar Barkalov, Alexander. author. Titarenko, Larysa. author. Mielcarek, Kamil. author. Chmielewski, Sławomir. author. SpringerLink (Online service)
Yer Numarası TJ212 -225
ISBN 9783030382957
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2020 Packages
Format: Electronic Resources

Applying Language Technology in Humanities Research Design, Application, and the Underlying Logic

2024-11-13T00:42:35Z

Yazar McGillivray, Barbara. author. Tóth, Gábor Mihály. author. SpringerLink (Online service)
Yer Numarası P29.52 -41.22
ISBN 9783030464936
Elektronik Erişim Full Text Available From Springer Nature Education 2020 Packages
Format: Electronic Resources

Astrolinguistics Design of a Linguistic System for Interstellar Communication Based on Logic

2024-11-13T00:42:35Z

Yazar Ollongren, Alexander. author. SpringerLink (Online service)
Yer Numarası QB500.5 -785
ISBN 9781461454687
Elektronik Erişim Full Text Available From Springer Nature Physics and Astronomy 2013 Packages
Format: Electronic Resources

Model and Design of Improved Current Mode Logic Gates Differential and Single-ended

2024-11-13T00:42:35Z

Yazar Gupta, Kirti. author. Pandey, Neeta. author. Gupta, Maneesha. author. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
ISBN 9789811509827
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Design of Analog Fuzzy Logic Controllers in CMOS Technologies Implementation, Test and Application

2024-11-13T00:42:35Z

Yazar Dualibe, Carlos. author. Verleysen, Michel. author. Jespers, P. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9780306480140
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Digital Systems Design and Prototyping Using Field Programmable Logic and Hardware Description Languages

2024-11-13T00:42:35Z

Yazar Salcic, Zoran. author. Smailagic, Asim. author. SpringerLink (Online service)
Yer Numarası TK7800 -8360
ISBN 9780306470301
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Design of Intelligent Systems Based on Fuzzy Logic, Neural Networks and Nature-Inspired Optimization

2024-11-13T00:42:35Z

Yazar Melin, Patricia. editor. Castillo, Oscar. editor. Kacprzyk, Janusz. editor. (orcid)0000-0003-4187-5877 SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783319177472
Elektronik Erişim Full Text Available From Springer Nature Engineering 2015 Packages
Format: Electronic Resources

Integrating Functional and Temporal Domains in Logic Design The False Path Problem and Its Implications

2024-11-13T00:42:35Z

Yazar McGeer, Patrick C. author. Brayton, Robert K. author. SpringerLink (Online service)
Yer Numarası TA345 -345.5
ISBN 9781461539605
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits

2024-11-13T00:42:35Z

Yazar Alioto, Massimo. author. Palumbo, Gaetano. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9781402028885
Elektronik Erişim Full Text Available From Springer Nature Engineering 2005 Packages
Format: Electronic Resources

Genetic Design Automation A Practical Approach for the Analysis, Verification and Synthesis of Genetic Logic Circuits

2024-11-13T00:42:35Z

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

Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines

2024-11-13T00:42:35Z

Yazar Bhattacharya, Alakananda. author. Konar, Amit. author. Mandal, Ajit K. author. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783540334590
Elektronik Erişim Full Text Available From Springer Nature Engineering 2006 Packages
Format: Electronic Resources

Architecture and Design of Molecule Logic Gates and Atom Circuits Proceedings of the 2nd AtMol European Workshop

2024-11-13T00:42:35Z

Yazar Lorente, Nicolas. editor. Joachim, Christian. editor. SpringerLink (Online service)
Yer Numarası QC176.8 .N35
ISBN 9783642331374
Elektronik Erişim Full Text Available From Springer Nature Chemistry and Materials Science 2013 Packages
Format: Electronic Resources

Logic of Programming and Calculi of Discrete Design International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

2024-11-13T00:42:35Z

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

Digital logic techniques : principles and practice

2024-11-13T00:42:35Z

Yazar Stonham, T. J.
Yer Numarası TK7868.D6 S86 1984
ISBN 9780442305932 9780442305956
Format: Books

The Origins of Digital Computers Selected Papers

2024-11-13T00:42:35Z

Yazar Randell, B. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783642618123
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Trace Theory and VLSI Design

2024-11-13T00:42:35Z

Yazar Snepscheut, Jan L.A. van de. author. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783540396871
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Microcomputer System Design An Advanced Course

2024-11-13T00:42:35Z

Yazar Flynn, M.J. editor. Harris, N.R. editor. McCarthy, D.P. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783540389491
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

System Design with Memristor Technologies

2024-11-13T00:42:35Z

Yazar Guckert, Lauren Swartzlander, Earl E. IET Digital Library IET e-Books
Yer Numarası XX(2014221.1)
ISBN 9781785615627
Elektronik Erişim Full Text Available From IET eBooks 2018 Packages
Format: Electronic Resources

Trust Networks for Recommender Systems

2024-11-13T00:42:35Z

Yazar Victor, Patricia. author. Cornelis, Chris. author. (orcid)0000-0002-7854-6025 De Cock, Martine. author. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9789491216084
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2011 Packages
Format: Electronic Resources

Principles and Structures of FPGAs

2024-11-13T00:42:35Z

Yazar Amano, Hideharu. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9789811308246
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Concepts in User Interfaces A Reference Model for Command and Response Languages

2024-11-13T00:42:35Z

Yazar Beech, David. author. Gram, Christian. author. Kugler, Hans-Jürgen. author. Newman, Ian. author. Stiegler, Helmut. author.
Yer Numarası QA76.9 .L63
ISBN 9783540448402
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Spectral Interpretation of Decision Diagrams

2024-11-13T00:42:35Z

Yazar Stankovic, Radomir. author. Astola, Jaakko T. author. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9780387217345
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

2024-11-13T00:42:35Z

Yazar Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783642389863
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2013 Packages
Format: Electronic Resources

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

2024-11-13T00:42:35Z

Yazar Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783319994987
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

2024-11-13T00:42:35Z

Yazar Phillips, Iain. editor. Rahaman, Hafizur. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783319599366
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

VLSI Chip Design with the Hardware Description Language VERILOG An Introduction Based on a Large RISC Processor Design

2024-11-13T00:42:35Z

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

Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

2024-11-13T00:42:35Z

Yazar Yamashita, Shigeru. editor. (orcid)0000-0002-2279-4644 Minato, Shin-ichi. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783319084947
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2014 Packages
Format: Electronic Resources

Prospects for Hardware Foundations ESPRIT Working Group 8533 NADA - New Hardware Design Methods Survey Chapters

2024-11-13T00:42:35Z

Yazar Möller, Bernhard. editor. Tucker, John V. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783540492542
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Proof and Computation

2024-11-13T00:42:35Z

Yazar Schwichtenberg, Helmut. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783642793615
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Progress in VLSI Design and Test 16th International Symposium on VSLI Design and Test, VDAT 2012, Shipur, India, July 1-4, 2012, Proceedings

2024-11-13T00:42:35Z

Yazar Rahaman, Hafizur. editor. Chattopadhyay, Sanatan. editor. Chattopadhyay, Santanu. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783642314940
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2012 Packages
Format: Electronic Resources

Logic Functions and Equations Binary Models for Computer Science

2024-11-13T00:42:35Z

Yazar Posthoff, Christian. author. Steinbach, Bernd. author. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783030024208
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers

2024-11-13T00:42:35Z

Yazar Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783642363153
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2013 Packages
Format: Electronic Resources

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

2024-11-13T00:42:35Z

Yazar Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783319208602
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2015 Packages
Format: Electronic Resources

Relations and Graphs Discrete Mathematics for Computer Scientists

2024-11-13T00:42:35Z

Yazar Schmidt, Gunther. author. Ströhlein, Thomas. author. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783642779688
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Reversible Computation 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings

2024-11-13T00:42:35Z

Yazar Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Rawski, Mariusz. editor. (orcid)0000-0002-7489-0785 SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783030524821
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

2024-11-13T00:42:35Z

Yazar Devitt, Simon. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783319405780
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2016 Packages
Format: Electronic Resources

Epistemological Aspects of Computer Simulation in the Social Sciences Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers

2024-11-13T00:42:35Z

Yazar Squazzoni, Flaminio. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783642011092
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2009 Packages
Format: Electronic Resources

New Advances in Computer Graphics Proceedings of CG International '89

2024-11-13T00:42:35Z

Yazar Earnshaw, Rae. editor. Wyvill, Brian. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9784431680932
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

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
ISBN 9783030798376
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings

2024-11-13T00:42:35Z

Yazar Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783030215002
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405

2024-11-13T00:42:35Z

Yazar Ulidowski, Irek. editor. (orcid)0000-0002-3834-2036 Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Schultz, Ulrik Pagh. editor. (orcid)0000-0003-4119-2689 Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783030473617
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings

2024-11-13T00:42:35Z

Yazar Paliouras, Vassilis. editor. Vounckx, Johan. editor. Verkest, Diederik. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783540320807
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2005 Packages
Format: Electronic Resources

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, Revised Selected Papers

2024-11-13T00:42:35Z

Yazar Svensson, Lars. editor. Monteiro, José. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783540959489
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2009 Packages
Format: Electronic Resources

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings

2024-11-13T00:42:35Z

Yazar Azemard, Nadine. editor. Svensson, Lars. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783540744429
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2007 Packages
Format: Electronic Resources

Introduction to Annotated Logics Foundations for Paracomplete and Paraconsistent Reasoning

2024-11-13T00:42:35Z

Yazar Abe, Jair Minoro. author. Akama, Seiki. author. Nakamatsu, Kazumi. author. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783319179124
Elektronik Erişim Full Text Available From Springer Nature Engineering 2015 Packages
Format: Electronic Resources

Design of Experiments for Reinforcement Learning

2024-11-13T00:42:35Z

Yazar Gatti, Christopher. author. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783319121970
Elektronik Erişim Full Text Available From Springer Nature Engineering 2015 Packages
Format: Electronic Resources

Logic circuits and microcomputer systems

2024-11-13T00:42:35Z

Yazar Wiatrowski, Claude A. House, Charles H., joint author.
Yer Numarası TK7888.3.L6 W5 1980
ISBN 9780070700901
Format: Books

Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing 10th International Conference, FPL 2000 Villach, Austria, August 27-30, 2000 Proceedings

2024-11-13T00:42:35Z

Yazar Hartenstein, Reiner W. editor. Grünbacher, Herbert. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540446149
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Digital design

2024-11-13T00:42:35Z

Yazar Mano, M. Morris, 1927-
Yer Numarası TK7888.3 .M343 2002
ISBN 9780130621214 9780130355256 9780130646231
Format: Books

Compact Models and Measurement Techniques for High-Speed Interconnects

2024-11-13T00:42:35Z

Yazar Sharma, Rohit. author. Chakravarty, Tapas. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9781461410713
Elektronik Erişim Full Text Available From Springer Nature Engineering 2012 Packages
Format: Electronic Resources

Digital design

2024-11-13T00:42:35Z

Yazar Mano, M. Morris, 1927-
Yer Numarası TK7888.3 .M343 2007
ISBN 9780132340434 9780131741331 9780131989245
Format: Books

Practical Problems in VLSI Physical Design Automation

2024-11-13T00:42:35Z

Yazar Lim, Sung Kyu. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9781402066276
Elektronik Erişim Full Text Available From Springer Nature Engineering 2008 Packages
Format: Electronic Resources

Introduction to Digital Systems Design

2024-11-13T00:42:35Z

Yazar Donzellini, Giuliano. author. Oneto, Luca. author. Ponta, Domenico. author. Anguita, Davide. author. SpringerLink (Online service)
Yer Numarası TK1 -9971
ISBN 9783319928043
Elektronik Erişim Full Text Available From Springer Nature Engineering 2019 Packages
Format: Electronic Resources

Introduzione al Progetto di Sistemi Digitali

2024-11-13T00:42:35Z

Yazar Donzellini, Giuliano. author. Oneto, Luca. author. Ponta, Domenico. author. Anguita, Davide. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9788847039636
Elektronik Erişim Full Text Available From Springer Nature Engineering 2018 Packages
Format: Electronic Resources

Petri Nets An Introduction

2024-11-13T00:42:35Z

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

Field-programmable gate array technology

2024-11-13T00:42:35Z

Yazar Trimberger, Stephen, 1955-
Yer Numarası TK7895.G36 F54 1994
ISBN 9780792394198
Format: Books

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices

2024-11-13T00:42:35Z

Yazar Czerwinski, Robert. author. Kania, Dariusz. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9783642361661
Elektronik Erişim Full Text Available From Springer Nature Engineering 2013 Packages
Format: Electronic Resources

Johan van Benthem on Logic and Information Dynamics

2024-11-13T00:42:35Z

Yazar Baltag, Alexandru. editor. Smets, Sonja. editor. SpringerLink (Online service)
Yer Numarası BC1 -199
ISBN 9783319060255
Elektronik Erişim Full Text Available From Springer Nature Humanities, Social Sciences and Law 2014 Packages
Format: Electronic Resources

Building Arduino PLCs The essential techniques you need to develop Arduino-based PLCs

2024-11-13T00:42:35Z

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

Stochastic Computing: Techniques and Applications

2024-11-13T00:42:35Z

Yazar Gross, Warren J. editor. Gaudet, Vincent C. editor. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9783030037307
Elektronik Erişim Full Text Available From Springer Nature Engineering 2019 Packages
Format: Electronic Resources

Hierarchical Type-2 Fuzzy Aggregation of Fuzzy Controllers

2024-11-13T00:42:35Z

Yazar Cervantes, Leticia. author. Castillo, Oscar. author. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783319266718
Elektronik Erişim Full Text Available From Springer Nature Engineering 2016 Packages
Format: Electronic Resources

Fundamentals of Electronic Systems Design

2024-11-13T00:42:35Z

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

Quick Start Guide to Verilog

2024-11-13T00:42:35Z

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

Quick Start Guide to VHDL

2024-11-13T00:42:35Z

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

ASIC Design and Synthesis RTL Design Using Verilog

2024-11-13T00:42:35Z

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

Practical Hadoop Migration How to Integrate Your RDBMS with the Hadoop Ecosystem and Re-Architect Relational Applications to NoSQL

2024-11-13T00:42:35Z

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

Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog

2024-11-13T00:42:35Z

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

New Data Structures and Algorithms for Logic Synthesis and Verification

2024-11-13T00:42:35Z

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

Reliable and Energy Efficient Streaming Multiprocessor Systems

2024-11-13T00:42:35Z

Yazar Das, Anup Kumar. author. Kumar, Akash. author. Veeravalli, Bharadwaj. author. Catthoor, Francky. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9783319693743
Elektronik Erişim Full Text Available From Springer Nature Engineering 2018 Packages
Format: Electronic Resources

Beyond-CMOS Technologies for Next Generation Computer Design

2024-11-13T00:42:35Z

Yazar Topaloglu, Rasit O. editor. Wong, H.-S. Philip. editor. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9783319903859
Elektronik Erişim Full Text Available From Springer Nature Engineering 2019 Packages
Format: Electronic Resources

Learning Systems: Decision, Simulation, and Control

2024-11-13T00:42:35Z

Yazar El-Fattah, Y. M. author. Foulard, C. author. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783540356769
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors

2024-11-13T00:42:35Z

Yazar Melikyan, Vazgen. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9783319716374
Elektronik Erişim Full Text Available From Springer Nature Engineering 2018 Packages
Format: Electronic Resources

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach

2024-11-13T00:42:35Z

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

Introduzione al Progetto di Sistemi a Microprocessore

2024-11-13T00:42:35Z

Yazar Donzellini, Giuliano. author. Garavagno, Andrea Mattia. author. Oneto, Luca. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9788847040045
Elektronik Erişim Full Text Available From Springer Nature Engineering 2021 Packages
Format: Electronic Resources

Testing of Interposer-Based 2.5D Integrated Circuits

2024-11-13T00:42:35Z

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

Design of FPGA-Based Computing Systems with OpenCL

2024-11-13T00:42:35Z

Yazar Waidyasooriya, Hasitha Muthumala. author. Hariyama, Masanori. author. Uchiyama, Kunio. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9783319681610
Elektronik Erişim Full Text Available From Springer Nature Engineering 2018 Packages
Format: Electronic Resources

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies

2024-11-13T00:42:35Z

Yazar Mehta, Ashok B. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9783319594187
Elektronik Erişim Full Text Available From Springer Nature Engineering 2018 Packages
Format: Electronic Resources

High-Level Synthesis from Algorithm to Digital Circuit

2024-11-13T00:42:35Z

Yazar Coussy, Philippe. editor. Morawiec, Adam. editor. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9781402085888
Elektronik Erişim Full Text Available From Springer Nature Engineering 2008 Packages
Format: Electronic Resources

Advanced Symbolic Analysis for VLSI Systems Methods and Applications

2024-11-13T00:42:35Z

Yazar Shi, Guoyong. author. Tan, Sheldon X.-D. author. Tlelo Cuautle, Esteban. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9781493911035
Elektronik Erişim Full Text Available From Springer Nature Engineering 2014 Packages
Format: Electronic Resources

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators

2024-11-13T00:42:35Z

Yazar Rahimi, Abbas. author. Benini, Luca. author. Gupta, Rajesh K. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9783319537689
Elektronik Erişim Full Text Available From Springer Nature Engineering 2017 Packages
Format: Electronic Resources

Advanced Boolean Techniques Selected Papers from the 13th International Workshop on Boolean Problems

2024-11-13T00:42:35Z

Yazar Drechsler, Rolf. editor. Soeken, Mathias. editor. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9783030203238
Elektronik Erişim Full Text Available From Springer Nature Engineering 2020 Packages
Format: Electronic Resources

Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach

2024-11-13T00:42:35Z

Yazar Fornaciari, William. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9783319919621
Elektronik Erişim Full Text Available From Springer Nature Engineering 2019 Packages
Format: Electronic Resources

High Performance Integer Arithmetic Circuit Design on FPGA Architecture, Implementation and Design Automation

2024-11-13T00:42:35Z

Yazar Palchaudhuri, Ayan. author. Chakraborty, Rajat Subhra. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9788132225201
Elektronik Erişim Full Text Available From Springer Nature Engineering 2016 Packages
Format: Electronic Resources

Digital Circuit Design for Computer Science Students An Introductory Textbook

2024-11-13T00:42:35Z

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

Theorem Proving in Higher Order Logics 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings

2024-11-13T00:42:35Z

Yazar Carreno, Victor A. editor. Munoz, Cesar A. editor. Tahar, Sofiene. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540456858
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Machine Learning in VLSI Computer-Aided Design

2024-11-13T00:42:35Z

Yazar Elfadel, Ibrahim (Abe) M. editor. Boning, Duane S. editor. Li, Xin. editor. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9783030046668
Elektronik Erişim Full Text Available From Springer Nature Engineering 2019 Packages
Format: Electronic Resources

How Transistor Area Shrank by 1 Million Fold

2024-11-13T00:42:35Z

Yazar Tigelaar, Howard. author. SpringerLink (Online service)
Yer Numarası QC1 -999
ISBN 9783030400217
Elektronik Erişim Full Text Available From Springer Nature Physics and Astronomy 2020 Packages
Format: Electronic Resources

Digital Signal Processing with Field Programmable Gate Arrays

2024-11-13T00:42:35Z

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

Introductory Circuit Theory

2024-11-13T00:42:35Z

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

AI and UX Why Artificial Intelligence Needs User Experience

2024-11-13T00:42:35Z

Yazar Lew, Gavin. author. Schumacher Jr., Robert M. author. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9781484257753
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2020 Packages
Format: Electronic Resources

The Unknown Component Problem Theory and Applications

2024-11-13T00:42:35Z

Yazar Villa, Tiziano. author. Yevtushenko, Nina. author. Brayton, Robert K. author. Mishchenko, Alan. author. Petrenko, Alexandre. author.
Yer Numarası TK7867 -7867.5
ISBN 9780387687599
Elektronik Erişim Full Text Available From Springer Nature Engineering 2012 Packages
Format: Electronic Resources

Fault Diagnosis and Fault Tolerance A Systematic Approach to Special Topics

2024-11-13T00:42:35Z

Yazar Chen, Tinghuai. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783642771798
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

More than Moore Creating High Value Micro/Nanoelectronics Systems

2024-11-13T00:42:35Z

Yazar Zhang, Guo Qi. editor. van Roosmalen, Alfred. editor. SpringerLink (Online service)
Yer Numarası TK7800 -8360
ISBN 9780387755939
Elektronik Erişim Full Text Available From Springer Nature Engineering 2009 Packages
Format: Electronic Resources

Well-Quasi Orders in Computation, Logic, Language and Reasoning A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

2024-11-13T00:42:35Z

Yazar Schuster, Peter M. editor. Seisenberger, Monika. editor. Weiermann, Andreas. editor. SpringerLink (Online service)
Yer Numarası BC1 -199
ISBN 9783030302290
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2020 Packages
Format: Electronic Resources

Variant Construction from Theoretical Foundation to Applications

2024-11-13T00:42:35Z

Yazar Zheng, Jeffrey. editor. (orcid)0000-0003-4225-7077 SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9789811322822
Elektronik Erişim Full Text Available From Springer Nature Engineering 2019 Packages
Format: Electronic Resources

Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

2024-11-13T00:42:35Z

Yazar Knoll, Florian. editor. (orcid)0000-0001-5357-8656 Maier, Andreas. editor. (orcid)0000-0002-9550-5284 Rueckert, Daniel. editor. (orcid)0000-0002-5683-5889 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030001292
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Computer Engineering and Technology 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15-17, 2018, Revised Selected Papers

2024-11-13T00:42:35Z

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

Logic Synthesis for Asynchronous Controllers and Interfaces

2024-11-13T00:42:35Z

Yazar Cortadella, J. author. Kishinevsky, M. author. Kondratyev, A. author. Lavagno, Luciano. author. Yakovlev, Alex. author.
Yer Numarası TK7800 -8360
ISBN 9783642559891
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Theory of Digital Automata

2024-11-13T00:42:35Z

Yazar Borowik, Bohdan. author. Karpinskyy, Mykola. author. Lahno, Valery. author. Petrov, Oleksandr. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9789400752283
Elektronik Erişim Full Text Available From Springer Nature Engineering 2013 Packages
Format: Electronic Resources

Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019, Proceedings

2024-11-13T00:42:35Z

Yazar Bures, Tomas. editor. (orcid)0000-0003-3622-9918 Duchien, Laurence. editor. (orcid)0000-0002-4517-5862 Inverardi, Paola. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030299835
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Analog Circuit Theory and Filter Design in the Digital World With an Introduction to the Morphological Method for Creative Solutions and Design

2024-11-13T00:42:35Z

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

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

2024-11-13T00:42:35Z

Yazar Bi, Yuanguo. editor. Chen, Gang. editor. Deng, Qingxu. editor. Wang, Yi. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .A65
ISBN 9789811310263
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings

2024-11-13T00:42:35Z

Yazar de Supinski, Bronis R. editor. (orcid)0000-0002-0339-1006 Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310 Martorell, Xavier. editor. Mateo Bellido, Sergi. editor. Labarta, Jesus. editor.
Yer Numarası TK7895 .M5
ISBN 9783319985213
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

2024-11-13T00:42:35Z

Yazar Janssen, Jeroen. author. Schockaert, Steven. author. Vermeir, Dirk. author. De Cock, Martine. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9789491216596
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2012 Packages
Format: Electronic Resources

Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support Third International Workshop, DLMIA 2017, and 7th International Workshop, ML-CDS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings

2024-11-13T00:42:35Z

Yazar Cardoso, M. Jorge. editor. Arbel, Tal. editor. Carneiro, Gustavo. editor. (orcid)0000-0002-5571-6220 Syeda-Mahmood, Tanveer. editor. (orcid)0000-0003-0059-3208 Tavares, João Manuel R.S. editor. (orcid)0000-0001-7603-6526
Yer Numarası TA1634
ISBN 9783319675589
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

Graph-Theoretic Concepts in Computer Science 16th International Workshop WG '90, Berlin, Germany, June 20-22, 1990

2024-11-13T00:42:35Z

Yazar Möhring, Rolf H. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783540463108
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16-20, 2019, Proceedings

2024-11-13T00:42:35Z

Yazar Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030206567
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Delta-4: A Generic Architecture for Dependable Distributed Computing

2024-11-13T00:42:35Z

Yazar Powell, David. editor. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
ISBN 9783642846960
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Computer Science - CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8-12, 2018, Revised Selected Papers

2024-11-13T00:42:35Z

Yazar Pesado, Patricia. editor. (orcid)0000-0003-0000-3482 Aciti, Claudio. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030207878
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

The Design of a Microprocessor

2024-11-13T00:42:35Z

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

Test Generation of Crosstalk Delay Faults in VLSI Circuits

2024-11-13T00:42:35Z

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

Transactions on Computational Science XXIV Special Issue on Reversible Computing

2024-11-13T00:42:35Z

Yazar Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Thapliyal, Himanshu. editor. Ranganathan, Nagarajan. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .C62
ISBN 9783662457115
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2014 Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

Yazar Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783319729718
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Reversible Logic Synthesis Methodologies with Application to Quantum Computing

2024-11-13T00:42:35Z

Yazar Ridha Taha, Saleem Mohammed. author. SpringerLink (Online service)
Yer Numarası TK1 -9971
ISBN 9783319234793
Elektronik Erişim Full Text Available From Springer Nature Engineering 2016 Packages
Format: Electronic Resources

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

2024-11-13T00:42:35Z

Yazar Menzies, Tim. editor. (orcid)0000-0002-5040-3196 Petke, Justyna. editor. (orcid)0000-0002-7833-6044 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783319662992
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

Functional Design Errors in Digital Circuits Diagnosis Correction and Repair

2024-11-13T00:42:35Z

Yazar Chang, Kai-hui. author. Markov, Igor L. author. Bertacco, Valeria. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9781402093654
Elektronik Erişim Full Text Available From Springer Nature Engineering 2009 Packages
Format: Electronic Resources

Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings

2024-11-13T00:42:35Z

Yazar Lange, Tanja. editor. Steinwandt, Rainer. editor. SpringerLink (Online service)
Yer Numarası QA268
ISBN 9783319790633
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009, Revised Papers

2024-11-13T00:42:35Z

Yazar Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .O63
ISBN 9783642046339
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2009 Packages
Format: Electronic Resources

Conceptual Spaces: Elaborations and Applications

2024-11-13T00:42:35Z

Yazar Kaipainen, Mauri. editor. Zenker, Frank. editor. Hautamäki, Antti. editor. Gärdenfors, Peter. editor. SpringerLink (Online service)
Yer Numarası BD418 -418.84
ISBN 9783030128005
Elektronik Erişim Full Text Available From Springer Nature Religion and Philosophy 2019 Packages
Format: Electronic Resources

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings

2024-11-13T00:42:35Z

Yazar Hornby, Gregory S. editor. Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Haddow, Pauline C. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783540858577
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2008 Packages
Format: Electronic Resources

Artificial Neural Networks - ICANN '97 7th International Conference Lausanne, Switzerland, October 8-10, 1997 Proceedings

2024-11-13T00:42:35Z

Yazar Gerstner, Wulfram. editor. Germond, Alain. editor. Hasler, Martin. editor. Nicoud, Jean-Daniel. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783540696209
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

The Illiac IV The First Supercomputer

2024-11-13T00:42:35Z

Yazar Hord, R.M. author. SpringerLink (Online service)
Yer Numarası TK7895 .M4
ISBN 9783662103456
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Computer Simulation Studies in Condensed-Matter Physics XVIII Proceedings of the Eighteenth Workshop, Athens, GA, USA, March 7-11, 2005

2024-11-13T00:42:35Z

Yazar Landau, David P. editor. Lewis, Steven P. editor. Schüttler, Heinz-Bernd. editor. SpringerLink (Online service)
Yer Numarası QC173.45 -173.458
ISBN 9783540326403
Elektronik Erişim Full Text Available From Springer Nature Physics and Astronomy 2006 Packages
Format: Electronic Resources

Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping Second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31 - September 2, 1992. Selected Papers

2024-11-13T00:42:35Z

Yazar Grünbacher, Herbert. editor. Hartenstein, Reiner W. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540479024
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Computational Intelligence in Fault Diagnosis

2024-11-13T00:42:35Z

Yazar Palade, Vasile. editor. Bocaniala, Cosmin Danut. editor. SpringerLink (Online service)
Yer Numarası TA1634
ISBN 9781846286315
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2006 Packages
Format: Electronic Resources

Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz

2024-11-13T00:42:35Z

Yazar Ravi, Sekharipuram S. editor. Shukla, Sandeep Kumar. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .C65
ISBN 9781402096884
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2009 Packages
Format: Electronic Resources

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings

2024-11-13T00:42:35Z

Yazar Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030306908
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part VI

2024-11-13T00:42:35Z

Yazar Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.
Yer Numarası Q334 -342
ISBN 9783319701363
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

Yazar Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493 Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030049188
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Neural Nets 13th Italian Workshop on Neural Nets, WIRN VIETRI 2002, Vietri sul Mare, Italy, May 30-June 1, 2002. Revised Papers

2024-11-13T00:42:35Z

Yazar Marinaro, Maria. editor. Tagliaferri, Roberto. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783540458081
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783319699530
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing IPPS/SPDP'99 Workshop, JSSPP'99, San Juan, Puerto Rico, April 16, 1999, Proceedings

2024-11-13T00:42:35Z

Yazar Feitelson, Dror G. editor. Rudolph, Larry. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .O63
ISBN 9783540479543
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Meaning and Proscription in Formal Logic Variations on the Propositional Logic of William T. Parry

2024-11-13T00:42:35Z

Yazar Ferguson, Thomas Macaulay. author. SpringerLink (Online service)
Yer Numarası BC1 -199
ISBN 9783319708218
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2017 Packages
Format: Electronic Resources

Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings

2024-11-13T00:42:35Z

Yazar Grundy, Jim. editor. Newey, Malcolm. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783540498018
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Speech Processing in Embedded Systems

2024-11-13T00:42:35Z

Yazar Sinha, Priyabrata. author. SpringerLink (Online service)
Yer Numarası TK5102.9
ISBN 9780387755816
Elektronik Erişim Full Text Available From Springer Nature Engineering 2010 Packages
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

2024-11-13T00:42:35Z

Yazar Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540710356
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2007 Packages
Format: Electronic Resources

Topics in Cryptology - CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

2024-11-13T00:42:35Z

Yazar Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)
Yer Numarası QA268
ISBN 9783319769530
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Electronics System Design Techniques for Safety Critical Applications

2024-11-13T00:42:35Z

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

Graph-Theoretic Concepts in Computer Science 17th International Workshop WG '91, Fischbachau, Germany, June 17-19, 1991. Proceedings

2024-11-13T00:42:35Z

Yazar Schmidt, Gunther. editor. Berghammer, Rudolf. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .M35
ISBN 9783540467359
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

Yazar Rauchwerger, Lawrence. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .C65
ISBN 9783030352257
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing IPPS '97 Workshop, Geneva, Switzerland, April 5, 1997, Proceedings

2024-11-13T00:42:35Z

Yazar Feitelson, Dror G. editor. Rudolph, Larry. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540695998
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

Yazar Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)
Yer Numarası QA76.6 -76.66
ISBN 9783030185060
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

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
ISBN 9783030680350
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers

2024-11-13T00:42:35Z

Yazar Feitelson, Dror. editor. Frachtenberg, Eitan. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540316176
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2005 Packages
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLI Special Issue on Data and Security Engineering

2024-11-13T00:42:35Z

Yazar Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Dang, Tran Khanh. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .D343
ISBN 9783662588086
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 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-11-13T00:42:35Z

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
ISBN 9783030483401
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Fault-Tolerance Techniques for SRAM-Based FPGAs

2024-11-13T00:42:35Z

Yazar Kastensmidt, Fernanda Lima. author. Reis, Ricardo. author. (orcid)0000-0001-5781-5858 SpringerLink (Online service)
Yer Numarası TK1 -9971
ISBN 9780387310695
Elektronik Erişim Full Text Available From Springer Nature Engineering 2006 Packages
Format: Electronic Resources

VLSI Physical Design: From Graph Partitioning to Timing Closure

2024-11-13T00:42:35Z

Yazar Kahng, Andrew B. author. Lienig, Jens. author. Markov, Igor L. author. Hu, Jin. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9789048195916
Elektronik Erişim Full Text Available From Springer Nature Engineering 2011 Packages
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007, Revised Papers

2024-11-13T00:42:35Z

Yazar Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540786993
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2008 Packages
Format: Electronic Resources

Asynchronous Circuits

2024-11-13T00:42:35Z

Yazar Brzozowski, Janusz A. author. Seger, Carl-Johan H. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9781461242109
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Logic and Algebra of Specification

2024-11-13T00:42:35Z

Yazar Bauer, Friedrich L. editor. Brauer, Wilfried. editor. Schwichtenberg, Helmut. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783642580413
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Separation Logic for High-level Synthesis

2024-11-13T00:42:35Z

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

Semantics of Digital Circuits

2024-11-13T00:42:35Z

Yazar Delgado Kloos, Carlos. author. SpringerLink (Online service)
Yer Numarası TK7800 -8360
ISBN 9783540480129
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)
Yer Numarası QA76.9 .E94
ISBN 9783319920405
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Problem Solving In Operation Management

2024-11-13T00:42:35Z

Yazar Balderas-Cañas, Patricia Esperanza. editor. Sánchez-Guerrero, Gabriel De Las Nieves. editor. SpringerLink (Online service)
Yer Numarası TH9701 -9745
ISBN 9783030500894
Elektronik Erişim Full Text Available From Springer Nature Engineering 2021 Packages
Format: Electronic Resources

Adiabatic Logic Future Trend and System Level Perspective

2024-11-13T00:42:35Z

Yazar Teichmann, Philip. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9789400723450
Elektronik Erişim Full Text Available From Springer Nature Engineering 2012 Packages
Format: Electronic Resources

Theorem Proving in Higher Order Logics 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

2024-11-13T00:42:35Z

Yazar Basin, David. editor. Wolff, Burkhart. editor. SpringerLink (Online service)
Yer Numarası B1 -5802
ISBN 9783540451303
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

2024-11-13T00:42:35Z

Yazar Schneider, Klaus. editor. Brandt, Jens. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783540745914
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2007 Packages
Format: Electronic Resources

Towards Evolvable Hardware The Evolutionary Engineering Approach

2024-11-13T00:42:35Z

Yazar Sanchez, Eduardo. editor. Tomassini, Marco. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783540499473
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Euro-Par 2020: Parallel Processing Workshops Euro-Par 2020 International Workshops, Warsaw, Poland, August 24-25, 2020, Revised Selected Papers

2024-11-13T00:42:35Z

Yazar Balis, Bartosz. editor. B. Heras, Dora. editor. Antonelli, Laura. editor. Bracciali, Andrea. editor. Gruber, Thomas. editor.
Yer Numarası TK7885 -7895
ISBN 9783030715939
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Theory and Application of Satisfiability Testing 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

2024-11-13T00:42:35Z

Yazar Sakallah, Karem A. editor. Simon, Laurent. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783642215810
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2011 Packages
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers

2024-11-13T00:42:35Z

Yazar Feitelson, Dror. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540317951
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2005 Packages
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers

2024-11-13T00:42:35Z

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

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

2024-11-13T00:42:35Z

Yazar Etessami, Kousha. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783540316862
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2005 Packages
Format: Electronic Resources

High Performance Computing 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 - July 2, 2021, Proceedings

2024-11-13T00:42:35Z

Yazar Chamberlain, Bradford L. editor. (orcid)0000-0002-6065-2049 Varbanescu, Ana-Lucia. editor. (orcid)0000-0002-4932-1900 Ltaief, Hatem. editor. (orcid)0000-0002-6897-1095 Luszczek, Piotr. editor. (orcid)0000-0002-0089-6965 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030787134
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

2024-11-13T00:42:35Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783319780245
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

2024-11-13T00:42:35Z

Yazar Hu, Changjun. editor. Yang, Wen. editor. Jiang, Congfeng. editor. Dai, Dong. editor. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
ISBN 9789813299870
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

2024-11-13T00:42:35Z

Yazar Halbwachs, Nicolas. editor. Peled, Doron. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783540486831
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings

2024-11-13T00:42:35Z

Yazar Zeng, Sanyou. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540746263
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2007 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-11-13T00:42:35Z

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

Evolvable Systems: From Biology to Hardware Second International Conference, ICES 98 Lausanne, Switzerland, September 23-25, 1998 Proceedings

2024-11-13T00:42:35Z

Yazar Sipper, Moshe. editor. Mange, Daniel. editor. Perez-Uribe, Andres. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540499169
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Evolvable Systems: From Biology to Hardware First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers

2024-11-13T00:42:35Z

Yazar Higuchi, Tetsuya. editor. Iwata, Masaya. editor. Weixin, Liu. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783540692041
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

OpenMP: Enabling Massive Node-Level Parallelism 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14-16, 2021, Proceedings

2024-11-13T00:42:35Z

Yazar McIntosh-Smith, Simon. editor. (orcid)0000-0002-5312-0378 de Supinski, Bronis R. editor. (orcid)0000-0002-0339-1006 Klinkenberg, Jannis. editor. (orcid)0000-0002-5518-7904 SpringerLink (Online service)
Yer Numarası TK7895 .M5
ISBN 9783030852627
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

2024-11-13T00:42:35Z

Yazar Hu, Alan J. editor. Vardi, Moshe Y. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783540693390
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Evolvable Systems: From Biology to Hardware 4th International Conference, ICES 2001 Tokyo, Japan, October 3-5, 2001 Proceedings

2024-11-13T00:42:35Z

Yazar Tanaka, Kiyoshi. editor. Iwata, Masaya. editor. Higuchi, Tetsuya. editor. Yasunaga, Moritoshi. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540454434
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

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

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

2024-11-13T00:42:35Z

Yazar Li, Chao. editor. Wu, Junjie. editor. SpringerLink (Online service)
Yer Numarası TK7895 .M5
ISBN 9789811324239
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

2024-11-13T00:42:35Z

Yazar Bodden, Eric. editor. Payer, Mathias. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
ISBN 9783319621050
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

2024-11-13T00:42:35Z

Yazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278 van den Brand, Mark. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783319614731
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

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

Field Programmable Logic and Applications 13th International Conference, FPL 2003 Lisbon, Portugal, September 1-3, 2003 Proceedings

2024-11-13T00:42:35Z

Yazar Cheung, Peter Y.K. editor. Constantinides, Georg A. editor. Sousa, Jose T. de. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783540452348
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Switching Theory Insight through Predicate Logic

2024-11-13T00:42:35Z

Yazar Vingron, Shimon Peter. author. SpringerLink (Online service)
Yer Numarası TK7800 -8360
ISBN 9783662101742
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Evolvable Systems: From Biology to Hardware 5th International Conference, ICES 2003, Trondheim, Norway, March 17-20, 2003, Proceedings

2024-11-13T00:42:35Z

Yazar Tyrrell, Andy M. editor. Haddow, Pauline C. editor. Torresen, Jim. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783540365532
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing IPPS '96 Workshop, Honolulu, Hawaii, April 16, 1996. Proceedings

2024-11-13T00:42:35Z

Yazar Feitelson, Dror G. editor. Rudolph, Larry. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540707103
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

Yazar Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Groumpos, Peter P. editor. (orcid)0000-0002-0110-2696 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
ISBN 9783030297503
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Adapting Proofs-as-Programs The Curry--Howard Protocol

2024-11-13T00:42:35Z

Yazar Poernomo, Iman. author. Crossley, John N. author. Wirsing, Martin. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9780387281834
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2005 Packages
Format: Electronic Resources

Computer Aided Verification 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

2024-11-13T00:42:35Z

Yazar Alur, Rajeev. editor. Peled, Doron A. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783540278139
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I

2024-11-13T00:42:35Z

Yazar Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. (orcid)0000-0003-3643-9544 Villa, Alessandro E.P. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783319686004
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II

2024-11-13T00:42:35Z

Yazar Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. (orcid)0000-0003-3643-9544 Villa, Alessandro E.P. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783319686127
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

Yazar Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
ISBN 9783662605318
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2024-11-13T00:42:35Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783319780542
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Theorem Proving in Higher Order Logics 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

2024-11-13T00:42:35Z

Yazar Gunter, Elsa L. editor. Felty, Amy. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540695264
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Supercomputing 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21-22, 2020, Revised Selected Papers

2024-11-13T00:42:35Z

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
ISBN 9783030646165
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Theorem Proving in Higher Order Logics 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings

2024-11-13T00:42:35Z

Yazar Wright, Joakim von. editor. Grundy, Jim. editor. Harrison, John. editor. SpringerLink (Online service)
Yer Numarası QA267 -268.5
ISBN 9783540706410
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II

2024-11-13T00:42:35Z

Yazar Squillero, Giovanni. editor. Sim, Kevin. editor. (orcid)0000-0001-6555-7721 SpringerLink (Online service)
Yer Numarası QA76.9 .A43
ISBN 9783319557922
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

Beyond Two: Theory and Applications of Multiple-Valued Logic

2024-11-13T00:42:35Z

Yazar Fitting, Melvin. editor. Orlowska, Ewa. editor. SpringerLink (Online service)
Yer Numarası QA267 -268.5
ISBN 9783790817690
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16-18, 2019, Proceedings

2024-11-13T00:42:35Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.
Yer Numarası QA76.758
ISBN 9783030310196
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

2024-11-13T00:42:35Z

Yazar Ball, Thomas. editor. Jones, Robert B. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783540374114
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2006 Packages
Format: Electronic Resources

Computational Science - ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part I

2024-11-13T00:42:35Z

Yazar Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Závodszky, Gábor. editor. (orcid)0000-0003-0150-0229 Lees, Michael H. editor. Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782 Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
Yer Numarası QA75.5 -76.95
ISBN 9783030503710
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

Yazar Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
ISBN 9783030032326
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

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

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

2024-11-13T00:42:35Z

Yazar Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Yer Numarası TK7895 .M5
ISBN 9783030285968
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Regular Nanofabrics in Emerging Technologies Design and Fabrication Methods for Nanoscale Digital Circuits

2024-11-13T00:42:35Z

Yazar Ben Jamaa, M. Haykel. author. SpringerLink (Online service)
Yer Numarası TK7875
ISBN 9789400706507
Elektronik Erişim Full Text Available From Springer Nature Engineering 2011 Packages
Format: Electronic Resources

High Performance Computing ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 - July 2, 2021, Revised Selected Papers

2024-11-13T00:42:35Z

Yazar Jagode, Heike. editor. (orcid)0000-0002-8173-9434 Anzt, Hartwig. editor. (orcid)0000-0003-2177-952X Ltaief, Hatem. editor. (orcid)0000-0002-6897-1095 Luszczek, Piotr. editor. (orcid)0000-0002-0089-6965 SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783030905392
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

Yazar Bombieri, Nicola. editor. Pravadelli, Graziano. editor. Fujita, Masahiro. editor. Austin, Todd. editor. Reis, Ricardo. editor.
Yer Numarası TK7885 -7895
ISBN 9783030234256
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Field-Programmable Logic: Architectures, Synthesis and Applications 4th International Workshop on Field-Programmable Logic and Applications, FPL'94, Prague, Czech Republic, September 7 - 9, 1994. Proceedings

2024-11-13T00:42:35Z

Yazar Hartenstein, Reiner W. editor. Servit, Michal Z. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540487838
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

2024-11-13T00:42:35Z

Yazar Damm, Werner. editor. Hermanns, Holger. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783540733683
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2007 Packages
Format: Electronic Resources

New Algorithms, Architectures and Applications for Reconfigurable Computing

2024-11-13T00:42:35Z

Yazar Lysaght, Patrick. editor. Rosenstiel, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası TK1 -9971
ISBN 9781402031281
Elektronik Erişim Full Text Available From Springer Nature Engineering 2005 Packages
Format: Electronic Resources

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24-25, 2018, Revised Selected Papers

2024-11-13T00:42:35Z

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
ISBN 9783030058074
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

2024-11-13T00:42:35Z

Yazar Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829 Padovani, Luca. editor. (orcid)0000-0001-9097-1297 Torquati, Massimo. editor. (orcid)0000-0001-6323-3459 SpringerLink (Online service)
Yer Numarası QA76.76 .C65
ISBN 9783319969831
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Reversible Logic Synthesis From Fundamentals to Quantum Computing

2024-11-13T00:42:35Z

Yazar Al-Rabadi, Anas N. author. SpringerLink (Online service)
Yer Numarası TK7800 -8360
ISBN 9783642188534
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream Reconfigurable Computing Is Going Mainstream

2024-11-13T00:42:35Z

Yazar Glesner, Manfred. editor. Zipf, Peter. editor. Renovell, Michel. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540461173
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Exploitation of Fine-Grain Parallelism

2024-11-13T00:42:35Z

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

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

2024-11-13T00:42:35Z

Yazar Vaidya, Jaideep. editor. (orcid)0000-0002-7420-6947 Li, Jin. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .A43
ISBN 9783030050511
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I

2024-11-13T00:42:35Z

Yazar Squillero, Giovanni. editor. Sim, Kevin. editor. (orcid)0000-0001-6555-7721 SpringerLink (Online service)
Yer Numarası QA76.9 .A43
ISBN 9783319558493
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

Higher Order Logic Theorem Proving and Its Applications 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

2024-11-13T00:42:35Z

Yazar Schubert, E. Thomas. editor. Windley, Phillip J. editor. Alves-Foss, James. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540447849
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part III

2024-11-13T00:42:35Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası TK5105.5 -5105.9
ISBN 9783030243029
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part IV

2024-11-13T00:42:35Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası TK5105.5 -5105.9
ISBN 9783030243050
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part I

2024-11-13T00:42:35Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası TK5105.5 -5105.9
ISBN 9783030242893
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part V

2024-11-13T00:42:35Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası TK5105.5 -5105.9
ISBN 9783030243081
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part VI

2024-11-13T00:42:35Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası TK5105.5 -5105.9
ISBN 9783030243111
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part II

2024-11-13T00:42:35Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası TK5105.5 -5105.9
ISBN 9783030242961
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II

2024-11-13T00:42:35Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030174651
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

2024-11-13T00:42:35Z

Yazar Zhang, Fa. editor. Cai, Zhipeng. editor. Skums, Pavel. editor. Zhang, Shihua. editor. SpringerLink (Online service)
Yer Numarası QH324.2 -324.25
ISBN 9783319949680
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

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
ISBN 9783030122744
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Brain-Inspired Computing Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers

2024-11-13T00:42:35Z

Yazar Amunts, Katrin. editor. (orcid)0000-0001-5828-0867 Grandinetti, Lucio. editor. Lippert, Thomas. editor. (orcid)0000-0002-9407-6043 Petkov, Nicolai. editor. (orcid)0000-0003-2163-8647 SpringerLink (Online service)
Yer Numarası QA76.9 .U83
ISBN 9783319508627
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2016 Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

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
ISBN 9783030499433
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Parallel Architectures and Their Efficient Use First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992. Proceedings

2024-11-13T00:42:35Z

Yazar Meyer auf der Heide, Friedhelm. editor. Monien, Burkhard. editor. Rosenberg, Arnold L. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540476375
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Computer Architectures for Spatially Distributed Data

2024-11-13T00:42:35Z

Yazar Freeman, Herbert. editor. Pieroni, G.G. editor. SpringerLink (Online service)
Yer Numarası TK7895 .M5
ISBN 9783642821509
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive 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-11-13T00:42:35Z

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

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

2024-11-13T00:42:35Z

Yazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-4333-4145 Juckeland, Guido. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .C65
ISBN 9783319748962
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

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

Transactions on Computational Science XXXIII

2024-11-13T00:42:35Z

Yazar Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783662580394
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Architecture Design and Validation Methods

2024-11-13T00:42:35Z

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

Taxonomies for the Development and Verification of Digital Systems

2024-11-13T00:42:35Z

Yazar Bailey, Brian. editor. Martin, Grant. editor. Anderson, Thomas. editor. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9780387240213
Elektronik Erişim Full Text Available From Springer Nature Engineering 2005 Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

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

Computational Science - ICCS 2019 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part II

2024-11-13T00:42:35Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Yer Numarası QA75.5 -76.95
ISBN 9783030227418
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Computational Science - ICCS 2019 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part I

2024-11-13T00:42:35Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Yer Numarası QA75.5 -76.95
ISBN 9783030227340
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

Yazar Vaidya, Jaideep. editor. (orcid)0000-0002-7420-6947 Li, Jin. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .A43
ISBN 9783030050573
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications

2024-11-13T00:42:35Z

Yazar Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783662559475
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

Automata Implementation Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers

2024-11-13T00:42:35Z

Yazar Champarnaud, Jean-Marc. editor. Maurel, Denis. editor. Ziadi, Djelloul. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783540480570
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Computational Science - ICCS 2019 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part IV

2024-11-13T00:42:35Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Yer Numarası QA75.5 -76.95
ISBN 9783030227470
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Field-Programmable Logic and Applications 5th International Workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995. Proceedings

2024-11-13T00:42:35Z

Yazar Moore, Will. editor. Luk, Wayne. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540447863
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Field Programmable Logic and Applications 9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings

2024-11-13T00:42:35Z

Yazar Lysaght, Patrick. editor. Irvine, James. editor. Hartenstein, Reiner. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540483021
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Parallel Computational Technologies 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2-4, 2019, Revised Selected Papers

2024-11-13T00:42:35Z

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
ISBN 9783030281632
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Computational Science - ICCS 2019 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part III

2024-11-13T00:42:35Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Yer Numarası QA75.5 -76.95
ISBN 9783030227449
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Transactions on High-Performance Embedded Architectures and Compilers V

2024-11-13T00:42:35Z

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
ISBN 9783662588345
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings

2024-11-13T00:42:35Z

Yazar Moreno, J. Manuel. editor. Madrenas, Jordi. editor. Cosp, Jordi. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783540287377
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2005 Packages
Format: Electronic Resources

Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26-30, 2019, Proceedings

2024-11-13T00:42:35Z

Yazar Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030294007
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Computational Science - ICCS 2019 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part V

2024-11-13T00:42:35Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025 Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964 Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679 Lam, Roberto. editor. (orcid)0000-0003-4297-2441 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
Yer Numarası QA75.5 -76.95
ISBN 9783030227500
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

Yazar Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226
Yer Numarası TK5105.5 -5105.9
ISBN 9783319776101
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors

2024-11-13T00:42:35Z

Yazar Pflanz, Matthias. author. SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783540458586
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Parallel Processing and Applied Mathematics 13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019, Revised Selected Papers, Part I

2024-11-13T00:42:35Z

Yazar Wyrzykowski, Roman. editor. Deelman, Ewa. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030432294
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Computer Architecture and Organization Fundamentals and Architecture Security

2024-11-13T00:42:35Z

Yazar Wang, Shuangbao Paul. author. SpringerLink (Online service)
Yer Numarası TK7895 .M5
ISBN 9789811656620
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Solving Higher-Order Equations From Logic to Programming

2024-11-13T00:42:35Z

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

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

2024-11-13T00:42:35Z

Yazar Mencagli, Gabriele. editor. B. Heras, Dora. editor. Cardellini, Valeria. editor. Casalicchio, Emiliano. editor. Jeannot, Emmanuel. editor.
Yer Numarası TK7885 -7895
ISBN 9783030105495
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

2024-11-13T00:42:35Z

Yazar Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.
Yer Numarası QA76.758
ISBN 9783030178727
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

FM8501: A Verified Microprocessor

2024-11-13T00:42:35Z

Yazar Hunt, Warren A. Jr. author. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783540484011
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

OpenMP: Portable Multi-Level Parallelism on Modern Systems 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22-24, 2020, Proceedings

2024-11-13T00:42:35Z

Yazar Milfeld, Kent. editor. (orcid)0000-0001-7173-0834 de Supinski, Bronis R. editor. (orcid)0000-0002-0339-1006 Koesterke, Lars. editor. (orcid)0000-0003-3455-4565 Klinkenberg, Jannis. editor. (orcid)0000-0002-5518-7904 SpringerLink (Online service)
Yer Numarası TK7895 .M5
ISBN 9783030581442
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

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

2024-11-13T00:42:35Z

Yazar Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.
Yer Numarası TK7895 .M5
ISBN 9783642416354
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2013 Packages
Format: Electronic Resources