Software Engineering.

Economics of grids, clouds, systems, and services = 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011 : revised selected papers / by: (書目-電子資源)

Advances in Software Engineering = International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / by: (書目-電子資源)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part I / by: (書目-電子資源)

Recent trends in network security and applications = third International Conference, CNSA 2010, Chennai, India, July 23-25, 2010, proceedings / 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: (書目-電子資源)

Hybrid Systems: Computation and Control = 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings / by: (書目-電子資源)

Algebraic foundations in computer science = essays dedicated to Symeon Bozapalidis on the occasion of his retirement / by: (書目-電子資源)

Engineering Human Computer Interaction and Interactive Systems = Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers by: (書目-電子資源)

Data Management in Grid and Peer-to-Peer Systems = First International Conference, Globe 2008, Turin, Italy, September 3, 2008. Proceedings / by: (書目-電子資源)

SOFSEM 2005: Theory and Practice of Computer Science = 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings / by: (書目-電子資源)

Model driven engineering languages and systems = 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012 : proceedings / by: (書目-電子資源)

Model-based software performance analysis by: (書目-電子資源)

Intelligent Agents and Multi-Agent Systems = 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers / by: (書目-電子資源)

Analytical and stochastic modeling techniques and applications = 16th international conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009 : proceedings / by: (書目-電子資源)

Thriving systems theory and metaphor-driven modeling by: (書目-電子資源)

Formal methods for industrial critical systems = 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings / by: (書目-電子資源)

Software Engineering and Middleware = 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers / by: (書目-電子資源)

Service-oriented computing - ICSOC 2008 = 6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings / by: (書目-電子資源)

Enterprise, business-process and information systems modeling = 13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium, held at CAiSE 2012, Gdansk, Poland, June 25-26, 2012 : proceedings / by: (書目-電子資源)

RoboCup 2008: Robot Soccer World Cup XII by: (書目-電子資源)

Software engineering research, management and applications 2009 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: (書目-電子資源)

Models in software engineering = workshops and symposia at MODELS 2010, Oslo, Norway, October 3-8, 2010 : reports and revised selected papers / by: (書目-電子資源)

Advanced information systems engineering workshops = CAiSE 2011 international workshops, London, UK, June 20-24, 2011 : proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part IV / by: (書目-電子資源)

Computer safety, reliability, and security = 30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 : proceedings / by: (書目-電子資源)

The Common Component Modeling Example = Comparing Software Component Models / by: (書目-電子資源)

Large-scale complex IT systems = development, operation and management : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012 : revised selected papers / by: (書目-電子資源)

Reliable software technologies - Ada-Europe 2012 = 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012 : proceedings / by: (書目-電子資源)

Logic for Programming, Artificial Intelligence, and Reasoning = 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings / by: (書目-電子資源)

HCI International 2011 - Posters' extended abstracts = international conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : roceedings.. Part II / by: (書目-電子資源)

Artificial life models in software by: (書目-電子資源)

Human-centered software engineering = 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012 : proceedings / by: (書目-電子資源)

Transactions on aspect-oriented software development V by: (書目-電子資源)

Advances in Enterprise Engineering I = 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008. Proceedings / by: (書目-電子資源)

Formal concept analysis = 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012 : proceedings / by: (書目-電子資源)

Advances in applied economics, business and development = international symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011 : proceedings.. Part II / by: (書目-電子資源)

Formal techniques for distributed systems = Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings / by: (書目-電子資源)

Mobile and ubiquitous Systems: Computing, networking, and services = 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010 : revised selected papers / by: (書目-電子資源)

Computer performance engineering = 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 ; proceedings / by: (書目-電子資源)

Agile processes in software engineering and extreme programming = 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings / by: (書目-電子資源)

Relational and algebraic methods in computer science = 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings / by: (書目-電子資源)

Analytical and stochastic modeling techniques and applications = 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012 : proceedings / by: (書目-電子資源)

Wired/wireless internet communications = 7th international conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 2009 ; proceedings / by: (書目-電子資源)

Human-computer interaction = INTERACT 2011 : 13th IFIP TC 13 international conference, Lisbon, Portugal, September 5-9, 2011 : proceedings.. Part II / by: (書目-電子資源)

Modular ontologies = concepts, theories and techniques for knowledge modularization / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 11th international conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011 : proceedings.. Part II / by: (書目-電子資源)

Requirements engineering by: (書目-電子資源)

Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011 : proceedings.. Part III / by: (書目-電子資源)

Software testing in the cloud = migration and execution / by: (書目-電子資源)

Testing software and systems = 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings / by: (書目-電子資源)

Agents in principle, agents in practice = 14th international conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011 : proceedings / by: (書目-電子資源)

Architecture of computing systems - ARCS 2009 = 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings / by: (書目-電子資源)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part II / by: (書目-電子資源)

Middleware for Network Eccentric and Mobile Applications by: (書目-電子資源)

Multimedia, computer graphics and broadcasting = international conference, MulGraB 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings.. Part II / by: (書目-電子資源)

Software language engineering = 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers / by: (書目-電子資源)

Theory and practice of model transformations = 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012 : proceedings / by: (書目-電子資源)

Middleware 2010 = ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010, proceedings / by: (書目-電子資源)

Information systems, technology and management = 6th International Conference, ICISTM 2012, Grenoble, France, March 28-30, 2012 : proceedings / by: (書目-電子資源)

Convergence and hybrid information technology = 5th international conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011 : proceedings / by: (書目-電子資源)

Architecting dependable systems VI by: (書目-電子資源)

Virtual and networked organizations, emergent technologies and tools = first International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011 : revised selected papers / by: (書目-電子資源)

Rigorous software development = an introduction to program verification / by: (書目-電子資源)

Advanced information systems engineering workshops = CAiSE 2012 International Workshops, Gdansk, Poland, June 25-26, 2012 : proceedings / by: (書目-電子資源)

Technological innovation for value creation = third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012 : proceedings / by: (書目-電子資源)

Programming multi-agent systems = 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers / by: (書目-電子資源)

Mechanisms for autonomous management of networks and services = 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010 : proceedings / by: (書目-電子資源)

Open source software = new horizons : 6th international IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 - June 2, 2010 : proceedings / by: (書目-電子資源)

Programming multi-agent systems = 5th international workshop, PROMAS 2007 Honolulu, HI, USA, May 14-18, 2007 revised and invited papers / by: (書目-電子資源)

Principles of distributed systems = 15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings / by: (書目-電子資源)

The Semantic Web - ISWC 2012 = 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012 : proceedings.. Part II / by: (書目-電子資源)

Ubiquitous computing and ambient intelligence = 6th international conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012 : proceedings / by: (書目-電子資源)

Model checking software = 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings / by: (書目-電子資源)

Web information system engineering = WISE 2011 : 12th international conference, Sydney, Australia, October 13-14, 2011 : proceedings / by: (書目-電子資源)

Testing techniques in software engineering = Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures / by: (書目-電子資源)

Model checking software = 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings / by: (書目-電子資源)

Principles of distributed systems = 14th international conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010 : proceedings / by: (書目-電子資源)

Functional and logic programming = 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings / by: (書目-電子資源)

Communication and networking = International Conference, FGCN 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings.. Part II / by: (書目-電子資源)

Education and Management = international symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011 : proceedings.. Part III / by: (書目-電子資源)

Algebraic methodology and software technology = 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers / by: (書目-電子資源)

Advances in modeling agricultural systems by: (書目-電子資源)

Reliable software technologies = Ada-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings / by: (書目-電子資源)

Security in Pervasive Computing = Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings / by: (書目-電子資源)

Formal methods for components and objects = 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009, revised selected papers / by: (書目-電子資源)

Unifying theories of programming = Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, proceedings / by: (書目-電子資源)

Formal Approaches to Software Testing = 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / by: (書目-電子資源)

Automated deduction = CADE-23 : 23rd international conference on automated deduction, Wroclaw, Poland, July 31 - August 5, 2011 : proceedings / by: (書目-電子資源)

The Semantic Web: Research and Applications = Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29--June 1, 2005, Proceedings / by: (書目-電子資源)

Engineering of software = the continuing contributions of Leon J. Osterweil / by: (書目-電子資源)

Computer networks = 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012 : proceedings / by: (書目-電子資源)

Algebra and Coalgebra in Computer Science = First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings / by: (書目-電子資源)

Model-Based Testing of Reactive Systems = Advanced Lectures by: (書目-電子資源)

Automated reasoning = 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings / by: (書目-電子資源)

Model Driven Engineering Languages and Systems : = 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings by: (書目-電子資源)

Human-computer interaction = INTERACT 2011 : 13th IFIP TC 13 international conference, Lisbon, Portugal, September 5-9, 2011 : proceedings.. Part IV / by: (書目-電子資源)

Software engineering research, management and applications 2012 by: (書目-電子資源)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part IV / by: (書目-電子資源)

Software engineering approaches for offshore and outsourced development = Second international conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised papers / by: (書目-電子資源)

Graph transformations = 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - October 2, 2010, proceedings / by: (書目-電子資源)

Scientific Engineering of Distributed Java Applications = 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / by: (書目-電子資源)

Hagenberg research by: (書目-電子資源)

Embedded Software and Systems : = Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings by: (書目-電子資源)

Scientific Applications of Grid Computing = First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers / by: (書目-電子資源)

Computational Methods in Systems Biology = International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers / 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: (書目-電子資源)

Multi-agent-based simulation X = international workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 : revised selected papers / by: (書目-電子資源)

Towards a service-based Internet = third European conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010 : proceedings / by: (書目-電子資源)

Declarative Agent Languages and Technologies VIII = 8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010 : revised, selected and invited papers / by: (書目-電子資源)

Wireless sensor networks = 9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings / by: (書目-電子資源)

Resilience assessment and evaluation of computing systems by: (書目-電子資源)

Web services and formal methods = 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers / by: (書目-電子資源)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings / by: (書目-電子資源)

Dependable Computing : = Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, 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: (書目-電子資源)

Task models and diagrams for user interface design = 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009 : revised selected papers / by: (書目-電子資源)

Formal concept analysis = 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings / by: (書目-電子資源)

Enterprise Architecture at Work = Modelling, Communication, and Analysis / by: (書目-電子資源)

Agent Communication = International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004 / by: (書目-電子資源)

Computer information systems - analysis and technologies = 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011 : proceedings / by: (書目-電子資源)

Euro-Par 2009 - parallel processing = 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009 : proceedings / 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: (書目-電子資源)

Advanced techniques in computing sciences and software engineering by: (書目-電子資源)

Logic programming and nonmonotonic reasoning = 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 : proceedings / by: (書目-電子資源)

Compiler construction = 19th international conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : 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: (書目-電子資源)

Recent trends in networks and communications = International Conferences, NeCoM 2010, WiMoN 2010, WeST 2010, Chennai, India, July 23-25, 2010, proceedings / by: (書目-電子資源)

Transactions on computational collective intelligence I by: (書目-電子資源)

Autonomic and trusted computing = 6th international conference, ATC 2009, Brisbane, Australia, July 7-9, 2009 ; proceedings / by: (書目-電子資源)

SAP fur Java-Entwickler = Konzepte, Schnittstellen, Technologien / by: (書目-電子資源)

Analytical and stochastic modeling techniques and applications = 17th international conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010 : proceedings / by: (書目-電子資源)

Programming Multi-Agent Systems = 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008 : Revised Invited and Selected Papers / by: (書目-電子資源)

Self-organizing architectures = First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009 : revised selected and invited papers / by: (書目-電子資源)

Agents for educational games and simulations = International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011 : revised papers / by: (書目-電子資源)

Parallel processing and applied mathematics = 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.. part I / by: (書目-電子資源)

Hybrid metaheuristics = 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010 : proceedings / by: (書目-電子資源)

Model checking and artificial intelligence = 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers / by: (書目-電子資源)

On the move to meaningful internet systems : OTM 2010 = confederated international conferences : CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, proceedings.. Part I / by: (書目-電子資源)

Active and programmable networks = IFIP TC6 7th international working conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005 : revised papers / by: (書目-電子資源)

The semantic web: research and applications = 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31 - June 4, 2009 ; proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2010 = 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings / by: (書目-電子資源)

Advances in communication and networking = Second International Conference on Future Generation Communication and Networking : FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008 : revised selected papers / by: (書目-電子資源)

Open source systems = long-term sustainability : 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis = 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings / by: (書目-電子資源)

Sensor applications, experimentation, and logistics = First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009 : revised selected papers / by: (書目-電子資源)

Logic-based program synthesis and transformation = 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 : revised selected papers / by: (書目-電子資源)

Principles and Practice of Semantic Web Reasoning : = Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings by: (書目-電子資源)

Wireless algorithms, systems, and applications = 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings / by: (書目-電子資源)

Pervasive computing = 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010 : proceedings / by: (書目-電子資源)

Network and parallel computing = 8th IFIP international conference, NPC 2011, Changsha, China, October 21-23, 2011 : proceedings / by: (書目-電子資源)

Engineering societies in the agents world IX = 9th international workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008 ; revised selected papers / by: (書目-電子資源)

Experimentation in software engineering by: (書目-電子資源)

Enterprise information systems = international conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011 : proceedings.. Part III / by: (書目-電子資源)

Cooperative design, visualization, and engineering = 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010, proceedings / by: (書目-電子資源)

Software engineering approaches for offshore and outsourced development = 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010 : proceedings / by: (書目-電子資源)

Service-oriented computing - ICSOC 2008 workshops = ICSOC 2008 international workshops, Sydney, Australia, December 1, 2008 ; revised selected papers / by: (書目-電子資源)

Dependability metrics = advanced lectures / by: (書目-電子資源)

Internet and network economics = 7th international workshop, WINE 2011, Singapore, December 11-14, 2011 : proceedings / by: (書目-電子資源)

Foundations of software science and computational structures = 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / by: (書目-電子資源)

Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part I / by: (書目-電子資源)

Human-centred software engineering = Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010, proceedings / by: (書目-電子資源)

Logic for programming, artificial intelligence, and reasoning = 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings / by: (書目-電子資源)

