Search Results for - Narrowed by: English - 2007 - Logics and Meanings of Programs.

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

2024-06-21T05:11:23Z

by Shao, Zhong. editor.
http://dx.doi.org/10.1007/978-3-540-76637-7
Format: Electronic Resources

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

2024-06-21T05:11:23Z

by Bemporad, Alberto. editor.
http://dx.doi.org/10.1007/978-3-540-71493-4
Format: Electronic Resources

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

2024-06-21T05:11:23Z

by Virbitskaite, Irina. editor.
http://dx.doi.org/10.1007/978-3-540-70881-0
Format: Electronic Resources

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

2024-06-21T05:11:23Z

by Schneider, Klaus. editor.
http://dx.doi.org/10.1007/978-3-540-74591-4
Format: Electronic Resources

Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings

2024-06-21T05:11:23Z

by Durand-Lose, Jérôme. editor.
http://dx.doi.org/10.1007/978-3-540-74593-8
Format: Electronic Resources

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

2024-06-21T05:11:23Z

by Padgham, Lin. editor.
http://dx.doi.org/10.1007/978-3-540-70945-9
Format: Electronic Resources

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II

2024-06-21T05:11:23Z

by Stephanidis, Constantine. editor.
http://dx.doi.org/10.1007/978-3-540-73281-5
Format: Electronic Resources

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III

2024-06-21T05:11:23Z

by Stephanidis, Constantine. editor.
http://dx.doi.org/10.1007/978-3-540-73283-9
Format: Electronic Resources

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

2024-06-21T05:11:23Z

by Azevedo, Francisco. editor.
http://dx.doi.org/10.1007/978-3-540-73817-6
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

2024-06-21T05:11:23Z

by Dershowitz, Nachum. editor.
http://dx.doi.org/10.1007/978-3-540-75560-9
Format: Electronic Resources

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

2024-06-21T05:11:23Z

by Namjoshi, Kedar S. editor.
http://dx.doi.org/10.1007/978-3-540-75596-8
Format: Electronic Resources

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

2024-06-21T05:11:23Z

by Saglietti, Francesca. editor.
http://dx.doi.org/10.1007/978-3-540-75101-4
Format: Electronic Resources

Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings

2024-06-21T05:11:23Z

by Wolter, Katinka. editor.
http://dx.doi.org/10.1007/978-3-540-75211-0
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

2024-06-21T05:11:23Z

by Puebla, Germán. editor.
http://dx.doi.org/10.1007/978-3-540-71410-1
Format: Electronic Resources

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

2024-06-21T05:11:23Z

by Dahl, Véronica. editor.
http://dx.doi.org/10.1007/978-3-540-74610-2
Format: Electronic Resources

Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures

2024-06-21T05:11:23Z

by Antoniou, Grigoris. editor.
http://dx.doi.org/10.1007/978-3-540-74615-7
Format: Electronic Resources

Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings

2024-06-21T05:11:23Z

by Winckler, Marco. editor.
http://dx.doi.org/10.1007/978-3-540-77222-4
Format: Electronic Resources

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

2024-06-21T05:11:23Z

by Hanus, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-69611-7
Format: Electronic Resources

Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings

2024-06-21T05:11:23Z

by Akehurst, David H. editor.
http://dx.doi.org/10.1007/978-3-540-72901-3
Format: Electronic Resources

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

2024-06-21T05:11:23Z

by Lumpe, Markus. editor.
http://dx.doi.org/10.1007/978-3-540-77351-1
Format: Electronic Resources

Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings

2024-06-21T05:11:23Z

by Marchiori, Massimo. editor.
http://dx.doi.org/10.1007/978-3-540-72982-2
Format: Electronic Resources

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

2024-06-21T05:11:23Z

by Nielson, Hanne Riis. editor.
http://dx.doi.org/10.1007/978-3-540-74061-2
Format: Electronic Resources

The Calculus of Computation Decision Procedures with Applications to Verification

2024-06-21T05:11:23Z

by Bradley, Aaron R. author.
http://dx.doi.org/10.1007/978-3-540-74113-8
Format: Electronic Resources

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

2024-06-21T05:11:23Z

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

Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings

2024-06-21T05:11:23Z

by Sawyer, Pete. editor.
http://dx.doi.org/10.1007/978-3-540-73031-6
Format: Electronic Resources

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings

