Programming Languages, Compilers, Interpreters.

Programming languages = 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings / by: (書目-電子資源)

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

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

Digital VLSI Design with Verilog = A Textbook from Silicon Valley Technical Institute / by: (書目-電子資源)

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

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

Languages and compilers for parallel computing = 21st international workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008 : revised selected papers / 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: (書目-電子資源)

Types for proofs and programs = International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / by: (書目-電子資源)

Dive into python 3 by: (書目-電子資源)

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

Programming multi-agent systems = 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers / 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: (書目-電子資源)

Model checking software = 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, 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: (書目-電子資源)

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

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

Silverlight recipes = a problem-solution approach / by: (書目-電子資源)

Distributed Embedded Control Systems = Improving Dependability with Coherent Design / by: (書目-電子資源)

Applied ASP.NET 4 in context by: (書目-電子資源)

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

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

Recent Advances in Constraints = joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited 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: (書目-電子資源)

Functional and logic programming = 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 ; proceedings / by: (書目-電子資源)

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

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

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

Pro Core Data for iOS = data access and persistence engine for iPhone, iPad, and iPod touch / by: (書目-電子資源)

Models in software engineering = workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009 : reports and revised selected papers / by: (書目-電子資源)

XML for Bioinformatics by: (書目-電子資源)

Typed Lambda Calculi and Applications = 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings / by: (書目-電子資源)

Pro PHP = Patterns, Frameworks, Testing and More / by: (書目-電子資源)

Pro Apache Beehive 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: (書目-電子資源)

Fields of logic and computation = essays dedicated to Yuri Gurevich on the occasion of his 70th birthday / by: (書目-電子資源)

Unconventional Programming Paradigms = International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers / by: (書目-電子資源)

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

Fundamental problems in computing = essays in honor of Professor Daniel J. Rosenkrantz / by: (書目-電子資源)

Recent advances in constraints = 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers / by: (書目-電子資源)

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

Multi-Agent Programming = Languages, Platforms and Applications / by: (書目-電子資源)

Introduction to compiler design 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: (書目-電子資源)

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

Implementation and Application of Functional Languages = 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers / by: (書目-電子資源)

Practical Reporting with Ruby and Rails by: (書目-電子資源)

Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures by: (書目-電子資源)

Pro Core Data for iOS = data access and persistence engine for iPhone, iPad, and iPod touch / 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: (書目-電子資源)

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

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

Handbook of floating-point arithmetic by: (書目-電子資源)

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

The Definitive Guide to MySQL5 by: (書目-電子資源)

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

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

Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : 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: (書目-電子資源)

Principles of the Spin model checker by: (書目-電子資源)

Functional and constraint logic programming = 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers / by: (書目-電子資源)

The NCL natural constraint language by: (書目-電子資源)

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

Php objects, patterns, and practice by: (書目-電子資源)

Oracle and PL/SQL recipes = a problem-solution approach / by: (書目-電子資源)

Multi-agent programming = languages, tools and applications / 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: (書目-電子資源)

Interactive theorem proving = second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : 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: (書目-電子資源)

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

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

Introduction to Assembly Language Programming = For Pentium and RISC Processors / 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: (書目-電子資源)

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: (書目-電子資源)

Guide to Fortran 2003 programming by: (書目-電子資源)

Abstraction, Refinement and Proof for Probabilistic Systems 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: (書目-電子資源)

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

Beginning Arduino programming by: (書目-電子資源)

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

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

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

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

Mastering Oracle SQL and SQL*Plus 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: (書目-電子資源)

Logic programming = 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 : proceedings / by: (書目-電子資源)

Programming languages and systems = 18th European Symposium on Programming, ESOP 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: (書目-電子資源)

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: (書目-電子資源)

Verified software: theories, tools, experiments = second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings / by: (書目-電子資源)

Beginning J2ME = From Novice to Professional / by: (書目-電子資源)

Principles and practice of constraint programming = CP 2011 : 17th international conference, CP 2011, Perugia, Italy, September 12-16, 2011 : proceedings / by: (書目-電子資源)

Certified programs and proofs = first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings / by: (書目-電子資源)

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

Worst-case execution time aware compilation techniques for real-time systems 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: (書目-電子資源)

Exploring C++ = the programmer's introduction to C++ / by: (書目-電子資源)

