Search Results for Logic design.

Digital Logic Design.

2026-01-21T06:43:39Z

by Holdsworth, Brian.
ISBN 9780080477305
Click to View
Format: Electronic Resources

Digital logic design

2026-01-21T06:43:39Z

by Holdsworth, B. (Brian)
ISBN 9780750645829 0750645822
ScienceDirect An electronic book accessible through the World Wide Web; click for information
Format: Electronic Resources

Digital logic design

2026-01-21T06:43:39Z

by Holdsworth, B. (Brian)
ISBN 9780080477305 0080477305 1281222704 9781281222701 9786611222703
https://learning.oreilly.com/library/view/~/9780750645829 https://learning.oreilly.com/library/view/~/9780750645829/?ar https://go.oreilly.com/library-access/library/view/-/9780750645829/?ar https://www.sciencedirect.com/science/book/9780750645829
Format: Electronic Resources

Switching Theory and Logic Design

2026-01-21T06:43:39Z

by Rao, C. S.
ISBN 9788131701836 8131701832
https://learning.oreilly.com/library/view/~/9788131701836/?ar https://learning.oreilly.com/library/view/~/9788131701836 https://go.oreilly.com/library-access/library/view/-/9788131701836/?ar
Format: Electronic Resources

Design of Reconfigurable Logic Controllers

2026-01-21T06:43:39Z

by Karatkevich, Andrei. editor.
ISBN 9783319267258
https://doi.org/10.1007/978-3-319-26725-8
Format: Electronic Resources

Logic and computer design fundamentals

2026-01-21T06:43:39Z

by Mano, M. Morris, 1927-
ISBN 9780131989269 013198926X 9780132067119 (International ed.)
Format: Books

Fundamentals of digital logic with VHDL design

2026-01-21T06:43:39Z

by Brown, Stephen D.
ISBN 9780073529530 (hbk. : alk. paper)
Format: Books

Fundamentals of digital logic with Verilog design

2026-01-21T06:43:39Z

