Search Results for - Narrowed by: 2008 - Logic design.

Logic and computer design fundamentals

2024-09-24T03:19:41Z

by Mano, M. Morris, 1927-
Format: Books

Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

2024-09-24T03:19:41Z

by Bassiliades, Nick. editor.
http://dx.doi.org/10.1007/978-3-540-88808-6
Format: Electronic Resources

Software-Intensive Systems and New Computing Paradigms Challenges and Visions

2024-09-24T03:19:41Z

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

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

2024-09-24T03:19:41Z

by Cervesato, Iliano. editor.
http://dx.doi.org/10.1007/978-3-540-89439-1
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

2024-09-24T03:19:41Z

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

Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

2024-09-24T03:19:41Z

by Fages, François. editor.
http://dx.doi.org/10.1007/978-3-540-89812-2
Format: Electronic Resources

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

2024-09-24T03:19:41Z

by Garcia de la Banda, Maria. editor.
http://dx.doi.org/10.1007/978-3-540-89982-2
Format: Electronic Resources

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

2024-09-24T03:19:41Z

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

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

2024-09-24T03:19:41Z

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

Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers

2024-09-24T03:19:41Z

by Martín-Vide, Carlos. editor.
http://dx.doi.org/10.1007/978-3-540-88282-4
Format: Electronic Resources

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

2024-09-24T03:19:41Z

by Cha, Sungdeok (Steve). editor.
http://dx.doi.org/10.1007/978-3-540-88387-6
Format: Electronic Resources

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

2024-09-24T03:19:41Z

by Schürr, Andy. editor.
http://dx.doi.org/10.1007/978-3-540-89020-1
Format: Electronic Resources

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

2024-09-24T03:19:41Z

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

A Modular Calculus for the Average Cost of Data Structuring

2024-09-24T03:19:41Z

by Schellekens, Michel. author.
http://dx.doi.org/10.1007/978-0-387-73384-5
Format: Electronic Resources

Programming Languages An Active Learning Approach

2024-09-24T03:19:41Z

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

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

2024-09-24T03:19:41Z

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

High-Level Synthesis From Algorithm to Digital Circuit

2024-09-24T03:19:41Z

by Coussy, Philippe. editor.
http://dx.doi.org/10.1007/978-1-4020-8588-8
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

2024-09-24T03:19:41Z

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

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

2024-09-24T03:19:41Z

by Suzuki, Kenji. editor.
http://dx.doi.org/10.1007/978-3-540-68524-1
Format: Electronic Resources

Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers

2024-09-24T03:19:41Z

by Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/978-3-540-77564-5
Format: Electronic Resources

ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings

2024-09-24T03:19:41Z

by Vitek, Jan. editor.
http://dx.doi.org/10.1007/978-3-540-70592-5
Format: Electronic Resources

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

2024-09-24T03:19:41Z

by Audebaud, Philippe. editor.
http://dx.doi.org/10.1007/978-3-540-70594-9
Format: Electronic Resources

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

2024-09-24T03:19:41Z

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

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings

2024-09-24T03:19:41Z

by Hornby, Gregory S. editor.
http://dx.doi.org/10.1007/978-3-540-85857-7
Format: Electronic Resources

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings

2024-09-24T03:19:41Z

by Stuckey, Peter J. editor.
http://dx.doi.org/10.1007/978-3-540-85958-1
Format: Electronic Resources

Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings

2024-09-24T03:19:41Z

by Forbrig, Peter. editor.
http://dx.doi.org/10.1007/978-3-540-85992-5
Format: Electronic Resources

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

2024-09-24T03:19:41Z

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

Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

2024-09-24T03:19:41Z

by Ehrig, Hartmut. editor.
http://dx.doi.org/10.1007/978-3-540-87405-8
Format: Electronic Resources

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

2024-09-24T03:19:41Z

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

Programming Languages and Systems 17th European Symposium on Programming, ESOP 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

2024-09-24T03:19:41Z

by Drossopoulou, Sophia. editor.
http://dx.doi.org/10.1007/978-3-540-78739-6
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

2024-09-24T03:19:41Z

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

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings

2024-09-24T03:19:41Z

by Meier, René. editor.
http://dx.doi.org/10.1007/978-3-540-68642-2
Format: Electronic Resources

Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

2024-09-24T03:19:41Z

by Armando, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-540-71070-7
Format: Electronic Resources

Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

2024-09-24T03:19:41Z

by Miculan, Marino. editor.
http://dx.doi.org/10.1007/978-3-540-68103-8
Format: Electronic Resources

Principles of the Spin Model Checker

2024-09-24T03:19:41Z

by Ben-Ari, Mordechai. author.
http://dx.doi.org/10.1007/978-1-84628-770-1
Format: Electronic Resources

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

2024-09-24T03:19:41Z

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

25 Years of Model Checking History, Achievements, Perspectives

2024-09-24T03:19:41Z

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

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

2024-09-24T03:19:41Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/978-3-540-68863-1
Format: Electronic Resources

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

2024-09-24T03:19:41Z

by Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-540-68894-5
Format: Electronic Resources

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

2024-09-24T03:19:41Z

by Al-Begain, Khalid. editor.
http://dx.doi.org/10.1007/978-3-540-68982-9
Format: Electronic Resources

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings

2024-09-24T03:19:41Z

by Stenström, Per. editor.
http://dx.doi.org/10.1007/978-3-540-77560-7
Format: Electronic Resources

Elementary Logic For Software Development

2024-09-24T03:19:41Z

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

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

2024-09-24T03:19:41Z

by Graham, T. C. Nicholas. editor.
http://dx.doi.org/10.1007/978-3-540-70569-7
Format: Electronic Resources

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

2024-09-24T03:19:41Z

by Voronkov, Andrei. editor.
http://dx.doi.org/10.1007/978-3-540-70590-1
Format: Electronic Resources

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

2024-09-24T03:19:41Z

by Meyer, Bertrand. editor.
http://dx.doi.org/10.1007/978-3-540-69149-5
Format: Electronic Resources

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

2024-09-24T03:19:41Z

by Meseguer, José. editor.
http://dx.doi.org/10.1007/978-3-540-79980-1
Format: Electronic Resources

Unfoldings A Partial-Order Approach to Model Checking

2024-09-24T03:19:41Z

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

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

2024-09-24T03:19:41Z

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

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings

2024-09-24T03:19:41Z

by Ochmański, Edward. editor.
http://dx.doi.org/10.1007/978-3-540-85238-4
Format: Electronic Resources

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

2024-09-24T03:19:41Z

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

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

2024-09-24T03:19:41Z

by Egerstedt, Magnus. editor.
http://dx.doi.org/10.1007/978-3-540-78929-1
Format: Electronic Resources

Practical Problems in VLSI Physical Design Automation

2024-09-24T03:19:41Z

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

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

2024-09-24T03:19:41Z

by Degano, Pierpaolo. editor.
http://dx.doi.org/10.1007/978-3-540-68679-8
Format: Electronic Resources

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

2024-09-24T03:19:41Z

by Breugel, Franck. editor.
http://dx.doi.org/10.1007/978-3-540-85361-9
Format: Electronic Resources

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

2024-09-24T03:19:41Z

by Harrison, Michael D. editor.
http://dx.doi.org/10.1007/978-3-540-87698-4
Format: Electronic Resources

Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

2024-09-24T03:19:41Z

by Dumas, Marlon. editor.
http://dx.doi.org/10.1007/978-3-540-79230-7
Format: Electronic Resources

Temporal Logic and State Systems

2024-09-24T03:19:41Z

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

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

2024-09-24T03:19:41Z

by Cuellar, Jorge. editor.
http://dx.doi.org/10.1007/978-3-540-68237-0
Format: Electronic Resources

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

2024-09-24T03:19:41Z

by Garrigue, Jacques. editor.
http://dx.doi.org/10.1007/978-3-540-78969-7
Format: Electronic Resources

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

2024-09-24T03:19:41Z

by Shankar, Natarajan. editor.
http://dx.doi.org/10.1007/978-3-540-87873-5
Format: Electronic Resources

Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

2024-09-24T03:19:41Z

by Becker, Steffen. editor.
http://dx.doi.org/10.1007/978-3-540-87879-7
Format: Electronic Resources

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

2024-09-24T03:19:41Z

by Gupta, Aarti. editor.
http://dx.doi.org/10.1007/978-3-540-70545-1
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings

2024-09-24T03:19:41Z

by Paech, Barbara. editor.
http://dx.doi.org/10.1007/978-3-540-69062-7
Format: Electronic Resources

Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

2024-09-24T03:19:41Z

by Schieferdecker, Ina. editor.
http://dx.doi.org/10.1007/978-3-540-69100-6
Format: Electronic Resources

Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers

2024-09-24T03:19:41Z

by Sichman, Jaime Simão. editor.
http://dx.doi.org/10.1007/978-3-540-79003-7
Format: Electronic Resources

Logic Synthesis for Compositional Microprogram Control Units

2024-09-24T03:19:41Z

