Ergebnisse filtern
-
- 1870
- 6
- 3
-
- 2
- 47
- 1136
- 694
-
- 1868
- 10
- 2
-
- 1876
- 3
-
- 1879
- 116
Logik, formale Sprachen, Automaten
-
Steimle Algorithmic Mechanism Design
Eine EinführungErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-76401-4Medium: Buch27,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Burton / Morawiec Platform Based Design at the Electronic System Level
Industry Perspectives and Experiences2006Verlag: SpringerISBN: 978-94-007-9058-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Burton / Morawiec Platform Based Design at the Electronic System Level
Industry Perspectives and Experiences1. Auflage 2006Verlag: Springer Nature B.V.ISBN: 978-1-4020-5137-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Braha / Maimon A Mathematical Theory of Design: Foundations, Algorithms and Applications
1998Verlag: SpringerISBN: 978-0-7923-5079-8Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jones / Marsden Mobile Interaction Design
Desktop AuflageVerlag: WileyISBN: 978-0-470-09089-3Medium: Buch78,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Olderog / Steffen Correct System Design
Recent Insights and AdvancesErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66624-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ling / Dobbie Semistructured Database Design
1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-1-4419-3638-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Vingron Logic Circuit Design
Selected Topics and Methods2. Auflage 2024Verlag: SpringerISBN: 978-3-031-40675-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sifakis Rigorous System Design
1. Auflage 2013Verlag: Now PublishersISBN: 978-1-60198-660-3Medium: Buch60,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Broy Deductive Program Design
1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60947-6Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Even / Medina Digital Logic Design
Erscheinungsjahr 2012Verlag: Cambridge University PressISBN: 978-1-107-02753-4Medium: Buch75,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Vingron Logic Circuit Design
Selected Topics and Methods2. Auflage 2024Verlag: SpringerISBN: 978-3-031-40672-0Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ling / Dobbie Semistructured Database Design
2005. Auflage 2004Verlag: Springer UsISBN: 978-0-387-23567-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Meyer / Platzer / Wehrheim Correct System Design
Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-23505-9Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Drechsler / Wille Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 2015Softcover Nachdruck of the original 1. Auflage 2016Verlag: SpringerISBN: 978-3-319-81106-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Drechsler / Wille Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 20151. Auflage 2016Verlag: SpringerISBN: 978-3-319-31722-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bagchi / Chaudhri Interactive Relational Database Design
A Logic Programming ImplementationErscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51881-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Forrai Embedded Control System Design
A Model Based Approach2013Verlag: SpringerISBN: 978-3-642-44772-3Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Følstad / Araujo / Papadopoulos Chatbot Research and Design
7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers2024Verlag: SpringerISBN: 978-3-031-54974-8Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Forrai Embedded Control System Design
A Model Based Approach2013Verlag: SpringerISBN: 978-3-642-28594-3Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Reed SDL 2003: System Design
11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40539-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Feijs / Jonkers Formal Specification and Design
Erscheinungsjahr 2005Verlag: Cambridge University PressISBN: 978-0-521-43592-5Medium: Buch66,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Raskin / Chatterjee / Doyen Principles of Systems Design
Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday1. Auflage 2022Verlag: SpringerISBN: 978-3-031-22336-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Editor-in-Chief: Daniel Kroening Formal Methods in System Design
An International JournalVerlag: SpringerISSN: 15728102Medium: ZeitschriftInstitutionen - Online
1.165,23 € (inkl. MwSt.)
-
Editor-in-Chief: Daniel Kroening Formal Methods in System Design
An International JournalVerlag: SpringerISSN: 09259856Medium: ZeitschriftInstitutionen - Print + Online
1.658,50 € (inkl. MwSt.)
zzgl. 46,55 € Versandkosten des Verlages
-
Ohlbach / Eisinger Design Patterns für mathematische Beweise
Ein Leitfaden insbesondere für Informatiker1. Auflage 2017Verlag: SpringerISBN: 978-3-662-55651-1Medium: Buch37,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Dasgupta Design Theory and Computer Science
Erscheinungsjahr 2015Verlag: Cambridge University PressISBN: 978-0-521-39021-7Medium: Buch189,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Spruth The Design of a Microprocessor
1989. 1989Verlag: Springer-Verlag GmbHISBN: 978-3-540-51395-7Medium: Buch85,55 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Snepscheut Trace Theory and VLSI Design
1. Auflage 1985Verlag: SpringerISBN: 978-3-540-15988-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Dasgupta Design Theory and Computer Science
Processes and Methodology of Computer Systems DesignErscheinungsjahr 2009Verlag: Cambridge University PressISBN: 978-0-521-11815-6Medium: Buch95,40 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Helfert / Donnellan Design Science: Perspectives from Europe
European Design Science Symposium EDSS 2012, Leixlip, Ireland, December 6, 2012Revised Selected PapersErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-04089-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kozen The Design and Analysis of Algorithms
1. Auflage 1991Verlag: SpringerISBN: 978-0-387-97687-7Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jureta The Design of Requirements Modelling Languages
How to Make Formalisms for Problem Solving in Requirements EngineeringSoftcover Nachdruck of the original 1. Auflage 2015Verlag: SpringerISBN: 978-3-319-36973-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Urban / Vanderdonckt / Limbourg Interactive Systems: Design, Specification, and Verification
9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 20021. Auflage 2002Verlag: SpringerISBN: 978-3-540-00266-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Aldini / Gorrieri Foundations of Security Analysis and Design
FOSAD 2006/2007 Turtorial Lectures1. Auflage 2007Verlag: SpringerISBN: 978-3-540-74809-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Meinel / Theobald Algorithmen und Datenstrukturen im VLSI-Design
OBDD - Grundlagen und Anwendungen1. Auflage 1998Verlag: SpringerISBN: 978-3-540-63869-8Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gaudin / Najm / Reed SDL 2007: Design for Dependable Systems
13th International SDL Forum, Paris, France, September 18-21, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74983-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Geist / Tronci Correct Hardware Design and Verification Methods
12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20363-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hromkovic Design and Analysis of Randomized Algorithms
Introduction to Design Paradigms1. Auflage 2005Verlag: Springer NetherlandsISBN: 978-3-540-23949-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Borrione / Paul Correct Hardware Design and Verification Methods
13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29105-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gopalakrishnan / Windley Formal Methods in Computer-Aided Design
Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65191-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Camurati / Eveking Correct Hardware Design and Verification Methods
IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60385-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pierre / Kropf Correct Hardware Design and Verification Methods
10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66559-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jureta The Design of Requirements Modelling Languages
How to Make Formalisms for Problem Solving in Requirements Engineering1. Auflage 2015Verlag: SpringerISBN: 978-3-319-18820-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Probst Advances in Hardware Design and Verification
Erscheinungsjahr 1997Verlag: Springer Nature B.V.ISBN: 978-0-412-81330-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Hu / Martin Formal Methods in Computer-Aided Design
5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23738-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hromkovic Design and Analysis of Randomized Algorithms
Introduction to Design Paradigms2005Verlag: SpringerISBN: 978-3-642-06300-8Medium: Buch50,28 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Milne / Pierre Correct Hardware Design and Verification Methods
IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56778-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Doherty / Blandford Interactive Systems. Design, Specification, and Verification
13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-69553-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Srivas / Camilleri Formal Methods in Computer-Aided Design
First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61937-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Margaria / Melham Correct Hardware Design and Verification Methods
11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42541-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hunt / Johnson Formal Methods in Computer-Aided Design
Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41219-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Snyers / Thayse From Logic Design to Logic Programming
Theorem Proving Techniques and P-Functions1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18217-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gilroy / Harrison Interactive Systems. Design Specification, and Verification
12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34145-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Aagaard / O'Leary Formal Methods in Computer-Aided Design
4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00116-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sarkar / De Foundation of Digital Electronics and Logic Design
1. Auflage 2014Verlag: Pan Stanford PublishingISBN: 978-981-4364-59-1Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)100,99 € (inkl. MwSt.)
sofort verfügbar
-
Ray / Bhadra Semiconductor Memories: Design, Modeling, Abstraction, and Verification
1. Auflage 2015Verlag: SpringerISBN: 978-1-4614-3060-5Medium: Buch96,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Harris Digital Design and Computer Architecture, Arm Edition
Erscheinungsjahr 2015Verlag: Elsevier ScienceISBN: 978-0-12-800056-4Medium: Buch102,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Gupta / Le Guernic / Shukla Formal Methods and Models for System Design
A System Level Perspective2004. Auflage 2004Verlag: Springer UsISBN: 978-1-4020-8051-7Medium: Buch171,15 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Meinel / Theobald Algorithms and Data Structures in VLSI Design
OBDD - Foundations and Applications1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64486-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Stine Design and Analysis of High-Speed Addition
1. Auflage 2010Verlag: SpringerISBN: 978-0-387-26326-7Medium: Buch96,25 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Aldini / Gorrieri / Martinelli Foundations of Security Analysis and Design III
FOSAD 2004/2005 Tutorial Lectures1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28955-5Medium: Buch48,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jain / Sinha / Vitharana Service-Oriented Perspectives in Design Science Research
6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20632-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ghosh Algorithm Design for Networked Information Technology Systems
1. Auflage 2003Verlag: Springer Nature B.V.ISBN: 978-0-387-95544-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Jacko Human-Computer Interaction. Interaction Design and Usability
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73104-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fey / Drechsler Robustness and Usability in Modern Design Flows
Softcover Nachdruck of hardcover 1. Auflage 2008Verlag: SpringerISBN: 978-90-481-7662-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sarkar / De Foundation of Digital Electronics and Logic Design
1. Auflage 2014Verlag: Jenny Stanford PublishingISBN: 978-981-4364-58-4Medium: Buch122,70 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wirth Digital Circuit Design for Computer Science Students
An Introductory Textbook1. Auflage 1995Verlag: SpringerISBN: 978-3-540-58577-0Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fey / Drechsler Robustness and Usability in Modern Design Flows
2008. Auflage 2008Verlag: SpringerISBN: 978-1-4020-6535-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Focardi / Gorrieri Foundations of Security Analysis and Design II
FOSAD 2001/2002 Tutorial Lectures1. Auflage 2004Verlag: SpringerISBN: 978-3-540-20955-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gupta / Le Guernic / Shukla Formal Methods and Models for System Design
A System Level Perspective1. Auflage. Softcover version of original hardcover Auflage 2004Verlag: Springer USISBN: 978-1-4419-5464-0Medium: Buch171,15 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
LaMeres Introduction to Logic Circuits & Logic Design with VHDL
Third Auflage 2024Verlag: SpringerISBN: 978-3-031-42546-2Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sterpone Electronics System Design Techniques for Safety Critical Applications
2009. Auflage 2008Verlag: SpringerISBN: 978-1-4020-8978-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
LaMeres Introduction to Logic Circuits & Logic Design with VHDL
Third Auflage 2024Verlag: SpringerISBN: 978-3-031-42549-3Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Winckler / Johnson / Palanque Task Models and Diagrams for User Interface Design
6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-77221-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Guerra / Istrail Mathematical Methods for Protein Structure Analysis and Design
Advanced Lectures1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40104-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Coninx / Luyten / Schneider Task Models and Diagrams for Users Interface Design
5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-70815-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Harris Digital Design and Computer Architecture, RISC-V Edition
Erscheinungsjahr 2021Verlag: Elsevier LTDISBN: 978-0-12-820064-3Medium: Buch99,50 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage
-
Sterpone Electronics System Design Techniques for Safety Critical Applications
1. Auflage. Softcover version of original hardcover Auflage 2009Verlag: SpringerISBN: 978-90-481-8041-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bernardo / Corradini Formal Methods for the Design of Real-Time Systems
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23068-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kumar / Kropf Theorem Provers in Circuit Design: Theory, Practice and Experience
Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-59047-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Tse A Unifying Framework for Structured Analysis and Design Models
An Approach Using Initial Algebra Semantics and Category TheoryErscheinungsjahr 2009Verlag: Cambridge University PressISBN: 978-0-521-11787-6Medium: Buch54,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Tse A Unifying Framework for Structured Analysis and Design Models
Erscheinungsjahr 2011Verlag: Cambridge University PressISBN: 978-0-521-39196-2Medium: Buch141,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Soudris / Pirsch / Barke Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation
10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41068-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Castillo / Pedrycz Evolutionary Design of Intelligent Systems in Modeling, Simulation and Control
1. Auflage 2009Verlag: SpringerISBN: 978-3-642-04513-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Castillo / Pedrycz Evolutionary Design of Intelligent Systems in Modeling, Simulation and Control
1. Auflage 2012Verlag: SpringerISBN: 978-3-642-26083-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sasamal / Singh / Mohan Quantum-Dot Cellular Automata Based Digital Logic Circuits: A Design Perspective
1. Auflage 2020Verlag: SpringerISBN: 978-981-15-1825-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sasamal / Singh / Mohan Quantum-Dot Cellular Automata Based Digital Logic Circuits: A Design Perspective
1. Auflage 2020Verlag: SpringerISBN: 978-981-15-1822-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Schöbel Optimization in Public Transportation
Stop Location, Delay Management and Tariff Zone Design in a Public Transportation Network1. Auflage. Softcover version of original hardcover Auflage 2006Verlag: SpringerISBN: 978-1-4419-4106-0Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Schöbel Optimization in Public Transportation
Stop Location, Delay Management and Tariff Zone Design in a Public Transportation NetworkErscheinungsjahr 2006Verlag: SpringerISBN: 978-0-387-32896-6Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Paliouras / Vounckx / Verkest Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29013-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Vounckx / Azemard / Maurine Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-39094-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Azemard / Svensson Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74441-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bergveld / Kruijt / Notten Battery Management Systems
Design by Modelling1. Auflage. Softcover version of original hardcover Auflage 2002Verlag: SpringerISBN: 978-90-481-6108-9Medium: Buch299,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gutmann Cryptographic Security Architecture
Design and Verification2004Verlag: SpringerISBN: 978-0-387-95387-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ishida Immunity-Based Systems
A Design Perspective1. Auflage. Softcover version of original hardcover Auflage 2004Verlag: SpringerISBN: 978-3-642-05661-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ishida Immunity-Based Systems
A Design Perspective1. Auflage 2004Verlag: SpringerISBN: 978-3-540-00896-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gutmann Cryptographic Security Architecture
Design and Verification1. Auflage 2011Verlag: SpringerISBN: 978-1-4419-2980-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Datta Numerical Methods for Linear Control Systems
Design and AnalysisErscheinungsjahr 2003Verlag: Elsevier IncISBN: 978-0-12-203590-6Medium: Buch111,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Hsu Computer Logic
Design Principles and Applications1. Auflage 2002Verlag: SpringerISBN: 978-0-387-95304-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