2024-06-21T05:11:23Z

by Anai, Hirokazu. editor.
http://dx.doi.org/10.1007/978-3-540-73433-8
Format: Electronic Resources

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

2024-06-21T05:11:23Z

by George, Chris W. editor.
http://dx.doi.org/10.1007/978-3-540-74964-6
Format: Electronic Resources

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

2024-06-21T05:11:23Z

by Gaudin, Emmanuel. editor.
http://dx.doi.org/10.1007/978-3-540-74984-4
Format: Electronic Resources

Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers

2024-06-21T05:11:23Z

by Meuter, Wolfgang. editor.
http://dx.doi.org/10.1007/978-3-540-71836-9
Format: Electronic Resources

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers

2024-06-21T05:11:23Z

by Guelfi, Nicolas. editor.
http://dx.doi.org/10.1007/978-3-540-71876-5
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

2024-06-21T05:11:23Z

by Derrick, John. editor.
http://dx.doi.org/10.1007/978-3-540-73196-2
Format: Electronic Resources

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings

2024-06-21T05:11:23Z

by Harju, Tero. editor.
http://dx.doi.org/10.1007/978-3-540-73208-2
Format: Electronic Resources

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

2024-06-21T05:11:23Z

by Davies, Jim. editor.
http://dx.doi.org/10.1007/978-3-540-73210-5
Format: Electronic Resources

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

2024-06-21T05:11:23Z

by Bin, Eyal. editor.
http://dx.doi.org/10.1007/978-3-540-70889-6
Format: Electronic Resources

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

2024-06-21T05:11:23Z

by Thomas, Wolfgang. editor.
http://dx.doi.org/10.1007/978-3-540-70918-3
Format: Electronic Resources

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

2024-06-21T05:11:23Z

by Brim, Luboš. editor.
http://dx.doi.org/10.1007/978-3-540-70952-7
Format: Electronic Resources

Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2024-06-21T05:11:23Z

by Stephanidis, Constantine. editor.
http://dx.doi.org/10.1007/978-3-540-73279-2
Format: Electronic Resources

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

2024-06-21T05:11:23Z

by Schmidt, Heinz W. editor.
http://dx.doi.org/10.1007/978-3-540-73551-9
Format: Electronic Resources

Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

2024-06-21T05:11:23Z

by Liblit, Ben. author.
http://dx.doi.org/10.1007/978-3-540-71878-9
Format: Electronic Resources

CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

2024-06-21T05:11:23Z

by Caires, Luís. editor.
http://dx.doi.org/10.1007/978-3-540-74407-8
Format: Electronic Resources

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings

2024-06-21T05:11:23Z

by Miguel, Ian. editor.
http://dx.doi.org/10.1007/978-3-540-73580-9
Format: Electronic Resources

ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings

2024-06-21T05:11:23Z

by Ernst, Erik. editor.
http://dx.doi.org/10.1007/978-3-540-73589-2
Format: Electronic Resources

Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

2024-06-21T05:11:23Z

by Pfenning, Frank. editor.
http://dx.doi.org/10.1007/978-3-540-73595-3
Format: Electronic Resources

Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings

2024-06-21T05:11:23Z

by Kučera, Luděk. editor.
http://dx.doi.org/10.1007/978-3-540-74456-6
Format: Electronic Resources

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers

2024-06-21T05:11:23Z

by Noriega, Pablo. editor.
http://dx.doi.org/10.1007/978-3-540-74459-7
Format: Electronic Resources

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

2024-06-21T05:11:23Z

by Altenkirch, Thorsten. editor.
http://dx.doi.org/10.1007/978-3-540-74464-1
Format: Electronic Resources

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

2024-06-21T05:11:23Z

by Jones, Cliff B. editor.
http://dx.doi.org/10.1007/978-3-540-75221-9
Format: Electronic Resources

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

2024-06-21T05:11:23Z

by Butler, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-76650-6
Format: Electronic Resources

Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

2024-06-21T05:11:23Z

by Backhouse, Roland. editor.
http://dx.doi.org/10.1007/978-3-540-76786-2
Format: Electronic Resources

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

2024-06-21T05:11:23Z

by Arvind, V. editor.
http://dx.doi.org/10.1007/978-3-540-77050-3
Format: Electronic Resources

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

2024-06-21T05:11:23Z