Advances in wireless, mobile networks and applications = international conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 2011 : proceedings / by: (書目-電子資源)

ENTERprise information systems = international conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010 : proceedings, part II / by: (書目-電子資源)

Parallel processing and applied mathematics = 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.. part II / by: (書目-電子資源)

Testing software and systems = 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings / by: (書目-電子資源)

Object-oriented analysis and design by: (書目-電子資源)

Formal foundations of reuse and domain engineering = 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009 : proceedings / by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (書目-電子資源)

Security for Web services and service-oriented architectures by: (書目-電子資源)

Advances in conceptual modeling = recent developments and new directions : ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011 : proceedings / by: (書目-電子資源)

Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part II / by: (書目-電子資源)

Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers / by: (書目-電子資源)

Scalable information systems = 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009 : revised selected papers / by: (書目-電子資源)

Web services and formal methods = 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, revised selected papers / by: (書目-電子資源)

Innovations for requirements analysis :from stakeholders' needs to formal designs = 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007, revised selected papers / by: (書目-電子資源)

Mobile Wireless Middleware, Operating Systems and Applications = Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings / by: (書目-電子資源)

Human-robot personal relationships = third international conference, HRPR 2010, Leiden, The Netherlands, June 23-24, 2010 : revised selected papers / by: (書目-電子資源)

Collaborative networks for a sustainable world = 11th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2010, St. Etienne, France, October 11-13, 2010 : proceedings / by: (書目-電子資源)

Current trends in web engineering = ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012 : revised selected papers / by: (書目-電子資源)

Advanced Autonomic Networking and Communication by: (書目-電子資源)

Frontiers of combining systems = 8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings / by: (書目-電子資源)

Multiagent system technologies = 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedings / by: (書目-電子資源)

Coordination, Organizations, Institutions and Norms in Agent Systems V = COIN 2009 International Workshops. COIN@AAMAS 2009, Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009, Turin, Italy, September 2009, revised selected papers / by: (書目-電子資源)

Innovations in Computing Sciences and Software Engineering by: (書目-電子資源)

CONCUR 2011 = concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings / by: (書目-電子資源)

Compiler construction = 17th international conference, CC 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / by: (書目-電子資源)

OpenMP shared memory parallel programming = international workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006 : proceedings / by: (書目-電子資源)

Principles of Distributed Systems = 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers / by: (書目-電子資源)

Grid Computing in Life Science = First International Workshop on Life Science Grid, LSGRID 2004 Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers / by: (書目-電子資源)

Self-star Properties in Complex Information Systems = Conceptual and Practical Foundations / by: (書目-電子資源)

OpenMP in the petascale era = 7th international workshop on OpenMP, IWOMP 2011, Chicago, IL, USA, June 13-15, 2011 : proceedings / by: (書目-電子資源)

Agent-oriented software engineering XI = 11th international workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010 : revised selected papers / by: (書目-電子資源)

Secure and trust computing, data management and applications = 8th FIRA international conference, STA 2011, Loutraki, Greece, June 28-30, 2011 : proceedings / by: (書目-電子資源)

Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (書目-電子資源)

Model and data engineering = first international conference, MEDI 2011, Obidos, Portugal, September 28-30, 2011 : proceedings / by: (書目-電子資源)

Conceptual Modeling - ER 2005 : = 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings by: (書目-電子資源)

Computer aided verification = 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings / by: (書目-電子資源)

Architectures for adaptive software systems = 5th International Conference on the Quality of Software Architectures, QOSA 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings / by: (書目-電子資源)

NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (書目-電子資源)

On the move to meaningful internet systems = OTM 2011 : confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011 : proceedings.. Part II / by: (書目-電子資源)

Information and software technologies = 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012 : proceedings / by: (書目-電子資源)

Rules on the web = research and applications ; 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012 : proceedings / by: (書目-電子資源)

Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers / by: (書目-電子資源)

Economics of grids, clouds, systems, and services = 9th international conference, GECON 2012, Berlin, Germany, November 27-28, 2012 : proceedings / by: (書目-電子資源)

Datalog reloaded = first International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010 : revised selected papers / by: (書目-電子資源)

Multi-agent systems = 9th European workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011 : revised selected papers / by: (書目-電子資源)

Agent-Oriented Software Engineering V = 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers / by: (書目-電子資源)

Parallel and Distributed Processing and Applications - ISPA 2005 Workshops : = ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings by: (書目-電子資源)

Trusted computing = second international conference, Trust 2009, Oxford, UK, April 6-8, 2009 ; Proceedings / by: (書目-電子資源)

Bio-inspired models of network, information, and computing systems = 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010 : revised selected papers / by: (書目-電子資源)

Web reasoning and rule systems = 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012 : proceedings / by: (書目-電子資源)

Signal processing and information technology = first International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011 : revised selected papers / by: (書目-電子資源)

Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday / by: (書目-電子資源)

Formal methods for model-driven engineering = 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012 : advanced lectures / by: (書目-電子資源)

Application and theory of petri nets = 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012 : proceedings / by: (書目-電子資源)

Evaluation of novel approaches to software engineering = 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009, revised selected papers / by: (書目-電子資源)

Formal Methods in Systems Biology = First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings / by: (書目-電子資源)

Form-Oriented Analysis = A New Methodology to Model Form-Based Applications / by: (書目-電子資源)

Mobile lightweight wireless systems = Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, revised selected papers / by: (書目-電子資源)

Interactive theorem proving = second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings / by: (書目-電子資源)

Beyond loop level parallelism in OpenMP = accelerators, tasking and more : 6th international workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 : proceedings / by: (書目-電子資源)

Formal methods for web services = 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures / by: (書目-電子資源)

High Confidence Software Reuse in Large Systems = 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings / by: (書目-電子資源)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part II / by: (書目-電子資源)

Requirements engineering = foundation for software quality : 16th international working conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010 : proceedings / by: (書目-電子資源)

Search based software engineering = 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings / by: (書目-電子資源)

NETWORKING 2005 : = bnetworking technologies, services, and protocols : performance of computer and communication networks : mobile and wireless communication systems : 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005 : proceedings by: (書目-電子資源)

Formal Methods for Components and Objects : = Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures by: (書目-電子資源)

Software engineering techniques = Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008 : revised selected papers / by: (書目-電子資源)

Data Management in a Connected World = Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday / by: (書目-電子資源)

Product Focused Software Process Improvement = 6th International Conference, PROFES 2005, Oulu, Finland, June 13-18, 2005, Proceedings / by: (書目-電子資源)

Rule interchange and applications = international symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5 - 7, 2009 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (書目-電子資源)

Reconfigurable computing = architectures, tools and applications : 7th international symposium, ARC 2011, Belfast, UK, March 23-25, 2011 : proceedings / by: (書目-電子資源)

Model driven architecture - foundations and applications = 5th European conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009 ; 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: (書目-電子資源)

Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part I / by: (書目-電子資源)

Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / by: (書目-電子資源)

Making globally distributed software development a success story = International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008 : proceedings / by: (書目-電子資源)

The Fortran 2003 handbook = the complete syntax, features and procedures / by: (書目-電子資源)

ECOOP 2008 -- Object-Oriented Programming = 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methods = 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / by: (書目-電子資源)

Graph transformations = 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings / by: (書目-電子資源)

Business process management workshops = BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010 : revised selected papers / by: (書目-電子資源)

Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-電子資源)

Advances in multimedia information processing - PCM 2010 = 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, proceedings.. Part I / by: (書目-電子資源)

Game theory for networks by: (書目-電子資源)

Agent computing and multi-agent systems = 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007 : revised papers / by: (書目-電子資源)

Requirements Engineering by: (書目-電子資源)

Computer supported cooperative work in design IV = 11th international conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. revised selected papers / by: (書目-電子資源)

Founders at work = stories of startups' early days / by: (書目-電子資源)

A Practical Programming Model for the Multi-Core Era = 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings / by: (書目-電子資源)

Interactive Systems. Design, Specification, and Verification = 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / by: (書目-電子資源)

Logic programming and nonmonotonic reasoning = 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings / by: (書目-電子資源)

Conceptual modeling - ER 2010 = 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010 : proceedings / by: (書目-電子資源)

Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part I / by: (書目-電子資源)

Architecting dependable systems VII by: (書目-電子資源)

Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings / by: (書目-電子資源)

Human computer interaction - INTERACT 2009 = 12th IFIP TC 13 international conference, Uppsala, Sweden, August 24-28, 2009 : proceedings.. Part I / by: (書目-電子資源)

Distributed, embedded and real-time Java systems by: (書目-電子資源)

A Modular Calculus for the Average Cost of Data Structuring by: (書目-電子資源)

Cooperative design, visualization, and engineering = 8th international conference, CDVE 2011, Hong Kong, China, September 11-14, 2011 : proceedings / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methods = 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings / 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: (書目-電子資源)

Mobile and ubiquitous systems: Computing, networking, and services = 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised selected papers / by: (書目-電子資源)

NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings / by: (書目-電子資源)

Foundations of software science and computational structures = 13th international conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation. Technologies for mastering change = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part I / by: (書目-電子資源)

Security-enriched urban computing and smart grid = second international conference, SUComS 2011, Hualien, Taiwan, September 21-23, 2011 : proceedings / by: (書目-電子資源)

Multiple access communications = 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012 : proceedings / by: (書目-電子資源)

Computer applications for software engineering, disaster recovery, and business continuity = International Conferences, ASEA and DRBC 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012 : proceedings / by: (書目-電子資源)

On the move to meaningful internet systems: OTM 2008 workshops = OTM Confederated international workshops and posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008 : proceedings / by: (書目-電子資源)

Service-oriented computing = 9th international conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 : proceedings / by: (書目-電子資源)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part III / by: (書目-電子資源)

Analysis and design of advice 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: (書目-電子資源)

Objects, Components, Models and Patterns = 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings / by: (書目-電子資源)

Recent trends in wireless and mobile networks = Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010 : proceedings / by: (書目-電子資源)

Advances in Enterprise Engineering III = 5th International Workshop, Ciao! 2009, and 5th International Workshop, Eomas 2009, Held at Caise 2009, Amsterdam, the Netherlands, June 8-9, 2009, Proceedings / by: (書目-電子資源)

OSS design patterns = a pattern approach to the design of telecommunications management systems / by: (書目-電子資源)

Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / by: (書目-電子資源)

Advances in computing and communications = first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings.. Part II / by: (書目-電子資源)

Digital information and communication technology and its applications = international conference, DICTAP 2011, Dijon, France, June 21-23, 2011 :proceedings.. Part II / by: (書目-電子資源)

Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part III / by: (書目-電子資源)

ENTERprise information systems = international conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011 : proceedings.. Part II / by: (書目-電子資源)

Theorem proving in higher order logics = 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings / by: (書目-電子資源)

Formal methods for computational systems biology = 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures / by: (書目-電子資源)

Ambient assisted living and home care = 4th international workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012 : proceedings / by: (書目-電子資源)

Service-oriented perspectives in design science research = 6th international conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011 : proceedings / by: (書目-電子資源)

Engineering methods in the service-oriented context = 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis = 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / by: (書目-電子資源)

OpenMP in a New Era of Parallelism = 4th international workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008 : proceedings / by: (書目-電子資源)

The semantic web = research and applications ; 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, proceedings / by: (書目-電子資源)

Logic for programming, artificial intelligence, and reasoning = 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers / by: (書目-電子資源)

Reliable Software Technologies Ada-Europe 2008 = 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings / by: (書目-電子資源)

Web Engineering = 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings / by: (書目-電子資源)

Scenarios: Models, Transformations and Tools = International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers / by: (書目-電子資源)

Bioinspired models of network, information, and computing systems = 4th international conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, revised selected papers / by: (書目-電子資源)

Computer aided verification = 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings / by: (書目-電子資源)

The Semantic Web - ISWC 2012 = 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012 : proceedings.. Part I / by: (書目-電子資源)

Business process model and notation = third international workshop, BPMN 2011, Lucerne, Switzerland, November 21-22, 2011 : proceedings / by: (書目-電子資源)

Web information systems engineering - WISE 2012 = 13th international conference, Paphos, Cyprus, November 28-30, 2012 : proceedings / by: (書目-電子資源)

Model-driven testing = using the UML testing profile / by: (書目-電子資源)

Agile service development = combining adaptive methods and flexible solutions / by: (書目-電子資源)

Wired/wireless Internet communications = Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005, Proceedings by: (書目-電子資源)

Theory and practice of model transformations = 4th international conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011 : proceedings / by: (書目-電子資源)

Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers / by: (書目-電子資源)

Architecture of Computing Systems = ARCS 2011 : 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings / by: (書目-電子資源)

On the move to meaningful internet systems = OTM 2011 : confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011 : proceedings.. Part I / by: (書目-電子資源)

Agent-oriented software engineering VIII = 8th international workshop, AOSE 2007, Honolulu, HI, USA, May 14-18, 2007, revised selected papers / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency III by: (書目-電子資源)

Conceptual modeling = ER 2011 : 30th international conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011 : proceedings / by: (書目-電子資源)

Engineering interactive systems 2008 = second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008 : proceedings / by: (書目-電子資源)

Agile processes in software engineering and extreme programming = 13th International Conference, XP 2012, Malmo, Sweden, May 21-25, 2012. Proceedings / by: (書目-電子資源)

Advances in conceptual modeling = ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012 : proceedings / by: (書目-電子資源)

Distributed computing and networking = 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011 : proceedings / by: (書目-電子資源)

Coordination models and languages = 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012 : proceedings / by: (書目-電子資源)

Requirements engineering, foundation for software quality = 15th International Working Conference, REFSQ 2009, Amsterdam, the Netherlands, June 8-9, 2009 : proceedings / by: (書目-電子資源)

Advanced information systems engineering = 23rd international conference, CAiSE 2011, London, UK, June 20-24, 2011 : proceedings / by: (書目-電子資源)

Maturing Usability = Quality in Software, Interaction and Value / by: (書目-電子資源)

Future generation information technology = 4th international conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (書目-電子資源)

FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings / by: (書目-電子資源)

Data management in grid and peer-to-peer systems = Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings / by: (書目-電子資源)

Trends in functional programming = 11th international symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010 : revised selected papers / by: (書目-電子資源)

Innovations in Applied Artificial Intelligence = 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24,2005 : proceedings / by: (書目-電子資源)

Frontiers of combining systems = 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings / by: (書目-電子資源)

UML Modeling Languages and Applications = <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers / by: (書目-電子資源)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices = International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers by: (書目-電子資源)

Graph transformations = 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : proceedings / by: (書目-電子資源)

Perspectives of systems informatics = 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers / by: (書目-電子資源)

Formal techniques for distributed systems = Jjoint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings / by: (書目-電子資源)

Engineering societies in the agents world X = 10th international workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009 : proceedings / by: (書目-電子資源)

High performance architecture and grid computing = international conference, HPAGC 2011, Chandigarh, India, July 19-20, 2011 : proceedings / by: (書目-電子資源)

Database and XML Technologies = Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005, Proceedings / by: (書目-電子資源)

Self-organizing systems = third international workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008, proceedings / by: (書目-電子資源)

Improving software testing = technical and organizational developments / by: (書目-電子資源)

Software verification and analysis = an integrated, hands-on approach / by: (書目-電子資源)

Research into practice - reality and gaps = 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010 : proceedings / by: (書目-電子資源)

Fundamental approaches to software engineering = 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, Marsha Chechik, Martin Wirsing / by: (書目-電子資源)

Wireless sensor networks = 8th European conference, EWSN 2011, Bonn, Germany, February 23-25, 2011 : proceedings / by: (書目-電子資源)

Handbook of conceptual modeling = theory, practice, and research challenges / by: (書目-電子資源)

Specification of software systems by: (書目-電子資源)

Model Driven Architecture = European MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linko?ping, Sweden, June 10-11, 2004 : revised selected papers / by: (書目-電子資源)

Search computing = trends and developments / by: (書目-電子資源)

Human computer interaction - INTERACT 2009 = 12th IFIP TC 13 international conference, Uppsala, Sweden, August 24-28, 2009 : proceedings.. Part II / by: (書目-電子資源)

Computational logistics = third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012 : proceedings / by: (書目-電子資源)

Simulation, modeling, and programming for autonomous robots = third international conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012 : proceedings / by: (書目-電子資源)

Model-Driven Development of Reliable Automotive Services = Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / by: (書目-電子資源)

Computational methods in systems biology = 6th international conference, CMSB 2008, Rostock, Germany, October 12-15, 2008 : proceedings / by: (書目-電子資源)

Service-oriented computing = ICSOC/ServiceWave 2009 Workshops : International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, revised selected papers / by: (書目-電子資源)

Enterprise and organizational modeling and simulation = 6th International Workshop, EOMAS 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, selected papers / by: (書目-電子資源)

Principles of programming languages by: (書目-電子資源)

Approaches and applications of inductive programming = third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009 : revised papers / by: (書目-電子資源)

Enterprise architecture, integration and interoperability = IFIP TC 5 International Conference, EAI2N 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings / by: (書目-電子資源)

Coordination, organizations, institutions, and norms in agent system VII = COIN 2011 International Workshops, COIN@AAMAS 2011, Taipei, Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011 : revised selected papers / by: (書目-電子資源)

Ambient intelligence = third international joint conference, AmI 2012, Pisa, Italy, November 13-15, 2012 : proceedings / by: (書目-電子資源)

Combinatorial optimization and applications = third international conference, COCOA 2009, Huangshan, China, June 10-12, 2009 : proceedings / by: (書目-電子資源)

Mobile networks and management = Second International ICST Conference, MONAMI 2010, Santander, Spain, September 22-24, 2010 : revised selected papers / by: (書目-電子資源)

Self-organizing systems = 5th international workshop, IWSOS 2011, Karlsruhe, Germany, February 23-24, 2011 : proceedings / 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: (書目-電子資源)

Using Microsoft Dynmmics AX 2012 by: (書目-電子資源)

A Practical Theory of Reactive Systems = Incremental Modeling of Dynamic Behaviors / by: (書目-電子資源)

Static analysis = 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings / by: (書目-電子資源)

Theoretical Aspects of Computing - ICTAC 2004 = First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers / by: (書目-電子資源)

Control and automation, and energy system engineering = international conferences, CA and CES3 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : 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: (書目-電子資源)

Advances in Grid Computing - EGC 2005 = European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers / by: (書目-電子資源)

Software composition = 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 : proceedings / by: (書目-電子資源)

Software and data technologies = Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008 : revised selected papers / by: (書目-電子資源)

Pattern recognition using neural and functional networks by: (書目-電子資源)

Top productivity through software reuse = 12th international conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings / by: (書目-電子資源)

Automated reasoning = 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / by: (書目-電子資源)

Applications and theory of petri nets = 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract interpretation = 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / by: (書目-電子資源)

Best Practices in Software Measurement = How to use metrics to improve project and process performance / by: (書目-電子資源)

Model-Driven Software Development by: (書目-電子資源)

Agent-oriented software engineering IX = 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 : revised selected papers / by: (書目-電子資源)

Service Availability = First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers / by: (書目-電子資源)

Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: (書目-電子資源)

Formal methods and testing = an outcome of the FORTEST network : revised selected papers / by: (書目-電子資源)

Software Process and Product Measurement = International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers / by: (書目-電子資源)

Formal methods and software engineering = 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings / by: (書目-電子資源)

25 Years of Model Checking = History, Achievements, Perspectives / by: (書目-電子資源)

Ada 2005 Rationale = The Language, The Standard Libraries / by: (書目-電子資源)

Computational methods in systems biology = 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012 : proceedings / by: (書目-電子資源)

Self-organizing systems = 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012 : proceedings / by: (書目-電子資源)

Advances in production management systems = new challenges, new approaches : IFIP WG 5.7 international conference, APMS 2009, Bordeaux, France, September 21-23, 2009 : revised selected papers / by: (書目-電子資源)

Guide to scientific computing in C++ 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: (書目-電子資源)

Stabilization, safety, and security of distributed systems = 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012 : proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 2010 = International Conference, Fukuoka, Japan, March 23-26, 2010 : proceedings.. Part I / by: (書目-電子資源)

Evaluation of novel approaches to software engineering = 5th international conference, ENASE 2010, Athens, Greece, July 22-24, 2010, revised selected papers / by: (書目-電子資源)

Access networks = 4th International Conference, AccessNets 2009, Hong Kong, China, November 1-3, 2009 : revised selected papers / by: (書目-電子資源)

Requirements Engineering: Foundation for Software Quality = 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings / by: (書目-電子資源)

Web services and formal methods = 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings / by: (書目-電子資源)

Model Driven Architecture Foundations and Applications = 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings / by: (書目-電子資源)

Architecture of Computing Systems-ARCS 2008 = 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings / by: (書目-電子資源)

Hybrid Systems: Computation and Control = 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / by: (書目-電子資源)

Green and smart technology with sensor applications = international conferences, GST and SIA 2012 Jeju Island, Korea, November 28-December 2, 2012 : proceedings / by: (書目-電子資源)

Security and dependability for ambient intelligence by: (書目-電子資源)

Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / by: (書目-電子資源)

Distributed and Parallel Systems = In Focus: Desktop Grid Computing / by: (書目-電子資源)

The IT Measurement Compendium = Estimating and Benchmarking Success with Functional Size Measurement / by: (書目-電子資源)

S-BPM ONE - Scientific research = 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012 : proceedings / by: (書目-電子資源)

The China information technology handbook by: (書目-電子資源)

Experience and knowledge management in software engineering by: (書目-電子資源)

Object-Oriented Technology. ECOOP 2007 Workshop Reader = ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports / by: (書目-電子資源)

Systems, software and services process improvement = 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012 : proceedings / by: (書目-電子資源)

Performance Evaluation: Metrics, Models and Benchmarks = SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings / by: (書目-電子資源)

Engineering secure software and systems = First international symposium, ESSoS 2009, Leuven, Belgium, February 4-6, 2009, proceedings / by: (書目-電子資源)

Computer science and convergence = CSA 2011 & WCC 2011 proceedings / by: (書目-電子資源)

Collaboration and technology = 17th international conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011 : proceedings / by: (書目-電子資源)

Performance evaluation and benchmarking = first TPC technology conference, TPCTC 2009, Lyon, France, August 24-28, 2009 : revised selected papers / by: (書目-電子資源)

Web information systems and mining = international conference, WISM 2010, Sanya, China, October 23-24, 2010 : proceedings / by: (書目-電子資源)

Advances in Software Engineering = International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : Proceedings / by: (書目-電子資源)

Theoretical computer science = 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings / by: (書目-電子資源)

Advances in education and management = international symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011 : proceedings.. Part IV / by: (書目-電子資源)

Advances in grid and pervasive computing = 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010 : proceedings / by: (書目-電子資源)

Testing of software and communication systems = 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009 : proceedings / by: (書目-電子資源)

Global perspectives on design science research = 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 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: (書目-電子資源)

Network and Parallel Computing : = IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings by: (書目-電子資源)

Theory and practice of model transformations = third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010 : proceedings / by: (書目-電子資源)

Semantic methods for execution-level business process modeling = modeling support through process verification and service composition / by: (書目-電子資源)

An Integrated Approach to Software Engineering by: (書目-電子資源)

Euro-Par 2008 -- Parallel Processing = 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings / by: (書目-電子資源)

On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops : = OTM 2005 Workshops : OTM Confederated International Workshops and Posters : AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31-November 4, 2005 : proceedings by: (書目-電子資源)

Software Process Improvement = 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings / by: (書目-電子資源)

Architecture principles = the cornerstones of enterprise architecture / by: (書目-電子資源)

The art of software innovation = eight practice areas to inspire your business / by: (書目-電子資源)

Autonomic and Trusted Computing = 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings / by: (書目-電子資源)

Applications of graph transformations with industrial relevance = third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007 : revised selected and invited papers / by: (書目-電子資源)

Knowledge management for health care procedures = ECAI 2008 workshop, K4HelP 2008, Patras, Greece, July 21, 2008 : revised selected papers / by: (書目-電子資源)

Theory and practice of model transformations = Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009 : proceedings / by: (書目-電子資源)

Product-Focused Software Process Improvement = 10th International Conference, PROFES 2009, Oulu, Finland, June 15-17, 2009. Proceedings / by: (書目-電子資源)

Software process and product measurement = International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009 : proceedings / by: (書目-電子資源)

Information systems : modeling, development, and integration = third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009 : proceedings / by: (書目-電子資源)

Advances in Enterprise Engineering II = First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 11, 2009 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis = 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings / by: (書目-電子資源)

On the mathematics of modelling, metamodelling, ontologies and modelling languages by: (書目-電子資源)

Service-Oriented Computing - ICSOC 2005 : = Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings by: (書目-電子資源)

Advances in computer science and information technology = Networks and Communications : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012 : proceedings.. Part I / by: (書目-電子資源)

Transactions on pattern languages of programming I by: (書目-電子資源)

ENTERprise information systems = international conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010 : proceedings, part I / by: (書目-電子資源)

Advances in self-organizing maps = 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009 : proceedings / by: (書目-電子資源)

Fundamental approaches to software engineering = 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (書目-電子資源)

Software process definition and management by: (書目-電子資源)

Conceptual modeling, foundations and applications = essays in honor of John Mylopoulos / by: (書目-電子資源)

Compiler construction = 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / 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: (書目-電子資源)

Mobile multimedia communications = 7th International ICST Conference, MOBIMEDIA 2011, Cagliari, Italy, September 5-7, 2011 : revised selected papers / by: (書目-電子資源)

Formal methods for industrial critical systems = 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / by: (書目-電子資源)

Advanced lectures on software engineering = LASER summer school 2007/2008 / by: (書目-電子資源)

Practical aspects of design science = European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011 : revised selected papers / by: (書目-電子資源)

Agile software development = best practices for large software development projects / by: (書目-電子資源)

Component-Based Software Development for Embedded Systems : = An Overview of Current Research Trends by: (書目-電子資源)

Practice-driven research on enterprise transformation = Second Working Conference, PRET 2010, Delft, The Netherlands, November 11, 2010, proceedings / by: (書目-電子資源)

Tests and proofs = third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 ; proceedings / by: (書目-電子資源)

Search based software engineering = third international symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011 : proceedings / by: (書目-電子資源)

Reliable software technologies-Ada-Europe 2009 = 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings / by: (書目-電子資源)

Ontology-based application integration by: (書目-電子資源)

Agility across time and space = implementing agile methods in global software projects / by: (書目-電子資源)

Automated Technology for Verification and Analysis : = Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings by: (書目-電子資源)

Transactions on computational science XV = special issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems / by: (書目-電子資源)

Conceptual modeling - ER 2008 = 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings / by: (書目-電子資源)

Future generation information technology = Second International Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings / 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: (書目-電子資源)

Component-based software engineering = 12th international symposium, CBSE 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings / by: (書目-電子資源)

Models in Software Engineering = Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers / by: (書目-電子資源)

Conceptual modelling and its theoretical foundations = essays dedicated to Bernhard Thalheim n the occasion of his 60th birthday / by: (書目-電子資源)

Programming languages and systems = 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (書目-電子資源)

Advances in computer science and information technology = computer science and engineering : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012 : proceedings.. Part II / by: (書目-電子資源)

Advanced computing, networking and security = International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011 : revised selected papers / by: (書目-電子資源)

Advances in systems safety = proceedings of the nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011 / by: (書目-電子資源)

Web information systems and technologies = 7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011 : revised selected papers / by: (書目-電子資源)

Computational science and its appilcations, ICCSA 2009 = international conference, Seoul, Korea, June 29-July 2, 2009 : Proceedings.. Part I / by: (書目-電子資源)

Temporal Logic and State Systems by: (書目-電子資源)

Software engineering research, management and applications 2010 by: (書目-電子資源)

Computer aided verification = 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings / by: (書目-電子資源)

