Logics and Meanings of Programs.
概要
| 作品: | 294 作品在 294 項出版品 294 種語言 | |
|---|---|---|
書目資訊
Foundations and practice of security[electronic resource] :4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Foundations of algebraic specification and formal software development[electronic resource] /
by:
(書目-語言資料,印刷品)
Conceptual modelling and its theoretical foundations[electronic resource] :essays dedicated to Bernhard Thalheim n the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications[electronic resource] :6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Foundations of information and knowledge systems[electronic resource] :7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Software language engineering[electronic resource] :4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic programs, norms and action[electronic resource] :essays in honor of Marek J. Sergot on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Reversible computation[electronic resource] :third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(書目-語言資料,印刷品)
Theory and practice of computation[electronic resource] :Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Answer set programming for continuous domains[electronic resource] :a fuzzy logic approach /
by:
(書目-語言資料,印刷品)
Functional and logic programming[electronic resource] :11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification[electronic resource] :second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation[electronic resource] :9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs[electronic resource] :6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Objects, models, components, patterns[electronic resource] :50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Software composition[electronic resource] :11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Software service and application engineering[electronic resource] :essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Testing software and systems[electronic resource] :24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Certified programs and proofs[electronic resource] :second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Automated technology for verification and analysis[electronic resource] :6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification[electronic resource] :8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
by:
(書目-語言資料,印刷品)
Software-intensive systems and new computing paradigms[electronic resource] :challenges and visions /
by:
(書目-語言資料,印刷品)
The semantic web[electronic resource] :3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
The semantic web - ISWC 2008[electronic resource] :7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Theorem proving in higher order logics[electronic resource] :21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and systems[electronic resource] :10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Formal aspects of component software[electronic resource] :8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Tools for practical software verification[electronic resource] :LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
by:
(書目-語言資料,印刷品)
Horizons of the mind[electronic resource] :a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Functional and logic programming[electronic resource] :12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Engineering secure future internet services and systems[electronic resource] :current research /
by:
(書目-語言資料,印刷品)
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Software architecture[electronic resource] :8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Integrated formal methods[electronic resource] :11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods in macro-biology[electronic resource] :First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-24, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods[electronic resource] :12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Quantitative evaluation of systems[electronic resource] :11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
CONCUR 2014 - concurrency theory[electronic resource] :25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Theoretical computer science[electronic resource] :8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Web services and formal methods[electronic resource] :10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Deontic logic and normative systems[electronic resource] :12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Logical aspects of computational linguistics[electronic resource] :8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Computing and combinatorics[electronic resource] :20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs[electronic resource] :8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Graph transformation[electronic resource] :7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Descriptional complexity of formal systems[electronic resource] :16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Computational logic in multi-agent systems[electronic resource] :15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Pristine perspectives on logic, language, and computation[electronic resource] :ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers /
by:
(書目-語言資料,印刷品)
ECOOP 2014 - Object-oriented programming[electronic resource] :28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Logic and its applications[electronic resource] :6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Transactional memory[electronic resource] :foundations, algorithms, tools, and applications : COST Action Euro-TM IC1001 /
by:
(書目-語言資料,印刷品)
Unifying theories of programming[electronic resource] :5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Practical aspects of declarative languages[electronic resource] :16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Trends in functional programming[electronic resource] :14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Big data integration theory[electronic resource] :theory and methods of database mappings, programming languages, and semantics /
by:
(書目-語言資料,印刷品)
Membrane computing[electronic resource] :14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Foundations of information and knowledge systems[electronic resource] :8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Specification, algebra, and software[electronic resource] :essays dedicated to Kokichi Futatsugi /
by:
(書目-語言資料,印刷品)
Programming languages and operational semantics[electronic resource] :a concise overview /
by:
(書目-語言資料,印刷品)
FM 2015[electronic resource] :formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings /
by:
(書目-電子資源)
Descriptional complexity of formal systems[electronic resource] :17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematics of program construction[electronic resource] :12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Reversible computation[electronic resource] :7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Computing and combinatorics[electronic resource] :21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Graph transformation[electronic resource] :8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs[electronic resource] :9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Computer aided verification[electronic resource] :27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part II /
by:
(書目-語言資料,印刷品)
Computer aided verification[electronic resource] :27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part I /
by:
(書目-語言資料,印刷品)
Interactive theorem proving[electronic resource] :6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of computation theory[electronic resource] :20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Quantitative evaluation of systems[electronic resource] :12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods[electronic resource] :13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering for resilient systems[electronic resource] :7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, rewriting, and concurrency[electronic resource] :essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Model checking software[electronic resource] :22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
The design of requirements modelling languages[electronic resource] :how to make formalisms for problem solving in requirements engineering /
by:
(書目-語言資料,印刷品)
Algebraic informatics[electronic resource] :6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification[electronic resource] :6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Frontiers of combining systems[electronic resource] :10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Reachability problems[electronic resource] :9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of software engineering[electronic resource] :6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
SDL 2015[electronic resource] :model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Theoretical aspects of computing - ICTAC 2015[electronic resource] :12th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages with applications to biology and security[electronic resource] :essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Globalizing domain-specific languages[electronic resource] :International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(書目-語言資料,印刷品)
Static analysis[electronic resource] :22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms - ESA 2015[electronic resource] :23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, rationality, and interaction[electronic resource] :5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Transactions on petri nets and other models of concurrency X[electronic resource] /
by:
(書目-語言資料,印刷品)
The 2-tuple linguistic model[electronic resource] :computing with words in decision making /
by:
(書目-語言資料,印刷品)
Inductive logic programming[electronic resource] :24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Programming languages and systems[electronic resource] :13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Information security[electronic resource] :16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Membrane computing[electronic resource] :16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Hybrid systems biology[electronic resource] :fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Software engineering[electronic resource] :International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures /
by:
(書目-語言資料,印刷品)
Models of strategic reasoning[electronic resource] :logics, games, and communities /
by:
(書目-語言資料,印刷品)
Functional and logic programming[electronic resource] :13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
A list of successes that can change the world[electronic resource] :essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Integrated formal methods[electronic resource] :12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Software reuse[electronic resource] :bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
A polynomial translation of mobile ambients into safe petri nets[electronic resource] :understanding a calculus of hierarchical protection domains /
by:
(書目-語言資料,印刷品)
Graphical models for security[electronic resource] :second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Descriptive set theoretic methods in automata theory[electronic resource] :decidability and topological complexity /
by:
(書目-電子資源)
FM 2016[electronic resource] :formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods[electronic resource] :foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
主題