Automated technology for verification and analysis = 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 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: (書目-電子資源)

Computer aided verification = 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : 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: (書目-電子資源)

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

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

Programming language concepts by: (書目-電子資源)

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

A tiny handbook of R by: (書目-電子資源)

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

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

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

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

Beginning VB 2008 Databases = From Novice to Professional / by: (書目-電子資源)

Beginning C# 2008 Databases = From Novice to Professional / by: (書目-電子資源)

Principles of programming languages 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: (書目-電子資源)

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: (書目-電子資源)

Network Performance Analysis = Using the J Programming Language / by: (書目-電子資源)

Python programming fundamentals 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: (書目-電子資源)

Operational Semantics for Timed Systems = A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by: (書目-電子資源)

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

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

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

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

Expert Oracle Database Architecture = 9i and 10g Programming Techniques and Solutions / by: (書目-電子資源)

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

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

Handbook of open source tools by: (書目-電子資源)

Theoretical Aspects of Computing - ICTAC 2005 : = Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings by: (書目-電子資源)

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

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

Guide to scientific computing in C++ by: (書目-電子資源)

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

High Performance Embedded Architectures and Compilers = Third International Conference, HiPEAC 2008, Goteborg, Sweden, January 27-29, 2008. Proceedings / by: (書目-電子資源)

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

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

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

High Performance Embedded Architectures and Compilers : = First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings by: (書目-電子資源)

Pro ASP.NET 1.1 in VB .NET = From Professional to Expert / 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: (書目-電子資源)

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

Patterns, programming and everything 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: (書目-電子資源)

Accelerated C# 2010 by: (書目-電子資源)

Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: (書目-電子資源)

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

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

Foundations of AOP for J2EE Development by: (書目-電子資源)

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

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

Transactions on pattern languages of programming I 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: (書目-電子資源)

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: (書目-電子資源)

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

Abstract Computing Machines = A Lambda Calculus Perspective / by: (書目-電子資源)

Advanced lectures on software engineering = LASER summer school 2007/2008 / 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: (書目-電子資源)

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

Quantifiers in action = generalized quantification in query, logical and natural languages / 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: (書目-電子資源)

High performance embedded architectures and compilers = 5th international conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010 : proceedings / by: (書目-電子資源)

Temporal Logic and State Systems 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: (書目-電子資源)

XNA 2.0 game programming recipes = a problem-solution approach / 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: (書目-電子資源)

Practical aspects of declarative languages = 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : 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: (書目-電子資源)

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: (書目-電子資源)

Constraint Solving and Language Processing = First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited 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: (書目-電子資源)

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: (書目-電子資源)

Tools for high performance computing 2011 = proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden / by: (書目-電子資源)

Guide to HTML, JavaScript and PHP = for scientists and engineers / 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: (書目-電子資源)

Foundations of security analysis and design V = FOSAD 2007/2008/2009 tutorial lectures / by: (書目-電子資源)

Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers / by: (書目-電子資源)

Practical Common Lisp 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: (書目-電子資源)

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

Recent advances in constraints = 12th annual ERCIM international workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers / by: (書目-電子資源)

Component-based software engineering = 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / by: (書目-電子資源)

Expert Oracle Database 10g Administration 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: (書目-電子資源)

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

Encyclopedia of parallel computing by: (書目-電子資源)

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

Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers / by: (書目-電子資源)

Expert Oracle JDBC Programming 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: (書目-電子資源)

Transactions on pattern languages of programming II = special issue on applying patterns / 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: (書目-電子資源)

Declarative Agent Languages and Technologies II = Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected 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: (書目-電子資源)

Transactions on high-performance embedded architectures and compilers III 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: (書目-電子資源)

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

Objects, models, components, patterns = 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings / 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: (書目-電子資源)

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: (書目-電子資源)

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

Languages for embedded systems and their applications = selected contributions on specification, design, and verification from FDL'08 / by: (書目-電子資源)

Foundational Java = key elements and practical programming / 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: (書目-電子資源)

Models of computation = an introduction to computability theory / by: (書目-電子資源)

Business process technology = a unified view on business processes, workflows and enterprise applications / 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: (書目-電子資源)

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: (書目-電子資源)

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

