Search Results for - Narrowed by: SpringerLink (Online service) - 2007 - Logics and Meanings of Programs.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dPUBDATE$002509Publication$002bDate$0025092007$0025092007$0026qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300?2024-09-22T12:07:08ZInteractive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papersent://SD_ILS/0/SD_ILS:5121712024-09-22T12:07:08Z2024-09-22T12:07:08Zby Doherty, Gavin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69554-7">http://dx.doi.org/10.1007/978-3-540-69554-7</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5121762024-09-22T12:07:08Z2024-09-22T12:07:08Zby Hanus, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69611-7">http://dx.doi.org/10.1007/978-3-540-69611-7</a><br/>Format: Electronic Resources<br/>Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papersent://SD_ILS/0/SD_ILS:5122882024-09-22T12:07:08Z2024-09-22T12:07:08Zby Kordon, Fabrice. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71156-8">http://dx.doi.org/10.1007/978-3-540-71156-8</a><br/>Format: Electronic Resources<br/>Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125812024-09-22T12:07:08Z2024-09-22T12:07:08Zby Sawyer, Pete. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73031-6">http://dx.doi.org/10.1007/978-3-540-73031-6</a><br/>Format: Electronic Resources<br/>Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papersent://SD_ILS/0/SD_ILS:5122272024-09-22T12:07:08Z2024-09-22T12:07:08Zby Coninx, Karin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70816-2">http://dx.doi.org/10.1007/978-3-540-70816-2</a><br/>Format: Electronic Resources<br/>Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:5123192024-09-22T12:07:08Z2024-09-22T12:07:08Zby Reps, Thomas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71322-7">http://dx.doi.org/10.1007/978-3-540-71322-7</a><br/>Format: Electronic Resources<br/>Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5125992024-09-22T12:07:08Z2024-09-22T12:07:08Zby Jacko, Julie A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73107-8">http://dx.doi.org/10.1007/978-3-540-73107-8</a><br/>Format: Electronic Resources<br/>Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papersent://SD_ILS/0/SD_ILS:5122382024-09-22T12:07:08Z2024-09-22T12:07:08Zby Virbitskaite, Irina. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70881-0">http://dx.doi.org/10.1007/978-3-540-70881-0</a><br/>Format: Electronic Resources<br/>Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papersent://SD_ILS/0/SD_ILS:5122392024-09-22T12:07:08Z2024-09-22T12:07:08Zby Bin, Eyal. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70889-6">http://dx.doi.org/10.1007/978-3-540-70889-6</a><br/>Format: Electronic Resources<br/>STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5122442024-09-22T12:07:08Z2024-09-22T12:07:08Zby Thomas, Wolfgang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70918-3">http://dx.doi.org/10.1007/978-3-540-70918-3</a><br/>Format: Electronic Resources<br/>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. Proceedingsent://SD_ILS/0/SD_ILS:5126462024-09-22T12:07:08Z2024-09-22T12:07:08Zby Kedad, Zoubida. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73351-5">http://dx.doi.org/10.1007/978-3-540-73351-5</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126492024-09-22T12:07:08Z2024-09-22T12:07:08Zby Damm, Werner. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73368-3">http://dx.doi.org/10.1007/978-3-540-73368-3</a><br/>Format: Electronic Resources<br/>Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126502024-09-22T12:07:08Z2024-09-22T12:07:08Zby Bošnački, Dragan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73370-6">http://dx.doi.org/10.1007/978-3-540-73370-6</a><br/>Format: Electronic Resources<br/>FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5130052024-09-22T12:07:08Z2024-09-22T12:07:08Zby Arvind, V. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77050-3">http://dx.doi.org/10.1007/978-3-540-77050-3</a><br/>Format: Electronic Resources<br/>Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126982024-09-22T12:07:08Z2024-09-22T12:07:08Zby Miguel, Ian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73580-9">http://dx.doi.org/10.1007/978-3-540-73580-9</a><br/>Format: Electronic Resources<br/>ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126992024-09-22T12:07:08Z2024-09-22T12:07:08Zby Ernst, Erik. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73589-2">http://dx.doi.org/10.1007/978-3-540-73589-2</a><br/>Format: Electronic Resources<br/>Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papersent://SD_ILS/0/SD_ILS:5127202024-09-22T12:07:08Z2024-09-22T12:07:08Zby Gurevich, Yuri. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73770-4">http://dx.doi.org/10.1007/978-3-540-73770-4</a><br/>Format: Electronic Resources<br/>Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:5126062024-09-22T12:07:08Z2024-09-22T12:07:08Zby Comon-Lundh, Hubert. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73147-4">http://dx.doi.org/10.1007/978-3-540-73147-4</a><br/>Format: Electronic Resources<br/>Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125272024-09-22T12:07:08Z2024-09-22T12:07:08Zby Artemov, Sergei N. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72734-7">http://dx.doi.org/10.1007/978-3-540-72734-7</a><br/>Format: Electronic Resources<br/>Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5123502024-09-22T12:07:08Z2024-09-22T12:07:08Zby Bemporad, Alberto. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71493-4">http://dx.doi.org/10.1007/978-3-540-71493-4</a><br/>Format: Electronic Resources<br/>Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5127942024-09-22T12:07:08Z2024-09-22T12:07:08Zby Altenkirch, Thorsten. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74464-1">http://dx.doi.org/10.1007/978-3-540-74464-1</a><br/>Format: Electronic Resources<br/>Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedingsent://SD_ILS/0/SD_ILS:5125532024-09-22T12:07:08Z2024-09-22T12:07:08Zby Akehurst, David H. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72901-3">http://dx.doi.org/10.1007/978-3-540-72901-3</a><br/>Format: Electronic Resources<br/>Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128122024-09-22T12:07:08Z2024-09-22T12:07:08Zby Dahl, Véronica. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74610-2">http://dx.doi.org/10.1007/978-3-540-74610-2</a><br/>Format: Electronic Resources<br/>Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lecturesent://SD_ILS/0/SD_ILS:5128132024-09-22T12:07:08Z2024-09-22T12:07:08Zby Antoniou, Grigoris. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74615-7">http://dx.doi.org/10.1007/978-3-540-74615-7</a><br/>Format: Electronic Resources<br/>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 Papersent://SD_ILS/0/SD_ILS:5129432024-09-22T12:07:08Z2024-09-22T12:07:08Zby Moreno Díaz, Roberto. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75867-9">http://dx.doi.org/10.1007/978-3-540-75867-9</a><br/>Format: Electronic Resources<br/>Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129472024-09-22T12:07:08Z2024-09-22T12:07:08Zby Paschke, Adrian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75975-1">http://dx.doi.org/10.1007/978-3-540-75975-1</a><br/>Format: Electronic Resources<br/>The Semantic Web 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129522024-09-22T12:07:08Z2024-09-22T12:07:08Zby Aberer, Karl. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76298-0">http://dx.doi.org/10.1007/978-3-540-76298-0</a><br/>Format: Electronic Resources<br/>Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5129542024-09-22T12:07:08Z2024-09-22T12:07:08Zby Holub, Jan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76336-9">http://dx.doi.org/10.1007/978-3-540-76336-9</a><br/>Format: Electronic Resources<br/>Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126922024-09-22T12:07:08Z2024-09-22T12:07:08Zby Schmidt, Heinz W. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73551-9">http://dx.doi.org/10.1007/978-3-540-73551-9</a><br/>Format: Electronic Resources<br/>Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128542024-09-22T12:07:08Z2024-09-22T12:07:08Zby Duparc, Jacques. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74915-8">http://dx.doi.org/10.1007/978-3-540-74915-8</a><br/>Format: Electronic Resources<br/>Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5127522024-09-22T12:07:08Z2024-09-22T12:07:08Zby Nielson, Hanne Riis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74061-2">http://dx.doi.org/10.1007/978-3-540-74061-2</a><br/>Format: Electronic Resources<br/>The Calculus of Computation Decision Procedures with Applications to Verificationent://SD_ILS/0/SD_ILS:5127542024-09-22T12:07:08Z2024-09-22T12:07:08Zby Bradley, Aaron R. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74113-8">http://dx.doi.org/10.1007/978-3-540-74113-8</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129072024-09-22T12:07:08Z2024-09-22T12:07:08Zby Raskin, Jean-François. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75454-1">http://dx.doi.org/10.1007/978-3-540-75454-1</a><br/>Format: Electronic Resources<br/>Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5130192024-09-22T12:07:08Z2024-09-22T12:07:08Zby Winckler, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77222-4">http://dx.doi.org/10.1007/978-3-540-77222-4</a><br/>Format: Electronic Resources<br/>Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5130302024-09-22T12:07:08Z2024-09-22T12:07:08Zby Lumpe, Markus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77351-1">http://dx.doi.org/10.1007/978-3-540-77351-1</a><br/>Format: Electronic Resources<br/>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 Papersent://SD_ILS/0/SD_ILS:5127252024-09-22T12:07:08Z2024-09-22T12:07:08Zby Azevedo, Francisco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73817-6">http://dx.doi.org/10.1007/978-3-540-73817-6</a><br/>Format: Electronic Resources<br/>Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5127582024-09-22T12:07:08Z2024-09-22T12:07:08Zby Edelkamp, Stefan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74128-2">http://dx.doi.org/10.1007/978-3-540-74128-2</a><br/>Format: Electronic Resources<br/>Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5127592024-09-22T12:07:08Z2024-09-22T12:07:08Zby Horváth, Zoltán. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74130-5">http://dx.doi.org/10.1007/978-3-540-74130-5</a><br/>Format: Electronic Resources<br/>Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5124252024-09-22T12:07:08Z2024-09-22T12:07:08Zby Fiadeiro, José Luiz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71998-4">http://dx.doi.org/10.1007/978-3-540-71998-4</a><br/>Format: Electronic Resources<br/>SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedingsent://SD_ILS/0/SD_ILS:5128662024-09-22T12:07:08Z2024-09-22T12:07:08Zby Gaudin, Emmanuel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74984-4">http://dx.doi.org/10.1007/978-3-540-74984-4</a><br/>Format: Electronic Resources<br/>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. Proceedingsent://SD_ILS/0/SD_ILS:5125892024-09-22T12:07:08Z2024-09-22T12:07:08Zby Petrenko, Alexandre. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73066-8">http://dx.doi.org/10.1007/978-3-540-73066-8</a><br/>Format: Electronic Resources<br/>Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125972024-09-22T12:07:08Z2024-09-22T12:07:08Zby Concas, Giulio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73101-6">http://dx.doi.org/10.1007/978-3-540-73101-6</a><br/>Format: Electronic Resources<br/>Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5125982024-09-22T12:07:08Z2024-09-22T12:07:08Zby Jacko, Julie A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73105-4">http://dx.doi.org/10.1007/978-3-540-73105-4</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129632024-09-22T12:07:08Z2024-09-22T12:07:08Zby Shao, Zhong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76637-7">http://dx.doi.org/10.1007/978-3-540-76637-7</a><br/>Format: Electronic Resources<br/>Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leinoent://SD_ILS/0/SD_ILS:5121342024-09-22T12:07:08Z2024-09-22T12:07:08Zby Beckert, Bernhard. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69061-0">http://dx.doi.org/10.1007/978-3-540-69061-0</a><br/>Format: Electronic Resources<br/>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. Proceedingsent://SD_ILS/0/SD_ILS:5123322024-09-22T12:07:08Z2024-09-22T12:07:08Zby Seidl, Helmut. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71389-0">http://dx.doi.org/10.1007/978-3-540-71389-0</a><br/>Format: Electronic Resources<br/>Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126142024-09-22T12:07:08Z2024-09-22T12:07:08Zby Derrick, John. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73196-2">http://dx.doi.org/10.1007/978-3-540-73196-2</a><br/>Format: Electronic Resources<br/>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 Papersent://SD_ILS/0/SD_ILS:5127922024-09-22T12:07:08Z2024-09-22T12:07:08Zby Noriega, Pablo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74459-7">http://dx.doi.org/10.1007/978-3-540-74459-7</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128982024-09-22T12:07:08Z2024-09-22T12:07:08Zby Jones, Cliff B. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75292-9">http://dx.doi.org/10.1007/978-3-540-75292-9</a><br/>Format: Electronic Resources<br/>Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128092024-09-22T12:07:08Z2024-09-22T12:07:08Zby Schneider, Klaus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74591-4">http://dx.doi.org/10.1007/978-3-540-74591-4</a><br/>Format: Electronic Resources<br/>Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128102024-09-22T12:07:08Z2024-09-22T12:07:08Zby Durand-Lose, Jérôme. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74593-8">http://dx.doi.org/10.1007/978-3-540-74593-8</a><br/>Format: Electronic Resources<br/>Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedingsent://SD_ILS/0/SD_ILS:5127002024-09-22T12:07:08Z2024-09-22T12:07:08Zby Pfenning, Frank. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73595-3">http://dx.doi.org/10.1007/978-3-540-73595-3</a><br/>Format: Electronic Resources<br/>International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129352024-09-22T12:07:08Z2024-09-22T12:07:08Zby Arbab, Farhad. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75698-9">http://dx.doi.org/10.1007/978-3-540-75698-9</a><br/>Format: Electronic Resources<br/>Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lecturesent://SD_ILS/0/SD_ILS:5128342024-09-22T12:07:08Z2024-09-22T12:07:08Zby Boer, Frank S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74792-5">http://dx.doi.org/10.1007/978-3-540-74792-5</a><br/>Format: Electronic Resources<br/>Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lecturesent://SD_ILS/0/SD_ILS:5128372024-09-22T12:07:08Z2024-09-22T12:07:08Zby Aldini, Alessandro. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74810-6">http://dx.doi.org/10.1007/978-3-540-74810-6</a><br/>Format: Electronic Resources<br/>Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5130362024-09-22T12:07:08Z2024-09-22T12:07:08Zby Sokolsky, Oleg. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77395-5">http://dx.doi.org/10.1007/978-3-540-77395-5</a><br/>Format: Electronic Resources<br/>Modelling Distributed Systemsent://SD_ILS/0/SD_ILS:5127372024-09-22T12:07:08Z2024-09-22T12:07:08Zby Fokkink, Wan. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73938-8">http://dx.doi.org/10.1007/978-3-540-73938-8</a><br/>Format: Electronic Resources<br/>Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126672024-09-22T12:07:08Z2024-09-22T12:07:08Zby Anai, Hirokazu. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73433-8">http://dx.doi.org/10.1007/978-3-540-73433-8</a><br/>Format: Electronic Resources<br/>Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papersent://SD_ILS/0/SD_ILS:5124122024-09-22T12:07:08Z2024-09-22T12:07:08Zby Bordini, Rafael H. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71956-4">http://dx.doi.org/10.1007/978-3-540-71956-4</a><br/>Format: Electronic Resources<br/>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 Lecturesent://SD_ILS/0/SD_ILS:5124872024-09-22T12:07:08Z2024-09-22T12:07:08Zby Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72522-0">http://dx.doi.org/10.1007/978-3-540-72522-0</a><br/>Format: Electronic Resources<br/>Finite Model Theory and Its Applicationsent://SD_ILS/0/SD_ILS:5121122024-09-22T12:07:08Z2024-09-22T12:07:08Zby Grädel, Erich. author.<br/><a href="http://dx.doi.org/10.1007/3-540-68804-8">http://dx.doi.org/10.1007/3-540-68804-8</a><br/>Format: Electronic Resources<br/>Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126152024-09-22T12:07:08Z2024-09-22T12:07:08Zby Harju, Tero. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73208-2">http://dx.doi.org/10.1007/978-3-540-73208-2</a><br/>Format: Electronic Resources<br/>Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129892024-09-22T12:07:08Z2024-09-22T12:07:08Zby Cervesato, Iliano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76929-3">http://dx.doi.org/10.1007/978-3-540-76929-3</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125512024-09-22T12:07:08Z2024-09-22T12:07:08Zby Indulska, Jadwiga. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72883-2">http://dx.doi.org/10.1007/978-3-540-72883-2</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128712024-09-22T12:07:08Z2024-09-22T12:07:08Zby Saglietti, Francesca. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75101-4">http://dx.doi.org/10.1007/978-3-540-75101-4</a><br/>Format: Electronic Resources<br/>Grid Computing Experiment Management, Tool Integration, and Scientific Workflowsent://SD_ILS/0/SD_ILS:5121472024-09-22T12:07:08Z2024-09-22T12:07:08Zby Prodan, Radu. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69262-1">http://dx.doi.org/10.1007/978-3-540-69262-1</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5123362024-09-22T12:07:08Z2024-09-22T12:07:08Zby Puebla, Germán. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71410-1">http://dx.doi.org/10.1007/978-3-540-71410-1</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129652024-09-22T12:07:08Z2024-09-22T12:07:08Zby Butler, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76650-6">http://dx.doi.org/10.1007/978-3-540-76650-6</a><br/>Format: Electronic Resources<br/>Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lecturesent://SD_ILS/0/SD_ILS:5129732024-09-22T12:07:08Z2024-09-22T12:07:08Zby Backhouse, Roland. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76786-2">http://dx.doi.org/10.1007/978-3-540-76786-2</a><br/>Format: Electronic Resources<br/>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 Ient://SD_ILS/0/SD_ILS:5126272024-09-22T12:07:08Z2024-09-22T12:07:08Zby Stephanidis, Constantine. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73279-2">http://dx.doi.org/10.1007/978-3-540-73279-2</a><br/>Format: Electronic Resources<br/>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 IIent://SD_ILS/0/SD_ILS:5126282024-09-22T12:07:08Z2024-09-22T12:07:08Zby Stephanidis, Constantine. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73281-5">http://dx.doi.org/10.1007/978-3-540-73281-5</a><br/>Format: Electronic Resources<br/>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 IIIent://SD_ILS/0/SD_ILS:5126292024-09-22T12:07:08Z2024-09-22T12:07:08Zby Stephanidis, Constantine. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73283-9">http://dx.doi.org/10.1007/978-3-540-73283-9</a><br/>Format: Electronic Resources<br/>Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedingsent://SD_ILS/0/SD_ILS:5127912024-09-22T12:07:08Z2024-09-22T12:07:08Zby Kučera, Luděk. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74456-6">http://dx.doi.org/10.1007/978-3-540-74456-6</a><br/>Format: Electronic Resources<br/>Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5129002024-09-22T12:07:08Z2024-09-22T12:07:08Zby Montanari, Ugo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75336-0">http://dx.doi.org/10.1007/978-3-540-75336-0</a><br/>Format: Electronic Resources<br/>Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5129042024-09-22T12:07:08Z2024-09-22T12:07:08Zby Bozapalidis, Symeon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75414-5">http://dx.doi.org/10.1007/978-3-540-75414-5</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129242024-09-22T12:07:08Z2024-09-22T12:07:08Zby Dershowitz, Nachum. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75560-9">http://dx.doi.org/10.1007/978-3-540-75560-9</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedingsent://SD_ILS/0/SD_ILS:5129262024-09-22T12:07:08Z2024-09-22T12:07:08Zby Namjoshi, Kedar S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75596-8">http://dx.doi.org/10.1007/978-3-540-75596-8</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logicent://SD_ILS/0/SD_ILS:5076172024-09-22T12:07:08Z2024-09-22T12:07:08Zby Gabbay, D.M. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-6324-4">http://dx.doi.org/10.1007/978-1-4020-6324-4</a><br/>Format: Electronic Resources<br/>Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5130422024-09-22T12:07:08Z2024-09-22T12:07:08Zby Okada, Mitsu. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77505-8">http://dx.doi.org/10.1007/978-3-540-77505-8</a><br/>Format: Electronic Resources<br/>Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5130452024-09-22T12:07:08Z2024-09-22T12:07:08Zby Overhage, Sven. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77619-2">http://dx.doi.org/10.1007/978-3-540-77619-2</a><br/>Format: Electronic Resources<br/>Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5127302024-09-22T12:07:08Z2024-09-22T12:07:08Zby Mossakowski, Till. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73859-6">http://dx.doi.org/10.1007/978-3-540-73859-6</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5121802024-09-22T12:07:08Z2024-09-22T12:07:08Zby Cook, Byron. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69738-1">http://dx.doi.org/10.1007/978-3-540-69738-1</a><br/>Format: Electronic Resources<br/>Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reportsent://SD_ILS/0/SD_ILS:5123912024-09-22T12:07:08Z2024-09-22T12:07:08Zby Südholt, Mario. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71774-4">http://dx.doi.org/10.1007/978-3-540-71774-4</a><br/>Format: Electronic Resources<br/>Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5123992024-09-22T12:07:08Z2024-09-22T12:07:08Zby Meuter, Wolfgang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71836-9">http://dx.doi.org/10.1007/978-3-540-71836-9</a><br/>Format: Electronic Resources<br/>Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papersent://SD_ILS/0/SD_ILS:5124022024-09-22T12:07:08Z2024-09-22T12:07:08Zby Guelfi, Nicolas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71876-5">http://dx.doi.org/10.1007/978-3-540-71876-5</a><br/>Format: Electronic Resources<br/>Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competitionent://SD_ILS/0/SD_ILS:5124032024-09-22T12:07:08Z2024-09-22T12:07:08Zby Liblit, Ben. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71878-9">http://dx.doi.org/10.1007/978-3-540-71878-9</a><br/>Format: Electronic Resources<br/>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. Proceedingsent://SD_ILS/0/SD_ILS:5123012024-09-22T12:07:08Z2024-09-22T12:07:08Zby Krishnamurthi, Shriram. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71229-9">http://dx.doi.org/10.1007/978-3-540-71229-9</a><br/>Format: Electronic Resources<br/>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. Proceedingsent://SD_ILS/0/SD_ILS:5123122024-09-22T12:07:08Z2024-09-22T12:07:08Zby Dwyer, Matthew B. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71289-3">http://dx.doi.org/10.1007/978-3-540-71289-3</a><br/>Format: Electronic Resources<br/>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. Proceedingsent://SD_ILS/0/SD_ILS:5123172024-09-22T12:07:08Z2024-09-22T12:07:08Zby Nicola, Rocco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71316-6">http://dx.doi.org/10.1007/978-3-540-71316-6</a><br/>Format: Electronic Resources<br/>Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lecturesent://SD_ILS/0/SD_ILS:5128612024-09-22T12:07:08Z2024-09-22T12:07:08Zby George, Chris W. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74964-6">http://dx.doi.org/10.1007/978-3-540-74964-6</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128622024-09-22T12:07:08Z2024-09-22T12:07:08Zby Bessière, Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74970-7">http://dx.doi.org/10.1007/978-3-540-74970-7</a><br/>Format: Electronic Resources<br/>Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:5126002024-09-22T12:07:08Z2024-09-22T12:07:08Zby Jacko, Julie A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73110-8">http://dx.doi.org/10.1007/978-3-540-73110-8</a><br/>Format: Electronic Resources<br/>Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IVent://SD_ILS/0/SD_ILS:5126012024-09-22T12:07:08Z2024-09-22T12:07:08Zby Jacko, Julie A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73111-5">http://dx.doi.org/10.1007/978-3-540-73111-5</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126162024-09-22T12:07:08Z2024-09-22T12:07:08Zby Davies, Jim. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73210-5">http://dx.doi.org/10.1007/978-3-540-73210-5</a><br/>Format: Electronic Resources<br/>Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126202024-09-22T12:07:08Z2024-09-22T12:07:08Zby Rocca, Simona Ronchi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73228-0">http://dx.doi.org/10.1007/978-3-540-73228-0</a><br/>Format: Electronic Resources<br/>Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128852024-09-22T12:07:08Z2024-09-22T12:07:08Zby Wolter, Katinka. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75211-0">http://dx.doi.org/10.1007/978-3-540-75211-0</a><br/>Format: Electronic Resources<br/>Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdaysent://SD_ILS/0/SD_ILS:5128862024-09-22T12:07:08Z2024-09-22T12:07:08Zby Jones, Cliff B. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75221-9">http://dx.doi.org/10.1007/978-3-540-75221-9</a><br/>Format: Electronic Resources<br/>Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papersent://SD_ILS/0/SD_ILS:5122512024-09-22T12:07:08Z2024-09-22T12:07:08Zby Padgham, Lin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70945-9">http://dx.doi.org/10.1007/978-3-540-70945-9</a><br/>Format: Electronic Resources<br/>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 Papersent://SD_ILS/0/SD_ILS:5122532024-09-22T12:07:08Z2024-09-22T12:07:08Zby Brim, Luboš. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70952-7">http://dx.doi.org/10.1007/978-3-540-70952-7</a><br/>Format: Electronic Resources<br/>CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5127832024-09-22T12:07:08Z2024-09-22T12:07:08Zby Caires, Luís. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74407-8">http://dx.doi.org/10.1007/978-3-540-74407-8</a><br/>Format: Electronic Resources<br/>Semantics with Applications: An Appetizerent://SD_ILS/0/SD_ILS:5086392024-09-22T12:07:08Z2024-09-22T12:07:08Zby Nielson, Hanne Riis. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-692-6">http://dx.doi.org/10.1007/978-1-84628-692-6</a><br/>Format: Electronic Resources<br/>Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126732024-09-22T12:07:08Z2024-09-22T12:07:08Zby Baader, Franz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73449-9">http://dx.doi.org/10.1007/978-3-540-73449-9</a><br/>Format: Electronic Resources<br/>Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125682024-09-22T12:07:08Z2024-09-22T12:07:08Zby Bonsangue, Marcello M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72952-5">http://dx.doi.org/10.1007/978-3-540-72952-5</a><br/>Format: Electronic Resources<br/>Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125702024-09-22T12:07:08Z2024-09-22T12:07:08Zby Marchiori, Massimo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72982-2">http://dx.doi.org/10.1007/978-3-540-72982-2</a><br/>Format: Electronic Resources<br/>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. Proceedingsent://SD_ILS/0/SD_ILS:5122972024-09-22T12:07:08Z2024-09-22T12:07:08Zby Grumberg, Orna. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71209-1">http://dx.doi.org/10.1007/978-3-540-71209-1</a><br/>Format: Electronic Resources<br/>