by Brown, Stephen D.
ISBN 9780073380339 (hard copy : alk.
Contributor biographical information http://www.loc.gov/catdir/enhancements/fy0803/2007008622-b.html
Format: Electronic Resources

Foundation of switching theory and logic design

2026-01-21T06:43:39Z

by Singh, A. K.
ISBN 9788122428797 (electronic bk.) 8122428797
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=307425
Format: Electronic Resources

Foundation of Switching Theory and Logic Design.

2026-01-21T06:43:39Z

by Singh, A.K.
ISBN 9788122428797
Click to View
Format: Electronic Resources

Fundamentals of computer engineering : logic design and microprocessors

2026-01-21T06:43:39Z

by Lam, Herman, author
ISBN 0471605018
Format: Books

Quantum Computing : A Pathway to Quantum Logic Design.

2026-01-21T06:43:39Z

by Babu, Hafiz Hasan.
ISBN 9780750341516
Click to View
Format: Electronic Resources

Digital Logic Design Using Verilog Coding and RTL Synthesis

2026-01-21T06:43:39Z

by Taraate, Vaibbhav. author.
ISBN 9788132227915
https://doi.org/10.1007/978-81-322-2791-5
Format: Electronic Resources

Fuzzy Logic in Intelligent System Design Theory and Applications

2026-01-21T06:43:39Z

by Melin, Patricia. editor.
ISBN 9783319671376
https://doi.org/10.1007/978-3-319-67137-6
Format: Electronic Resources

Alchemy : synthesis and sound design with Alchemy in Logic Pro X

2026-01-21T06:43:39Z

by Dvorin, David, author.
ISBN 9780134541952 0134541952
https://learning.oreilly.com/library/view/~/9780134541976 https://go.oreilly.com/library-access/library/view/-/9780134541976/?ar https://learning.oreilly.com/library/view/~/9780134541976/?ar
Format: Electronic Resources

Spectral logic and its applications for design of digital devices

2026-01-21T06:43:39Z

by Karpovsky, Mark G.
ISBN 9780470289211 047028921X 1282365401 9781282365407 9786612365409
https://learning.oreilly.com/library/view/~/9780471731887/?ar https://go.oreilly.com/library-access/library/view/-/9780471731887/?ar https://learning.oreilly.com/library/view/~/9780471731887
Format: Electronic Resources

Logically Determined Design : Clockless System Design with NULL Convention Logic.

2026-01-21T06:43:39Z

by Fant, Karl M.
ISBN 9780471702870
Click to View
Format: Electronic Resources

Logically determined design : clockless system design with NULL convention logic

2026-01-21T06:43:39Z

by Fant, Karl M.
ISBN 0471702870 9780471702870 0471702897 9780471702894
https://learning.oreilly.com/library/view/~/9780471684787 https://learning.oreilly.com/library/view/~/9780471684787/?ar https://go.oreilly.com/library-access/library/view/-/9780471684787/?ar
Format: Electronic Resources

Quantum Computing (Second Edition) : A Pathway to Quantum Logic Design.

2026-01-21T06:43:39Z

by Babu, Hafiz Hasan.
ISBN 9780750356831
Click to View
Format: Electronic Resources

Fundamentals of Switching Theory and Logic Design A Hands on Approach

2026-01-21T06:43:39Z

by Astola, Jaakko T. author.
ISBN 9780387303116
http://dx.doi.org/10.1007/0-387-30311-1
Format: Electronic Resources

High-performance ASIC design using synthesizable domino logic in an ASIC flow

2026-01-21T06:43:39Z

by Hossain, Razak, 1965-
ISBN 0511456115 9780511456114 9780511457425 0511457421 9780511452680
Knovel http://app.knovel.com/web/toc.v/cid:kpHPASICDM
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Alioto, Massimo. author.
ISBN 9781402028885
http://dx.doi.org/10.1007/1-4020-2888-1
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Bhattacharya, Alakananda. author.
ISBN 9783540334590
http://dx.doi.org/10.1007/978-3-540-33459-0
Format: Electronic Resources

Digital Design using QuarkXPress 4.

2026-01-21T06:43:39Z

by Honeywill, Paul.
ISBN 9781841508528
Click to View
Format: Electronic Resources

Sayısal devrelerde mantıksal tasarım

2026-01-21T06:43:39Z

by Yarımağan, Ünal, author.
ISBN 9758695010
Format: Books

Digital logic and microprocessors

2026-01-21T06:43:39Z

by Hill, Fredrick J.
ISBN 047182979X
Format: Books

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

2026-01-21T06:43:39Z

by Podelski, Andreas. editor.
ISBN 9783319997254
https://doi.org/10.1007/978-3-319-99725-4
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Kari, Jarkko. editor. (orcid)0000-0003-0670-6138
ISBN 9783319994987
https://doi.org/10.1007/978-3-319-99498-7
Format: Electronic Resources

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2026-01-21T06:43:39Z

by McIver, Annabelle. editor.
ISBN 9783319991542
https://doi.org/10.1007/978-3-319-99154-2
Format: Electronic Resources

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

2026-01-21T06:43:39Z

by Cinquemani, Eugenio. editor.
ISBN 9783319471518
https://doi.org/10.1007/978-3-319-47151-8
Format: Electronic Resources

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

2026-01-21T06:43:39Z

by Skavhaug, Amund. editor.
ISBN 9783319454771
https://doi.org/10.1007/978-3-319-45477-1
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Liu, Shaoying. editor.
ISBN 9783319312200
https://doi.org/10.1007/978-3-319-31220-0
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

2026-01-21T06:43:39Z

by Artho, Cyrille. editor.
ISBN 9783319295107
https://doi.org/10.1007/978-3-319-29510-7
Format: Electronic Resources

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

2026-01-21T06:43:39Z

by Fomin, Fedor V. editor.
ISBN 9783319905303
https://doi.org/10.1007/978-3-319-90530-3
Format: Electronic Resources

Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings

2026-01-21T06:43:39Z

by Konstantinidis, Stavros. editor.
ISBN 9783319946313
https://doi.org/10.1007/978-3-319-94631-3
Format: Electronic Resources

Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

2026-01-21T06:43:39Z

by Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012
ISBN 9783319948126
https://doi.org/10.1007/978-3-319-94812-6
Format: Electronic Resources

Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

2026-01-21T06:43:39Z

by Potapov, Igor. editor.
ISBN 9783030002503
https://doi.org/10.1007/978-3-030-00250-3
Format: Electronic Resources

Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings

2026-01-21T06:43:39Z

by Stepney, Susan. editor. (orcid)0000-0003-3146-5401
ISBN 9783319924359
https://doi.org/10.1007/978-3-319-92435-9
Format: Electronic Resources

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2026-01-21T06:43:39Z

by Lucanu, Dorel. editor.
ISBN 9783319448022
https://doi.org/10.1007/978-3-319-44802-2
Format: Electronic Resources

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

2026-01-21T06:43:39Z

by Agha, Gul. editor.
ISBN 9783319434254
https://doi.org/10.1007/978-3-319-43425-4
Format: Electronic Resources

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

2026-01-21T06:43:39Z

by Probst, Christian W. editor.
ISBN 9783319278100
https://doi.org/10.1007/978-3-319-27810-0
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

2026-01-21T06:43:39Z

by Khomenko, Victor. editor.
ISBN 9783319912684
https://doi.org/10.1007/978-3-319-91268-4
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
ISBN 9783319991306
https://doi.org/10.1007/978-3-319-99130-6
Format: Electronic Resources

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

2026-01-21T06:43:39Z

by Chaudhuri, Swarat. editor.
ISBN 9783319415406
https://doi.org/10.1007/978-3-319-41540-6
Format: Electronic Resources

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

2026-01-21T06:43:39Z

by Chaudhuri, Swarat. editor.
ISBN 9783319415284
https://doi.org/10.1007/978-3-319-41528-4
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

2026-01-21T06:43:39Z

by Kordon, Fabrice. editor.
ISBN 9783319390864
https://doi.org/10.1007/978-3-319-39086-4
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

2026-01-21T06:43:39Z

by Jobstmann, Barbara. editor.
ISBN 9783662491225
https://doi.org/10.1007/978-3-662-49122-5
Format: Electronic Resources

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

2026-01-21T06:43:39Z

by ter Beek, Maurice H. editor.
ISBN 9783319459431
https://doi.org/10.1007/978-3-319-45943-1
Format: Electronic Resources

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

2026-01-21T06:43:39Z

by Karydis, Ioannis. editor.
ISBN 9783319299198
https://doi.org/10.1007/978-3-319-29919-8
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

2026-01-21T06:43:39Z

by Sampaio, Augusto. editor.
ISBN 9783319467504
https://doi.org/10.1007/978-3-319-46750-4
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

2026-01-21T06:43:39Z

by Dillig, Isil. editor.
ISBN 9783319737218
https://doi.org/10.1007/978-3-319-73721-8
Format: Electronic Resources

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

2026-01-21T06:43:39Z

by Chockler, Hana. editor. (orcid)0000-0003-1219-0713
ISBN 9783319961453
https://doi.org/10.1007/978-3-319-96145-3
Format: Electronic Resources

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

2026-01-21T06:43:39Z

by Chockler, Hana. editor. (orcid)0000-0003-1219-0713
ISBN 9783319961422
https://doi.org/10.1007/978-3-319-96142-2
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

2026-01-21T06:43:39Z

by Skavhaug, Amund. editor.
ISBN 9783319454801
https://doi.org/10.1007/978-3-319-45480-1
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

2026-01-21T06:43:39Z

by Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829
ISBN 9783319944609
https://doi.org/10.1007/978-3-319-94460-9
Format: Electronic Resources

Logics for Computer Science Classical and Non-Classical

2026-01-21T06:43:39Z

by Wasilewska, Anita. author.
ISBN 9783319925912
https://doi.org/10.1007/978-3-319-92591-2
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

2026-01-21T06:43:39Z

by Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
ISBN 9783319992297
https://doi.org/10.1007/978-3-319-99229-7
Format: Electronic Resources

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

2026-01-21T06:43:39Z

by Rusu, Vlad. editor.
ISBN 9783319998404
https://doi.org/10.1007/978-3-319-99840-4
Format: Electronic Resources

A First Introduction to Quantum Computing and Information

2026-01-21T06:43:39Z

by Zygelman, Bernard. author.
ISBN 9783319916293
https://doi.org/10.1007/978-3-319-91629-3
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

2026-01-21T06:43:39Z

by Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
ISBN 9783319899602
https://doi.org/10.1007/978-3-319-89960-2
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Albert, Elvira. editor.
ISBN 9783319395708
https://doi.org/10.1007/978-3-319-39570-8
Format: Electronic Resources

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

2026-01-21T06:43:39Z

by Lindley, Sam. editor.
ISBN 9783319309361
https://doi.org/10.1007/978-3-319-30936-1
Format: Electronic Resources

Principles and Structures of FPGAs

2026-01-21T06:43:39Z

by Amano, Hideharu. editor.
ISBN 9789811308246
https://doi.org/10.1007/978-981-13-0824-6
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Devitt, Simon. editor.
ISBN 9783319405780
https://doi.org/10.1007/978-3-319-40578-0
Format: Electronic Resources

A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains

2026-01-21T06:43:39Z

by Göbel, Susanne. author.
ISBN 9783658117658
https://doi.org/10.1007/978-3-658-11765-8
Format: Electronic Resources

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

2026-01-21T06:43:39Z

by Baier, Christel. editor. (orcid)0000-0002-5321-9343
ISBN 9783319893662
https://doi.org/10.1007/978-3-319-89366-2
Format: Electronic Resources

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

2026-01-21T06:43:39Z

by Mazzara, Manuel. editor.
ISBN 9783319415796
https://doi.org/10.1007/978-3-319-41579-6
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

2026-01-21T06:43:39Z

by Fischer, Bernd. editor. (orcid)0000-0002-1815-218X
ISBN 9783030025083
https://doi.org/10.1007/978-3-030-02508-3
Format: Electronic Resources

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

2026-01-21T06:43:39Z

by Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
ISBN 9783319773131
https://doi.org/10.1007/978-3-319-77313-1
Format: Electronic Resources

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

2026-01-21T06:43:39Z

by Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
ISBN 9783319743134
https://doi.org/10.1007/978-3-319-74313-4
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

2026-01-21T06:43:39Z

by Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
ISBN 9783319899633
https://doi.org/10.1007/978-3-319-89963-3
Format: Electronic Resources

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings

2026-01-21T06:43:39Z

by Jacobs, Bart. editor.
ISBN 9783662496305
https://doi.org/10.1007/978-3-662-49630-5
Format: Electronic Resources

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2026-01-21T06:43:39Z

by Ábrahám, Erika. editor.
ISBN 9783319307343
https://doi.org/10.1007/978-3-319-30734-3
Format: Electronic Resources

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

2026-01-21T06:43:39Z

by Hoshi, Mizuho. editor.
ISBN 9783319986548
https://doi.org/10.1007/978-3-319-98654-8
Format: Electronic Resources

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

2026-01-21T06:43:39Z

by Cerone, Antonio. editor. (orcid)0000-0003-2691-5279
ISBN 9783319747811
https://doi.org/10.1007/978-3-319-74781-1
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-01-21T06:43:39Z

by Chechik, Marsha. editor.
ISBN 9783662496749
https://doi.org/10.1007/978-3-662-49674-9
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Ulidowski, Irek
ISBN 978-3-030-47361-7
DOAB: download the publication DOAB: description of the publication
Format: Books

Xilinx student edition 4.2i

2026-01-21T06:43:39Z

ISBN 0130451908
Format: Electronic Resources

High speed digital design : design of high speed interconnects and signaling

2026-01-21T06:43:39Z

by Zhang, Hanqiao, author.
ISBN 9780124186675 (e-book)
Click to View
Format: Electronic Resources

Designing programmable logic controller for data acquisition and control

2026-01-21T06:43:39Z

by Gözütok, Mehmet Emre.
Access to Electronic Version.
Format: Manuscript

A Baker's Dozen : Real Analog Solutions for Digital Designers.

2026-01-21T06:43:39Z

by Baker, Bonnie.
ISBN 9780080475998
Click to View
Format: Electronic Resources

A Baker's dozen real analog solutions for digital designers

2026-01-21T06:43:39Z

by Baker, Bonnie (Bonnie C.)
ISBN 9780750678193 0750678194
ScienceDirect An electronic book accessible through the World Wide Web; click for information Publisher description http://www.loc.gov/catdir/enhancements/fy0623/2005040558-d.html Table of contents only http://www.loc.gov/catdir/enhancements/fy0623/2005040558-t.html
Format: Electronic Resources

Engineering digital design

2026-01-21T06:43:39Z

by Tinder, Richard F., 1930-
ISBN 9780126912951 0126912955
ScienceDirect An electronic book accessible through the World Wide Web; click for information Table of contents http://www.loc.gov/catdir/toc/els033/99066780.html Publisher description http://www.loc.gov/catdir/description/els033/99066780.html
Format: Electronic Resources

Demystifying chipmaking

2026-01-21T06:43:39Z

by Yanda, Richard F.
ISBN 9780750677608 0750677600
ScienceDirect An electronic book accessible through the World Wide Web; click for information Publisher description http://www.loc.gov/catdir/enhancements/fy0626/2005277383-d.html Table of contents http://www.loc.gov/catdir/enhancements/fy0626/2005277383-t.html
Format: Electronic Resources

Rechnerarchitektur : einführung in den Aufbau moderner computer

2026-01-21T06:43:39Z

by Hellmann, Roland, author.
ISBN 9783486720020 (e-book)
Click to View
Format: Electronic Resources

Fast circuit boards : energy management

2026-01-21T06:43:39Z

by Morrison, Ralph, author.
ISBN 9781119413998 1119413990 1119413907 9781119413905
https://go.oreilly.com/library-access/library/view/-/9781119413905/?ar https://learning.oreilly.com/library/view/~/9781119413905/?ar
Format: Electronic Resources

Digital design and computer architecture

2026-01-21T06:43:39Z

by Harris, Sarah L., author.
ISBN 9780128009116 (e-book)
Click to View
Format: Electronic Resources

Digital design

2026-01-21T06:43:39Z

by Mano, M. Morris, 1927- author.
ISBN 0130621218
Format: Books

Introduzione al Progetto di Sistemi Digitali

2026-01-21T06:43:39Z

by Donzellini, Giuliano. author.
ISBN 9788847039636
https://doi.org/10.1007/978-88-470-3963-6
Format: Electronic Resources

Logic of Analog and Digital Machines.

2026-01-21T06:43:39Z

by Rocchi, Paolo.
ISBN 9781616688158
Click to View
Format: Electronic Resources

Synchronous precharge logic

2026-01-21T06:43:39Z

by Smoszna, Marek.
Click to View
Format: Electronic Resources

Digital design

2026-01-21T06:43:39Z

by Mano, M. Morris.
ISBN 0132123258
Format: Books

Digital design and computer architecture

2026-01-21T06:43:39Z

by Harris, David Money.
ISBN 9780123704979 0123704979
ScienceDirect An electronic book accessible through the World Wide Web; click for information Table of contents only http://www.loc.gov/catdir/toc/ecip071/2006030554.html Publisher description http://www.loc.gov/catdir/enhancements/fy0703/2006030554-d.html
Format: Electronic Resources

Sayısal tasarım

2026-01-21T06:43:39Z

by Mano, M. Morris, 1927- author.
ISBN 9758431293 9789758431298
Format: Books

Logic of Analog and Digital Machines.

2026-01-21T06:43:39Z

by Nova Science Publishers, Inc.
ISBN 9781626180574
Click to View
Format: Electronic Resources

Digital Circuit Boards : Mach 1 GHz.

2026-01-21T06:43:39Z

by Morrison, Ralph.
ISBN 9781118278093
Click to View
Format: Electronic Resources

Digital design

2026-01-21T06:43:39Z

by Mano, M. Morris, 1927-
ISBN 0130621218 0130355259 0130646237 (CD)
Format: Books

Refinement Semantics, Languages and Applications

2026-01-21T06:43:39Z

by Derrick, John. author.
ISBN 9783319927114
https://doi.org/10.1007/978-3-319-92711-4
Format: Electronic Resources

Collaborative process automation systems

2026-01-21T06:43:39Z

by Hollender, Martin.
ISBN 193600710X 9781936007103 9781613447826 (electronic bk.)
Knovel http://app.knovel.com/web/toc.v/cid:kpCPAS0001
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency XI

2026-01-21T06:43:39Z

by Koutny, Maciej. editor.
ISBN 9783662534014
https://doi.org/10.1007/978-3-662-53401-4
Format: Electronic Resources

Elementary Logic For Software Development

2026-01-21T06:43:39Z

by Lover, Robert. author.
ISBN 9781848000827
http://dx.doi.org/10.1007/978-1-84800-082-7
Format: Electronic Resources

Case study of a micro controller based power supply design failure

2026-01-21T06:43:39Z

by Rinehart, Richard J., author.
ISBN 9781680151824 1680151827
Knovel http://app.knovel.com/web/view/cases/show.v/cid:kpCSMCBPS9/case-study-of
Format: Electronic Resources

Reliable and Energy Efficient Streaming Multiprocessor Systems

2026-01-21T06:43:39Z

by Das, Anup Kumar. author.
ISBN 9783319693743
https://doi.org/10.1007/978-3-319-69374-3
Format: Electronic Resources

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors

2026-01-21T06:43:39Z

by Melikyan, Vazgen. author.
ISBN 9783319716374
https://doi.org/10.1007/978-3-319-71637-4
Format: Electronic Resources

Design of FPGA-Based Computing Systems with OpenCL

2026-01-21T06:43:39Z

by Waidyasooriya, Hasitha Muthumala. author.
ISBN 9783319681610
https://doi.org/10.1007/978-3-319-68161-0
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Mehta, Ashok B. author.
ISBN 9783319594187
https://doi.org/10.1007/978-3-319-59418-7
Format: Electronic Resources

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors

2026-01-21T06:43:39Z

by Kurki-Suonio, Reino. author.
ISBN 9783540273486
http://dx.doi.org/10.1007/b138956
Format: Electronic Resources

Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

2026-01-21T06:43:39Z

by Bowman, Howard. author.
ISBN 9781846283369
http://dx.doi.org/10.1007/1-84628-336-1
Format: Electronic Resources

Digital design and computer architecture

2026-01-21T06:43:39Z

by Harris, David Money.
ISBN 9780080547060 0080547060 1281227269 9781281227263 0123704979
https://learning.oreilly.com/library/view/~/9780123704979 https://learning.oreilly.com/library/view/~/9780123704979/?ar https://go.oreilly.com/library-access/library/view/-/9780123704979/?ar
Format: Electronic Resources

Hierarchical Type-2 Fuzzy Aggregation of Fuzzy Controllers

2026-01-21T06:43:39Z

by Cervantes, Leticia. author.
ISBN 9783319266718
https://doi.org/10.1007/978-3-319-26671-8
Format: Electronic Resources

Digital Design and Computer Architecture : From Gates to Processors.

2026-01-21T06:43:39Z

by Harris, David.
ISBN 9780080547060
Click to View
Format: Electronic Resources

Reversible Logic Synthesis Methodologies with Application to Quantum Computing

2026-01-21T06:43:39Z

by Taha, Saleem Mohammed Ridha. author.
ISBN 9783319234793
https://doi.org/10.1007/978-3-319-23479-3
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Palchaudhuri, Ayan. author.
ISBN 9788132225201
https://doi.org/10.1007/978-81-322-2520-1
Format: Electronic Resources

BICMOS/CMOS systems design

2026-01-21T06:43:39Z

by Bunchanan, James Edgar.
ISBN 0070087121
Format: Books

Semantics with Applications: An Appetizer

2026-01-21T06:43:39Z

by Nielson, Hanne Riis. author.
ISBN 9781846286926
http://dx.doi.org/10.1007/978-1-84628-692-6
Format: Electronic Resources

Abstract Computing Machines A Lambda Calculus Perspective

2026-01-21T06:43:39Z

by Kluge, W. author.
ISBN 9783540273592
http://dx.doi.org/10.1007/b138965
Format: Electronic Resources

High-Level Synthesis From Algorithm to Digital Circuit

2026-01-21T06:43:39Z

by Coussy, Philippe. editor.
ISBN 9781402085888
http://dx.doi.org/10.1007/978-1-4020-8588-8
Format: Electronic Resources

Building a programmable logic controller with a PIC16F648A microcontroller

2026-01-21T06:43:39Z

by Uzam, Murat, 1968- author.
ISBN 9781466589865 1466589868 146658985X 9781466589858
https://go.oreilly.com/library-access/library/view/-/9781466589858/?ar https://learning.oreilly.com/library/view/~/9781466589858/?ar
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Bi, Yuanguo. editor.
ISBN 9789811310263
https://doi.org/10.1007/978-981-13-1026-3
Format: Electronic Resources

Demystifying Chipmaking.

2026-01-21T06:43:39Z

by Yanda, Richard F.
ISBN 9780080477091
Click to View
Format: Electronic Resources

VHDL for Logic Synthesis.

2026-01-21T06:43:39Z

by Rushton, Andrew.
ISBN 9780470977927
Click to View
Format: Electronic Resources

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

2026-01-21T06:43:39Z

by Trinder, Phil. editor.
ISBN 9783540278610
http://dx.doi.org/10.1007/b102274
Format: Electronic Resources

Operational amplifier noise : techniques and tips for analyzing and reducing noise

2026-01-21T06:43:39Z

by Kay, Art.
ISBN 9780080942438 0080942431
https://learning.oreilly.com/library/view/~/9780750685252/?ar https://go.oreilly.com/library-access/library/view/-/9780750685252/?ar
Format: Electronic Resources

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

2026-01-21T06:43:39Z

by Butterfield, Andrew. editor.
ISBN 9783540691754
http://dx.doi.org/10.1007/11964681
Format: Electronic Resources

Variant Construction from Theoretical Foundation to Applications

2026-01-21T06:43:39Z

by Zheng, Jeffrey
ISBN 978-981-13-2282-2
DOAB: download the publication DOAB: description of the publication
Format: Books

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

2026-01-21T06:43:39Z

by Horváth, Zoltán. editor.
ISBN 9783540741305
http://dx.doi.org/10.1007/978-3-540-74130-5
Format: Electronic Resources

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

2026-01-21T06:43:39Z

by Bošnački, Dragan. editor.
ISBN 9783540733706
http://dx.doi.org/10.1007/978-3-540-73370-6
Format: Electronic Resources

Building Arduino PLCs : the essential techniques you need to develop Arduino-based PLCs

2026-01-21T06:43:39Z

by Seneviratne, Pradeeka, author.
ISBN 9781484226322 1484226321
https://learning.oreilly.com/library/view/~/9781484226322/?ar https://go.oreilly.com/library-access/library/view/-/9781484226322/?ar https://learning.oreilly.com/library/view/~/9781484226322
Format: Electronic Resources

Design recipes for FPGAs

2026-01-21T06:43:39Z

by Wilson, Peter R. (Peter Robert), 1939-
ISBN 9780080548425 0080548423
https://go.oreilly.com/library-access/library/view/-/9780080548425/?ar https://learning.oreilly.com/library/view/~/9780080548425/?ar https://www.sciencedirect.com/science/book/9780750668453
Format: Electronic Resources

Op Amps : design, applications, and troubleshooting

2026-01-21T06:43:39Z

by Terrell, David L.
ISBN 9780750697026 0750697024 058547074X 9780585470740 9780080513089
https://www.sciencedirect.com/science/book/9780750697026 https://go.oreilly.com/library-access/library/view/-/9780750697026/?ar https://learning.oreilly.com/library/view/~/9780750697026/?ar
Format: Electronic Resources

Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

2026-01-21T06:43:39Z

by Yorav, Karen. editor.
ISBN 9783540779667
http://dx.doi.org/10.1007/978-3-540-77966-7
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

2026-01-21T06:43:39Z

by Logozzo, Francesco. editor.
ISBN 9783540781639
http://dx.doi.org/10.1007/978-3-540-78163-9
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings

2026-01-21T06:43:39Z

by Emerson, E. Allen. editor.
ISBN 9783540316220
http://dx.doi.org/10.1007/11609773
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

2026-01-21T06:43:39Z

by Cook, Byron. editor.
ISBN 9783540697381
http://dx.doi.org/10.1007/978-3-540-69738-1
Format: Electronic Resources

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

2026-01-21T06:43:39Z

by Godefroid, Patrice. editor.
ISBN 9783540318996
http://dx.doi.org/10.1007/11537328
Format: Electronic Resources

Variations on Constants Flow Analysis of Sequential and Parallel Programs

2026-01-21T06:43:39Z

by Müller-Olm, Markus. author.
ISBN 9783540453864
http://dx.doi.org/10.1007/11871743
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

2026-01-21T06:43:39Z

by Cousot, Radhia. editor.
ISBN 9783540305798
http://dx.doi.org/10.1007/b105073
Format: Electronic Resources

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

2026-01-21T06:43:39Z

by Havelund, Klaus. editor.
ISBN 9783540851141
http://dx.doi.org/10.1007/978-3-540-85114-1
Format: Electronic Resources

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

2026-01-21T06:43:39Z

by Lau, Kung-Kiu. editor.
ISBN 9783540322504
http://dx.doi.org/10.1007/11576280
Format: Electronic Resources

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2026-01-21T06:43:39Z

by Fiadeiro, José Luiz. editor.
ISBN 9783540787433
http://dx.doi.org/10.1007/978-3-540-78743-3
Format: Electronic Resources

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2026-01-21T06:43:39Z

by Dwyer, Matthew B. editor.
ISBN 9783540712893
http://dx.doi.org/10.1007/978-3-540-71289-3
Format: Electronic Resources

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

2026-01-21T06:43:39Z

by Ur, Shmuel. editor.
ISBN 9783540326052
http://dx.doi.org/10.1007/11678779
Format: Electronic Resources

Model-Based Testing of Reactive Systems Advanced Lectures

2026-01-21T06:43:39Z

by Broy, Manfred. editor.
ISBN 9783540320371
http://dx.doi.org/10.1007/b137241
Format: Electronic Resources

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers

2026-01-21T06:43:39Z

by Grelck, Clemens. editor.
ISBN 9783540320388
http://dx.doi.org/10.1007/b136772
Format: Electronic Resources

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings

2026-01-21T06:43:39Z

by Liu, Zhiming. editor.
ISBN 9783540474623
http://dx.doi.org/10.1007/11901433
Format: Electronic Resources

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

2026-01-21T06:43:39Z

by Bin, Eyal. editor.
ISBN 9783540708896
http://dx.doi.org/10.1007/978-3-540-70889-6
Format: Electronic Resources

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

2026-01-21T06:43:39Z

by Valmari, Antti. editor.
ISBN 9783540331032
http://dx.doi.org/10.1007/11691617
Format: Electronic Resources

Digital circuit boards : mach 1 ghz

2026-01-21T06:43:39Z

by Morrison, Ralph.
ISBN 9781118278123 1118278127 1118278097 9781118278093 9781283941235
https://go.oreilly.com/library-access/library/view/-/9781118278116/?ar https://learning.oreilly.com/library/view/~/9781118278116/?ar https://learning.oreilly.com/library/view/~/9781118278116
Format: Electronic Resources

Practical Problems in VLSI Physical Design Automation

2026-01-21T06:43:39Z

by Lim, Sung Kyu. author.
ISBN 9781402066276
http://dx.doi.org/10.1007/978-1-4020-6627-6
Format: Electronic Resources

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2026-01-21T06:43:39Z

by Baresi, Luciano. editor.
ISBN 9783540330943
http://dx.doi.org/10.1007/11693017
Format: Electronic Resources

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2026-01-21T06:43:39Z

by Cerioli, Maura. editor.
ISBN 9783540319849
http://dx.doi.org/10.1007/b107062
Format: Electronic Resources

Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

2026-01-21T06:43:39Z

by Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678
ISBN 9783030003890
https://doi.org/10.1007/978-3-030-00389-0
Format: Electronic Resources

Unfoldings A Partial-Order Approach to Model Checking

2026-01-21T06:43:39Z

by Esparza, Javier. author.
ISBN 9783540774266
http://dx.doi.org/10.1007/978-3-540-77426-6
Format: Electronic Resources

A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components

2026-01-21T06:43:39Z

by Caromel, Denis. author.
ISBN 9783540272458
http://dx.doi.org/10.1007/b138812
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Treharne, Helen. editor.
ISBN 9783540320074
http://dx.doi.org/10.1007/b135596
Format: Electronic Resources

Digital design and computer architecture

2026-01-21T06:43:39Z

by Harris, David Money.
ISBN 9780123978165 0123978165 0123944244 9780123944245
https://go.oreilly.com/library-access/library/view/-/9780123944245/?ar https://learning.oreilly.com/library/view/~/9780123944245/?ar
Format: Electronic Resources

Op amps for everyone

2026-01-21T06:43:39Z

by Carter, Bruce, 1954-
ISBN 9780123944061 0123944066 0123914957 9780123914958
https://go.oreilly.com/library-access/library/view/-/9780123914958/?ar https://learning.oreilly.com/library/view/~/9780123914958/?ar
Format: Electronic Resources

Op Amps design, applications, and troubleshooting

2026-01-21T06:43:39Z

by Terrell, David L.
ISBN 058547074X (electronic bk.) 9780585470740 0750697024
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=92181
Format: Electronic Resources

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities

2026-01-21T06:43:39Z

by Simon, Axel. editor.
ISBN 9781848000179
http://dx.doi.org/10.1007/978-1-84800-017-9
Format: Electronic Resources

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

2026-01-21T06:43:39Z

by Hermenegildo, Manuel V. editor.
ISBN 9783540305576
http://dx.doi.org/10.1007/b105205
Format: Electronic Resources

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings

2026-01-21T06:43:39Z

by Hudak, Paul. editor.
ISBN 9783540774426
http://dx.doi.org/10.1007/978-3-540-77442-6
Format: Electronic Resources

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

2026-01-21T06:43:39Z

by Hanus, Michael. editor.
ISBN 9783540696117
http://dx.doi.org/10.1007/978-3-540-69611-7
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Julliand, Jacques. editor.
ISBN 9783540687610
http://dx.doi.org/10.1007/11955757
Format: Electronic Resources

Software Engineering 2 Specification of Systems and Languages

2026-01-21T06:43:39Z

by Bjørner, Dines. author.
ISBN 9783540331933
http://dx.doi.org/10.1007/978-3-540-33193-3
Format: Electronic Resources

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

2026-01-21T06:43:39Z

by Romijn, Judi. editor.
ISBN 9783540322405
http://dx.doi.org/10.1007/11589976
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Jarvis, Stephen. editor.
ISBN 9783319729718
https://doi.org/10.1007/978-3-319-72971-8
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by de Supinski, Bronis R. editor.
ISBN 9783319985213
https://doi.org/10.1007/978-3-319-98521-3
Format: Electronic Resources

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

2026-01-21T06:43:39Z

by Davies, Jim. editor.
ISBN 9783540732105
http://dx.doi.org/10.1007/978-3-540-73210-5
Format: Electronic Resources

Software Engineering 1 Abstraction and Modelling

2026-01-21T06:43:39Z

by Bjørner, Dines. author.
ISBN 9783540312888
http://dx.doi.org/10.1007/3-540-31288-9
Format: Electronic Resources

Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers

2026-01-21T06:43:39Z

by Meuter, Wolfgang. editor.
ISBN 9783540718369
http://dx.doi.org/10.1007/978-3-540-71836-9
Format: Electronic Resources

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings

2026-01-21T06:43:39Z

by Hentenryck, Pascal. editor.
ISBN 9783540316855
http://dx.doi.org/10.1007/11603023
Format: Electronic Resources

Software Engineering 3 Domains, Requirements, and Software Design

2026-01-21T06:43:39Z

by Bjøner, Dines. author.
ISBN 9783540336532
http://dx.doi.org/10.1007/3-540-33653-2
Format: Electronic Resources

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings

2026-01-21T06:43:39Z

by Heineman, George T. editor.
ISBN 9783540320494
http://dx.doi.org/10.1007/b136248
Format: Electronic Resources

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

2026-01-21T06:43:39Z

by Abdallah, Ali E. editor.
ISBN 9783540322658
http://dx.doi.org/10.1007/b136154
Format: Electronic Resources

Inconsistency Tolerance

2026-01-21T06:43:39Z

by Bertossi, Leopoldo. editor.
ISBN 9783540305972
http://dx.doi.org/10.1007/b104925
Format: Electronic Resources

Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

2026-01-21T06:43:39Z

by Liblit, Ben. author.
ISBN 9783540718789
http://dx.doi.org/10.1007/978-3-540-71878-9
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Lange, Tanja. editor.
ISBN 9783319790633
https://doi.org/10.1007/978-3-319-79063-3
Format: Electronic Resources

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

2026-01-21T06:43:39Z

by Virbitskaite, Irina. editor.
ISBN 9783540708810
http://dx.doi.org/10.1007/978-3-540-70881-0
Format: Electronic Resources

Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers

2026-01-21T06:43:39Z

by Guelfi, Nicolas. editor.
ISBN 9783540320395
http://dx.doi.org/10.1007/b136153
Format: Electronic Resources

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

2026-01-21T06:43:39Z

by George, Chris W. editor.
ISBN 9783540749646
http://dx.doi.org/10.1007/978-3-540-74964-6
Format: Electronic Resources

Designus Maximus unleashed! (unabridged & unexpurgated) : banned in Alabama!

2026-01-21T06:43:39Z

by Maxfield, Clive, 1957-
ISBN 9780080504056 0080504051 9780750690898 0750690895 1281077593
https://go.oreilly.com/library-access/library/view/-/9780750690898/?ar https://www.sciencedirect.com/science/book/9780750690898 https://learning.oreilly.com/library/view/~/9780750690898/?ar https://learning.oreilly.com/library/view/~/9780750690898
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

2026-01-21T06:43:39Z

by Knoll, Florian. editor. (orcid)0000-0001-5357-8656
ISBN 9783030001292
https://doi.org/10.1007/978-3-030-00129-2
Format: Electronic Resources

Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

2026-01-21T06:43:39Z

by Igarashi, Atsushi. editor.
ISBN 9783319479583
https://doi.org/10.1007/978-3-319-47958-3
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

2026-01-21T06:43:39Z

by Najm, Elie. editor.
ISBN 9783540462200
http://dx.doi.org/10.1007/11888116
Format: Electronic Resources

Temporal Logic and State Systems

2026-01-21T06:43:39Z

by Kröger, Fred. author.
ISBN 9783540686354
http://dx.doi.org/10.1007/978-3-540-68635-4
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

2026-01-21T06:43:39Z

by Suzuki, Kenji. editor.
ISBN 9783540688556
http://dx.doi.org/10.1007/978-3-540-68855-6
Format: Electronic Resources

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers

2026-01-21T06:43:39Z

by Guelfi, Nicolas. editor.
ISBN 9783540718765
http://dx.doi.org/10.1007/978-3-540-71876-5
Format: Electronic Resources

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2026-01-21T06:43:39Z

by Hasuo, Ichiro. editor.
ISBN 9783319403700
https://doi.org/10.1007/978-3-319-40370-0
Format: Electronic Resources

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers

2026-01-21T06:43:39Z

by Guelfi, Nicolas. editor.
ISBN 9783540340645
http://dx.doi.org/10.1007/11751113
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

2026-01-21T06:43:39Z

by Wang, Farn. editor.
ISBN 9783540320845
http://dx.doi.org/10.1007/11562436
Format: Electronic Resources

Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

2026-01-21T06:43:39Z

by Margaria, Tiziana. editor.
ISBN 9783540489290
http://dx.doi.org/10.1007/11925040
Format: Electronic Resources

Implementing Azure Cloud design patterns : implement efficient design patterns for data management, high availability, monitoring, and other popular patterns on your Azure Cloud

2026-01-21T06:43:39Z

by Michalski, Oliver, author.
ISBN 9781788396639 1788396634 1788393368 9781788393362
https://learning.oreilly.com/library/view/~/9781788393362/?ar https://learning.oreilly.com/library/view/~/9781788393362 https://go.oreilly.com/library-access/library/view/-/9781788393362/?ar
Format: Electronic Resources

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

2026-01-21T06:43:39Z

by Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682
ISBN 9783319738147
https://doi.org/10.1007/978-3-319-73814-7
Format: Electronic Resources

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

2026-01-21T06:43:39Z

by Seipel, Dietmar. editor.
ISBN 9783030008017
https://doi.org/10.1007/978-3-030-00801-7
Format: Electronic Resources

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

2026-01-21T06:43:39Z

by Bošnački, Dragan. editor.
ISBN 9783319325828
https://doi.org/10.1007/978-3-319-32582-8
Format: Electronic Resources

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

2026-01-21T06:43:39Z

by Butler, Michael. editor.
ISBN 9783540766506
http://dx.doi.org/10.1007/978-3-540-76650-6
Format: Electronic Resources

Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings

2026-01-21T06:43:39Z

by Rocca, Simona Ronchi. editor.
ISBN 9783540732280
http://dx.doi.org/10.1007/978-3-540-73228-0
Format: Electronic Resources

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

2026-01-21T06:43:39Z

by Schmidt, Heinz W. editor.
ISBN 9783540735519
http://dx.doi.org/10.1007/978-3-540-73551-9
Format: Electronic Resources

Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers

2026-01-21T06:43:39Z

by Barley, Michael Wayne. editor.
ISBN 9783540321286
http://dx.doi.org/10.1007/b107183
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

2026-01-21T06:43:39Z

by Derrick, John. editor.
ISBN 9783540731962
http://dx.doi.org/10.1007/978-3-540-73196-2
Format: Electronic Resources

Programming Languages An Active Learning Approach

2026-01-21T06:43:39Z

by Lee, Kent. author.
ISBN 9780387794228
http://dx.doi.org/10.1007/978-0-387-79421-1
Format: Electronic Resources

Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings

2026-01-21T06:43:39Z

by Shi, Zhong-Zhi. editor.
ISBN 9783540368601
http://dx.doi.org/10.1007/11802372
Format: Electronic Resources

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures

2026-01-21T06:43:39Z

by Boer, Frank S. editor.
ISBN 9783540319399
http://dx.doi.org/10.1007/11561163
Format: Electronic Resources

Circuit design with VHDL

2026-01-21T06:43:39Z

by Pedroni, Volnei A.
ISBN 9780262256780 (electronic bk.) 0262256789
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=122540
Format: Electronic Resources

Theory and Applications of Formal Argumentation 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

2026-01-21T06:43:39Z

by Black, Elizabeth. editor. (orcid)0000-0002-4295-449X
ISBN 9783319755533
https://doi.org/10.1007/978-3-319-75553-3
Format: Electronic Resources

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

2026-01-21T06:43:39Z

by Boer, Frank S. editor.
ISBN 9783540747925
http://dx.doi.org/10.1007/978-3-540-74792-5
Format: Electronic Resources

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings

2026-01-21T06:43:39Z

by Zucker, Jean-Daniel. editor.
ISBN 9783540318828
http://dx.doi.org/10.1007/11527862
Format: Electronic Resources

Lectures on Runtime Verification Introductory and Advanced Topics

2026-01-21T06:43:39Z

by Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
ISBN 9783319756325
https://doi.org/10.1007/978-3-319-75632-5
Format: Electronic Resources

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings

2026-01-21T06:43:39Z

by Miguel, Ian. editor.
ISBN 9783540735809
http://dx.doi.org/10.1007/978-3-540-73580-9
Format: Electronic Resources

Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings

2026-01-21T06:43:39Z

by Sakakibara, Yasubumi. editor.
ISBN 9783540452652
http://dx.doi.org/10.1007/11872436
Format: Electronic Resources

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings

2026-01-21T06:43:39Z

by Stevens, Perdita. editor.
ISBN 9783662496657
https://doi.org/10.1007/978-3-662-49665-7
Format: Electronic Resources

Software-Intensive Systems and New Computing Paradigms Challenges and Visions

2026-01-21T06:43:39Z

by Wirsing, Martin. editor.
ISBN 9783540894377
http://dx.doi.org/10.1007/978-3-540-89437-7
Format: Electronic Resources

Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings

2026-01-21T06:43:39Z

by Clark, Alexander. editor.
ISBN 9783540880097
http://dx.doi.org/10.1007/978-3-540-88009-7
Format: Electronic Resources

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

2026-01-21T06:43:39Z

by Boer, Frank S. editor.
ISBN 9783540921882
http://dx.doi.org/10.1007/978-3-540-92188-2
Format: Electronic Resources

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

2026-01-21T06:43:39Z

by Lumpe, Markus. editor.
ISBN 9783540773511
http://dx.doi.org/10.1007/978-3-540-77351-1
Format: Electronic Resources

Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

2026-01-21T06:43:39Z

by Boer, Frank S. editor.
ISBN 9783540367505
http://dx.doi.org/10.1007/11804192
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

2026-01-21T06:43:39Z

by Pettersson, Paul. editor.
ISBN 9783540316169
http://dx.doi.org/10.1007/11603009
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

2026-01-21T06:43:39Z

by Fränzle, Martin. editor.
ISBN 9783319448787
https://doi.org/10.1007/978-3-319-44878-7
Format: Electronic Resources

Advanced signal integrity for high-speed digital designs

2026-01-21T06:43:39Z

by Hall, Stephen H.
ISBN 9780470423882 0470423889 9780470423899 0470423897 0470192356
https://learning.oreilly.com/library/view/~/9780470192351 https://go.oreilly.com/library-access/library/view/-/9780470192351/?ar https://learning.oreilly.com/library/view/~/9780470192351/?ar
Format: Electronic Resources

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

2026-01-21T06:43:39Z

by Ábrahám, Erika. editor.
ISBN 9783319336930
https://doi.org/10.1007/978-3-319-33693-0
Format: Electronic Resources

Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers

2026-01-21T06:43:39Z

by Löwe, Welf. editor.
ISBN 9783540376590
http://dx.doi.org/10.1007/11821946
Format: Electronic Resources

Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers

2026-01-21T06:43:39Z

by Dignum, Frank P. M. editor.
ISBN 9783540681434
http://dx.doi.org/10.1007/978-3-540-68143-4
Format: Electronic Resources

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

2026-01-21T06:43:39Z

by Eijk, Rogier M. editor.
ISBN 9783540322580
http://dx.doi.org/10.1007/b106468
Format: Electronic Resources

Abstraction, Refinement and Proof for Probabilistic Systems

2026-01-21T06:43:39Z

by McIver, Annabelle. author.
ISBN 9780387270067
http://dx.doi.org/10.1007/b138392
Format: Electronic Resources

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers

2026-01-21T06:43:39Z

by Gschwind, Thomas. editor.
ISBN 9783540287490
http://dx.doi.org/10.1007/11550679
Format: Electronic Resources

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

2026-01-21T06:43:39Z

by Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
ISBN 9783319733050
https://doi.org/10.1007/978-3-319-73305-0
Format: Electronic Resources

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

2026-01-21T06:43:39Z

by Pautasso, Cesare. editor.
ISBN 9783540787891
http://dx.doi.org/10.1007/978-3-540-78789-1
Format: Electronic Resources

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings

2026-01-21T06:43:39Z

by Urzyczyn, Paweł. editor.
ISBN 9783540320142
http://dx.doi.org/10.1007/b135690
Format: Electronic Resources

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

2026-01-21T06:43:39Z

by Hill, Patricia M. editor.
ISBN 9783540326564
http://dx.doi.org/10.1007/11680093
Format: Electronic Resources

Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings

2026-01-21T06:43:39Z

by Wolter, Katinka. editor.
ISBN 9783540752110
http://dx.doi.org/10.1007/978-3-540-75211-0
Format: Electronic Resources

Towards Paraconsistent Engineering

2026-01-21T06:43:39Z

by Akama, Seiki. editor.
ISBN 9783319404189
https://doi.org/10.1007/978-3-319-40418-9
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

2026-01-21T06:43:39Z

by King, Andy. editor.
ISBN 9783540787693
http://dx.doi.org/10.1007/978-3-540-78769-3
Format: Electronic Resources

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers

2026-01-21T06:43:39Z

by Etalle, Sandro. editor.
ISBN 9783540316831
http://dx.doi.org/10.1007/b137785
Format: Electronic Resources

Logics of Specification Languages

2026-01-21T06:43:39Z

by Bjørner, Dines. editor.
ISBN 9783540741077
http://dx.doi.org/10.1007/978-3-540-74107-7
Format: Electronic Resources

Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings

2026-01-21T06:43:39Z

by Bui, The Duy. editor.
ISBN 9783540896746
http://dx.doi.org/10.1007/978-3-540-89674-6
Format: Electronic Resources

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings

2026-01-21T06:43:39Z

by Gorton, Ian. editor.
ISBN 9783540356295
http://dx.doi.org/10.1007/11783565
Format: Electronic Resources

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

2026-01-21T06:43:39Z

by Castor, Fernando. editor.
ISBN 9783319452791
https://doi.org/10.1007/978-3-319-45279-1
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

2026-01-21T06:43:39Z

by Leue, Stefan. editor.
ISBN 9783540797074
http://dx.doi.org/10.1007/978-3-540-79707-4
Format: Electronic Resources

Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings

2026-01-21T06:43:39Z

by Kounev, Samuel. editor.
ISBN 9783540698142
http://dx.doi.org/10.1007/978-3-540-69814-2
Format: Electronic Resources

Architectural patterns : uncover essential patterns in the most indispensable realm of enterprise architecture

2026-01-21T06:43:39Z

by Raj, Pethuru, author.
ISBN 1787287491 9781787287495 9781787288348 178728834X
https://learning.oreilly.com/library/view/~/9781787287495 https://learning.oreilly.com/library/view/~/9781787287495/?ar https://go.oreilly.com/library-access/library/view/-/9781787287495/?ar
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Yokota, Rio. editor. (orcid)0000-0001-7573-7873
ISBN 9783319920405
https://doi.org/10.1007/978-3-319-92040-5
Format: Electronic Resources

Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

2026-01-21T06:43:39Z

by Abdulla, Parosh Aziz. editor.
ISBN 9783319461403
https://doi.org/10.1007/978-3-319-46140-3
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

2026-01-21T06:43:39Z

by Fiadeiro, José Luiz. editor.
ISBN 9783540719984
http://dx.doi.org/10.1007/978-3-540-71998-4
Format: Electronic Resources

Deductive Software Verification – The KeY Book From Theory to Practice

2026-01-21T06:43:39Z

by Ahrendt, Wolfgang. editor.
ISBN 9783319498126
https://doi.org/10.1007/978-3-319-49812-6
Format: Electronic Resources

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

2026-01-21T06:43:39Z

by Krishnamurthi, Shriram. editor.
ISBN 9783540712299
http://dx.doi.org/10.1007/978-3-540-71229-9
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

2026-01-21T06:43:39Z

by Puebla, Germán. editor.
ISBN 9783540714101
http://dx.doi.org/10.1007/978-3-540-71410-1
Format: Electronic Resources

Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings

2026-01-21T06:43:39Z

by Yi, Kwangkeun. editor.
ISBN 9783540377580
http://dx.doi.org/10.1007/11823230
Format: Electronic Resources

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

2026-01-21T06:43:39Z

by Hankin, Chris. editor.
ISBN 9783540319719
http://dx.doi.org/10.1007/11547662
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Thiemann, Peter. editor.
ISBN 9783662494981
https://doi.org/10.1007/978-3-662-49498-1
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2026-01-21T06:43:39Z

by Ramakrishnan, C. R. editor.
ISBN 9783540788003
http://dx.doi.org/10.1007/978-3-540-78800-3
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

2026-01-21T06:43:39Z

by Raskin, Jean-François. editor.
ISBN 9783540754541
http://dx.doi.org/10.1007/978-3-540-75454-1
Format: Electronic Resources

Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

2026-01-21T06:43:39Z

by Grieskamp, Wolfgang. editor.
ISBN 9783540344551
http://dx.doi.org/10.1007/11759744
Format: Electronic Resources

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

2026-01-21T06:43:39Z

by Lachiche, Nicolas. editor.
ISBN 9783319780900
https://doi.org/10.1007/978-3-319-78090-0
Format: Electronic Resources

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers

2026-01-21T06:43:39Z

by Chitil, Olaf. editor.
ISBN 9783540853732
http://dx.doi.org/10.1007/978-3-540-85373-2
Format: Electronic Resources

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

2026-01-21T06:43:39Z

by Bernardo, Marco. editor.
ISBN 9783540343059
http://dx.doi.org/10.1007/11757283
Format: Electronic Resources

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

2026-01-21T06:43:39Z

by Horváth, András. editor.
ISBN 9783540353652
http://dx.doi.org/10.1007/11777830
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

2026-01-21T06:43:39Z

by Fiadeiro, José Luiz. editor.
ISBN 9783540319597
http://dx.doi.org/10.1007/b107129
Format: Electronic Resources

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

2026-01-21T06:43:39Z

by Brim, Luboš. editor.
ISBN 9783540709527
http://dx.doi.org/10.1007/978-3-540-70952-7
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

2026-01-21T06:43:39Z

by Asarin, Eugene. editor.
ISBN 9783540450313
http://dx.doi.org/10.1007/11867340
Format: Electronic Resources

Transactions on Computational Science XXXIII

2026-01-21T06:43:39Z

by Gavrilova, Marina L. editor.
ISBN 9783662580394
https://doi.org/10.1007/978-3-662-58039-4
Format: Electronic Resources

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

2026-01-21T06:43:39Z

by Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
ISBN 9783030021467
https://doi.org/10.1007/978-3-030-02146-7
Format: Electronic Resources

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

2026-01-21T06:43:39Z

by Hendren, Laurie. editor.
ISBN 9783540787914
http://dx.doi.org/10.1007/978-3-540-78791-4
Format: Electronic Resources

CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

2026-01-21T06:43:39Z

by Caires, Luís. editor.
ISBN 9783540744078
http://dx.doi.org/10.1007/978-3-540-74407-8
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Schneider, Klaus. editor.
ISBN 9783540745914
http://dx.doi.org/10.1007/978-3-540-74591-4
Format: Electronic Resources

Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

2026-01-21T06:43:39Z

by Nieuwenhuis, Robert. editor.
ISBN 9783540318644
http://dx.doi.org/10.1007/11532231
Format: Electronic Resources

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

2026-01-21T06:43:39Z

by Roy, Peter. editor.
ISBN 9783540318453
http://dx.doi.org/10.1007/b106627
Format: Electronic Resources

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

2026-01-21T06:43:39Z

by Bernardo, Marco. editor.
ISBN 9783540320210
http://dx.doi.org/10.1007/b135888
Format: Electronic Resources

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

2026-01-21T06:43:39Z

by Bozapalidis, Symeon. editor.
ISBN 9783540754145
http://dx.doi.org/10.1007/978-3-540-75414-5
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

2026-01-21T06:43:39Z

by Grumberg, Orna. editor.
ISBN 9783540712091
http://dx.doi.org/10.1007/978-3-540-71209-1
Format: Electronic Resources

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

2026-01-21T06:43:39Z

by Artemov, Sergei N. editor.
ISBN 9783540727347
http://dx.doi.org/10.1007/978-3-540-72734-7
Format: Electronic Resources

Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers

2026-01-21T06:43:39Z

by Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038
ISBN 9783319761688
https://doi.org/10.1007/978-3-319-76168-8
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

2026-01-21T06:43:39Z

by Hermanns, Holger. editor.
ISBN 9783540330578
http://dx.doi.org/10.1007/11691372
Format: Electronic Resources

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

2026-01-21T06:43:39Z

by Gavanelli, Marco. editor.
ISBN 9783319282282
https://doi.org/10.1007/978-3-319-28228-2
Format: Electronic Resources

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

2026-01-21T06:43:39Z

by Bernardo, Marco. editor.
ISBN 9783540725220
http://dx.doi.org/10.1007/978-3-540-72522-0
Format: Electronic Resources

25 Years of Model Checking History, Achievements, Perspectives

2026-01-21T06:43:39Z

by Grumberg, Orna. editor.
ISBN 9783540698500
http://dx.doi.org/10.1007/978-3-540-69850-0
Format: Electronic Resources

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

2026-01-21T06:43:39Z

by Mohamed, Otmane Ait. editor.
ISBN 9783540710677
http://dx.doi.org/10.1007/978-3-540-71067-7
Format: Electronic Resources

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

2026-01-21T06:43:39Z

by Alpuente, María. editor.
ISBN 9783540691662
http://dx.doi.org/10.1007/978-3-540-69166-2
Format: Electronic Resources

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

2026-01-21T06:43:39Z

by Reps, Thomas. editor.
ISBN 9783540713227
http://dx.doi.org/10.1007/978-3-540-71322-7
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2026-01-21T06:43:39Z

by Halbwachs, Nicolas. editor.
ISBN 9783540319801
http://dx.doi.org/10.1007/b107194
Format: Electronic Resources

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

2026-01-21T06:43:39Z

by Comon-Lundh, Hubert. editor.
ISBN 9783540731474
http://dx.doi.org/10.1007/978-3-540-73147-4
Format: Electronic Resources

Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

2026-01-21T06:43:39Z

by Pfenning, Frank. editor.
ISBN 9783540735953
http://dx.doi.org/10.1007/978-3-540-73595-3
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

2026-01-21T06:43:39Z

by Smart, Nigel P. editor. (orcid)0000-0003-3567-3304
ISBN 9783319769530
https://doi.org/10.1007/978-3-319-76953-0
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

2026-01-21T06:43:39Z

by Tian, Cong. editor.
ISBN 9783319901046
https://doi.org/10.1007/978-3-319-90104-6
Format: Electronic Resources

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers

2026-01-21T06:43:39Z

by Gurfinkel, Arie. editor.
ISBN 9783319296135
https://doi.org/10.1007/978-3-319-29613-5
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

2026-01-21T06:43:39Z

by Blazy, Sandrine. editor.
ISBN 9783319488691
https://doi.org/10.1007/978-3-319-48869-1
Format: Electronic Resources

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

2026-01-21T06:43:39Z

by Edelkamp, Stefan. editor.
ISBN 9783540741282
http://dx.doi.org/10.1007/978-3-540-74128-2
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Frachtenberg, Eitan. editor.
ISBN 9783540710356
http://dx.doi.org/10.1007/978-3-540-71035-6
Format: Electronic Resources

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

2026-01-21T06:43:39Z

by Hurd, Joe. editor.
ISBN 9783540318200
http://dx.doi.org/10.1007/11541868
Format: Electronic Resources

Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

2026-01-21T06:43:39Z

by Leue, Stefan. editor.
ISBN 9783540320326
http://dx.doi.org/10.1007/b137052
Format: Electronic Resources

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings

2026-01-21T06:43:39Z

by Dearle, Alan. editor.
ISBN 9783540322818
http://dx.doi.org/10.1007/11590712
Format: Electronic Resources

Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings

2026-01-21T06:43:39Z

by Češka, Milan. editor.
ISBN 9783319994291
https://doi.org/10.1007/978-3-319-99429-1
Format: Electronic Resources

Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers

2026-01-21T06:43:39Z

by Hierons, Robert M. editor.
ISBN 9783540789178
http://dx.doi.org/10.1007/978-3-540-78917-8
Format: Electronic Resources

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

2026-01-21T06:43:39Z

by Mossakowski, Till. editor.
ISBN 9783540738596
http://dx.doi.org/10.1007/978-3-540-73859-6
Format: Electronic Resources

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

2026-01-21T06:43:39Z

by Fiadeiro, José Luiz. editor.
ISBN 9783540318767
http://dx.doi.org/10.1007/11548133
Format: Electronic Resources

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

2026-01-21T06:43:39Z

by Serrano, Manuel. editor.
ISBN 9783319391106
https://doi.org/10.1007/978-3-319-39110-6
Format: Electronic Resources

Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

2026-01-21T06:43:39Z

by Baldoni, Matteo. editor.
ISBN 9783540689614
http://dx.doi.org/10.1007/11961536
Format: Electronic Resources

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings

2026-01-21T06:43:39Z

by Lightfoot, David E. editor.
ISBN 9783540409281
http://dx.doi.org/10.1007/11860990
Format: Electronic Resources

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

2026-01-21T06:43:39Z

by Li, Chao. editor.
ISBN 9789811324239
https://doi.org/10.1007/978-981-13-2423-9
Format: Electronic Resources

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

2026-01-21T06:43:39Z

by Nielson, Hanne Riis. editor.
ISBN 9783540740612
http://dx.doi.org/10.1007/978-3-540-74061-2
Format: Electronic Resources

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings

2026-01-21T06:43:39Z

by Arbab, Farhad. editor.
ISBN 9783540756989
http://dx.doi.org/10.1007/978-3-540-75698-9
Format: Electronic Resources