Beginning PHP and MySQL = from novice to professional / by: (書目-電子資源)

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

Logic Programming with Prolog 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: (書目-電子資源)

Compiler design = virtual machines / by: (書目-電子資源)

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

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

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

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

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

Compiler construction = 18th International Conference, CC 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: (書目-電子資源)

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

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

Pro J2ME Polish = Open Source Wireless Java Tools Suite / by: (書目-電子資源)

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

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: (書目-電子資源)

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

Implementing Distributed Systems with Java and CORBA 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: (書目-電子資源)

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: (書目-電子資源)

Handbook of service description = USDL and its methods / by: (書目-電子資源)

Transactions on high-performance embedded architectures and compilers.. II by: (書目-電子資源)

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

JDBC Recipes = A Problem-Solution Approach / by: (書目-電子資源)

Open source software for digital forensics by: (書目-電子資源)

Implementation and Application of Functional Languages = 16th International Workshop, IFL 2004, Lubeck, Germany, September 8-10, 2004, Revised Selected Papers / by: (書目-電子資源)

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

Pro ASP.NET extensibility 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: (書目-電子資源)

Pro JSP 2 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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Beginning MapServer = Open Source GIS Development / 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: (書目-電子資源)

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

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

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

Programming languages = an active learning approach / by: (書目-電子資源)

Software architecture = 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011 : proceedings / 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: (書目-電子資源)

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

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

Languages and Compilers for Parallel Computing = 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers / by: (書目-電子資源)

Network and parallel computing = 9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings / by: (書目-電子資源)

Euro-Par 2012 parallel processing = 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : 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 II / by: (書目-電子資源)

Foundations of security analysis and design VI = FOSAD tutorial lectures / by: (書目-電子資源)

Pro ASP.NET 2.0 in C# 2005 by: (書目-電子資源)

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

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

New Directions in Logic, Language and Computation = ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers / by: (書目-電子資源)

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

Physics for Game Programmers by: (書目-電子資源)

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

Languages and compilers for parallel computing = 22nd international workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009 : revised selected papers / by: (書目-電子資源)

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

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

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

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

Recent advances in parallel virtual machine and message passing interface = 16th European PVM/MPI Users' Group Meeting, Helsinki, Finland, September 7-10, 2009 : proceedings / 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: (書目-電子資源)

Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, 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: (書目-電子資源)

Squeak = Learn Programming with Robots / by: (書目-電子資源)

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

Recent advances in parallel virtual machine and message passing interface = 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008 : proceedings / by: (書目-電子資源)

Generating Hardware Assertion Checkers = For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring / by: (書目-電子資源)

Languages and Compilers for Parallel Computing : = 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers 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: (書目-電子資源)

Logic Programming : = 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings by: (書目-電子資源)

Software and data technologies = 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers / by: (書目-電子資源)

Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings by: (書目-電子資源)

Accelerated VB 2008 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: (書目-電子資源)

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: (書目-電子資源)

Formal modeling and analysis of timed systems = 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / by: (書目-電子資源)

Practical RichFaces by: (書目-電子資源)

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

FM 2008: Formal Methods = 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / by: (書目-電子資源)

Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (書目-電子資源)

OPC unified architecture by: (書目-電子資源)

High assurance services computing 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: (書目-電子資源)

Parsing Techniques = A Practical Guide / by: (書目-電子資源)

Software Agent-Based Applications, Platforms and Development Kits 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: (書目-電子資源)

Runtime verification = First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010, proceedings / by: (書目-電子資源)

Concurrency, compositionality, and correctness = essays in honor of Willem-Paul de Roever / by: (書目-電子資源)

Formal methods = state of the art and new directions / by: (書目-電子資源)

Languages and compilers for parallel computing = 23rd international workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010 : revised selected papers / 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: (書目-電子資源)

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

ECOOP 2011 = Object-Oriented Programming : 25th European Conference, Lancaster, Uk, July 25-29, 2011 : proceedings / by: (書目-電子資源)

System Level Design of Reconfigurable Systems-on-Chip by: (書目-電子資源)

Correct reasoning = essays on logic-based AI in honour of Vladimir Lifschitz / by: (書目-電子資源)

Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / by: (書目-電子資源)

Pro Java Programming 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: (書目-電子資源)

System analysis and modeling = about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers / by: (書目-電子資源)

