Logics and Meanings of Programs.
概要
作品: | 921 作品在 600 項出版品 600 種語言 |
---|
書目資訊
Global Computing = IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Agent-Oriented Software Engineering V = 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Programming Multi-Agent Systems = Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers /
by:
(書目-語言資料,印刷品)
Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Agent Communication = International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004 /
by:
(書目-語言資料,印刷品)
Multiparadigm Programming in Mozart = Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Hybrid Systems: Computation and Control = 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Approaches to Software Testing = 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logic for Programming, Artificial Intelligence, and Reasoning = 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Adaptive Agents and Multi-Agent Systems II = Adaptation and Multi-Agent Learning /
by:
(書目-語言資料,印刷品)
Machines, Computations, and Universality = 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing - ICTAC 2004 = First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Compiler Construction = 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 /
by:
(書目-語言資料,印刷品)
ZB 2005: Formal Specification and Development in Z and B = 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Typed Lambda Calculi and Applications = 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Term Rewriting and Applications = 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Communicating Sequential Processes. The First 25 Years = Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /
by:
(書目-語言資料,印刷品)
Component-Based Software Engineering = 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /
by:
(書目-語言資料,印刷品)
Implementation and Application of Functional Languages = 16th International Workshop, IFL 2004, Lubeck, Germany, September 8-10, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Declarative Agent Languages and Technologies II = Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Formal Methods for Open Object-Based Distributed Systems = 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Scenarios: Models, Transformations and Tools = International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Distributed Applications and Interoperable Systems = 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Extreme Programming and Agile Processes in Software Engineering = 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Logic Based Program Synthesis and Transformation = 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
SDL 2005: Model Driven = 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Reasoning Web = First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Abstraction, Reformulation and Approximation = 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
ECOOP 2005 - Object-Oriented Programming = 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings /
by:
(書目-語言資料,印刷品)
Automated Deduction - CADE-20 = 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Model Checking Software = 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Science Logic = 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
CONCUR 2005 - Concurrency Theory = 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings /
by:
(書目-語言資料,印刷品)
Theorem Proving in Higher Order Logics = 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Static Analysis = 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Algebra and Coalgebra in Computer Science = First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2005 = 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures
by:
(書目-語言資料,印刷品)
Theoretical Computer Science : = 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing - ICTAC 2005 : = Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Formal Methods for Components and Objects : = Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
by:
(書目-語言資料,印刷品)
Formal Techniques for Networked and Distributed Systems - FORTE 2005 : = 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security : = 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Logic Programming : = 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis : = Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming - CP 2005 : = 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005
by:
(書目-語言資料,印刷品)
Trustworthy Global Computing : = International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
by:
(書目-語言資料,印刷品)
Software Composition : = 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
by:
(書目-語言資料,印刷品)
Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
by:
(書目-語言資料,印刷品)
The Semantic Web - ISWC 2005 : = 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Rules and Rule Markup Languages for the Semantic Web : = First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Model Driven Architecture - Foundations and Applications : = First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Processes, Terms and Cycles: Steps on the Road to Infinity : = Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
by:
(書目-語言資料,印刷品)
Component Deployment : = Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems : = Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Types for proofs and programs = international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers/
by:
(書目-語言資料,印刷品)
Formal techniques for networked and distributed systems--FORTE 2008 = 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Analytical and Stochastic Modeling Techniques and Applications = 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
A Practical Theory of Reactive Systems = Incremental Modeling of Dynamic Behaviors /
by:
(書目-語言資料,印刷品)
Distributed applications and interoperable systems = 8thIFIP WG 6.1 international conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for open object-based distributed systems = 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /
by:
(書目-語言資料,印刷品)
Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Composition = 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Latin 2008 = theoretical informatics : 8th Latin American symposium, Buzios, Brazil, April 7-11, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods and testing = an outcome of the FORTEST network : revised selected papers /
by:
(書目-語言資料,印刷品)
Functional and logic programming = 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Programming multi-agent systems = 5th international workshop, PROMAS 2007 Honolulu, HI, USA, May 14-18, 2007 revised and invited papers /
by:
(書目-語言資料,印刷品)
Tests and proofs = second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Web services and formal methods = 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings /
by:
(書目-語言資料,印刷品)
Agent-oriented software engineering VIII = 8th international workshop, AOSE 2007, Honolulu, HI, USA, May 14-18, 2007, revised selected papers /
by:
(書目-語言資料,印刷品)
Hardware and Software: Verification and Testing = Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Object-Oriented Technology. ECOOP 2007 Workshop Reader = ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports /
by:
(書目-語言資料,印刷品)
Requirements Engineering: Foundation for Software Quality = 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Declarative Agent Languages and Technologies V = 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /
by:
(書目-語言資料,印刷品)
Foundations of Information and Knowledge Systems = 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
FM 2008: Formal Methods = 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Model Driven Architecture Foundations and Applications = 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Interactive Systems. Design, Specification, and Verification = 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers /
by:
(書目-語言資料,印刷品)
Rewriting Techniques and Applications = 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Mathematics of Program Construction = 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Implementation and Applications of Automata = 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Hybrid Systems: Computation and Control = 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Algebraic Biology = Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2008 = 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
CONCUR 2008 - Concurrency Theory = 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Reasoning web = 4th International summer school 2008, Venice Italy, September 7-11, 2008 ; tutorial lectures /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Grammatical inference = algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
ECOOP 2008 -- Object-Oriented Programming = 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Automated reasoning = 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Principles and practice of constraint programming = 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Computer safety, reliability, and security = 27th international conference, Safecomp 2008 Newcastle upon Tyne, UK, September 22-25, 2008 proceedings /
by:
(書目-語言資料,印刷品)
Verified software: theories, tools, experiments = second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Graph transformations = 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Computer science logic = 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Abstract State Machines, B and Z = First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Logic programming = 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for components and objects = 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers /
by:
(書目-語言資料,印刷品)
Engineering interactive systems = EIS 2007 joint working conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007 : selected papers /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Object-oriented technology. ECOOP 2008 workshop reader = ECOOP 2008 workshops, Paphos, Cyrus, July 7-11, 2008, final reports /
by:
(書目-語言資料,印刷品)
Verification, model checking, and abstract interpretation = 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Declarative agent languages and technologies VII = 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers /
by:
(書目-語言資料,印刷品)
Practical aspects of declarative languages = 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Approaches and applications of inductive programming = third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009 : revised papers /
by:
(書目-語言資料,印刷品)
Functional and constraint logic programming = 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Component-Based Software Engineering = 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings /
by:
(書目-語言資料,印刷品)
Unconventional computation = 9th international conference, UC 2010, Tokyo, Japan, June 21-25, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Modelling foundations and applications = 6th European conference, ECMFA 2010, Paris, France, June 15-18, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Verification, model checking, and abstract interpretation = 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Declarative agent languages and technologies VI = 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 : revised selected and invited papers /
by:
(書目-語言資料,印刷品)
Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings /
by:
(書目-語言資料,印刷品)
Model checking and artificial intelligence = 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Agent-oriented software engineering IX = 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings /
by:
(書目-語言資料,印刷品)
Trustworthy global computing = 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers /
by:
(書目-語言資料,印刷品)
Web services and formal methods = 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers /
by:
(書目-語言資料,印刷品)
Hardware and software : verification and testing = 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Perspectives of systems informatics = 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers /
by:
(書目-語言資料,印刷品)
Fundamentals of software engineering = third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Abstract state machines, Alloy, B and Z = second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Software language engineering = second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Applications and theory of Petri nets = 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
A 25-Year perspective on logic programming = achievements of the Italian Association for Logic Programming, GULP /
by:
(書目-語言資料,印刷品)
Computer science - theory and applications = 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematics of program construction = 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : Proceedings /
by:
(書目-語言資料,印刷品)
Theory and practice of model transformations = third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Objects, models, components, patterns = 48th international conference, TOOLS 2010, Malaga, Spain, June 28, July 2, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs = 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Software composition = 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
ECOOP 2010 - object-oriented programming = 24th European Conference, Maribor, Slovenia, June 21-25, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
New modeling concepts for today's software processes = International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Specification and verification of declarative open interaction models = a logic-based approach /
by:
(書目-語言資料,印刷品)
Computer aided verification = 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Deontic logic in computer science = 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of satisfiability testing - SAT 2010 = 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Automated reasoning = 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Interactive theorem proving = First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, language, information and computation = 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Inductive logic programming = 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Foundations of information and knowledge systems = 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Functional and logic programming = 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Models in software engineering = workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009 : reports and revised selected papers /
by:
(書目-語言資料,印刷品)
Automata for branching and layered temporal structures = an investigation into regularities of infinite transition systems /
by:
(書目-語言資料,印刷品)
Concurrency, compositionality, and correctness = essays in honor of Willem-Paul de Roever /
by:
(書目-語言資料,印刷品)
Distributed computing and internet technology = 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Computer science logic = 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Database and XML technologies = 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Computer performance engineering = 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Transactions on aspect-oriented software development VII = a common case study for aspect-oriented modeling /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Graph transformations = 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - October 2, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Software architecture = 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Multiagent system technologies = 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Principles and practice of constraint programming - CP 2010 = 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Business process management = 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Model checking software = 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Logics in artificial intelligence = 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Automated technology for verification and analysis = 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic learning theory = 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Logic, language and meaning = 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, revised selected papers /
by:
(書目-語言資料,印刷品)
Evolvable systems = from biology to hardware : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Developments in language theory = 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Fields of logic and computation = essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
by:
(書目-語言資料,印刷品)
Mathematical foundations of computer science 2010 = 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Verified software = theories, tools, experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Computational logic in multi-agent systems = 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Verification, induction, termination analysis = festschrift for Christoph Walther on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Conceptual modeling - ER 2010 = 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Testing software and systems = 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification = First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Frontiers in algorithmics = 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Testing - practice and research techniques = 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Unifying theories of programming = Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, revised selected papers /
by:
(書目-語言資料,印刷品)
Logic for programming, artificial intelligence, and reasoning = 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Integrated formal methods = 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Hybrid metaheuristics = 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Computational logic in multi-agent systems = 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers /
by:
(書目-語言資料,印刷品)
Formal methods for components and objects = 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009, revised selected papers /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Unifying theories of programming = Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Graph transformations and model-driven engineering = essays dedicated to manfred nagl on the occasion of his 65th Birthday /
by:
(書目-語言資料,印刷品)
NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
by:
(書目-電子資源)
Rainbow of computer science = dedicated to Hermann Maurer on the occasion of his 70th birthday /
by:
(書目-電子資源)
Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings /
by:
(書目-電子資源)
Logic and its applications = 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings /
by:
(書目-電子資源)
NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(書目-電子資源)
Logic programs, norms and action = essays in honor of Marek J. Sergot on the occasion of his 60th birthday /
by:
(書目-電子資源)
Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(書目-電子資源)
Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(書目-電子資源)
Software composition = 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-電子資源)
Functional and logic programming = 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
by:
(書目-電子資源)
Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-電子資源)
Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(書目-電子資源)
Model checking software = 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings /
by:
(書目-電子資源)
Deontic logic in computer science = 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings /
by:
(書目-電子資源)
Developments in language theory = 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012 : proceedings /
by:
(書目-電子資源)
Generic and indexed programming = International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures /
by:
(書目-電子資源)
Interactive theorem proving = Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings /
by:
(書目-電子資源)
FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
(書目-電子資源)
Business process management = 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012 : proceedings /
by:
(書目-電子資源)
Static analysis = 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings /
by:
(書目-電子資源)
Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
(書目-電子資源)
Graph transformations = 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : proceedings /
by:
(書目-電子資源)
Algorithmic learning theory = 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012 : proceedings /
by:
(書目-電子資源)
Computational issues in fluid construction grammar = a new formalism for the representation of lexicons and grammars /
by:
(書目-電子資源)
Conceptual modeling = 31st international conference ER 2012, Florence, Italy, October 15-18, 2012 : proceedings /
by:
(書目-電子資源)
Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(書目-電子資源)
Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
by:
(書目-電子資源)
The semantic web = 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008 : proceedings /
by:
(書目-電子資源)
Functional and logic programming = 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings /
by:
(書目-電子資源)
Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(書目-電子資源)
Big data integration theory = theory and methods of database mappings, programming languages, and semantics /
by:
(書目-電子資源)
NASA formal methods = 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 : proceedings /
by:
(書目-電子資源)
FM 2014 = Formal methods : 19th International Symposium, Singapore, May 12-16, 2014 : proceedings /
by:
(書目-電子資源)
Categories and types in logic, language, and physics = essays dedicated to Jim Lambek on the occasion of his 90th birthday /
by:
(書目-電子資源)
Computing and combinatorics = 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014 : proceedings /
by:
(書目-電子資源)
Pristine perspectives on logic, language, and computation = ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers /
by:
(書目-電子資源)
ECOOP 2014 - Object-oriented programming = 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014 : proceedings /
by:
(書目-電子資源)
Software architecture = 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014 : proceedings /
by:
(書目-電子資源)
Integrated formal methods = 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings /
by:
(書目-電子資源)
Computer performance engineering = 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014 : proceedings /
by:
(書目-電子資源)
Static analysis = 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : proceedings /
by:
(書目-電子資源)
Runtime verification = 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : proceedings /
by:
(書目-電子資源)
Reachability problems = 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings /
by:
(書目-電子資源)
Unifying theories of programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
by:
(書目-電子資源)
Application and theory of petri nets and concurrency = 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematics of program construction = 12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, rewriting, and concurrency = essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
(書目-電子資源)
The design of requirements modelling languages = how to make formalisms for problem solving in requirements engineering /
by:
(書目-電子資源)
Algebraic informatics = 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015 : proceedings /
by:
(書目-電子資源)
Logic and its applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
by:
(書目-電子資源)
Transactional memory = foundations, algorithms, tools, and applications : COST Action Euro-TM IC1001 /
by:
(書目-電子資源)
NASA formal methods = 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings /
by:
(書目-電子資源)
FM 2015 = formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings /
by:
(書目-電子資源)
Descriptional complexity of formal systems = 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Reversible computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Computing and combinatorics = 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Interactive theorem proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
by:
(書目-電子資源)
Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(書目-電子資源)
Reachability problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
(書目-電子資源)
Static analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
by:
(書目-電子資源)
Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings /
by:
(書目-電子資源)
Information security = 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013 : proceedings /
by:
(書目-電子資源)
Membrane computing = 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers /
by:
(書目-電子資源)
Software engineering = International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures /
by:
(書目-電子資源)
Functional and logic programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
by:
(書目-電子資源)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(書目-電子資源)
A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(書目-電子資源)
Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
(書目-電子資源)
Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(書目-電子資源)
NASA formal methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings /
by:
(書目-電子資源)
Descriptive set theoretic methods in automata theory = decidability and topological complexity /
by:
(書目-電子資源)
Static analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings /
by:
(書目-電子資源)
Guide to discrete mathematics = an accessible introduction to the history, theory, logic and applications /
by:
(書目-電子資源)
Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
(書目-電子資源)
Developments in language theory = 20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016 : proceedings /
by:
(書目-電子資源)
Interactive theorem proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings /
by:
(書目-電子資源)
Networked systems = 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016 : revised selected papers /
by:
(書目-電子資源)
Computer performance engineering = 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016 : proceedings /
by:
(書目-電子資源)
Runtime verification = 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings /
by:
(書目-電子資源)
Programming languages = 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings /
by:
(書目-電子資源)
Programming languages and systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings /
by:
(書目-電子資源)
Developments in language theory = 21st International Conference, DLT 2017, Liege, Belgium, August 7-11, 2017 : proceedings /
by:
(書目-電子資源)
Numerical software verification = 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings /
by:
(書目-電子資源)
Static analysis = 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017 : proceedings /
by:
(書目-電子資源)
FM 2016 = formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
by:
(書目-電子資源)
Concurrency, security, and puzzles = essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday /
by:
(書目-電子資源)
Logic and its applications = 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings /
by:
(書目-電子資源)
Membrane computing = 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016 : rvised selected papers /
by:
(書目-電子資源)
Small dynamic complexity classes = an investigation into dynamic descriptive complexity /
by:
(書目-電子資源)
Networked systems = 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017 : proceedings /
by:
(書目-電子資源)
Interactive theorem proving = 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings /
by:
(書目-電子資源)
Computer performance engineering = 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings /
by:
(書目-電子資源)
Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
(書目-電子資源)
Scalable uncertainty management = 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017 : proceedings /
by:
(書目-電子資源)
Theoretical computer science = 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017 : proceedings /
by:
(書目-電子資源)
NASA formal methods = 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings /
by:
(書目-電子資源)
Logics in artificial intelligence = 17th European Conference, JELIA 2021, virtual event, May 17-20, 2021 : proceedings /
by:
(書目-電子資源)
Model checking software = 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings /
by:
(書目-電子資源)
Algebraic informatics = 8th International Conference, CAI 2019, Nis, Serbia, June 30-July 4, 2019 : proceedings /
by:
(書目-電子資源)
Description logic, theory combination, and all that = essays dedicated to Franz Baader on the occasion of his 60th birthday /
by:
(書目-電子資源)
Runtime verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020 : proceedings /
by:
(書目-電子資源)
Machine translation = China Conference, CCMT 2021, Xining, China, October 8-10, 2021 : revised selected papers /
by:
(書目-電子資源)
Programming languages and systems = 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021 : proceedings /
by:
(書目-電子資源)
Static analysis = 28th international symposium, SAS 2021,Chicago, IL, USA : proceedings /
by:
(書目-電子資源)
Logic and argumentation = 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021 : proceedings /
by:
(書目-電子資源)
Developments in language theory = 24th International Conference, DLT 2020, Tampa, FL, USA, May 11-15, 2020 : proceedings /
by:
(書目-電子資源)
Deductive software verification = future perspectives : reflections on the occasion of 20 years of KeY /
by:
(書目-電子資源)
Generalized Jeffrey conditionalization = a Frequentist Semantics of Partial Conditionalization /
by:
(書目-電子資源)
Bidirectional transformations = International Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures /
by:
(書目-電子資源)
Multi-agent systems = 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018 : revised selected papers /
by:
(書目-電子資源)
ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday /
by:
(書目-電子資源)
Computability and complexity = essays dedicated to Rodney G. Downey on the occasion of his 60th Birthday /
by:
(書目-電子資源)
Logics in artificial intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings /
by:
(書目-電子資源)
Model checking software = 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings /
by:
(書目-電子資源)
Formal methods - the next 30 years = third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings /
by:
(書目-電子資源)
From reactive systems to cyber-physical systems = essays dedicated to Scott A. Smolka on the occasion of his 65th birthday /
by:
(書目-電子資源)
Runtime verification = 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings /
by:
(書目-電子資源)
Static analysis = 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019 : proceedings /
by:
(書目-電子資源)
Foundations of security, protocols, and equational reasoning = essays dedicated to Catherine A. Meadows /
by:
(書目-電子資源)
Frontiers of combining systems = 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings /
by:
(書目-電子資源)
Reachability problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings /
by:
(書目-電子資源)
Logic, language, and security = essays dedicated to Andre Scedrov on the occasion of his 65th birthday /
by:
(書目-電子資源)
Machine translation = 16th China Conference, CCMT 2020, Hohhot, China, October 10-12, 2020 : revised selected papers /
by:
(書目-電子資源)
Static analysis = 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020 : proceedings /
by:
(書目-電子資源)
Automated reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020 : proceedings.. Part II /
by:
(書目-電子資源)
Automated reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020 : proceedings.. Part I /
by:
(書目-電子資源)
更多
較少的
主題