Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings /

Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings /

CHARME'99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Pierre, Laurence (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Kropf, Thomas (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
Έκδοση:	1st ed. 1999.
Σειρά:	Lecture Notes in Computer Science, 1703
Θέματα:	Architecture, Computer. Computer engineering. Computer hardware. Computer logic. Software engineering. Computational complexity. Computer System Implementation. Computer Engineering. Computer Hardware. Logics and Meanings of Programs. Software Engineering. Complexity.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings /
Έκδοση: (2001)

Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /
Έκδοση: (2003)

Formal Methods in Computer-Aided Design 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings /
Έκδοση: (2002)

Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /
Έκδοση: (2004)

Formal Methods in Computer-Aided Design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings /
Έκδοση: (1998)

Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings /
Έκδοση: (2000)

Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings /
Έκδοση: (2001)

Formal Hardware Verification Methods and Systems in Comparison /
Έκδοση: (1997)

Interactive Systems: Design, Specification, and Verification 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers /
Έκδοση: (2001)

Large-Scale Scientific Computing Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers /
Έκδοση: (2001)

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 /
Έκδοση: (2018)

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings /
Έκδοση: (2018)

Concurrency and Hardware Design Advances in Petri Nets /
Έκδοση: (2002)

Field Programmable Logic and Applications 7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings. /
Έκδοση: (1997)

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings /
Έκδοση: (2018)

MMIXware A RISC Computer for the Third Millennium /
ανά: Knuth, Donald E., κ.ά.
Έκδοση: (1999)

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers /
Έκδοση: (2019)

Reliable Software Technologies - Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings /
Έκδοση: (2018)

Pattern Recognition 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26-29, 2019, Proceedings /
Έκδοση: (2019)

Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3-7, 2019, Proceedings /
Έκδοση: (2019)

Parallel and Distributed Processing 11th IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing San Juan, Puerto Rico, USA, April 12-16, 1999 Proceedings /
Έκδοση: (1999)

Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24-26, 2017, Revised Selected Papers /
Έκδοση: (2018)

System and Architecture Proceedings of CSI 2015 /
Έκδοση: (2018)

Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accesses /
ανά: H. M. Cruz, Eduardo, κ.ά.
Έκδοση: (2018)

Parallel and Distributed Processing 10th International IPPS/SPDP'98 Workshops, Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30 - April 3, 1998, Proceedings /
Έκδοση: (1998)

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings /
Έκδοση: (2018)

Dependable Computing EDCC-4 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings /
Έκδοση: (2002)

SCI: Scalable Coherent Interface Architecture and Software for High-Performance Compute Clusters /
Έκδοση: (1999)

DNA Computing 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers /
Έκδοση: (2002)

Advanced Parallel Processing Technologies 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings /
Έκδοση: (2003)

Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019, Proceedings /
Έκδοση: (2019)

System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings /
Έκδοση: (2017)

Computer and Information Sciences - ISCIS 2004 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings /
Έκδοση: (2004)

Mobile Agents 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings /
Έκδοση: (2001)

Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9-11, 2019, Proceedings /
Έκδοση: (2019)

Evolvable Systems: From Biology to Hardware Third International Conference, ICES 2000, Edinburgh, Scotland, UK, April 17-19, 2000 Proceedings /
Έκδοση: (2000)

Cooperative Environments for Distributed Systems Engineering The Distributed Systems Environment Report /
ανά: Drira, Khalil, κ.ά.
Έκδοση: (2001)

Performance Evaluation: Origins and Directions
Έκδοση: (2000)

Dependable Computing - EDDC-3 Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings /
Έκδοση: (1999)

Mathematics of Program Construction 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings /
Έκδοση: (1998)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών