Software Engineering.
概要
| 作品: | 1336 作品在 1336 項出版品 1336 種語言 | |
|---|---|---|
書目資訊
Trustworthy Global Computing : = International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
by:
(書目-電子資源)
Software business = third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012 : proceedings /
by:
(書目-電子資源)
Model Checking Software = 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /
by:
(書目-電子資源)
Algebraic foundations in computer science = essays dedicated to Symeon Bozapalidis on the occasion of his retirement /
by:
(書目-電子資源)
Service-oriented computing - ICSOC 2008 = 6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings /
by:
(書目-電子資源)
Programming languages = 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
(書目-電子資源)
Efficient algorithms = essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday /
by:
(書目-電子資源)
Formal concept analysis = 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012 : proceedings /
by:
(書目-電子資源)
Model checking software = 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings /
by:
(書目-電子資源)
Model checking software = 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings /
by:
(書目-電子資源)
Functional and logic programming = 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings /
by:
(書目-電子資源)
Education and Management = international symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011 : proceedings.. Part III /
by:
(書目-電子資源)
Security in Pervasive Computing = Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings /
by:
(書目-電子資源)
Computer networks = 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012 : proceedings /
by:
(書目-電子資源)
Automated reasoning = 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings /
by:
(書目-電子資源)
Embedded Software and Systems : = Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings
by:
(書目-電子資源)
Future internet - FIS 2009 = Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009 /
by:
(書目-電子資源)
Ambient intelligence = First International Joint Conference, AmI 2010, Malaga, Spain, November 10-12, 2010 : proceedings /
by:
(書目-電子資源)
Wireless sensor networks = 9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings /
by:
(書目-電子資源)
Dependable Computing : = Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
by:
(書目-電子資源)
Formal concept analysis = 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings /
by:
(書目-電子資源)
Agent Communication = International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004 /
by:
(書目-電子資源)
Web engineering = 9th international conference, ICWE 2009, San Sebastian, Spain, June 24-26 2009 : proceedings /
by:
(書目-電子資源)
Networked digital technologies = third international conference, NDT 2011, Macau, China, July 11-13, 2011 : proceedings /
by:
(書目-電子資源)
Software Product Lines : = 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings
by:
(書目-電子資源)
Fields of logic and computation = essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
by:
(書目-電子資源)
Autonomic and trusted computing = 6th international conference, ATC 2009, Brisbane, Australia, July 7-9, 2009 ; proceedings /
by:
(書目-電子資源)
Hybrid metaheuristics = 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010 : proceedings /
by:
(書目-電子資源)
Pervasive computing = 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010 : proceedings /
by:
(書目-電子資源)
Internet and network economics = 7th international workshop, WINE 2011, Singapore, December 11-14, 2011 : proceedings /
by:
(書目-電子資源)
Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers /
by:
(書目-電子資源)
Multiagent system technologies = 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedings /
by:
(書目-電子資源)
Self-star Properties in Complex Information Systems = Conceptual and Practical Foundations /
by:
(書目-電子資源)
Computer aided verification = 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings /
by:
(書目-電子資源)
NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(書目-電子資源)
Datalog reloaded = first International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010 : revised selected papers /
by:
(書目-電子資源)
Trusted computing = second international conference, Trust 2009, Oxford, UK, April 6-8, 2009 ; Proceedings /
by:
(書目-電子資源)
Web reasoning and rule systems = 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012 : proceedings /
by:
(書目-電子資源)
Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(書目-電子資源)
Formal Methods in Systems Biology = First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings /
by:
(書目-電子資源)
Data Management in a Connected World = Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday /
by:
(書目-電子資源)
ECOOP 2008 -- Object-Oriented Programming = 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings /
by:
(書目-電子資源)
Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-電子資源)
NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
by:
(書目-電子資源)
Service-oriented computing = 9th international conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 : proceedings /
by:
(書目-電子資源)
Learning Design = A Handbook on Modelling and Delivering Networked Education and Training /
by:
(書目-電子資源)
Certified programs and proofs = first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings /
by:
(書目-電子資源)
OSS design patterns = a pattern approach to the design of telecommunications management systems /
by:
(書目-電子資源)
Web Engineering = 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings /
by:
(書目-電子資源)
Computer aided verification = 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings /
by:
(書目-電子資源)
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
(書目-電子資源)
Graph transformations = 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : proceedings /
by:
(書目-電子資源)
Self-organizing systems = third international workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008, proceedings /
by:
(書目-電子資源)
Wireless sensor networks = 8th European conference, EWSN 2011, Bonn, Germany, February 23-25, 2011 : proceedings /
by:
(書目-電子資源)
Computational logistics = third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012 : proceedings /
by:
(書目-電子資源)
Ambient intelligence = third international joint conference, AmI 2012, Pisa, Italy, November 13-15, 2012 : proceedings /
by:
(書目-電子資源)
Self-organizing systems = 5th international workshop, IWSOS 2011, Karlsruhe, Germany, February 23-24, 2011 : proceedings /
by:
(書目-電子資源)
Static analysis = 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings /
by:
(書目-電子資源)
COTS-Based Software Systems = 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings /
by:
(書目-電子資源)
Tests and proofs = second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /
by:
(書目-電子資源)
Operational Semantics for Timed Systems = A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems /
by:
(書目-電子資源)
Software composition = 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(書目-電子資源)
Automated reasoning = 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
by:
(書目-電子資源)
Best Practices in Software Measurement = How to use metrics to improve project and process performance /
by:
(書目-電子資源)
Formal methods and testing = an outcome of the FORTEST network : revised selected papers /
by:
(書目-電子資源)
Conceptual modeling = 31st international conference ER 2012, Florence, Italy, October 15-18, 2012 : proceedings /
by:
(書目-電子資源)
Service-oriented computing = 10th international conference, ICSOC 2012, Shanghai, China, November 12-15, 2012 : proceedings /
by:
(書目-電子資源)
The IT Measurement Compendium = Estimating and Benchmarking Success with Functional Size Measurement /
by:
(書目-電子資源)
Collaboration and technology = 17th international conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011 : proceedings /
by:
(書目-電子資源)
Web information systems and mining = international conference, WISM 2010, Sanya, China, October 23-24, 2010 : proceedings /
by:
(書目-電子資源)
Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(書目-電子資源)
Software Process Improvement : = 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings
by:
(書目-電子資源)
Software Process Improvement = 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings /
by:
(書目-電子資源)
Autonomic and Trusted Computing = 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings /
by:
(書目-電子資源)
Conceptual modeling, foundations and applications = essays in honor of John Mylopoulos /
by:
(書目-電子資源)
ECOOP 2012 - Object-oriented programming = 26th European Conference, Beijing, China, June 11-16, 2012 : proceedings /
by:
(書目-電子資源)
Object-oriented technology. ECOOP 2008 workshop reader = ECOOP 2008 workshops, Paphos, Cyrus, July 7-11, 2008, final reports /
by:
(書目-電子資源)
Component-Based Software Development for Embedded Systems : = An Overview of Current Research Trends
by:
(書目-電子資源)
Tests and proofs = third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 ; proceedings /
by:
(書目-電子資源)
Agility across time and space = implementing agile methods in global software projects /
by:
(書目-電子資源)
Resource discovery = third International Workshop, RED 2010, Paris, France, November 5, 2010 : revised selected papers /
by:
(書目-電子資源)
Software engineering = international summer schools, ISSSE 2006-2008, Salerno, Italy ; revised tutorial lectures /
by:
(書目-電子資源)
Building a national distributed e-Infrastructure - PL-Grid = scientific and technical achievements /
by:
(書目-電子資源)
Programming languages and systems = 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings /
by:
(書目-電子資源)
Passive and active measurement = 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012 : proceedings /
by:
(書目-電子資源)
Business process management = 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012 : proceedings /
by:
(書目-電子資源)
Energy-aware communications = 17th international workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011 : proceedings /
by:
(書目-電子資源)
A hybrid deliberative layer for robotic agents = fusing DL reasoning with HTN planning in autonomous robots /
by:
(書目-電子資源)
SDL 2005: Model Driven = 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings /
by:
(書目-電子資源)
Software architecture = second European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 proceedings /
by:
(書目-電子資源)
Software Composition : = 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
by:
(書目-電子資源)
Web reasoning and rule systems = 5th international conference, RR 2011, Galway, Ireland, August 29-30, 2011 : proceedings /
by:
(書目-電子資源)
Software engineering, artificial intelligence, networking and parallel/distributed computing
by:
(書目-電子資源)
Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(書目-電子資源)
Interactive theorem proving = Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings /
by:
(書目-電子資源)
Enterprise Interoperability V = shaping enterprise interoperability in the future internet /
by:
(書目-電子資源)
Specification and verification of declarative open interaction models = a logic-based approach /
by:
(書目-電子資源)
ECOOP 2010 - object-oriented programming = 24th European Conference, Maribor, Slovenia, June 21-25, 2010 : proceedings /
by:
(書目-電子資源)
Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
by:
(書目-電子資源)
Internet and network economics = 8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings /
by:
(書目-電子資源)
Software composition = 8th international conference, SC 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings /
by:
(書目-電子資源)
Domain-specific languages = IFIP TC 2 working conference, DSL 2009, Oxford, UK, July 15-17, 2009 ; proceedings /
by:
(書目-電子資源)
Algebraic informatics = 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : ;proceedings /
by:
(書目-電子資源)
Computer Aided Verification = 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings /
by:
(書目-電子資源)
Model and data engineering = 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012 : proceedings /
by:
(書目-電子資源)
Static Analysis = 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
by:
(書目-電子資源)
NETWORKING 2010 = 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010 : proceedings /
by:
(書目-電子資源)
Resource discovery = Second International Workshop, RED 2009, Lyon, France, August 28, 2009 : revised papers /
by:
(書目-電子資源)
Modelling foundations and applications = 6th European conference, ECMFA 2010, Paris, France, June 15-18, 2010 : proceedings /
by:
(書目-電子資源)
Semantics and algebraic specification = essays dedicated to Peter D. Mosses on the occasion of his 60th birthday /
by:
(書目-電子資源)
Programming languages and systems = 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings /
by:
(書目-電子資源)
Artificial general intelligence = 5th international conference, AGI 2012, Oxford, UK, December 8-11, 2012 : proceedings /
by:
(書目-電子資源)
Autonomic and trusted computing = 8th international conference, ATC 2011, Banff, Canada, September 2-4, 2011 : proceedings /
by:
(書目-電子資源)
Introduction to programming with Fortran = with coverage of Fortran 90, 95, 2003, 2008 and 77 /
by:
(書目-電子資源)
Multiagent System Technologies : = Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings
by:
(書目-電子資源)
Tests and proofs = 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(書目-電子資源)
Interactive theorem proving = First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by:
(書目-電子資源)
Generic and indexed programming = International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures /
by:
(書目-電子資源)
Model checking software = 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings /
by:
(書目-電子資源)
Component-Based Software Engineering = 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /
by:
(書目-電子資源)
Software architecture = 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011 : proceedings /
by:
(書目-電子資源)
Functional and logic programming = 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
by:
(書目-電子資源)
Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
by:
(書目-電子資源)
Software engineering, artificial intelligence, networking and parallel/distributed computing
by:
(書目-電子資源)
New trends on human-computer interaction = research, development, new tools and methods /
by:
(書目-電子資源)
Programming languages and systems = 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings /
by:
(書目-電子資源)
Reachability problems = 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings /
by:
(書目-電子資源)
Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(書目-電子資源)
Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
by:
(書目-電子資源)
The evolution of conceptual modeling = from a historical perspective towards the future of conceptual modeling /
by:
(書目-電子資源)
Wireless sensor networks = 6th European conference, EWSN 2009, Cork, Ireland, February 11-13, 2009 ; proceedings /
by:
(書目-電子資源)
Business process management workshops = BPM 2009 international workshops, Ulm, Germany, September 7, 2009 : revised papers /
by:
(書目-電子資源)
Algebraic informatics = third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings /
by:
(書目-電子資源)
FM 2011 = formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings /
by:
(書目-電子資源)
Advanced Functional Programming = 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /
by:
(書目-電子資源)
Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
by:
(書目-電子資源)
Passive and active measurement = 12th international conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011 : proceedings /
by:
(書目-電子資源)
Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
by:
(書目-電子資源)
FM 2008: Formal Methods = 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
by:
(書目-電子資源)
Business Information Systems = 11th International Conference, BIS 2008, Innsbruck, Austria, May 5-7, 2008. Proceedings /
by:
(書目-電子資源)
Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(書目-電子資源)
Mathematics of program construction = 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings /
by:
(書目-電子資源)
Wireless sensor networks = 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010 : proceedings /
by:
(書目-電子資源)
Runtime verification = First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010, proceedings /
by:
(書目-電子資源)
Software Engineering for Multi-Agent Systems III = Research Issues and Practical Applications /
by:
(書目-電子資源)
Concurrency, compositionality, and correctness = essays in honor of Willem-Paul de Roever /
by:
(書目-電子資源)
NETWORKING 2011 = 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011 : proceedings.. Part I /
by:
(書目-電子資源)
Multi-agent-based simulation XI = international workshop, MABS 2010, Toronto, Canada, May 11, 2010 : revised selected papers /
by:
(書目-電子資源)
ECOOP 2011 = Object-Oriented Programming : 25th European Conference, Lancaster, Uk, July 25-29, 2011 : proceedings /
by:
(書目-電子資源)
Value-range analysis of C programs = towards proving the absence of buffer overflow vulnerabilities /
by:
(書目-電子資源)
Wireless Sensor Networks = 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings /
by:
(書目-電子資源)
Achieving systems safety = proceedings of the twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 /
by:
(書目-電子資源)
Information systems evolution = CAiSE Forum 2010, Hammamet, Tunisia, June 7-9, 2010 : selected extended papers /
by:
(書目-電子資源)
Logic programs, norms and action = essays in honor of Marek J. Sergot on the occasion of his 60th birthday /
by:
(書目-電子資源)
SDL 2009 = design for motes and mobiles : 14th International SDL Forum, Bochum, Germany, September 22-24, 2009 : proceedings /
by:
(書目-電子資源)
Software Architecture = 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings /
by:
(書目-電子資源)
Software composition = 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(書目-電子資源)
Component Deployment : = Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
by:
(書目-電子資源)
ECOOP 2009--object-oriented programming = 23rd European conference, Genoa, Italy, July 6-10, 2009 ; proceedings /
by:
(書目-電子資源)
From the web to the grid and beyond = computing paradigms driven by high-energy physics /
by:
(書目-電子資源)
Computer Aided Verification = 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
by:
(書目-電子資源)
Computational logistics = second international conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011 : proceedings /
by:
(書目-電子資源)
Distributed computing = 26th international symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012 : proceedings /
by:
(書目-電子資源)
Business process management = 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, proceedings /
by:
(書目-電子資源)
Formal concept analysis = 7th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings /
by:
(書目-電子資源)
Dependable and historic computing = essays dedicated to Brian Randell on the occasion of his 75th birthday /
by:
(書目-電子資源)
Semantic web rules = international symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010 : proceedings /
by:
(書目-電子資源)
Graph transformations and model-driven engineering = essays dedicated to manfred nagl on the occasion of his 65th Birthday /
by:
(書目-電子資源)
Metainformatics = International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers /
by:
(書目-電子資源)
Pervasive computing = 9th international conference, Pervasive 2011, San Francisco, USA, June 12-15, 2011 : proceedings /
by:
(書目-電子資源)
FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
(書目-電子資源)
Static analysis = 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings /
by:
(書目-電子資源)
Formal Concept Analysis = 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings /
by:
(書目-電子資源)
Frontiers in algorithmics = 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, proceedings /
by:
(書目-電子資源)
Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings /
by:
(書目-電子資源)
Transactions on computational science X = special issue on security in computing, part I /
by:
(書目-電子資源)
Multiagent system technologies = 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings /
by:
(書目-電子資源)
Advances in network security and applications = 4th international conference, CNSA 2011, Chennai, India, July 15-17, 2011 /
by:
(書目-電子資源)
Abstract State Machines, B and Z = First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
by:
(書目-電子資源)
Transactions on aspect-oriented software development VII = a common case study for aspect-oriented modeling /
by:
(書目-電子資源)
Global Computing = IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers /
by:
(書目-電子資源)
Formal Concept Analysis = Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings /
by:
(書目-電子資源)
Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
(書目-電子資源)
Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(書目-電子資源)
Software business = First International Conference, ICSOB 2010, Jyvaskyla, Finland, June 21-23, 2010 : proceedings /
by:
(書目-電子資源)
Making systems safer = proceedings of the eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010 /
by:
(書目-電子資源)
Distributed computing = 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010, proceedings /
by:
(書目-電子資源)
Modelling foundations and applications = 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 : proceedings /
by:
(書目-電子資源)
Software composition = 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-電子資源)
Requirements Management = The Interface Between Requirements Development and All Other Systems Engineering Processes /
by:
(書目-電子資源)
Software Composition = 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /
by:
(書目-電子資源)
Multiagent system technologies = 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010, proceedings /
by:
(書目-電子資源)
Smart sensing and context = 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010, proceedings /
by:
(書目-電子資源)
Passive and active measurement = 11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010 : proceedings /
by:
(書目-電子資源)
Multiple access communications = 4th international workshop, MACOM 2011, Trento, Italy, September 12-13, 2011 : proceedings /
by:
(書目-電子資源)
Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
by:
(書目-電子資源)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
(書目-電子資源)
Automata for branching and layered temporal structures = an investigation into regularities of infinite transition systems /
by:
(書目-電子資源)
Verification, induction, termination analysis = festschrift for Christoph Walther on the occasion of his 60th birthday /
by:
(書目-電子資源)
Integrated formal methods = 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings /
by:
(書目-電子資源)
Networking 2009 = 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009 ; proceedings /
by:
(書目-電子資源)
Middleware 2008 = ACM-IFIP-USENIX 9th International Middleware Conference, Leuven Belgium, December 1-5 2008, proceedings /
by:
(書目-電子資源)
Transactions on aspect-oriented software development VI = special issue on aspects and model-driven engineering /
by:
(書目-電子資源)
Verification and validation in systems engineering = assessing UML/SysML design models /
by:
(書目-電子資源)
ECOOP 2005 - Object-Oriented Programming = 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings /
by:
(書目-電子資源)
Tests and proofs = 5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(書目-電子資源)
Distributed computing = 25th international symposium, DISC 2011, Rome, Italy, September 20-22, 2011 : proceedings /
by:
(書目-電子資源)
Software business = second international conference, ICSOB 2011, Brussels, Belgium, June 8-10, 2011 : proceedings /
by:
(書目-電子資源)
Distributed Computing - IWDC 2005 : = 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings
by:
(書目-電子資源)
Computer Aided Verification = 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
by:
(書目-電子資源)
Advances in Computational Intelligence in Transport, Logistics, and Supply Chain Management
by:
(書目-電子資源)
Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
by:
(書目-電子資源)
Model checking software = 18th international SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings /
by:
(書目-電子資源)
FM 2009 = formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(書目-電子資源)
Autonomic and trusted computing = 7th international conference, ATC 2010, Xi'an, China, October 26-29, 2010 : proceedings /
by:
(書目-電子資源)
更多
較少的
主題