Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /

Bibliographic Details
Main Authors:	CAV Conference (19th : 2007 : Berlin, Germany), Damm, Werner, Hermanns, Holger
Format:
Published:	New York : Springer, 2007
Subjects:	Computer software Integrated circuits
Online Access:	http://dx.doi.org/10.1007/978-3-540-73368-3

ECOOP 2007 -- Object-Oriented Programming [electronic resource] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007: Proceedings /
by: ECOOP 2007 (2007 : Berlin, Germany), et al.
Published: (2007)

Nanopolymers 2007 : the international conference 12th - 13th June, Berlin Germany
by: International conference (2007 : Berlin, Germany), et al.
Published: (2007)

Bioinformatics Research and Development [electronic resource] : First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007. Proceedings /
by: BIRD 2007 (2007 : Berlin, Germany), et al.
Published: (2007)

Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /
by: EPEW 2007 (2007 : Berlin, Germany), et al.
Published: (2007)

Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /
by: International SPIN Workshop (14th : 2007 : Berlin, Germany), et al.
Published: (2007)

Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007: Proceedings /
by: MLDM 2007 (2007 : Leipzig, Germany), et al.
Published: (2007)

Advances in Data Mining. Theoretical Aspects and Applications [electronic resource] : 7th Industrial Conference, ICDM 2007, Leipzig, Germany, July 14-18, 2007: Proceedings /
by: Industrial Conference on Data Mining (7th : 2007 : Leipzig, Germany), et al.
Published: (2007)

Network-based information systems : first international conference, NBiS 2007, Regensburg, Germany, September 3-7, 2007 : proceedings /
by: NBiS 2007 (2007 : Regensburg, Germany), et al.
Published: (2007)

Ambient intelligence [electronic resources]: European conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007 ; proceedings/
by: AmI, 2007 (2007 : Darmstadt, Germany), et al.
Published: (2007)

Multiagent System Technologies [electronic resource] : 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007: Proceedings /
by: MATES 2007 (2007 : Leipzig, Germany), et al.
Published: (2007)

Electronic government : 6th International Conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007 proceedings
by: Electronic government (international conference) (6th : 2007 Sept : Regensburg, Germany), et al.
Published: (2007)

Computer Safety, Reliability, and Security [electronic resource] : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007: Proceedings /
by: SAFECOMP 2007 (2007 : Nuremberg, Germany), et al.
Published: (2007)

Shock waves : proceedings of the 26th International Symposium on Shock Waves, Gottingen, Germany, July 15-20, 2007 /
by: International Symposium on Shock Waves (26th : 2007 : Gottingen, Germany), et al.
Published: (2009)

Automated Deduction -- CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
by: International Conference on Automated Deduction (21st : 2007 : Bremen, Germany), et al.
Published: (2007)

Virtual reality : second international conference, ICVR 2007, held as part of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings /
by: ICVR 2007 (2007 : Beijing, China), et al.
Published: (2007)

Theorem Proving in Higher Order Logics [electronic resource] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007: Proceedings /
by: TPHOLs 2007 (2007 : Kaiserslautern, Germany), et al.
Published: (2007)

KI 2007: Advances in Artificial Intelligence [electronic resource] : 30th Annual German Conference on AI, KI 2007, Osnabruck, Germany, September 10-13, 2007: Proceedings /
by: German Conference on Artificial Intelligence (30th : 2007 : Osnabruck, Germany), et al.
Published: (2007)

Ubiquitous intelligence and computing : 4th international conference, UIC 2007, Hong Kong, China, July 11-13, 2007 : proceedings /
by: UIC 2007 (2007 : Hong Kong, China), et al.
Published: (2007)

Trust, Privacy and Security in Digital Business [electronic resource] : 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007: Proceedings /
by: TrustBus 2007 (2007 : Regensburg, Germany), et al.
Published: (2007)

IUTAM Symposium on fluid-structure interaction in ocean engineering : Proceedings of the IUTAM Symposium Held in Hamburg, Germany, July 23-26, 2007 /
by: IUTAM Symposium on Fluid-Structure Interaction in Ocean Engineering (2007 : Hamburg, Germany), et al.
Published: (2008)

Hardware and software-verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /
by: International Haifa Verification Conference (3rd : 2007 : Haifa, Israel), et al.
Published: (2008)