Reliable software technologies - Ada-Europe 2010 = 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 : proceedings / by: (書目-電子資源)

Implementation and application of functional languages = 22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010 : revised selected papers / by: (書目-電子資源)

Parallel and Distributed Processing and Applications : = Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings by: (書目-電子資源)

Foundations and practice of security = 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011 : revised selected papers / by: (書目-電子資源)

Building a national distributed e-Infrastructure - PL-Grid = scientific and technical achievements / by: (書目-電子資源)

Human-computer interaction = INTERACT 2011 : 13th IFIP TC 13 international conference, Lisbon, Portugal, September 5-9, 2011 : proceedings.. Part I / by: (書目-電子資源)

Middleware 2012 = ACM/IFIP/USENIX 13th international middleware conference, Montreal, QC, Canada, December 3-7, 2012 : proceedings / by: (書目-電子資源)

Embedded software development with C by: (書目-電子資源)

Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / by: (書目-電子資源)

Architecture of computing systems - ARCS 2012 = 25th International Conference, Munich, Germany, February 28 - March 2, 2012 : proceedings / by: (書目-電子資源)

Practical aspects of declarative languages = 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings / by: (書目-電子資源)

Software process and product measurement = international conferences IWSM 2008, MetriKon 2008, and Mensura 2008, Munich, Germany, November 18-19, 2008 : proceedings / by: (書目-電子資源)

Programming languages and systems = 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings / by: (書目-電子資源)

S-BPM ONE - setting the stage for subject-oriented business process management = First International Workshop, Karlsruhe, Germany, October 22, 2009, revised selected papers / by: (書目-電子資源)

Subject-oriented business process management = second international conference, S-BPM ONE 2010, Karlsruhe, Germany, October 14, 2010 : selected papers / by: (書目-電子資源)

HCI International 2011 - Posters' extended abstracts = international conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : roceedings.. Part I / by: (書目-電子資源)

Software language engineering = third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 : revised selected papers / by: (書目-電子資源)

Model Driven Engineering Languages and Systems = 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings / by: (書目-電子資源)

Agent-oriented software engineering X = 10th international workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009 : revised selected papers / by: (書目-電子資源)

Performance evaluation of computer and communication systems = milestones and future challenges : IFIP WG 6.3/7.3 international workshop, PERFORM 2010, in Honor of Gunter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010 : revised selected papers / by: (書目-電子資源)

Quality of software architectures = models and architectures : 4th international conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / by: (書目-電子資源)

Passive and active measurement = 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012 : proceedings / by: (書目-電子資源)

The puzzle of granular computing by: (書目-電子資源)

Business process management = 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012 : proceedings / by: (書目-電子資源)

Automated deduction in geometry = 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / by: (書目-電子資源)

Current trends in web engineering = 10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010 : revised selected papers / by: (書目-電子資源)

Programming languages and systems = 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / by: (書目-電子資源)

Touch of class = learning to program well with objects and contracts / by: (書目-電子資源)

Developing with Ext GWT = enterprise RIA development / by: (書目-電子資源)

Games, actions and social software = multidisciplinary aspects / by: (書目-電子資源)

Advanced information systems engineering = 24th international conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012 : proceedings / by: (書目-電子資源)

Software engineering and knowledge engineering: Theory and Practice = selected papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012) / by: (書目-電子資源)

Energy-aware communications = 17th international workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011 : proceedings / by: (書目-電子資源)

Exploring services science = First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010 : revised papers / by: (書目-電子資源)

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning = 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers / by: (書目-電子資源)

Testing - practice and research techniques = 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010, proceedings / by: (書目-電子資源)

Bio-inspired algorithms for the vehicle routing problem by: (書目-電子資源)

A hybrid deliberative layer for robotic agents = fusing DL reasoning with HTN planning in autonomous robots / by: (書目-電子資源)

SOFSEM 2012 = theory and practice of computer science : 38th conference on current trends in theory and practice of computer science, Spindleruv Mlyn, Czech Republic, January 21-27, 2012 : proceedings / by: (書目-電子資源)

Agile processes in software engineering and extreme programming = 12th International Conference, XP 2011, Madrid, Spain, May 10-13, 2011 : proceedings / by: (書目-電子資源)

Fundamental approaches to software engineering = 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: (書目-電子資源)

Product lifecycle management = towards knowledge rich enterprises : IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012 : revised selected papers / by: (書目-電子資源)

SDL 2005: Model Driven = 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings / by: (書目-電子資源)

ENTERprise information systems = International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011 : proceedings.. Part I / by: (書目-電子資源)

Mobile computing, applications, and services = third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011 : revised selected papers / by: (書目-電子資源)

Dependable Computing - EDCC 2005 = 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings / by: (書目-電子資源)

Software architecture = second European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 proceedings / by: (書目-電子資源)

Software architecture knowledge management = theory and practice / by: (書目-電子資源)

Advances in grid and pervasive computing = third international conference, GPC 2008, Kunming, China, May 25-28, 2008 : proceedings / by: (書目-電子資源)

Advanced research on computer science and information engineering = international conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011 : proceedings.. Part I / by: (書目-電子資源)

Component-based software engineering = 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 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: (書目-電子資源)

Coordination models and languages = 10th international conference, coordination 2008, Oslo, Norway, June 4-6, 2008. proceedings / by: (書目-電子資源)

Software Composition : = 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers by: (書目-電子資源)

Principles of practice in multi-agent systems = 12th international conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / by: (書目-電子資源)

Business process management = 9th international conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011 : proceedings / by: (書目-電子資源)

The Best Software Writing I by: (書目-電子資源)

UML for SOC Design by: (書目-電子資源)

Web reasoning and rule systems = 5th international conference, RR 2011, Galway, Ireland, August 29-30, 2011 : proceedings / by: (書目-電子資源)

Convergence and hybrid information technology = 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012 : proceedings / by: (書目-電子資源)

Enterprise, business-process and information systems modeling = 10th International Workshop, BPMDS 2009 and 14th International Conference, EMMSAD 2009 held at CAiSE 2009 Amsterdam, The Netherlands, June 8-9, 2009 : proceedings / by: (書目-電子資源)

Communications = wireless in developing countries and networks of the future : third IFIP TC 6 International Conference, WCITD 2010 and IFIP TC 6 International Conference, NF 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings / by: (書目-電子資源)

Software engineering research, management and application by: (書目-電子資源)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (書目-電子資源)

Information and management engineering = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part V / by: (書目-電子資源)

Governance and sustainability in information systems = managing the transfer and diffusion of IT : IFIP WG 8.6 International Working Conference, Hamburg, Germany, September 22-24, 2011 : proceedings / by: (書目-電子資源)

Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I / by: (書目-電子資源)

Computing and intelligent systems = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part III / by: (書目-電子資源)

Sensor systems and software = second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, revised selected papers / by: (書目-電子資源)

Web information systems and mining = international conference, WISM 2011, Taiyuan, China, September 24-25, 2011 : proceedings.. Part II / by: (書目-電子資源)

Advances in information technology and education = international conference, CSE 2011, Qingdao, China, July 9-10, 2011 : proceedings.. Part I / by: (書目-電子資源)

Multiagent system technologies = 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. proceedings / by: (書目-電子資源)

Engineering Self-Organising Systems = Methodologies and Applications / 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: (書目-電子資源)

Advances in computational science and engineering = Second International Conference, FGCN 2008, Workshops and Symposia, Sanya, Hainan Island, China, December 13-15, 2008 : revised selected papers / by: (書目-電子資源)

Software process improvement and capability determination = 11th international conference, SPICE 2011, Dublin, Ireland, May 30 - June 1, 2011 : proceedings / by: (書目-電子資源)

Theory and practice of algorithms in (computer) systems = first international ICST conference, TAPAS 2011, Rome, Italy, April 18-20, 2011 : proceedings / by: (書目-電子資源)

Rightshore! = Successfully SAP(R) Projects Offshore / by: (書目-電子資源)

Implementation and application of automata = 14th international conference, CIAA 2009, Sydney, Australia, July 14-17, 2009 : proceedings / by: (書目-電子資源)

Specification and verification of multi-agent systems by: (書目-電子資源)

Practical aspects of declarative languages = 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011 : proceedings / by: (書目-電子資源)

Requirements engineering: Foundation for software quality = 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012 : proceedings / by: (書目-電子資源)

High-Performance Computing = 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers / by: (書目-電子資源)

Enterprise Interoperability V = shaping enterprise interoperability in the future internet / by: (書目-電子資源)

On the move to meaningful internet systems, OTM 2010 = confederated international conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010 : proceedings.. part II / by: (書目-電子資源)

Building the e-World ecosystem = 11th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2011, Kaunas, Lithuania, October 12-14, 2011, revised selected papers / by: (書目-電子資源)

Programming multi-agent systems = 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009, revised selected papers / by: (書目-電子資源)

Software Evolution by: (書目-電子資源)

Global sourcing of information technology and business processes = 4th Global Sourcing Workshop 2010, Zermatt, Switzerland, March 22-25, 2010, revised selected papers / by: (書目-電子資源)

Middleware 2009 = ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 : proceedings / 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: (書目-電子資源)

Advanced computer science and information technology = Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011 : proceedings / by: (書目-電子資源)

Internet and network economics = 8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings / by: (書目-電子資源)

Peer-to-Peer Systems IV : = 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers by: (書目-電子資源)

SOFSEM 2008: Theory and Practice of Computer Science = 34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 19-25, 2008. Proceedings / by: (書目-電子資源)

Declarative Agent Languages and Technologies II = Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / by: (書目-電子資源)

Business process management workshops = BPM 2008 international workshops, Milano, Italy, September 1 - 4, 2008 ; revised papers / by: (書目-電子資源)

Programming Languages and Systems = 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings / by: (書目-電子資源)

Quality of Software Architectures and Software Quality : = First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 : proceedings by: (書目-電子資源)

Multiparadigm Programming in Mozart = Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers / by: (書目-電子資源)

Tools for practical software verification = LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures / by: (書目-電子資源)

Cloud computing = First International Conference, CloudComp 2009 Munich, Germany, October 19-21, 2009 : revised selected papers / by: (書目-電子資源)

Improvements in System Safety by: (書目-電子資源)

Decision Procedures = An Algorithmic Point of View / by: (書目-電子資源)

Multi-agent-based simulation XII = international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers / by: (書目-電子資源)

Advances in computer science and information technology = computer science and engineering : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012 : proceedings.. Part III / by: (書目-電子資源)

Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers / by: (書目-電子資源)

Software engineering for resilient systems = third international workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011 : proceedings / by: (書目-電子資源)

Objects, models, components, patterns = 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings / by: (書目-電子資源)

Integrated circuit and system design = power and timing modeling, optimization, and simulation : 20th international workshop, PATMOS 2010 Grenoble, France, September 7-10, 2010 : revised selected papers / by: (書目-電子資源)

Advances in software engineering techniques = 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009 : revised selected papers / by: (書目-電子資源)

Enterprise architecture at work = modelling, communication and analysis / by: (書目-電子資源)

Transactions on computational collective intelligence IV 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: (書目-電子資源)

Verified software = theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings / by: (書目-電子資源)

Advanced Data Mining and Applications = 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008. Proceedings / by: (書目-電子資源)

Digital information and communication technology and its applications = international conference, DICTAP 2011, Dijon, France, June 21-23, 2011 :proceedings.. Part I / by: (書目-電子資源)

Adaptive Agents and Multi-Agent Systems II = Adaptation and Multi-Agent Learning / by: (書目-電子資源)

Testing of Communicating Systems = 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings / by: (書目-電子資源)

RoboCup 2011 = Robot Soccer World Cup XV / by: (書目-電子資源)

Theorem Proving in Higher Order Logics = 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, 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: (書目-電子資源)

Foundational Java = key elements and practical programming / by: (書目-電子資源)

Coordination models and languages = 11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings / by: (書目-電子資源)

Mobile lightweight wireless systems = third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011 : revised selected papers / 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: (書目-電子資源)

Software and systems traceability by: (書目-電子資源)

Architecture Description Languages = IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France / by: (書目-電子資源)

Multicore software engineering, performance, and tools = International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-電子資源)

Categories for Software Engineering by: (書目-電子資源)

Guide to Advanced Empirical Software Engineering by: (書目-電子資源)

Formal methods for eternal networked software systems = 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 : advanced lectures / by: (書目-電子資源)

Advances in conceptual modeling-challenging perspectives = ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, Qo1S, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009 : proceedings / by: (書目-電子資源)

Methods, models and tools for fault tolerance by: (書目-電子資源)

CONCUR 2010 - concurrency theory = 21st international conference, CONCUR 2010, Paris, France, August 31-September 3, 2010 : proceedings / by: (書目-電子資源)

Central European functional programming school = third summer school, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komarno, Slovakia, May 25-30, 2009 : revised selected lectures / by: (書目-電子資源)

Service-oriented computing = 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010, proceedings / by: (書目-電子資源)

Computer and computing technologies in agriculture V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part I / by: (書目-電子資源)

Modelling autonomic communication environments = 5th IEEE international workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010 : proceedings / by: (書目-電子資源)

Distributed applications and interoperable systems = 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings / by: (書目-電子資源)

Transactions on computational collective intelligence III by: (書目-電子資源)

Models in software engineering = workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 ; reports and revised selected papers / by: (書目-電子資源)

Scandinavian information systems research = first Scandinavian Conference on Information Systems, SCIS 2010, Rebild, Denmark, August 20-22, 2010, proceedings / by: (書目-電子資源)

NETWORKING 2012 = 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings.. Part I / by: (書目-電子資源)

Applications and theory of petri nets = 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 : proceedings / by: (書目-電子資源)

Model Driven Engineering Languages and Systems = 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings / by: (書目-電子資源)

Mobile networks and management = first international conference, MONAMI 2009, Athens, Greece, October 13-14, 2009 : revised selected papers / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings / by: (書目-電子資源)

NETWORKING 2010 = 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010 : proceedings / by: (書目-電子資源)

Engineering Web applications by: (書目-電子資源)