by Barkalov, Alexander. editor.
http://dx.doi.org/10.1007/978-3-540-69285-0
Format: Electronic Resources

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 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

2024-09-24T03:19:41Z

by Amadio, Roberto. editor.
http://dx.doi.org/10.1007/978-3-540-78499-9
Format: Electronic Resources

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings

2024-09-24T03:19:41Z

by Horimoto, Katsuhisa. editor.
http://dx.doi.org/10.1007/978-3-540-85101-1
Format: Electronic Resources

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers

2024-09-24T03:19:41Z

by Tuyls, Karl. editor.
http://dx.doi.org/10.1007/978-3-540-77949-0
Format: Electronic Resources

Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings

2024-09-24T03:19:41Z

by Ibarra, Oscar H. editor.
http://dx.doi.org/10.1007/978-3-540-70844-5
Format: Electronic Resources

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

2024-09-24T03:19:41Z

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

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

2024-09-24T03:19:41Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/978-3-540-78663-4
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers

2024-09-24T03:19:41Z

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

Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

2024-09-24T03:19:41Z

by Beckert, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-540-79124-9
Format: Electronic Resources

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings

2024-09-24T03:19:41Z

by Sheth, Amit. editor.
http://dx.doi.org/10.1007/978-3-540-88564-1
Format: Electronic Resources

Decision Procedures An Algorithmic Point of View

2024-09-24T03:19:41Z

by Kroening, Daniel. author.
http://dx.doi.org/10.1007/978-3-540-74105-3
Format: Electronic Resources

Logics of Specification Languages

2024-09-24T03:19:41Z

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

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

2024-09-24T03:19:41Z

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

Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports

2024-09-24T03:19:41Z

by Cebulla, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-78195-0
Format: Electronic Resources

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

2024-09-24T03:19:41Z

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

Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings

2024-09-24T03:19:41Z

by Hartmann, Sven. editor.
http://dx.doi.org/10.1007/978-3-540-77684-0
Format: Electronic Resources

Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers

2024-09-24T03:19:41Z

by Dastani, Mehdi. editor.
http://dx.doi.org/10.1007/978-3-540-79043-3
Format: Electronic Resources

Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

2024-09-24T03:19:41Z

by Kordon, Fabrice. editor.
http://dx.doi.org/10.1007/978-3-540-77419-8
Format: Electronic Resources

Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

2024-09-24T03:19:41Z

by Broy, Manfred. editor.
http://dx.doi.org/10.1007/978-3-540-70930-5
Format: Electronic Resources

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

2024-09-24T03:19:41Z

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

LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings

2024-09-24T03:19:41Z

by Laber, Eduardo Sany. editor.
http://dx.doi.org/10.1007/978-3-540-78773-0
Format: Electronic Resources

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

2024-09-24T03:19:41Z

by Pautasso, Cesare. editor.
http://dx.doi.org/10.1007/978-3-540-78789-1
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

2024-09-24T03:19:41Z

by Hendren, Laurie. editor.
http://dx.doi.org/10.1007/978-3-540-78791-4
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

2024-09-24T03:19:41Z

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

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

2024-09-24T03:19:41Z

by Kaminski, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-87531-4
Format: Electronic Resources

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

2024-09-24T03:19:41Z

by Börger, Egon. editor.
http://dx.doi.org/10.1007/978-3-540-87603-8
Format: Electronic Resources

Foundation of switching theory and logic design

2024-09-24T03:19:41Z

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

The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.

2024-09-24T03:19:41Z

by Domingue, John. editor.
http://dx.doi.org/10.1007/978-3-540-89704-0
Format: Electronic Resources

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

2024-09-24T03:19:41Z

by Leucker, Martin. editor.
http://dx.doi.org/10.1007/978-3-540-89247-2
Format: Electronic Resources

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

2024-09-24T03:19:41Z

by Ramalingam, G. editor.
http://dx.doi.org/10.1007/978-3-540-89330-1
Format: Electronic Resources

Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers

2024-09-24T03:19:41Z

by Gulliksen, Jan. editor.
http://dx.doi.org/10.1007/978-3-540-92698-6
Format: Electronic Resources

Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures

2024-09-24T03:19:41Z

by Baroglio, Cristina. editor.
http://dx.doi.org/10.1007/978-3-540-85658-0
Format: Electronic Resources

Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

2024-09-24T03:19:41Z

by Luck, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-79488-2
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

2024-09-24T03:19:41Z

by Cassez, Franck. editor.
http://dx.doi.org/10.1007/978-3-540-85778-5
Format: Electronic Resources