Advances in mass data analysis of signals and images in medicine, biotechnology, and chemistry [electronic resources]: /international conferences, MDA 2006/2007, Leipzig, Germany, July 18, 2007 : selected papers
by: International Conference on Mass Data Analysis of Images and Signals in Medicine, Biotechnology and Chemistry (2006 : Leipzig, Germany), et al.
Published: (2007)

User Modeling 2007 [electronic resource] : 11th International Conference, UM 2007, Corfu, Greece, July 25-29, 2007: Proceedings /
by: International Conference on User Modeling (11th : 2007 : Corfu, Greece), et al.
Published: (2007)

Data Warehousing and Knowledge Discovery [electronic resource] : 9th International Conference, DaWaK 2007, Regensburg Germany, September 3-7, 2007: Proceedings /
by: DaWaK 2007 (2007 : Regensburg, Germany), et al.
Published: (2007)

Immunoregulation in inflammatory bowel diseases--- current understanding and innovation : proceedings of the Falk symposium 153 held in Berlin, Germany, May 6-7, 2006 /
by: Falk Symposium (2007 : Berlin, Germany), et al.
Published: (2007)

Hybrid Metaheuristics [electronic resource]: 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007: Proceedings/
by: HM 2007 (2007 : Dortmund, Germany), et al.
Published: (2007)

Algebraic Biology [electronic resource] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007: Proceedings /
by: AB 2007 (2007 : Castle of Hagenberg, Austria), et al.
Published: (2007)

Web Engineering [electronic resource] : 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings /
by: ICWE 2007 (2007 : Como, Italy), et al.
Published: (2007)

Computing and Combinatorics [electronic resource] : 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007: Proceedings /
by: COCOON 2007 (2007 : Banff, Alta.), et al.
Published: (2007)

Online Communities and Social Computing [electronic resource] : Second International Conference, OCSC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007: Proceedings /
by: OCSC 2007 (2007 : Beijing, China), et al.
Published: (2007)

Advances in climbing and walking robots : proceedings of the 10th International Conference (CLAWAR 2007), Singapore, 16-18 July 2007 /
by: International Conference on Climbing and Walking Robots (10th : 2007 : Singapore), et al.
Published: (2007)

Ergonomics and Health Aspects of Work with Computers [electronic resource] : International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007: Proceedings /
by: EHAWC 2007 (2007 : Beijing, China), et al.
Published: (2007)

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /
by: International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England), et al.
Published: (2007)

Dynamics in logistics : First International Conference, Ldic 2007, Bremen, Germany, August 2007 Proceedings /
by: Haasis, Hans-Dietrich, et al.
Published: (2008)

Information security and privacy [electronic resource]: 12th Australasian conference, ACISP 2007, Townsville, Australia, July 2-4, 2007 : proceedings/
by: ACISP 2007 (2007 : Townsville, Qld.), et al.
Published: (2007)

Autonomic and Trusted Computing [electronic resource] : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007: Proceedings /
by: ATC 2007 (2007 : Hong Kong, China), et al.
Published: (2007)

Plasma 2007 : proceedings of the: International Conference on Research and Applications of Plasmas ; 4th German-Polish Conference on Plasma Diagnostics for Fusion and Applications ; 6th French-Polish Seminar on Thermal Plasma in Space and Laboratory : Greifswald, Germany, 16-19 October 2007 /
by: International Conference on Research and Applications of Plasmas (2007 : Greifswald, Germany), et al.
Published: (2008)

Active flow control : [electronic resources] papers contributed to the Conference "Active Flow Control 2006", Berlin, Germany, September 27 to 29, 2006 /
by: Conference "Active Flow Control 2006" (2006 : Berlin, Germany), et al.
Published: (2007)

Pairing-Based Cryptography : Pairing 2007: First International Conference, Tokyo, Japan, July 2-4, 2007: Proceedings [electronic resource] /
by: International Conference on Pairing-Based Cryptography (1st : 2007 : Tokyo, Japan), et al.
Published: (2007)

Product-Focused Software Process Improvement [electronic resource] : 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007: Proceedings /
by: PROFES 2007 (2007 : Riga, Latvia), et al.
Published: (2007)

Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /

Similar Items

Similar Items