Languages and Compilers for High Performance Computing = 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers by: (書目-電子資源)

Advanced functional programming = 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures / 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: (書目-電子資源)

Dynamically reconfigurable systems = architectures, design methods and applications / 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: (書目-電子資源)

Advances in design methods from modeling languages for embedded systems and SoC's = selected contributions on specification, design, and verification from FDL 2009 / by: (書目-電子資源)

Software-intensive systems and new computing paradigms = challenges and visions / by: (書目-電子資源)

Rewriting Techniques and Applications = 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 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: (書目-電子資源)

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: (書目-電子資源)

Software and Data Technologies = First International Conference, ICSOFT 2006, Setubal, Portugal, September 11-14, 2006, Revised Selected Papers / 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: (書目-電子資源)

ECOOP 2009--object-oriented programming = 23rd European conference, Genoa, Italy, July 6-10, 2009 ; proceedings / by: (書目-電子資源)

Guide to assembly language = a concise introduction / by: (書目-電子資源)

Hardware and software : verification and testing = 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings / by: (書目-電子資源)

Expert Oracle database architecture = Oracle database 9i, 10g, and 11g programming techniques and solutions / by: (書目-電子資源)

Functional and constraint logic programming = 20th international workshop, WFLP 2011, Odense, Denmark, July 19th : proceedings / by: (書目-電子資源)

Principles and practice of constraint programming = 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008 : proceedings / by: (書目-電子資源)

Embedded Systems Design = The ARTIST Roadmap for Research and Development / by: (書目-電子資源)

The definitive guide to Apache MyFaces and Facelets 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: (書目-電子資源)

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: (書目-電子資源)

Rewriting techniques and applications = 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings / 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: (書目-電子資源)

Dependable and historic computing = essays dedicated to Brian Randell on the occasion of his 75th birthday / 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: (書目-電子資源)

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: (書目-電子資源)

Graph transformations and model-driven engineering = essays dedicated to manfred nagl on the occasion of his 65th Birthday / by: (書目-電子資源)

Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part I / by: (書目-電子資源)

Software engineering for self-adaptive systems by: (書目-電子資源)

A Software Process Model Handbook for Incorporating People's Capabilities by: (書目-電子資源)

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

Beginning Python = From Novice to Professional / by: (書目-電子資源)

Computational logic in multi-agent systems = 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010, proceedings / by: (書目-電子資源)

Recent Advances in Parallel Virtual Machine and Message Passing Interface : = 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings by: (書目-電子資源)

Verification, model checking, and abstract = 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / by: (書目-電子資源)

The logic of categorial grammars = a deductive account of natural language syntax and semantics / by: (書目-電子資源)

Static analysis = 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings / by: (書目-電子資源)

Mathematica = a problem-centered approach / by: (書目-電子資源)

Declarative agent languages and technologies VII = 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers / by: (書目-電子資源)

Pattern calculus = computing with functions and structures / by: (書目-電子資源)

Formal Modeling and Analysis of Timed Systems : = Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, 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: (書目-電子資源)

Compiler design = analysis and transformation / by: (書目-電子資源)

Reliable Software Technology - Ada-Europe 2005 = 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings / 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: (書目-電子資源)

Logic programming = 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008, proceedings / 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: (書目-電子資源)

Generative and transformational techniques in software engineering III = international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers / by: (書目-電子資源)

Coding interviews = questions, analysis & solutions / by: (書目-電子資源)

Types for proofs and programs = international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers / by: (書目-電子資源)

Research in Attacks, Intrusions, and Defenses = 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012 : proceedings / by: (書目-電子資源)

Communicating Sequential Processes. The First 25 Years = Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / by: (書目-電子資源)

Applications and theory of Petri nets = 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings / by: (書目-電子資源)

Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings / by: (書目-電子資源)

Recent advances in algorithmic differentiation by: (書目-電子資源)

Beginning XNA 3.0 game programming = from novice to professional / by: (書目-電子資源)

Formal Methods for Components and Objects = 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures / 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: (書目-電子資源)

Abstract State Machines, B and Z = First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / by: (書目-電子資源)

Transactions on aspect-oriented software development VII = a common case study for aspect-oriented modeling / by: (書目-電子資源)