Resource discovery = Second International Workshop, RED 2009, Lyon, France, August 28, 2009 : revised papers / by: (書目-電子資源)

S-BPM ONE - learning by doing - doing by learning = third international conference, S-BPM ONE 2011, Ingolstadt, Germany, September 29-30, 2011 : proceedings / by: (書目-電子資源)

Adaptive and natural computing algorithms = 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / by: (書目-電子資源)

Wired/wireless internet communications = 9th IFIP TC 6 international conference, WWIC 2011, Vilanova i la Geltru, Spain, June 15-17, 2011 : proceedings / by: (書目-電子資源)

Swarm, evolutionary, and memetic computing = third international conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012 : proceedings / by: (書目-電子資源)

Service-oriented and cloud computing = First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012 : proceedings / by: (書目-電子資源)

Current trends in web engineering = workshops, doctoral symposium, and tutorials, held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011 : revised selected papers / by: (書目-電子資源)

New modeling concepts for today's software processes = International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010 : proceedings / by: (書目-電子資源)

Modelling foundations and applications = 6th European conference, ECMFA 2010, Paris, France, June 15-18, 2010 : proceedings / by: (書目-電子資源)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part IV / by: (書目-電子資源)

Software process improvement and capability determination = 12th international conference, SPICE 2012, Palma, Spain, May 29-31, 2012 : proceedings / by: (書目-電子資源)

Tools and Algorithms for the Construction and Analysis of Systems = 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / by: (書目-電子資源)

Relations and Kleene algebra in computer science = 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings / by: (書目-電子資源)

Hardware and Software: Verification and Testing = Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings / by: (書目-電子資源)

Foundations of computer software = future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers / by: (書目-電子資源)

Formal methods and software engineering = 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency VI 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: (書目-電子資源)

Software engineering and formal methods = 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / by: (書目-電子資源)

Artificial general intelligence = 5th international conference, AGI 2012, Oxford, UK, December 8-11, 2012 : proceedings / by: (書目-電子資源)

Distributed Applications and Interoperable Systems = 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by: (書目-電子資源)

Foundations of Software Science and Computational Structures = 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 / by: (書目-電子資源)

Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers / by: (書目-電子資源)

Grid and Cooperative Computing - GCC 2005 : = 4th International Conference, Beijing, China, November 30 -- December 3, 2005, Proceedings by: (書目-電子資源)

Autonomic and trusted computing = 8th international conference, ATC 2011, Banff, Canada, September 2-4, 2011 : proceedings / by: (書目-電子資源)

Automata, languages and programming = 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.. part II / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012 : proceedings.. Part II / by: (書目-電子資源)

A Theory of Distributed Objects = Asynchrony, Mobility, Groups, Components / by: (書目-電子資源)

Trends in network and communications = international conferences, NeCOM, WeST, WiMoN 2011, Chennai, India, July 15-17, 2011 : proceedings / by: (書目-電子資源)

Towards a service-based Internet = 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011 : proceedings / by: (書目-電子資源)

Technological innovation for sustainability = Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21 - 23, 2011 : proceedings / by: (書目-電子資源)

Introduction to programming with Fortran = with coverage of Fortran 90, 95, 2003, 2008 and 77 / by: (書目-電子資源)

Research and education in robotics - EUROBOT 2011 = international conference, Prague, Czech Republic, June 15-17, 2011 : proceedings / by: (書目-電子資源)

Implementing Distributed Systems with Java and CORBA by: (書目-電子資源)

Rule-based modeling and computing on the Semantic Web = 5th international symposium, RuleML 2011 - America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011 : proceedings / by: (書目-電子資源)

Multiagent System Technologies : = Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings by: (書目-電子資源)

Complex networks = second international workshop, CompleNet 2010, Rio de Janeiro, Brazil, October 13-15, 2010, revised selected papers / by: (書目-電子資源)

On the move to meaningful internet systems = OTM 2011 Workshops : Confederated International Workshops and Posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011 : proceedings / by: (書目-電子資源)

Computer applications for modeling, simulation, and automobile = international conferences, MAS and ASNT 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012 : proceedings / by: (書目-電子資源)

Product-focused software process improvement = 12th international conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011 : proceedings / by: (書目-電子資源)

Modelling foundations and applications = 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012 : proceedings / by: (書目-電子資源)

Verification, Model Checking, and Abstract Interpretation = 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings / by: (書目-電子資源)

The Semantic Web - ISWC 2010 = 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010 : revised selected papers, part II / by: (書目-電子資源)

Advances in conceptual modeling - applications and challenges = ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010 : proceedings / by: (書目-電子資源)

Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings / by: (書目-電子資源)

Model-based engineering of embedded systems = the SPES 2020 methodology / 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: (書目-電子資源)

Programming multi-agent systems = 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers / by: (書目-電子資源)

Intelligent virtual agents = 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010, proceedings / by: (書目-電子資源)

Advanced information systems engineering = 22nd international conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010 : proceedings / by: (書目-電子資源)

Business modeling and software design = first International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011 : revised selected papers / by: (書目-電子資源)

Software product lines = going beyond : 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010, proceedings / by: (書目-電子資源)

Extreme Programming and Agile Processes in Software Engineering = 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings / by: (書目-電子資源)

Network and parallel computing = IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, proceedings / by: (書目-電子資源)

Scalable uncertainty management = third international conference, SUM 2009, Washington, DC, September 28-30, 2009 : proceedings / by: (書目-電子資源)

Formal methods = foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / by: (書目-電子資源)

Knowledge engineering and knowledge management = 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012 : proceedings / by: (書目-電子資源)

NETWORKING 2008 = ad hoc and sensor networks, wireless networks, next generation Internet : 7th International IFIP-TC6 Networking Conference, Singapore, May 5-9, 2008 : proceedings / by: (書目-電子資源)

SOFSEM 2011 = theory and practice of computer science : 37th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 22 - 28, 2011 : proceedings / by: (書目-電子資源)

Logic, language and meaning = 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, revised selected papers / by: (書目-電子資源)

Internet and distributed computing systems = 5th international conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012 : proceedings / by: (書目-電子資源)

Software engineering and formal methods = 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings / by: (書目-電子資源)

Open source systems = grounding research : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011 : proceedings / by: (書目-電子資源)

Architecting Dependable Systems V by: (書目-電子資源)

Convergence and hybrid information technology = 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012 : proceedings / by: (書目-電子資源)

Wired/Wireless internet communication = 10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012 : proceedings / by: (書目-電子資源)

Ad-hoc, mobile, and wireless networks = 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings / by: (書目-電子資源)

Trustworthy global computing = 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011 : revised selected papers / by: (書目-電子資源)

Next Generation Teletraffic and Wired/Wireless Advanced Networking = 8th International Conference, NEW2AN and 1st Russian Conference on Smart Spaces, ruSMART 2008 St. Petersburg, Russia, September 3-5, 2008. Proceedings / by: (書目-電子資源)

Tests and proofs = 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings / by: (書目-電子資源)

Foundations of Software Science and Computational Structures = 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / by: (書目-電子資源)

Safety-critical systems = problems, process and practice: proceedings of the seventeenth Safety-Critical Symposium, Brighton, UK, 3-5 February 2009 / by: (書目-電子資源)

NETWORKING 2012 workshops = International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012 : proceedings / by: (書目-電子資源)

Distributed applications and interoperable systems = 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012 : proceedings / by: (書目-電子資源)

Enterprise Information Systems = 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006 , Revised Selected Papers / by: (書目-電子資源)

Proceedings of the International Conference on IT Convergence and Security 2011 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: (書目-電子資源)

Mobile wireless middleware, operating systems, and applications = 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised selected papers / by: (書目-電子資源)

Formal methods for quantitative aspects of programming languages = 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures / by: (書目-電子資源)

Fundamental approaches to software engineering = 13th international conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / by: (書目-電子資源)

Mobile networks and management = third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised selected papers / by: (書目-電子資源)

Information and management engineering = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part VI / by: (書目-電子資源)

Software Product Line Engineering = Foundations, Principles, and Techniques / by: (書目-電子資源)

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance = 15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010 : proceedings / by: (書目-電子資源)

Validated Designs for Object-oriented Systems by: (書目-電子資源)

Prozessubergreifendes Projektmanagement = Grundlagen erfolgreicher Projekte / by: (書目-電子資源)

Engineering and Managing Software Requirements by: (書目-電子資源)

Model checking software = 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings / by: (書目-電子資源)

Computer applications for graphics, grid computing, and industrial environment = international conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (書目-電子資源)

Component-Based Software Engineering = 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 / by: (書目-電子資源)

Data management in grid and peer-to-peer systems = 4th international conference, Globe 2011, Toulouse, France, September 1-2, 2011 : proceedings / by: (書目-電子資源)

Software architecture = 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011 : proceedings / by: (書目-電子資源)

Topics in performance evaluation, measurement and characterization = third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011 : revised selected papers / by: (書目-電子資源)

Computer safety, reliability, and security = SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012 : proceedings / by: (書目-電子資源)

Testing Commercial-off-the-Shelf Components and Systems by: (書目-電子資源)

Automatic Program Development = A Tribute to Robert Paige / by: (書目-電子資源)

CONCUR 2012 - Concurrency theory = 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings / by: (書目-電子資源)

Model driven engineering languages and systems = 14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : proceedings / by: (書目-電子資源)

Information Systems and e-Business Technologies = 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, April 22-25, 2008. Proceedings / by: (書目-電子資源)

Functional and logic programming = 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings / by: (書目-電子資源)

Transactions on compuational collective intelligence VI by: (書目-電子資源)

Declarative agent languages and technologies IX = 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011 : revised selected and invited papers / by: (書目-電子資源)

Logic for programming, artificial intelligence, and reasoning = 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings / by: (書目-電子資源)

Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation. Applications and case studies = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part II / by: (書目-電子資源)

Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / by: (書目-電子資源)

Trusted Computing - Challenges and Applications = First International Conference on Trusted Computing and Trust in Information Technologies, Trust 2008 Villach, Austria, March 11-12, 2008 Proceedings / by: (書目-電子資源)

Job Scheduling Strategies for Parallel Processing = 14th international workshop, JSSPP 2009, Rome, Italy, May 29, 2009 : revised papers / by: (書目-電子資源)

Relational and algebraic methods in computer science = 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings / by: (書目-電子資源)

Distributed applications and interoperable systems = 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings / by: (書目-電子資源)

Next generation information technologies and systems = 7th international conference, NGITS 2009, Haifa, Israel, June 16-18, 2009 : revised selected papers / by: (書目-電子資源)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part III / by: (書目-電子資源)

Software engineering approaches for offshore and outsourced development = third international conference, SEAFOOD 2009, Zurich, Switzerland, July 2 - 3, 2009 : Proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings / by: (書目-電子資源)

Advances in networks and communications = first International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011 : proceedings.. Part II / by: (書目-電子資源)

Information computing and applications = first international conference, ICICA 2010, Tangshan, China, October 15-18, 2010 : proceedings / by: (書目-電子資源)

Design requirements engineering = a ten-year perspective: Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007 : revised and invited papers / by: (書目-電子資源)

Earth system modelling.. Volume 3,. Coupling software and strategies by: (書目-電子資源)

Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part II / by: (書目-電子資源)

Systems and virtualization management = standards and the cloud : third international DMTF Academic Alliance Workshop, SVM 2009, Wuhan, China, September 22-23, 2009 : revised selected papers / by: (書目-電子資源)

Algorithm engineering = bridging the gap between algorithm theory and practice / by: (書目-電子資源)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (書目-電子資源)

Design thinking research = studying co-creation in practice / by: (書目-電子資源)

Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part II / by: (書目-電子資源)

Mobile wireless middleware, operating systems, and applications = Third International Conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010, revised selected papers / by: (書目-電子資源)

New trends on human-computer interaction = research, development, new tools and methods / by: (書目-電子資源)

Collaboration and technology = 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010, proceedings / by: (書目-電子資源)

Computing and intelligent systems = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part IV / by: (書目-電子資源)

Economics of grids, clouds, systems, and services = 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010, proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings / by: (書目-電子資源)

Objects and databases = Third International Conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010, proceedings / by: (書目-電子資源)

Programming languages and systems = 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings / by: (書目-電子資源)

Mobile computing, applications, and services = first international ICST conference, MobiCASE 2009, San Diego, CA, USA, October 26-29, 2009 : revised selected papers / by: (書目-電子資源)

The smart internet = current research and future applications / by: (書目-電子資源)

Advances in software engineering = International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings / by: (書目-電子資源)

Theoretical aspects of computing = ICTAC 2011 : 8th international colloquium, Johannesburg, South Africa, August 31 - September 2, 2011 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis = 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings / by: (書目-電子資源)

Quality of Service in Multiservice IP Networks = Third International Workshop, QoS-IP 2005, Catania, Italy, February 2-4, 2005 / by: (書目-電子資源)

Integrated circuit and system design = power and timing modeling, optimization, and simulation : 21st international workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011 : poceedings / by: (書目-電子資源)

Future generation information technology = third international conference, FGIT 2011 in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (書目-電子資源)

Computer performance engineering = 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : proceedings / by: (書目-電子資源)

RoboCup 2009 = Robot Soccer World Cup XIII / by: (書目-電子資源)

Wired/wireless internet communications = 8th International Conference, WWIC 2010, Lulea, Sweden, June 1-3, 2010 : proceedings / by: (書目-電子資源)

Intentional perspectives on information systems engineering by: (書目-電子資源)

SOFSEM 2010 = theory and practice of computer science : 36th Conference on current trends in theory and practice of computer science, Spindleruv Mlyn, Czech Republic, January 23-29, 2010 : proceedings / by: (書目-電子資源)

Functional and constraint logic programming = 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 : revised selected papers / by: (書目-電子資源)

Networked digital technologies = Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 : proceedings.. Part I / by: (書目-電子資源)

Search computing = challenges and directions / by: (書目-電子資源)

Reachability problems = 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings / by: (書目-電子資源)

Emerging research in web information systems and mining = international conference, WISM 2011, Taiyuan, China, September 23-25, 2011 : proceedings / by: (書目-電子資源)

