Call Number (LC) Title Results
QA76.9.S84 R63 1995 Systems analysis techniques / 1
QA76.9.S84 T66 1994 Structured methods : merging models, techniques, and CASE / 1
QA76.9.S84 T74 1991 A unifying framework for structured analysis and design models : an approach using initial algebra semantics and category theory / 1
QA76.9.S84 Y685 1989 Modern structured analysis / 2
QA76.9.S88 Advances in information systems development : information systems development, organizational aspects, and societal trends /
Design science research for a resilient future : 19th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2024, Trollhättan, Sweden, June 3-5, 2024, Proceedings /
Information Systems Development : Advances in Methodologies, Components, and Management /
New perspectives on information systems development : theory, methods, and practice /
Complex systems design & management : proceedings of the seventh International Conference on Complex Systems Design & Management, CSD & M Paris 2016 /
Contextual design : design for life /
Automatic methods for the refinement of system models : from the specification to the implementation /
Systems Analysis and Synthesis : Bridging Computer Science and Information Technology /
Systems development methods for databases, enterprise modeling, and workflow management /
Guide to Modeling and Simulation of Systems of Systems.
Complex systems design & management : proceedings of the sixth International Conference on Complex Systems Design & Management, CSD&M 2015 /
Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.
Rule based systems for big data : a machine learning approach /
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, Netherlands, April 2-8, 2016. Proceedings /
Design science research for a new society : Society 5.0 : 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, proceedings /
The what and how of modelling information and knowledge : from mind maps to ontologies /
Systems design for remote healthcare /
Building design systems : unify user experiences through a shared design language /
Reactive design patterns video edition /
Proceedings of COOP 2010 : proceedings of the 9th International Conference on Designing Cooperative Systems, May, 18-21, 2010, Aix-en-Provence /
Designing the digital transformation : 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017, Proceedings /
Design science research.
Practical data analysis : a practical guide to obtaining, transforming, exploring, and analyzing data using Python, MongoDB, and Apache Spark /
Handbook of data structures and applications /
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.
Tools and algorithms for the construction and analysis of systems : 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings.
Tools and algorithms for the construction and analysis of systems : 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings.
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings.
CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings.
P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms
Design at work : cooperative design of computer systems /
Design rationale : concepts, techniques, and use /
Practical uml statecharts in C/C++ : event-driven programming for embedded systems /
Basiswissen Digital Design Konzepte und Werkzeuge Fuür Die Ganzheitliche Gestaltung Digitaler lösungen und Systeme /
SystemC and SystemC-AMS in practice : SystemC 2.3, 2.2 and SystemC-AMS 1.0 /
Reactive design patterns /
Developing information systems : practical guidance for IT professionals /
Service design capabilities
Complex systems design & management : proceedings of the 4th International Conference on Complex Systems Design & Management Asia and of the 12th Conference on Complex Systems Design & Management CSD&M 2021 /
Advances in information systems development : methods, tools and management /
Technical building blocks : a technology reference for real-world product development /
Handbook of hardware/software codesign /
Embedded system design : methodologies and issues /
Microprocessors and microcomputer-based system design /
COOP 2014-- Proceedings of the 11th International Conference on the Design of Cooperative Systems, 27-30 May 2014, Nice (France) /
Information system development : improving enterprise communication /
Information systems design and intelligent applications : proceedings of Fourth International Conference INDIA 2017 /
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.
Information systems : education, applications, research : 7th SIGSAND/PLAIS EuroSymposium 2014, Gdańsk, Poland, September 25, 2014. Proceedings /
Advancing the impact of design science : Moving from theory to practice : 9th International Conference, DESRIST 2014, Miami, FL, USA, May 22-24, 2014. Proceedings /
VLSI-SoC : from algorithms to circuits and system-on-chip design : 20th IFIP WG 10.5/IEEE international conference on very large scale integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012, revised selected papers /
Trustworthy eternal systems via evolving software, data and knowledge : second international workshop, EternalS 2012, Montpellier, France, August 28, 2012, revised selected papers /
Designing better services a strategic approach from design to evaluation /
Evolution and challenges in system development /
System-Level Synthesis /
Handbook of dynamic data driven applications systems /
Scalable and near-optimal design space exploration for embedded systems /
Designing for a digital and globalized world : 13th International Conference, DESRIST 2018, Chennai, India, June 3?6, 2018, Proceedings /
Complex systems design & management Asia : designing smart cities: Proceedings of the First Asia-Pacific Conference on Complex Systems Design & Management, CSD & M Asia 2014 /
Complex Systems Design & Management : Proceedings of the Ninth International Conference on Complex Systems Design & Management, CSD&M Paris 2018 /
Computers as components : principles of embedded computing system design /
Information modelling and knowledge bases XXVI /
Complex systems design and management : proceedings of the 14th International Conference on Complex Systems Design and Management CSD&M 2023 /
Introduction to digital systems design /
Design science : perspectives from Europe : European Design Science Symposium, EDSS 2013, Dublin, Ireland, November 21-22, 2013. Revised selected papers /
Advanced digital system design using SoC FPGAs : an integrated hardware/software approach /
Communicating the UX vision 13 anti-patterns that block good ideas /
Tools and algorithms for the construction and analysis of systems : 29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings.
Extending the boundaries of design science theory and practice : 14th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2019, Worcester, MA, USA, June 4-6, 2019, Proceedings /
Multiphysics modelling and simulation for systems design and monitoring : proceedings of the Multiphysics Modelling and Simulation for Systems Design Conference, MMSSD 2014, 17-19 December, Sousse, Tunisia /
Complex systems design & management : proceedings of the Fifth International Conference on Complex Systems Design & Management CSD & M 2014 /
Tools and algorithms for the construction and analysis of systems 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /
Complex systems design & management Asia : smart nations -- sustaining and designing : proceedings of the second Asia-Pacific Conference on Complex Systems Design & Management, CSD & M Asia 2016 /
Perspectives of system informatics third International Andrei Ershov memorial conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings /
Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 April 4, 1998 Proceedings /
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings.
Languages Selected Contributions from FDL 2013 : Selected Contributions from FDL 2013.
Systems design based on the benefits of inconvenience /
Designing for digital transformation : co-creating services with citizens and industry : 15th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2020, Kristiansand, Norway, December 2-4, 2020 : proceedings /
MODEL-BASED SYSTEMS ARCHITECTING using cesam to architect complex systems.
COOP 2016 : proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy /
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I. 		108
QA76.9.S88 2008 Advances in Computer and Information Sciences and Engineering / 1
QA76.9.S88 A27 ACM transactions on computer systems /
ACM transactions on computer systems a publication of the Association for Computing Machinery. 		2
QA76.9.S88 A33 1985 Computer information systems development : design and implementation / 1
QA76.9.S88 A35 1998 Advanced computer system design / 1
QA76.9.S88 A36 2007 Advances and innovations in systems, computing sciences and software engineering / 1
QA76.9.S88 A37 1998 Advanced computer system design / 1
QA76.9.S88 A375 2008eb Advances in computer and information sciences and engineering 1
QA76.9.S88 A38 1997 Advances in the design of symbolic computation systems / 1
QA76.9.S88 A38 2007 Advances and innovations in systems, computing sciences and software engineering / 1
QA76.9.S88 A38 2007eb Advances and innovations in systems, computing sciences and software engineering 1
QA76.9.S88 A38 2010 Advances in design methods from modeling languages for embedded systems and SoC's Selected Contributions on Specification, Design, and Verification from FDL 2009 / 1
QA76.9.S88 A5 1991 Algebraic system specification and development : a survey and annotated bibliography / 3
QA76.9.S88 A523 1995 Analysis of dynamical and cognitive systems : advanced course, Stockholm, Sweden, August 9-14, 1993 : proceedings / 1
QA76.9.S88 A525 1987eb Analyst workbenches / 1
QA76.9.S88 A528 1992 Distributed object-oriented data-systems design / 1