by Damm, Werner. editor.
http://dx.doi.org/10.1007/978-3-540-73368-3
Format: Electronic Resources

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

2024-06-21T05:11:23Z

by Bošnački, Dragan. editor.
http://dx.doi.org/10.1007/978-3-540-73370-6
Format: Electronic Resources

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

2024-06-21T05:11:23Z

by Okada, Mitsu. editor.
http://dx.doi.org/10.1007/978-3-540-77505-8
Format: Electronic Resources

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

2024-06-21T05:11:23Z

by Krishnamurthi, Shriram. editor.
http://dx.doi.org/10.1007/978-3-540-71229-9
Format: Electronic Resources

Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings

2024-06-21T05:11:23Z

by Paschke, Adrian. editor.
http://dx.doi.org/10.1007/978-3-540-75975-1
Format: Electronic Resources

Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports

2024-06-21T05:11:23Z

by Südholt, Mario. editor.
http://dx.doi.org/10.1007/978-3-540-71774-4
Format: Electronic Resources

The Semantic Web 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedings

2024-06-21T05:11:23Z

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

Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers

2024-06-21T05:11:23Z

by Holub, Jan. editor.
http://dx.doi.org/10.1007/978-3-540-76336-9
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

2024-06-21T05:11:23Z

by Jones, Cliff B. editor.
http://dx.doi.org/10.1007/978-3-540-75292-9
Format: Electronic Resources

Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

2024-06-21T05:11:23Z

by Montanari, Ugo. editor.
http://dx.doi.org/10.1007/978-3-540-75336-0
Format: Electronic Resources

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

2024-06-21T05:11:23Z

by Bozapalidis, Symeon. editor.
http://dx.doi.org/10.1007/978-3-540-75414-5
Format: Electronic Resources

Handbook of Philosophical Logic

2024-06-21T05:11:23Z

by Gabbay, D.M. editor.
http://dx.doi.org/10.1007/978-1-4020-6324-4
Format: Electronic Resources

Semantics with Applications: An Appetizer

2024-06-21T05:11:23Z

by Nielson, Hanne Riis. author.
http://dx.doi.org/10.1007/978-1-84628-692-6
Format: Electronic Resources

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-06-21T05:11:23Z

by Bordini, Rafael H. editor.
http://dx.doi.org/10.1007/978-3-540-71956-4
Format: Electronic Resources

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

2024-06-21T05:11:23Z

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

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

2024-06-21T05:11:23Z

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

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-06-21T05:11:23Z

by Dwyer, Matthew B. editor.
http://dx.doi.org/10.1007/978-3-540-71289-3
Format: Electronic Resources

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-06-21T05:11:23Z

by Nicola, Rocco. editor.
http://dx.doi.org/10.1007/978-3-540-71316-6
Format: Electronic Resources

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

2024-06-21T05:11:23Z

by Reps, Thomas. editor.
http://dx.doi.org/10.1007/978-3-540-71322-7
Format: Electronic Resources

Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings

2024-06-21T05:11:23Z

by Rocca, Simona Ronchi. editor.
http://dx.doi.org/10.1007/978-3-540-73228-0
Format: Electronic Resources

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

2024-06-21T05:11:23Z

by Coninx, Karin. editor.
http://dx.doi.org/10.1007/978-3-540-70816-2
Format: Electronic Resources

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

2024-06-21T05:11:23Z

by Doherty, Gavin. editor.
http://dx.doi.org/10.1007/978-3-540-69554-7
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

2024-06-21T05:11:23Z

by Cook, Byron. editor.
http://dx.doi.org/10.1007/978-3-540-69738-1
Format: Electronic Resources

Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

2024-06-21T05:11:23Z

by Sokolsky, Oleg. editor.
http://dx.doi.org/10.1007/978-3-540-77395-5
Format: Electronic Resources

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

2024-06-21T05:11:23Z

by Mossakowski, Till. editor.
http://dx.doi.org/10.1007/978-3-540-73859-6
Format: Electronic Resources

Modelling Distributed Systems

2024-06-21T05:11:23Z

by Fokkink, Wan. author.
http://dx.doi.org/10.1007/978-3-540-73938-8
Format: Electronic Resources

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

2024-06-21T05:11:23Z

by Baader, Franz. editor.
http://dx.doi.org/10.1007/978-3-540-73449-9
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings

2024-06-21T05:11:23Z