Exploring services science = second international conference, IESS 2011, Geneva, Switzerland, February 16-18, 2011 : revised selected papers / by: (書目-電子資源)

Networked digital technologies = Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 : proceedings.. Part II / by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 2012 = 9th International Colloquium, Bangalore, India, September 24-27, 2012 : proceedings / by: (書目-電子資源)

Transactions on computational collective intelligence VII by: (書目-電子資源)

Wireless algorithms, systems, and applications = 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012 : proceedings / by: (書目-電子資源)

Evolvable systems = from biology to hardware : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, proceedings / by: (書目-電子資源)

Services-oriented computing = 7th international joint conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009 : proceedings / by: (書目-電子資源)

Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings / by: (書目-電子資源)

Reconfigurable computing = architectures, tools and applications : 6th international symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010 : proceedings / by: (書目-電子資源)

Collaborative networks in the internet of services = 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012 : proceedings / by: (書目-電子資源)

Pro PHP Security by: (書目-電子資源)

Genetic algorithms for applied CAD problems by: (書目-電子資源)

Implementation and application of functional languages = 23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers / by: (書目-電子資源)

Trends in intelligent robotics = 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010, proceedings / by: (書目-電子資源)

Communication and networking = International Conference, FGCN 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings.. Part I / by: (書目-電子資源)

TestGoal = Result-Driven Testing / by: (書目-電子資源)

Uncertainty quantification in scientific computing = 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011 : revised selected papers / by: (書目-電子資源)

Broadband communications, networks, and systems = 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25-27, 2010 : revised selected papers / by: (書目-電子資源)

Web reasoning and rule systems = third international conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009 : proceedings / by: (書目-電子資源)

Pro Android by: (書目-電子資源)

Requirements engineering: foundation for software quality = 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011, proceedings / by: (書目-電子資源)

Algebraic and numeric biology = 4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers / by: (書目-電子資源)

E-infrastructures and e-services on developing countries = first International ICST Conference, AFRICOM 2009, Maputo, Mozambique, December 3-4, 2009 : proceedings / by: (書目-電子資源)

Distributed, parallel and biologically inspired systems = 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings / by: (書目-電子資源)

Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part II / 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: (書目-電子資源)

NETWORKING 2011 = 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011 : proceedings.. Part II / by: (書目-電子資源)

Model driven engineering and ontology development by: (書目-電子資源)

Advanced Computing = first International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011 : proceedings.. Part III / by: (書目-電子資源)

Algebraic informatics = third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings / by: (書目-電子資源)

Advances in Information Technology = Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings / by: (書目-電子資源)

Innovative computing technology = first international conference, INCT 2011, Tehran, Iran, December 13-15, 2011 : proceedings / by: (書目-電子資源)

Foundations of software science and computational structures = 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (書目-電子資源)

Artificial intelligence : theories, models and applications = 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008 ; proceedings / by: (書目-電子資源)

Euro-Par 2011: Parallel processing workshops = CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.. Part II / by: (書目-電子資源)

Parallel processing and applied mathematics = 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011 : revised selected papers.. Part I / by: (書目-電子資源)

Verification, model checking, and abstract interpretation = 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / by: (書目-電子資源)

Principles and practice of multi-agent systems = 13th international conference, PRIMA 2010, Kolkata, India, November 12-15, 2010 : revised selected papers / by: (書目-電子資源)

Ad-hoc, mobile, and wireless networks = 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012 : proceedings / by: (書目-電子資源)

Artificial Life Models in Software by: (書目-電子資源)

Secure Systems Development with UML by: (書目-電子資源)

Knowledge discovery, knowlege engineering and knowledge management = first International Joint Conference, IC3K 2009, Funchal, Madeira, Portugal, October 6-8, 2009 : revised selected papers / by: (書目-電子資源)

omputer security - ESORICS 2012 = 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012 : proceedings / by: (書目-電子資源)

Service Availability : = Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers by: (書目-電子資源)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part II / by: (書目-電子資源)

Design science research in information systems = advances in theory and practice ; 7th international conference, DESRIST 2012, Las Vegas,NV, USA, May 14-15, 2012 : 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: (書目-電子資源)

Practical Aspects of Declarative Languages = 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings / by: (書目-電子資源)

Collaborative software engineering by: (書目-電子資源)

RoboCup 2004: Robot Soccer World Cup VIII by: (書目-電子資源)

Wireless algorithms, systems, and applications = third international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008 : proceedings / by: (書目-電子資源)

Product-focused software process improvement = 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 : proceedings / by: (書目-電子資源)

Testbeds and research infrastructures = development of networks and communities : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010 : revised selected papers / by: (書目-電子資源)

Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings by: (書目-電子資源)

Distributed Computing and Internet Technology : = Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings by: (書目-電子資源)

Hardware and software: verification and testing = 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers / by: (書目-電子資源)

Programming languages and systems = 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings / by: (書目-電子資源)

Applications and Theory of Petri Nets 2005 = 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / by: (書目-電子資源)

Computational logic in multi-agent systems = 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012 : proceedings / by: (書目-電子資源)

Formal methods: Foundations and applications = 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012 : proceedings.. Part I / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / by: (書目-電子資源)

Theory and practice of natural computing = first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012 : proceedings / by: (書目-電子資源)

On the move to meaningful internet systems: OTM 2012 = confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012 : proceedings.. Part I / by: (書目-電子資源)

Foundations of computer software = modeling, development, and verification of adaptive systems : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31 - April 2, 2010 : revised selected papers / by: (書目-電子資源)

Ubiquitous Computing Systems = Second International Symposium, UCS, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers / by: (書目-電子資源)

Passive and active measurement = 12th international conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011 : proceedings / by: (書目-電子資源)

Information networking = towards ubiquitous networking and services : International Conference, ICOIN 2007, Estoril, Portugal, January 23-25, 2007 : revised selected papers / 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: (書目-電子資源)

Persuasive technology = design for health and safety : 7th International Conference, PERSUASIVE 2012, Linkoping, Sweden, June 6-8, 2012 : proceedings / by: (書目-電子資源)

Advances in new technologies, interactive interfaces and communicability = second international conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011 : revised selected papers / by: (書目-電子資源)

Semantic Service Provisioning by: (書目-電子資源)

Test-driven development = an empirical evaluation of agile practice / by: (書目-電子資源)

Cutting-edge research topics on multiple criteria decision making = 20th international conference MCDM 2009, Chengdu/Jiuzhaigou, China, June 21 - 26, 2009 : Proceedings / by: (書目-電子資源)

Compiler construction = 20th International Conference, CC 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: (書目-電子資源)

Transactions on computational collective intelligence V by: (書目-電子資源)

Computer applications for communication, networking, and digital contents = international conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (書目-電子資源)

Programming Multi-Agent Systems = Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers / 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: (書目-電子資源)

Formal methods = state of the art and new directions / by: (書目-電子資源)

Web reasoning and rule systems = second international conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008 : proceedings / by: (書目-電子資源)

Advances in computer science and information technology = first International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011 : proceedings.. Part I / by: (書目-電子資源)

Business process management workshops = BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011 : revised selected papers.. Part II / by: (書目-電子資源)

Euro-Par 2009 parallel processing workshops = HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009 : revised selected papers / 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: (書目-電子資源)

3D integration for NoC-based SoC architectures by: (書目-電子資源)

Transactions on aspect-oriented software development IX by: (書目-電子資源)

Hardware and software: verification and testing = 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers / by: (書目-電子資源)

Performance evaluation, measurement and characterization of complex systems = second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010 : revised selected papers / by: (書目-電子資源)

Advances in grid and pervasive computing = 6th international conference, GPC 2011, Oulu, Finland, May 11-13, 2011 : proceedings / by: (書目-電子資源)

Service-oriented computing = ICSOC 2010 International Workshops, PAASC, WESOA, SEE, and SOC-LOG, San Francisco, CA, USA, December 7-10, 2010 : revised selected papers / by: (書目-電子資源)

Transactions on aspect-oriented software development VIII 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: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / by: (書目-電子資源)

Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part II / by: (書目-電子資源)

Datalog in academia and industry = second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012 : proceedings / by: (書目-電子資源)

Computer and computing technologies in agriculture V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part II / by: (書目-電子資源)

Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part IV / by: (書目-電子資源)

Software services for e-world = 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010 : proceedings / by: (書目-電子資源)

Process mining = discovery, conformance and enhancement of business processes / by: (書目-電子資源)

From active data management to event-based systems and more = papers in honor of Alejandro Buchmann on the occasion of his 60th birthday / by: (書目-電子資源)

Correct reasoning = essays on logic-based AI in honour of Vladimir Lifschitz / by: (書目-電子資源)

On the move to meaningful internet systems : OTM 2010 Workshops = confederated international workshops and posters : AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA, Hersonissos, Crete, Greece, October 25-29, 2010, proceedings / by: (書目-電子資源)

Wireless Sensor Networks = 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings / by: (書目-電子資源)

Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency V by: (書目-電子資源)

Transactions on petri nets and other models of concurrency.. II,. Special issue on concurrency in process-aware information systems by: (書目-電子資源)

Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / by: (書目-電子資源)

Generative Programming and Component Engineering : = 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings by: (書目-電子資源)

Achieving systems safety = proceedings of the twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 / by: (書目-電子資源)

The seductive computer = why IT systems always fail / by: (書目-電子資源)

Grid and pervasive computing workshops = International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011 : revised selected papers / 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: (書目-電子資源)

Computational science and its appilcations, ICCSA 2009 = international conference, Seoul, Korea, June 29-July 2, 2009 : proceedings.. Part II / by: (書目-電子資源)

System analysis and modeling = about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers / by: (書目-電子資源)

Agile business rule development = process, architecture, and JRules examples / by: (書目-電子資源)

SDL 2009 = design for motes and mobiles : 14th International SDL Forum, Bochum, Germany, September 22-24, 2009 : proceedings / by: (書目-電子資源)

Grid and distributed computing = international conference, GDC 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (書目-電子資源)

Software engineering research, management and applications 2011 by: (書目-電子資源)

Model checking and artificial intelligence = 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers / by: (書目-電子資源)

Advanced functional programming = 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures / by: (書目-電子資源)

Software Architecture = 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings / by: (書目-電子資源)

Component-Based Software Engineering = 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings / by: (書目-電子資源)

Formal methods = foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers / by: (書目-電子資源)

Software composition = 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings / by: (書目-電子資源)

Rewriting logic and its applications = 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers / by: (書目-電子資源)

Engineering societies in the agents world VIII = 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers / by: (書目-電子資源)

Component Deployment : = Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings by: (書目-電子資源)

Formal Methods and Software Engineering : = 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings by: (書目-電子資源)

Analysis, architectures and modelling of embedded systems = Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009 : Proceedings / by: (書目-電子資源)

Software-intensive systems and new computing paradigms = challenges and visions / by: (書目-電子資源)

Computer and computing technologies in agriculture V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part III / by: (書目-電子資源)

Active knowledge modeling of enterprises by: (書目-電子資源)

Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings / by: (書目-電子資源)

Objects, components, models and patterns = 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 : proceedings / by: (書目-電子資源)

Models in software engineering = workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : reports and revised selected papers / by: (書目-電子資源)

Tabletops = horizontal interactive displays / by: (書目-電子資源)

Conceptual Modeling - ER 2009 = 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009 : Proceedings / by: (書目-電子資源)

Trustworthy global computing = 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers / by: (書目-電子資源)

Distributed computing and networking = 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 : proceedings / by: (書目-電子資源)

New Frontiers in Applied Artificial Intelligence = 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocaw, Poland, June 18-20, 2008 Proceedings / by: (書目-電子資源)

Distributed applications and interoperable systems = 8thIFIP WG 6.1 international conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part I / by: (書目-電子資源)

Formal verification of object-oriented software = international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers / by: (書目-電子資源)

Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings by: (書目-電子資源)

Organized adaption in multi-agent systems = First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008 : revised and invited papers / by: (書目-電子資源)

Business system management and engineering = from open issues to applications / by: (書目-電子資源)

Algorithmic aspects of wireless sensor networks = 5th international workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009 : revised selected papers / by: (書目-電子資源)

Engineering Societies in the Agents World V = 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.. Part I / by: (書目-電子資源)

Information technology and mobile communication = international conference, AIM 2011, Nagpur, Maharashtra, India, April 21-22, 2011 : proceedings / by: (書目-電子資源)

Multi-agent systems for society = 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005 : revised selected papers / by: (書目-電子資源)

ECOOP 2009--object-oriented programming = 23rd European conference, Genoa, Italy, July 6-10, 2009 ; proceedings / by: (書目-電子資源)

Advances in power electronics and instrumentation engineering = second international conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011 : proceedings / by: (書目-電子資源)

Advances in grid and pervasive computing = 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings / by: (書目-電子資源)

Hardware and software : verification and testing = 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings / by: (書目-電子資源)

Advances in grid and pervasive computing = 4th international conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009 : proceedings / by: (書目-電子資源)

Mobile computing, applications, and services = second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010 : revised selected papers / by: (書目-電子資源)

Software architecture by: (書目-電子資源)

From the web to the grid and beyond = computing paradigms driven by high-energy physics / by: (書目-電子資源)

A process algebraic approach to software architecture design by: (書目-電子資源)

Computer Aided Verification = 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / by: (書目-電子資源)

Recent advances in the message passing interface = 18th European MPI Users' Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011 : proceedings / by: (書目-電子資源)

Computational logistics = second international conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011 : proceedings / by: (書目-電子資源)

Distributed computing and internet technology = 7th international conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011 : proceedings / by: (書目-電子資源)

Network control and optimization = Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers / by: (書目-電子資源)

Descriptional complexity of formal systems = 13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings / by: (書目-電子資源)

Testbeds and research infrastructure = development of networks and communities : 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012 : revised selected papers / by: (書目-電子資源)

Networked digital technologies = 4th international conference, NDT 2012, Dubai, UAE, April 24-26, 2012 : proceedings.. Part I / by: (書目-電子資源)