Mathematics of Program Construction = 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / by: (書目-電子資源)

Visual Basic 2008 Recipes = A Problem-Solution Approach / 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: (書目-電子資源)

Formal methods and software engineering = 14th international conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings / by: (書目-電子資源)

Testing software and systems = 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : 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: (書目-電子資源)

Pro SQL Server Disaster Recovery by: (書目-電子資源)

Theory of security and applications = Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers / by: (書目-電子資源)

Computer performance engineering = 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceedings / by: (書目-電子資源)

Recent advances in constraints = 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers / 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: (書目-電子資源)

Beginning groovy and grails = from novice to professional / 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: (書目-電子資源)

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: (書目-電子資源)

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

CONCUR 2005 - Concurrency Theory = 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings / by: (書目-電子資源)

Objects, models, components, patterns = 48th international conference, TOOLS 2010, Malaga, Spain, June 28, July 2, 2010 : proceedings / by: (書目-電子資源)

Beginning PHP and MySQL = From Novice to Professional, / by: (書目-電子資源)

Central European Functional Programming School = 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011 : revised selected papers / 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: (書目-電子資源)

Software composition = 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-電子資源)

Service research challenges and solutions for the future internet = S-Cube : towards engineering, managing and adapting service-based systems / 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: (書目-電子資源)

Computer science logic = 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, proceedings / by: (書目-電子資源)

Reverse Engineering of Object Oriented Code by: (書目-電子資源)

Systems, software and services process improvement = 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010, proceedings / 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: (書目-電子資源)

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : = 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings by: (書目-電子資源)

Computational logic in multi-agent systems = 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 : proceedings / by: (書目-電子資源)

Cooperative design, visualization, and engineering = 6th international conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009 : proceedings / by: (書目-電子資源)

Rigorous software engineering for service-oriented systems = results of the SENSORIA project on software engineering for service-oriented computing / by: (書目-電子資源)

Model driven engineering languages and systems = 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, proceedings.. Part II / by: (書目-電子資源)

Software language engineering = second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 : revised selected papers / 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: (書目-電子資源)

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: (書目-電子資源)

Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings / by: (書目-電子資源)

Automata for branching and layered temporal structures = an investigation into regularities of infinite transition systems / by: (書目-電子資源)

Principles and practice of constraint programming - CP 2010 = 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, proceedings / by: (書目-電子資源)

Integrated formal methods = 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings / by: (書目-電子資源)

Transactions on aspect-oriented software development VI = special issue on aspects and model-driven engineering / 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: (書目-電子資源)

Programming languages and systems = 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 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: (書目-電子資源)

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: (書目-電子資源)

Transactions on high-performance embedded architectures and compilers IV by: (書目-電子資源)

Principles and Practice of Constraint Programming - CP 2005 : = 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 by: (書目-電子資源)

Tests and proofs = 5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings / by: (書目-電子資源)

Programming languages = principles and paradigms / by: (書目-電子資源)

Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part II / by: (書目-電子資源)

Formal methods, foundations and applications = 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers / by: (書目-電子資源)

Computer science = the hardware, software and heart of it / by: (書目-電子資源)

Guide to ILDJIT by: (書目-電子資源)

Mathematics of program construction = 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : Proceedings / by: (書目-電子資源)

Trends in Functional Programming = 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers / by: (書目-電子資源)

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

Data engineering and management = second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers / by: (書目-電子資源)

OpenMP in a heterogeneous world = 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings / by: (書目-電子資源)

Practical Aspects of Declarative Languages = 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings / by: (書目-電子資源)

Modern compiler design 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: (書目-電子資源)

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: (書目-電子資源)

Instruction sequences for computer science 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: (書目-電子資源)

Silverlight recipes = a problem solution approach / by: (書目-電子資源)

Term Rewriting and Applications = 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings / by: (書目-電子資源)

Declarative Agent Languages and Technologies V = 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers / by: (書目-電子資源)

An introduction to PHP for scientists and engineers = Beyond JavaScript / by: (書目-電子資源)

Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers / by: (書目-電子資源)

Software language engineering = First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised selected papers / 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: (書目-電子資源)

FM 2009 = formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (書目-電子資源)

Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / by: (書目-電子資源)

Software architecture = 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, proceedings / by: (書目-電子資源)