by Concas, Giulio. editor.
http://dx.doi.org/10.1007/978-3-540-73101-6
Format: Electronic Resources

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2024-06-21T05:11:23Z

by Jacko, Julie A. editor.
http://dx.doi.org/10.1007/978-3-540-73105-4
Format: Electronic Resources

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

2024-06-21T05:11:23Z

by Jacko, Julie A. editor.
http://dx.doi.org/10.1007/978-3-540-73107-8
Format: Electronic Resources

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

2024-06-21T05:11:23Z

by Jacko, Julie A. editor.
http://dx.doi.org/10.1007/978-3-540-73110-8
Format: Electronic Resources

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

2024-06-21T05:11:23Z

by Jacko, Julie A. editor.
http://dx.doi.org/10.1007/978-3-540-73111-5
Format: Electronic Resources

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

2024-06-21T05:11:23Z

by Comon-Lundh, Hubert. editor.
http://dx.doi.org/10.1007/978-3-540-73147-4
Format: Electronic Resources

Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings

2024-06-21T05:11:23Z

by Cervesato, Iliano. editor.
http://dx.doi.org/10.1007/978-3-540-76929-3
Format: Electronic Resources

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino

2024-06-21T05:11:23Z

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

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

2024-06-21T05:11:23Z

by Prodan, Radu. author.
http://dx.doi.org/10.1007/978-3-540-69262-1
Format: Electronic Resources

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

2024-06-21T05:11:23Z

by Seidl, Helmut. editor.
http://dx.doi.org/10.1007/978-3-540-71389-0
Format: Electronic Resources

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

2024-06-21T05:11:23Z

by Artemov, Sergei N. editor.
http://dx.doi.org/10.1007/978-3-540-72734-7
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

2024-06-21T05:11:23Z

by Raskin, Jean-François. editor.
http://dx.doi.org/10.1007/978-3-540-75454-1
Format: Electronic Resources

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

2024-06-21T05:11:23Z

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

Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures

2024-06-21T05:11:23Z

by Aldini, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-540-74810-6
Format: Electronic Resources

Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings

2024-06-21T05:11:23Z

by Kedad, Zoubida. editor.
http://dx.doi.org/10.1007/978-3-540-73351-5
Format: Electronic Resources

Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers

2024-06-21T05:11:23Z

by Overhage, Sven. editor.
http://dx.doi.org/10.1007/978-3-540-77619-2
Format: Electronic Resources

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

2024-06-21T05:11:23Z

by Moreno Díaz, Roberto. editor.
http://dx.doi.org/10.1007/978-3-540-75867-9
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-06-21T05:11:23Z

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

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

2024-06-21T05:11:23Z

by Edelkamp, Stefan. editor.
http://dx.doi.org/10.1007/978-3-540-74128-2
Format: Electronic Resources

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

2024-06-21T05:11:23Z

by Horváth, Zoltán. editor.
http://dx.doi.org/10.1007/978-3-540-74130-5
Format: Electronic Resources

Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings

2024-06-21T05:11:23Z

by Bessière, Christian. editor.
http://dx.doi.org/10.1007/978-3-540-74970-7
Format: Electronic Resources

Finite Model Theory and Its Applications

2024-06-21T05:11:23Z

by Grädel, Erich. author.
http://dx.doi.org/10.1007/3-540-68804-8
Format: Electronic Resources

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-06-21T05:11:23Z

by Indulska, Jadwiga. editor.
http://dx.doi.org/10.1007/978-3-540-72883-2
Format: Electronic Resources

Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

2024-06-21T05:11:23Z

by Gurevich, Yuri. editor.
http://dx.doi.org/10.1007/978-3-540-73770-4
Format: Electronic Resources

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-06-21T05:11:23Z

by Bonsangue, Marcello M. editor.
http://dx.doi.org/10.1007/978-3-540-72952-5
Format: Electronic Resources

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings

2024-06-21T05:11:23Z

by Arbab, Farhad. editor.
http://dx.doi.org/10.1007/978-3-540-75698-9
Format: Electronic Resources

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

2024-06-21T05:11:23Z

by Duparc, Jacques. editor.
http://dx.doi.org/10.1007/978-3-540-74915-8
Format: Electronic Resources

Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

2024-06-21T05:11:23Z

by Petrenko, Alexandre. editor.
http://dx.doi.org/10.1007/978-3-540-73066-8
Format: Electronic Resources