Distributed computing = 26th international symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012 : proceedings / by: (書目-電子資源)

Embedded Systems Design = The ARTIST Roadmap for Research and Development / by: (書目-電子資源)

Hardware and Software: Verification and Testing = 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / by: (書目-電子資源)

Business process management = 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, proceedings / by: (書目-電子資源)

Composing software components = a software-testing perspective / by: (書目-電子資源)

Advances in multimedia information processing - PCM 2012 = 13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012 : proceedings / by: (書目-電子資源)

Multimedia Introduction to Programming Using Java by: (書目-電子資源)

Principles and practice of constraint programming - CP 2009 = 15th international conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 : proceedings / by: (書目-電子資源)

Language engineering and rigorous software development = International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures / by: (書目-電子資源)

Formal Methods for Mobile Computing = 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / by: (書目-電子資源)

Formal concept analysis = 7th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings / by: (書目-電子資源)

Strategic IT management = a toolkit for enterprise architecture management / 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: (書目-電子資源)

Unfoldings = A Partial-Order Approach to Model Checking / by: (書目-電子資源)

Applications of evolutionary computation = EvoApplications 2010 : EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010 : proceedings.. Part II / by: (書目-電子資源)

Rapid Integration of Software Engineering Techniques = First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers / by: (書目-電子資源)

Coordination, Organizations, Institutions, and Norms in Agent Systems III = COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers / 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: (書目-電子資源)

Middleware 2005 : = ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings by: (書目-電子資源)

Implementation and application of functional languages = 20th international symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 : revised selected papers / by: (書目-電子資源)

Metainformatics = International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings / by: (書目-電子資源)

Parallel processing and applied mathematics = 9th international conference, PPAM 2011, Torun, Poland, September 11-14, 2011 : revised selected papers.. Part II / by: (書目-電子資源)

Component-Based Software Testing with UML by: (書目-電子資源)

Software engineering for self-adaptive systems by: (書目-電子資源)

Analyzing computer system performance with PERL::PDQ by: (書目-電子資源)

Pervasive computing = 9th international conference, Pervasive 2011, San Francisco, USA, June 12-15, 2011 : proceedings / by: (書目-電子資源)

Future information technology = 6th international conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011 : proceedings.. Part I / by: (書目-電子資源)

Mathematical and engineering methods in computer science = 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers / by: (書目-電子資源)

Multi-Agent Systems and Applications IV : = 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings by: (書目-電子資源)

Transactions on Petri nets and other models of concurrency IV by: (書目-電子資源)

Computational logic in multi-agent systems = 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010, proceedings / by: (書目-電子資源)

FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract = 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / by: (書目-電子資源)

Static analysis = 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings / by: (書目-電子資源)

Ubiquitous intelligence and computing = 8th international conference, UIC 2011, Banff, Canada, September 2-4, 2011 : proceedings / by: (書目-電子資源)

Balancing Agility and Formalism in Software Engineering = Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers / by: (書目-電子資源)

Architecting critical systems = first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 : proceedings / by: (書目-電子資源)

Introduction to software process improvement by: (書目-電子資源)

Information Networking = Convergence in Broadband and Mobile Networking. International Conference, ICOIN 2005, Jeju Island, Korea, January 31 - February 2, 2005, Proceedings / by: (書目-電子資源)

Enterprise information systems = 13th International Conference, ICEIS 2011, Beijing, China, June 8-11, 2011, Revised selected papers / by: (書目-電子資源)

Declarative agent languages and technologies VII = 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers / by: (書目-電子資源)

Ontologies for Agents: Theory and Experiences by: (書目-電子資源)

Research in systems analysis and design = models and methods : 4th SIGSAND/PLAIS EuroSymposium 2011, Gdansk, Poland, September 29, 2011, revised selected papers / by: (書目-電子資源)

Software architecture = a comprehensive framework and guide for practitioners / by: (書目-電子資源)

Logic-based program synthesis and transformation = 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers / by: (書目-電子資源)

Formal Modeling and Analysis of Timed Systems : = Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings by: (書目-電子資源)

Essential software architecture by: (書目-電子資源)

Innovative computing and information = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part II / by: (書目-電子資源)

Adoption-centric usability engineering = systematic deployment, assessment and improvement of usability methods in software engineering / by: (書目-電子資源)

Testbeds and research infrastructure Development of Networks and Communities = development of networks and communities : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011 : revised selected papers / by: (書目-電子資源)

Digital information processing and communications = international conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011 : proceedings.. Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part II / by: (書目-電子資源)

Computer information systems and industrial management = 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012 : proceedings / by: (書目-電子資源)

Model Driven Architecture - Foundations and Applications : = First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings by: (書目-電子資源)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part V / by: (書目-電子資源)

Code generation with templates by: (書目-電子資源)

NETWORKING 2011 workshops = International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011 : revised selected papers / by: (書目-電子資源)

Advances in parallel, distributed computing = first international conference on parallel, distributed computing technologies and applications, PDCTA 2011, Tirunelveli, India, September 23-25, 2011 : proceedings / by: (書目-電子資源)

Foundations of software science and computational structures = 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 16th international conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / by: (書目-電子資源)

Formal Concept Analysis = 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings / by: (書目-電子資源)

Argumentation in multi-agent systems = 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009 : revised selected and invited papers / by: (書目-電子資源)

Simulation, modeling, and programming for autonomous robots = Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010, proceedings / by: (書目-電子資源)

Service-oriented computing - ICSOC 2011 Workshops = ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011 : revised selected papers / by: (書目-電子資源)

Quality, reliability, security and robustness in heterogeneous networks = 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010 : revised selected papers / by: (書目-電子資源)

Grids, clouds and virtualization by: (書目-電子資源)

Database and XML technologies = 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009 : proceedings / by: (書目-電子資源)

Frontiers in algorithmics = 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, proceedings / by: (書目-電子資源)

Computational collective intelligence = semantic web, social networks and multiagent systems : first International Conference, ICCCI 2009, Wrocaw, Poland, October 5-7, 2009 : proceedings / by: (書目-電子資源)

Reliable Software Technology - Ada-Europe 2005 = 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings / by: (書目-電子資源)

Visual information communication by: (書目-電子資源)

Advanced Distributed Systems = 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers / by: (書目-電子資源)

Coordination models and languages = 13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings / 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: (書目-電子資源)

Coloured petri nets = modelling and validation of concurrent systems / by: (書目-電子資源)

Verified Software: Theories, Tools, Experiments = First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / by: (書目-電子資源)

Generative and transformational techniques in software engineering II = international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers / by: (書目-電子資源)

Rule representation, interchange and reasoning on the web = international symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008 : proceedings / by: (書目-電子資源)

Databases, Information Systems, and Peer-to-Peer Computing = Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers / by: (書目-電子資源)

Intelligent agents and multi-agent systems = 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008, proceedings / by: (書目-電子資源)

Web information systems and mining = international conference, WISM 2011, Taiyuan, China, September 24-25, 2011 : proceedings.. Part I / by: (書目-電子資源)

Open source ecosystems = diverse communities interacting : 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Skovde, Sweden, June 3-6, 2009 : proceedings / by: (書目-電子資源)

Distributed computing in sensor systems = 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010 : proceedings / by: (書目-電子資源)

Recent advances in evolutionary computation for combinatorial optimization by: (書目-電子資源)

Information computing and applications = International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010, proceedings.. Part II / by: (書目-電子資源)

Enterprise interoperability = third international IFIP Working Conference, IWEI 2011, Stockholm, Sweden, March 23-24, 2011 : proceedings / by: (書目-電子資源)

Smart spaces and next generation wired/wireless networking = third Conference on Smart Spaces, ruSMART 2010, and 10th International Conference, NEW2AN 2010, St. Petersburg, Russia, August 23-25, 2010, proceedings / by: (書目-電子資源)

RoboCup 2007: Robot Soccer World Cup XI by: (書目-電子資源)

Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / by: (書目-電子資源)

Generative and transformational techniques in software engineering III = international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers / by: (書目-電子資源)

Applied economics, business and development = international symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011 : proceedings.. Part I / 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: (書目-電子資源)

Computational science and its applications - ICCSA 2010 = International Conference, Fukuoka, Japan, March 23-26, 2010 : proceedings.. Part III / by: (書目-電子資源)

Cooperative Design, Visualization, and Engineering : = Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proceedings by: (書目-電子資源)

Real-world wireless sensor networks = 4th international workshop, REALWSN 2010, Colombo, Sri Lanka, December 16-17, 2010 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings / by: (書目-電子資源)

Applications and theory of Petri nets = 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings / by: (書目-電子資源)

Information processing and management = International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 26-27, 2010 : proceedings / by: (書目-電子資源)

Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings / by: (書目-電子資源)

Analytical and stochastic modeling techniques and applications = 18th international conference, ASMTA 2011, Venice, Italy, June 20-22, 2011 : proceedings / by: (書目-電子資源)

Transactions on computational science X = special issue on security in computing, part I / by: (書目-電子資源)

Hardware software co-design of a multimedia SOC platform / by: (書目-電子資源)

Multiagent system technologies = 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings / by: (書目-電子資源)

PRIMA 2012 = principles and practice of multi-agent systems : 15th International Conference, Kuching, Sarawak, Malaysia, September 3-7, 2012 : proceedings / by: (書目-電子資源)

Formal Methods for Components and Objects = 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures / by: (書目-電子資源)

Security and privacy in communication networks = 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010, proceedings / by: (書目-電子資源)

Android essentials by: (書目-電子資源)

Advances in network security and applications = 4th international conference, CNSA 2011, Chennai, India, July 15-17, 2011 / by: (書目-電子資源)

Formal techniques for distributed systems = joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings / by: (書目-電子資源)

Towards a service-based Internet = ServiceWave 2010 workshops : international workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010 : revised selected papers / by: (書目-電子資源)

Applications and Theory of Petri Nets = 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings / by: (書目-電子資源)

Abstract State Machines, B and Z = First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / by: (書目-電子資源)

Enterprise interoperability = 4th International IFIP Working Conference, IWEI 2012, Harbin, China, September 6-7, 2012 : proceedings / by: (書目-電子資源)

Agents for games and simulations II = trends in techniques, concepts and design / by: (書目-電子資源)

Transactions on aspect-oriented software development VII = a common case study for aspect-oriented modeling / by: (書目-電子資源)

Peer-to-Peer Systems and Applications by: (書目-電子資源)

Mathematics of Program Construction = 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / 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: (書目-電子資源)

Web services and formal methods = 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers / by: (書目-電子資源)

IS Olympics = Information systems in a diverse world : CAiSE Forum 2011, London, UK, June 20-24, 2011 : selected extended papers / by: (書目-電子資源)

Advances in new technologies, interactive interfaces, and communicability = first international conference, ADNTIIC 2010, Huerta Grande, Argentina, October 20-22, 2010 : 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: (書目-電子資源)

Automated configuration problem solving by: (書目-電子資源)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part I / by: (書目-電子資源)

Business process management = concepts, languages, architectures / by: (書目-電子資源)

Semantic web services = advancement through evaluation / by: (書目-電子資源)

Runtime verification = second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / by: (書目-電子資源)

Guide to Assembly Language Programming in Linux by: (書目-電子資源)

Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings / by: (書目-電子資源)

Euro-Par 2011: Parallel processing workshops = CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.. Part I / by: (書目-電子資源)

Job scheduling strategies for parallel processing = 15th international workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010 : revised selected papers / by: (書目-電子資源)

Security in E-Learning by: (書目-電子資源)

Trends in enterprise architecture research = 5th International Workshop, TEAR 2010, Delft, The Netherlands, November 12, 2010, proceedings / by: (書目-電子資源)

Advances in information technology = 4th international conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010 : proceedings / by: (書目-電子資源)

Testing software and systems = 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings / by: (書目-電子資源)

Formal methods and software engineering = 14th international conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings / by: (書目-電子資源)

Internet and network economics = 6th international workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010 : proceedings / by: (書目-電子資源)

Model driven engineering languages and systems = 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, proceedings.. Part I / by: (書目-電子資源)

Foundational and practical aspects of resource analysis = First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, revised selected papers / by: (書目-電子資源)

Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday / by: (書目-電子資源)

Theory of security and applications = Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers / by: (書目-電子資源)

Incentives, overlays, and economic traffic control = Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010, proceedings / by: (書目-電子資源)

Computer performance engineering = 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, proceedings / by: (書目-電子資源)

Software engineering, business continuity, and education = international conferences ASEA, DRBC and EL 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (書目-電子資源)

Trustworthly global computing = 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, revised selected papers / by: (書目-電子資源)

New studies in global IT and business service outsourcing = 5th Global Scourcing Workshop 2011, Courchevel, France, March 14-17, 2011, revised selected papers / by: (書目-電子資源)

Rewriting logic and its applications = 8th international workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers / by: (書目-電子資源)

Lean enterprise software and systems = first international conference, LESS 2010, Helsinki, Finland, October 17-20, 2010 : proceedings / by: (書目-電子資源)

Search computing = broadening web search / by: (書目-電子資源)

Practical aspects of declarative languages = 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings / by: (書目-電子資源)

Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers / by: (書目-電子資源)

Distributed Computing and Networking = 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings / by: (書目-電子資源)

Biomedical engineering systems and technologies = International Joint Conference, BIOSTEC 2009, Porto, Portugal, January 14-17, 2009 : revised selected papers / by: (書目-電子資源)

Reconfigurable computing = architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings / by: (書目-電子資源)

Objects, models, components, patterns = 48th international conference, TOOLS 2010, Malaga, Spain, June 28, July 2, 2010 : proceedings / 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: (書目-電子資源)

Identity-based encryption by: (書目-電子資源)

Coordination Models and Languages = 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings / by: (書目-電子資源)

Analysis and Design of Information Systems by: (書目-電子資源)

The correctness-by-construction approach to programming by: (書目-電子資源)

Distributed computing = 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010, proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 2010 = International Conference, Fukuoka, Japan, March 23-26, 2010 : proceedings.. Part II / by: (書目-電子資源)

Wireless algorithms, systems, and applications = 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010, proceedings / by: (書目-電子資源)

Enterprise, business-process and information systems modeling = 11th International Workshop, BPMDS 2010, and 15th International Conference, EMMSAD 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010 : proceedings / by: (書目-電子資源)

Central European Functional Programming School = 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011 : revised selected papers / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.. Part II / by: (書目-電子資源)

Programming languages and systems = 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / by: (書目-電子資源)

Verified software = theories, tools, experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, proceedings / by: (書目-電子資源)

Modelling foundations and applications = 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 17th International Conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: (書目-電子資源)

Algorithms for sensor systems = 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers / by: (書目-電子資源)

Software composition = 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-電子資源)

Web information systems and technologies = 6th international conference, WEBIST 2010, Valencia, Spain, April 7-10, 2010 : revised selected papers / by: (書目-電子資源)

Service research challenges and solutions for the future internet = S-Cube : towards engineering, managing and adapting service-based systems / by: (書目-電子資源)

Algorithms for sensor systems = 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010 : revised selected papers / by: (書目-電子資源)

The future of software engineering by: (書目-電子資源)

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance = 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012 : proceedings / by: (書目-電子資源)

Advances in Informatics : = 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings by: (書目-電子資源)

Transactions on computational collective intelligence II by: (書目-電子資源)

Grid and distributed computing, control and automation = International Conferences, GDC and CA 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010 : proceedings / by: (書目-電子資源)

Requirements Management = The Interface Between Requirements Development and All Other Systems Engineering Processes / by: (書目-電子資源)

Computer science logic = 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, proceedings / by: (書目-電子資源)

Applications of graph transformations with industrial relevance = 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011 : revised selected and invited papers / by: (書目-電子資源)

Explorations in quantum computing by: (書目-電子資源)

Formal Techniques for Computer Systems and Business Processes = European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings / by: (書目-電子資源)

Correct Hardware Design and Verification Methods : = 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005, Proceedings by: (書目-電子資源)

Systems, software and services process improvement = 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010, proceedings / by: (書目-電子資源)

Enterprise Interoperability. = New Challenges and Industrial Approaches /. III by: (書目-電子資源)

Software Composition = 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings / by: (書目-電子資源)

Fundamental approaches to software engineering = 11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / by: (書目-電子資源)

Rationale-based software engineering by: (書目-電子資源)

Software reliability assessment with OR applications by: (書目-電子資源)

Agile software development = current research and future directions / by: (書目-電子資源)

Architecture of computing systems - ARCS 2010 = 23rd International Conference, Hannover, Germany, February 22-25, 2010 : proceedings / by: (書目-電子資源)

Multiagent system technologies = 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010, proceedings / by: (書目-電子資源)

Computational logic in multi-agent systems = 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 : proceedings / by: (書目-電子資源)

Smart sensing and context = 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010, proceedings / by: (書目-電子資源)

Cooperative design, visualization, and engineering = 6th international conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009 : proceedings / by: (書目-電子資源)

Wired/wireless internet communications = 6th international conference, WWIC 2008, Tampere, Finland, May 28-30, 2008 ; proceedings / by: (書目-電子資源)

Advanced research on computer science and information engineering = international conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011 : proceedings.. Part II / by: (書目-電子資源)

Advances in computing and communications = first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings.. Part I / by: (書目-電子資源)

Middleware 2011 = ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011 : proceedings / by: (書目-電子資源)

Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011 : proceedings.. Part II / by: (書目-電子資源)

Rigorous software engineering for service-oriented systems = results of the SENSORIA project on software engineering for service-oriented computing / by: (書目-電子資源)

Smart card research and advanced applications = 10th IFIP WG 8.8/11.2 international conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011 : revised selected papers / by: (書目-電子資源)

Advances in enterprise engineering. = 6th International Workshop, CIAO! 2010, held at DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings /. IV by: (書目-電子資源)

Euro-Par 2010 parallel processing workshops = HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3 2010 : revised selected papers / by: (書目-電子資源)

Coordination models and languages = 12th international conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings / by: (書目-電子資源)

Analytical and Stochastic Modeling Techniques and Applications = 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings / by: (書目-電子資源)

Product-Focused Software Process Improvement = 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings / by: (書目-電子資源)

Model driven engineering languages and systems = 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, proceedings.. Part II / by: (書目-電子資源)

Algebraic Biology = Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings / by: (書目-電子資源)

Enterprise, business-process and information systems modeling = 12th international conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011 : proceedings / by: (書目-電子資源)

Dependable networks and services = 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012 : proceedings / by: (書目-電子資源)

Software language engineering = second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 : revised selected papers / by: (書目-電子資源)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part I / by: (書目-電子資源)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part V / by: (書目-電子資源)

Wireless algorithms, systems, and applications = 6th international conference, WASA 2011, Chengdu, China, August 11-13, 2011 : proceedings / by: (書目-電子資源)

Ad-hoc, mbile and wireless networks = 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010, proceedings / by: (書目-電子資源)

Advances in computer science and education applications = international conference, CSE 2011, Qingdao, China, July 9-10, 2011 : proceedings.. Part II / by: (書目-電子資源)

e-technologies and networks for development = first international conference, ICeND 2011, Dar-es-Salaam, Tanzania, August 3-5, 2011 : proceedings / by: (書目-電子資源)

Objects, models, components, patterns = 49th international conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011 : proceedings / by: (書目-電子資源)

Systems, software and services process improvement = 18th European conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings / by: (書目-電子資源)

Unifying theories of programming = Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, revised selected papers / by: (書目-電子資源)

Security engineering for service-oriented architectures by: (書目-電子資源)

Advanced computer science and information technology = second international conference, AST 2010, Miyazaki, Japan, June 23-25, 2010, proceedings / by: (書目-電子資源)

Innovative computing and information = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part I / by: (書目-電子資源)

Logics in artificial intelligence = 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, proceedings / by: (書目-電子資源)

Passive and active measurement = 11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010 : proceedings / by: (書目-電子資源)

Formal techniques for distributed systems = Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012 : proceedings / by: (書目-電子資源)

Managing the dynamics of networks and services = 5th international conference on autonomous infrastructure, management, and security, AIMS 2011, Nancy, France, June 13-17, 2011 : proceedings / by: (書目-電子資源)

Multiple access communications = 4th international workshop, MACOM 2011, Trento, Italy, September 12-13, 2011 : proceedings / by: (書目-電子資源)

Modeling Semantic Web Services = The Web Service Modeling Language / 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: (書目-電子資源)

Ambient intelligence = second international joint conference on AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011 : proceedings / by: (書目-電子資源)

Agile processes in software engineering and extreme programming = 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010 : proceedings / by: (書目-電子資源)

Automata for branching and layered temporal structures = an investigation into regularities of infinite transition systems / by: (書目-電子資源)

Human machine interaction = research results of the MMI program / by: (書目-電子資源)

Distributed computing and internet technology = 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010 : proceedings / by: (書目-電子資源)

Verification, induction, termination analysis = festschrift for Christoph Walther on the occasion of his 60th birthday / by: (書目-電子資源)

Service availability = 5th International Service Availability Symposium, ISAS 2008, Tokyo, Japan, May 19-21, 2008 : proceedings / 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: (書目-電子資源)

Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part I / by: (書目-電子資源)

Testing of Software and Communicating Systems = 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings / by: (書目-電子資源)

Verification, Model Checking, and Abstract Interpretation = 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / by: (書目-電子資源)

Verification and validation in systems engineering = assessing UML/SysML design models / by: (書目-電子資源)

Programming languages and systems = 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010, proceedings / by: (書目-電子資源)

Knowledge engineering and management by the masses = 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010, proceedings / by: (書目-電子資源)

Advances in software engineering = Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures / by: (書目-電子資源)

Formal methods for components and objects = 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers / by: (書目-電子資源)

Agile Processes in Software Engineering and Extreme Programming = 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings / by: (書目-電子資源)

Cooperative design, visualization and engineering = 5th international conference, CDVE 2008, Calvia, Mallorca, Spain, September 21-25, 2008 : proceedings / by: (書目-電子資源)

Ad-hoc, mobile, and wireless networks = 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings / by: (書目-電子資源)

Product-focused software process improvement = 11th international conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010 : proceedings / by: (書目-電子資源)

U- and E-service, science and technology = International Conference UNESST 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings / by: (書目-電子資源)

Multiple access communications = Third International Workshop, MACOM 2010, Barcelona, Spain, September 13-14, 2010, proceedings / by: (書目-電子資源)

Principles of distributed systems = 16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings / by: (書目-電子資源)

ECOOP 2005 - Object-Oriented Programming = 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings / by: (書目-電子資源)

Automated technology for verification and analysis = 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings / by: (書目-電子資源)

Tests and proofs = 5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 11th international conference, ICA3PP, Melbourne, Australia, October 24-26, 2011 : proceedings.. Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part I / by: (書目-電子資源)

Recent advances in the message passing interface = 19th European MPI Users' group meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012 : proceedings / by: (書目-電子資源)

Human-computer interaction = INTERACT 2011 : 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011 : proceedings.. Part III / by: (書目-電子資源)

High performance computing and applications = second international conference, HPCA 2009, Shanghai, China, August 10-12, 2009 : revised selected papers / by: (書目-電子資源)

Distributed computing and networking = 10th international conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009 : proceedings / by: (書目-電子資源)

Advances in Computing and Information Technology = first international conference, ACITY 2011, Chennai, India, July 15-17, 2011 : proceedings / by: (書目-電子資源)

Data management in grid and peer-to-peer systems = third international conference, Globe 2010, Bilbao, Spain, September 1-2, 2010 : proceedings / by: (書目-電子資源)

Formal methods, foundations and applications = 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers / by: (書目-電子資源)

Future information technology = 6th international conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011 : proceedings.. Part II / by: (書目-電子資源)

Computer science = the hardware, software and heart of it / by: (書目-電子資源)

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 = 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceedings / by: (書目-電子資源)

Distributed computing = 25th international symposium, DISC 2011, Rome, Italy, September 20-22, 2011 : proceedings / by: (書目-電子資源)

Mathematics of program construction = 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : Proceedings / by: (書目-電子資源)

Electronic engineering and computing technology by: (書目-電子資源)

Computer applications for database, education, and ubiquitous computing = international conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (書目-電子資源)

Relating software requirements and architectures by: (書目-電子資源)

Ad-Hoc, Mobile, and Wireless Networks : = 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005, Proceedings by: (書目-電子資源)

REST = from research to practice / by: (書目-電子資源)

Computer Supported Cooperative Work in Design I : = 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers by: (書目-電子資源)

Rule-based reasoning, programming, and applications = 5th international symposium, RULEML 2011, Europe, Barcelona, Spain, July 19-21 2011 : proceedings / by: (書目-電子資源)

Cloud computing = web-based dynamic IT services / by: (書目-電子資源)

Software process improvement = 16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009 : proceedings / by: (書目-電子資源)

Parallel and distributed computing and networks = international conference, PDCN 2010, Chongqing, China, December 13-14, 2010 : revised selected papers / by: (書目-電子資源)

Data engineering and management = second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers / by: (書目-電子資源)

Agent-based service-oriented computing 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: (書目-電子資源)

Web reasoning and rule systems = Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010, proceedings / by: (書目-電子資源)

Architecting Dependable Systems III by: (書目-電子資源)

Database and XML technologies = 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010, proceedings / by: (書目-電子資源)

Designing Virtual Reality Systems = The Structured Approach / by: (書目-電子資源)

Coordination, organizations, institutions, and norms in agent systems VI = COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010 : revised selected papers / by: (書目-電子資源)

Computer Aided Verification = 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings / by: (書目-電子資源)

Practical Aspects of Declarative Languages = 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings / by: (書目-電子資源)

NETWORKING 2012 = 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings.. Part II / by: (書目-電子資源)

Advanced Data Mining and Applications = First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005, Proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part III / by: (書目-電子資源)

Digital information processing and communications = international conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011 : proceedings.. Part I / by: (書目-電子資源)

Software engineering and knowledge engineering = theory and practice.. Volume 1 / by: (書目-電子資源)

Business process management workshops = BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011 : revised selected papers.. Part I / by: (書目-電子資源)

Software quality = process automation in software development : 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012 : proceedings / by: (書目-電子資源)

Engineering Theories of Software Intensive Systems = Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004 / by: (書目-電子資源)

Automated Deduction - CADE-20 = 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings / 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: (書目-電子資源)

Recent advances in the message passing interface = 17th European MPI Users' Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010, proceedings / by: (書目-電子資源)

Ad-hoc, mobile, and wireless networks = 8th international conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009 : proceedings / by: (書目-電子資源)

Fundamental Approaches to Software Engineering = 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / by: (書目-電子資源)

Embedded Software and Systems = First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / by: (書目-電子資源)

Declarative Agent Languages and Technologies V = 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers / 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: (書目-電子資源)

On the move to meaningful internet systems: OTM 2012 = confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012 : proceedings.. Part II / by: (書目-電子資源)

Information system - creativity and innovation in small and medium-sized enterprises = IFIP WG 8.2 International Conference, CreativeSME 2009, Guimaraes, Portugal, June 21-24, 2009 : proceedings / by: (書目-電子資源)

Software language engineering = First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised selected papers / by: (書目-電子資源)

Enterprise Interoperability = second IFIP WG 5.8 International Workshop, IWEI 2009, Valencia, Spain, October 13-14, 2009 : proceedings / by: (書目-電子資源)

Model checking software = 18th international SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings / by: (書目-電子資源)

Secure Transaction Protocol Analysis = Models and Applications / by: (書目-電子資源)

Parallel problem solving from nature - PPSN X = 10th international conference, Dortmund, Germany, September 13-17, 2008 : proceedings / by: (書目-電子資源)

Agents and data mining interaction = 4th international Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009 : revised selected papers / by: (書目-電子資源)

Agile software engineering 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: (書目-電子資源)

Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / by: (書目-電子資源)

Logics of Specification Languages by: (書目-電子資源)

Software architecture = 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, proceedings / by: (書目-電子資源)