Programming Techniques.

Foundation Silverlight 3 animation by: (書目-電子資源)

Zend Enterprise PHP patterns by: (書目-電子資源)

Beginning Google Maps API 3 by: (書目-電子資源)

Xna 3.0 game programming recipes = a problem-solution approach / by: (書目-電子資源)

ASP.NET MVC framework preview by: (書目-電子資源)

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

Foundation Flash CS4 for designers by: (書目-電子資源)

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

Practical Aspects of Embedded System Design using Microcontrollers 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: (書目-電子資源)

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

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

Pro Silverlight 3 in C# by: (書目-電子資源)

Languages, methodologies, and development tools for multi-agent systems = third international workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010 : revised selected papers / by: (書目-電子資源)

Object oriented simulation = a modeling and programming perspective / by: (書目-電子資源)

Pro mapping in BizTalk Server 2009 by: (書目-電子資源)

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

Winning design! = LEGO MINDSTORMS NXT design patterns for fun and competition / by: (書目-電子資源)

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

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

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

How to recruit and hire great software engineers = Building a Crack Development Team / by: (書目-電子資源)

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

Beginning ASP.NET 4 in C# 2010 by: (書目-電子資源)

Pro WF = Windows Workflow in .NET 3.5 / by: (書目-電子資源)

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

Illustrated C# 2008 by: (書目-電子資源)

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

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

Pro ASP.NET 3.5 server controls and Ajax components by: (書目-電子資源)

Smart home automation with Linux by: (書目-電子資源)

Flash Builder and Flash Catalyst = the new workflow / by: (書目-電子資源)

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

Pro Novell Open Enterprise Server by: (書目-電子資源)

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

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

Origins and foundations of computing = in cooperation with Heinz Nixdorf MuseumsForum / by: (書目-電子資源)

Learn Blackberry games development by: (書目-電子資源)

Large-scale scientific computing = 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 : revised papers / by: (書目-電子資源)

Guide to RISC Processors = for Programmers and Engineers / by: (書目-電子資源)

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

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

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

A 25-Year perspective on logic programming = achievements of the Italian Association for Logic Programming, GULP / 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: (書目-電子資源)

Genetic programming theory and practice VII by: (書目-電子資源)

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

Pro C# 2010 and the .Net 4 platform by: (書目-電子資源)

End-User development = 2nd international symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings / by: (書目-電子資源)

Self-organizing architectures = First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009 : revised selected and invited 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: (書目-電子資源)

Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming by: (書目-電子資源)

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

Pro RFID in BizTalk Server 2009 by: (書目-電子資源)

Pro smartphone cross-platform development = iPhone, BlackBerry, Windows Mobile, and Android development and distribution / by: (書目-電子資源)

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

Computer algebra in scientific computing = 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings / by: (書目-電子資源)

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

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

Agile Development with ICONIX Process = People, Process, and Pragmatism / 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: (書目-電子資源)

Zune game development using XNA 3.0 by: (書目-電子資源)

From Program to Product = Turning Your Code into A Saleable Product / by: (書目-電子資源)

Languages, Methodologies and Development Tools for Multi-Agent Systems = First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. 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: (書目-電子資源)

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

Job Scheduling Strategies for Parallel Processing = 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers / by: (書目-電子資源)

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

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

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

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

Success with Microsoft Dynamics CRM 4.0 = implementing customer relationship management / by: (書目-電子資源)

Pro ASP.NET 3.5 in C# 2008 = includes Silverlight 2 / by: (書目-電子資源)

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

Spring persistence = a running start / by: (書目-電子資源)

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

Logic-based program synthesis and transformation = 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers / 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: (書目-電子資源)

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

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

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

Iterating Infusion = Clearer Views of Objects, Classes, and Systems / by: (書目-電子資源)

Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 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: (書目-電子資源)

Experimental algorithms = 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012 : proceedings / by: (書目-電子資源)

Social networking spaces = from Facebook to Twitter and everything in between : a step-by-step introduction to social networks for beginners and everyone else / by: (書目-電子資源)

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

Multi-agent programming = languages, tools and applications / by: (書目-電子資源)

Foundation form creation with Adobe LiveCycle Designer ES by: (書目-電子資源)

Large-scale scientific computing = 6th international conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007 : revised 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: (書目-電子資源)

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

The essential guide to Flash CS4 by: (書目-電子資源)

Higher-order components for grid programming = making grids more usable / by: (書目-電子資源)

Swarm, evolutionary, and memetic computing = first International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010 : proceedings / 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: (書目-電子資源)

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

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

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

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

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

Pro C# 2005 and the .NET 2.0 Platform 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: (書目-電子資源)

Microsoft Sharepoint 2010 = building solutions for SharePoint 2010 / 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: (書目-電子資源)

Google Maps Mashups with Google Mapplets 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: (書目-電子資源)

Beginning xml with C# 2008 = from novice to professional / by: (書目-電子資源)

Office and SharePoint 2010 user's guide = integrating SharePoint with Excel, Outlook, Access and Word / by: (書目-電子資源)

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

Foundation website creation with CSS, XHTML, and JavaScript by: (書目-電子資源)

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

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

Foundation XML and E4X for Flash and Flex by: (書目-電子資源)

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

Swarm, evolutionary, and memetic computing = second international conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011 : proceedings.. Part II / 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: (書目-電子資源)

Building XNA 2.0 games = a practical guide for independent game development / 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: (書目-電子資源)

Beginning C# 2008 = from novice to professional / by: (書目-電子資源)

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

Pro Java EE spring patterns = best practices and design strategies implementing java EE patterns with the spring framework / by: (書目-電子資源)

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

Applications of Declarative Programming and Knowledge Management = 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers / by: (書目-電子資源)

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

Beginning Python visualization = crafting visual transformation scripts / by: (書目-電子資源)

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

Logics in artificial intelligence = 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / by: (書目-電子資源)

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

JavaFX special effects = taking Java Ria to the extreme with animation, multimedia, and game elements / by: (書目-電子資源)

Data Mining in Bioinformatics by: (書目-電子資源)

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

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

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

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

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

Applications of Evolutionary Computing = Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC / by: (書目-電子資源)

Foundation Expression Blend 2 = building applications in WPF and Silverlight / 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: (書目-電子資源)

LEGO MINDSTORMS NXT 2.0 = the king's treasure / by: (書目-電子資源)

The Best of Verity Stob = Highlights of Verity Stob's Famous Columns From EXE, Dr. Dobb's Journal, and The Register / by: (書目-電子資源)

Software verification and analysis = an integrated, hands-on approach / 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: (書目-電子資源)

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

Pro Spring dynamic modules for OSGi service platforms by: (書目-電子資源)

Introduction to Windows Azure = an introduction to cloud computing using Microsoft Windows Azure / 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: (書目-電子資源)

Practical Prototype and script.aculo.us by: (書目-電子資源)

Genetic programming theory and practice VIII by: (書目-電子資源)

Pro Web 2.0 Application Development with GWT by: (書目-電子資源)

Introduction to databases = from biological to spatio-temporal / by: (書目-電子資源)

Static analysis = 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings / 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: (書目-電子資源)

Modelling autonomic communications environments = third IEEE international workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008 : proceedings / by: (書目-電子資源)

Algorithms and programming = problems and solutions / 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: (書目-電子資源)

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

Google Guice: Agile Lightweight Dependency Injection Framework 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: (書目-電子資源)

Logic programming, knowledge representation, and nonmonotonic reasoning = essays dedicated to Michael Gelfond on the occasion of his 65th birthday / 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: (書目-電子資源)

Pro Visual C++/CLI and the .NET 3.5 Platform. by: (書目-電子資源)

Foundation silverlight 2 animation by: (書目-電子資源)

The essential guide to Dreamweaver CS4 With CSS, Ajax, and PHP by: (書目-電子資源)

Pro objective-C design patterns for iOS by: (書目-電子資源)

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

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

Computer Algebra in Scientific Computing : = 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings by: (書目-電子資源)

Objective-C for absolute beginners = iPhone, iPad, and Mac programming made easy / by: (書目-電子資源)

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

Programming with multiple precision by: (書目-電子資源)

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

Build your own CNC machine by: (書目-電子資源)

Pro LINQ = Language Integrated Query in C# 2010 / by: (書目-電子資源)

Accelerated Silverlight 3 by: (書目-電子資源)

Beginning Java and Flex = migrating Java, Spring, Hibernate, and Maven developers to Adobe Flex / by: (書目-電子資源)

The definitive guide to Lift = a Scala-based Web framework / by: (書目-電子資源)

Object-Oriented Technology. ECOOP 2007 Workshop Reader = ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports / 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: (書目-電子資源)

Foundations of CentOS Linux = enterprise Linux on the cheap / by: (書目-電子資源)

The essential guide to processing for flash developers by: (書目-電子資源)

Foundation expression blend 3 with silverlight by: (書目-電子資源)

Patterns, programming and everything by: (書目-電子資源)

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

Pro web gadgets = across iPhone, Android, Windows, Mac, iGoogle and more / 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: (書目-電子資源)

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

Genetic Programming = 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings / by: (書目-電子資源)

Pro WPF in VB 2010 = Windows presentation foundation in .NET 4 / by: (書目-電子資源)

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

Beginning Visual Web Programming in VB .NET = From Novice to Professional / by: (書目-電子資源)

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

Pro ADO.NET 2.0 by: (書目-電子資源)

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

Leveraging Knowledge for Innovation in Collaborative Networks = 10th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2009, Thessaloniki, Greece, October 7-9, 2009 : proceedings / by: (書目-電子資源)

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

A primer on scientific programming with Python 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: (書目-電子資源)

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

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

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

Euro-Par 2010 - parallel processing = 16th International Euro-Par Conference, Ischia, Italia, August 31 - September 3, 2010, proceedings.. Part I / by: (書目-電子資源)

Parallel programming = for multicore and cluster systems / 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: (書目-電子資源)

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

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

Expert .NET Micro Framework by: (書目-電子資源)

The Definitive Guide to Java Swing 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: (書目-電子資源)

Introducing aviary by: (書目-電子資源)

Beginning Java EE 6 Platform with GlassFish 3 = from novice to professional / 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: (書目-電子資源)

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

Evolutionary computation, machine learning and data mining in bioinformatics = 6th European conference, EVOBIO 2008, Naples, Italy, March 26-28, 2008. proceedings / 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: (書目-電子資源)

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

Guide to HTML, JavaScript and PHP = for scientists and engineers / by: (書目-電子資源)

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

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

Genetic programming theory and practice IX by: (書目-電子資源)

Foundation Flex for Developers = Data-Driven Applications with PHP, ASP.NET, ColdFusion, and LCDS / by: (書目-電子資源)

Diagrammatic Representation and Inference = 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings / by: (書目-電子資源)

Reconfigurable Computing = Accelerating Computation with Field-Programmable Gate Arrays / by: (書目-電子資源)

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

The essential guide to Flash games = building interactive entertainment with ActionScript 3.0 / 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: (書目-電子資源)

IEC 61131-3 = programming industrial automation systems : concepts and programming languages, requirements for programming systems, decision-making aids / by: (書目-電子資源)

Foundation ActionScript 3.0 for Flash and Flex by: (書目-電子資源)

Practical computing on the cell broadband engine by: (書目-電子資源)

Practical API design = confessions of a java framework architect / by: (書目-電子資源)

Pro Flex on Spring by: (書目-電子資源)

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

Pro VB 2008 and the .NET 3.5 Platform by: (書目-電子資源)

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

System-level Test and Validation of Hardware/Software Systems by: (書目-電子資源)

Expert .NET Delivery Using NAnt and CruiseControl.NET by: (書目-電子資源)

Beginning Web Development, Silverlight, and ASP.NET AJAX = From Novice to Professional / by: (書目-電子資源)

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

Production Rendering = Design and Implementation / by: (書目-電子資源)

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

Pro Silverlight 3 in VB by: (書目-電子資源)

Implementing Semantic Web services = the SESA framework / by: (書目-電子資源)

Grails persistance with GORM and GSQL by: (書目-電子資源)

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

Transactions on pattern languages of programming II = special issue on applying patterns / by: (書目-電子資源)

AdvancED Flex Application Development = Building Rich Media X / by: (書目-電子資源)

Web standards solutions = the markup and style handbook / 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: (書目-電子資源)

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

A primer on scientific programming with Python by: (書目-電子資源)

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

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

Inductive Logic Programming = 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / 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: (書目-電子資源)

Deontic logic in computer science = 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings / by: (書目-電子資源)

Getting startED with Dojo by: (書目-電子資源)

Pro SQL Server 2008 policy-based management 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: (書目-電子資源)

Static Analysis = 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / by: (書目-電子資源)

Applications of declarative programming and knowledge management = 17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 ; revised selected papers / by: (書目-電子資源)

NetBeans Ruby and Rails IDE with JRuby 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: (書目-電子資源)

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

ASP.NET 1.1 Solutions Toolkit by: (書目-電子資源)

Logic Programming with Prolog by: (書目-電子資源)

DOM Scripting = Web Design with JavaScript and the Document Object Model / 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: (書目-電子資源)

Beginning Silverlight 4 in C# by: (書目-電子資源)

Probabilistic Inductive Logic Programming = Theory and Applications / by: (書目-電子資源)

Mule 2 = a developer's guide to ESB and integration platform / by: (書目-電子資源)

More iPhone cool projects = Cool developers reveal the details of their cooler apps and discuss their iPad development experiences / by: (書目-電子資源)

BlackBerry for work = productivity for professionals / by: (書目-電子資源)

Pro WPF in C# 2010 = Windows presentation foundation in .NET 4.0 / by: (書目-電子資源)

The Definitive Guide to Terracotta = Cluster the JVM for Spring, Hibernate, and POJO Scalability / by: (書目-電子資源)

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

Multicore programming using the ParC language by: (書目-電子資源)

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

Pro Windows Server AppFabric by: (書目-電子資源)

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

Beginning SQL server modeling = model-driven ppplication development in SQL server 2008 / by: (書目-電子資源)

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

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

Getting started with Windows Live Movie Maker by: (書目-電子資源)

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

Beginning smartphone web development = building JavaScript, CSS, HTML and Ajax-based applications for iPhone, Android, Palm Pre, BlackBerry, Windows Mobile, and Nokia S60 / by: (書目-電子資源)

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

HPC@Green IT = green high performance computing methods / by: (書目-電子資源)

Don't spend a dime = the path to low-cost computing / by: (書目-電子資源)

Computational issues in fluid construction grammar = a new formalism for the representation of lexicons and grammars / by: (書目-電子資源)

Applications of evolutionary computation = EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011 : proceedings.. Part II / 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: (書目-電子資源)

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

Genetic Programming Theory and Practice.. V by: (書目-電子資源)

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

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

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

Introduction to programming with Fortran = with coverage of Fortran 90, 95, 2003, 2008 and 77 / 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: (書目-電子資源)

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

Algorithmic decision theory = second international conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011 : proceedings / by: (書目-電子資源)

Pro Perl Debugging = From Professional to Expert / by: (書目-電子資源)

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

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

Advanced BlackBerry development by: (書目-電子資源)

Getting startED with CSS by: (書目-電子資源)

Time for verification = essays in memory of Amir Pnueli / 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: (書目-電子資源)

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

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 Silverlight for the Enterprise by: (書目-電子資源)

Inductive Logic Programming = 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings / by: (書目-電子資源)

Logics in artificial intelligence = 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012 : proceedings / by: (書目-電子資源)

Python 3 for absolute beginners by: (書目-電子資源)

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

Distributed computing = 22nd international symposium, DISC 2008, Arcachon, France, September 22-24, 2008 : proceedings / by: (書目-電子資源)

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

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

Evolutionary computation, machine learning and data mining in bioinformatics = 7th European Conference, EvoBIO 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings / by: (書目-電子資源)

Euro-Par 2010 - parallel processing = 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, proceedings.. Part II / by: (書目-電子資源)

Foundations of Popfly = Rapid Mashup Development / by: (書目-電子資源)

Generic and indexed programming = International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures / by: (書目-電子資源)

Pro Dynamic .NET 4.0 applications = data-driven programming for the .NET framework / 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: (書目-電子資源)

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

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

Signals and systems with MATLAB by: (書目-電子資源)

Logic Based Program Synthesis and Transformation = 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers / by: (書目-電子資源)

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

Practical Web 2.0 Applications with PHP by: (書目-電子資源)

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

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

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

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

Practical Ext JS projects with Gears by: (書目-電子資源)

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

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

Learn Java for Android development by: (書目-電子資源)

Under control = governance across the enterprise / 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: (書目-電子資源)

Beginning ASP.NET E-Commerce in C# = from novice to professional / by: (書目-電子資源)

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

Ubuntu on a dime = the path to low-cost computing / by: (書目-電子資源)

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

Computer performance engineering = 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : proceedings / 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: (書目-電子資源)

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

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

End-user development = third international symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011 : proceedings / by: (書目-電子資源)

Applications of evolutionary computing = EvoWorkshops 2008, EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008 : proceedings / by: (書目-電子資源)

Evolutionary and biologically inspired music, sound, art and design = first international conference, EvoMUSART 2012, Malaga, Spain, April 11-13, 2012 : proceedings / by: (書目-電子資源)

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

Constraint handling rules = current research topics / by: (書目-電子資源)

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

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

The definitive guide to SugarCRM = better business applications / 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: (書目-電子資源)

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

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

Wireless sensor networks = 6th European conference, EWSN 2009, Cork, Ireland, February 11-13, 2009 ; proceedings / by: (書目-電子資源)

Foundation game design with Flash by: (書目-電子資源)

Winning Lego Mindstorms Programming by: (書目-電子資源)

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

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

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

Genetic programming = 12th European conference, EuroGP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings / by: (書目-電子資源)

Applications of evolutionary computation = EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011 : proceedings.. Part I / by: (書目-電子資源)

AdvancED game design with Flash 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: (書目-電子資源)

Inductive Logic Programming = 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers / by: (書目-電子資源)

Genetic Programming Theory and Practice II 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: (書目-電子資源)

Multiparadigm constraint programming languages by: (書目-電子資源)

Practical Ruby Projects = Ideas for the Eclectic Programmer / by: (書目-電子資源)

Advanced parallel processing technologies = 9th international symposium, APPT 2011, Shanghai, China, September 26-27, 2011 : 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: (書目-電子資源)

Pro SQL Server 2005 Integration Services 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: (書目-電子資源)

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

Evolving OpenMP in an age of extreme parallelism = 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3 - 5, 2009 ; Proceedings / by: (書目-電子資源)

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

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

Applications of declarative programming and knowledge management = 18th international conference, INAP 2009, Evora, Portugal, November 3-5, 2009 : revised selected papers / by: (書目-電子資源)

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

Pro Web 2.0 mashups = remixing data and Web services / 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: (書目-電子資源)

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

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

Beginning Object-Oriented ASP.NET 2.0 with VB.NET = From Novice to Professional / 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: (書目-電子資源)

Pro business applications with Silverlight 4 by: (書目-電子資源)

Pro ODP .NET for Oracle database 11g by: (書目-電子資源)

Software Engineering for Multi-Agent Systems III = Research Issues and Practical Applications / by: (書目-電子資源)

Beginning iPhone games development by: (書目-電子資源)

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

Euro-Par 2009 parallel processing workshops = HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009 : revised selected papers / by: (書目-電子資源)

Expert oracle practices = oracle database administration from the oak table / by: (書目-電子資源)

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

Fundamentals of software engineering = third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers / by: (書目-電子資源)

Beginning VB 2008 = from novice to professional / by: (書目-電子資源)

Advances in grid and pervasive computing = 6th international conference, GPC 2011, Oulu, Finland, May 11-13, 2011 : proceedings / by: (書目-電子資源)

Progress in VLSI design and test = 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceedings / by: (書目-電子資源)

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

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

Experimental algorithms = 10th international symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011 : proceedings / 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: (書目-電子資源)

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

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

Model checking and artificial intelligence = 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers / by: (書目-電子資源)

Genetic programming = 15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings / by: (書目-電子資源)

Advanced functional programming = 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures / by: (書目-電子資源)

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

Visual C# 2010 recipes = a problem-solution approach / by: (書目-電子資源)

Soft computing methods for microwave and millimeter-wave design problems by: (書目-電子資源)

Regular Expression Recipes for Windows Developers = A Problem-Solution Approach / by: (書目-電子資源)

Hierarchical Bayesian Optimization Algorithm = Toward a New Generation of Evolutionary Algorithms / by: (書目-電子資源)

MATLAB for psychologists by: (書目-電子資源)

Windows azure platform by: (書目-電子資源)

Logic Programming and Nonmonotonic Reasoning = 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings / 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: (書目-電子資源)

Genetic programming = 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008 : proceedings / by: (書目-電子資源)

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

Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings / by: (書目-電子資源)

Conceptual Modeling - ER 2009 = 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009 : Proceedings / by: (書目-電子資源)

MooTools essentials = the official MooTools reference for JavaScript and Ajax development / by: (書目-電子資源)

Pro performancepoint server 2007 = building business intelligence solutions / by: (書目-電子資源)

Pro LINQ object relational mapping with C# 2008 by: (書目-電子資源)

Trustworthy global computing = 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers / by: (書目-電子資源)

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

CONCUR 2008 - Concurrency Theory = 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings / by: (書目-電子資源)

Distributed computing and networking = 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 : proceedings / by: (書目-電子資源)

Distributed applications and interoperable systems = 8thIFIP WG 6.1 international conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. proceedings / by: (書目-電子資源)

Pro Silverlight 2 in C# 2008 by: (書目-電子資源)

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

Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings by: (書目-電子資源)

Formal verification of object-oriented software = international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers / by: (書目-電子資源)

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

Artificial intelligence = an international perspective / by: (書目-電子資源)

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

Advances in grid and pervasive computing = 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings / by: (書目-電子資源)

Pro IBM WebSphere Application Server 7 Internals by: (書目-電子資源)

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

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

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

Pro ADO.NET data services = bworking with RESTful data / 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 intelligence and intelligent systems = 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010, proceedings / by: (書目-電子資源)

The Essential Guide to Flex 3 by: (書目-電子資源)

Network control and optimization = Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers / by: (書目-電子資源)

Pro Python system administration by: (書目-電子資源)

Distributed computing = 26th international symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012 : proceedings / by: (書目-電子資源)

The definitive guide to Apache MyFaces and Facelets by: (書目-電子資源)

Business process management = 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, proceedings / by: (書目-電子資源)

The definitive guide to PC-BSD by: (書目-電子資源)

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

Pro Excel financial modeling = building models for technology startups / by: (書目-電子資源)

Windows mobile game development = Building Games for the Windows Phone and Other Mobile Devices / by: (書目-電子資源)

Semantic web rules = international symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010 : proceedings / by: (書目-電子資源)

Software development and professional practice 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: (書目-電子資源)

Building iPhone OS accessories = use the iPhone accessories API to control and monitor devices / by: (書目-電子資源)

PHP objects, patterns, and practice 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: (書目-電子資源)

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

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

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

Applications of evolutionary computation = EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Malaga, Spain, April 11-13, 2012 : proceedings / by: (書目-電子資源)

Beginning VB .NET 1.1 Databases = From Novice to Professional / 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: (書目-電子資源)

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

Ontologies for Agents: Theory and Experiences by: (書目-電子資源)

Logic-based program synthesis and transformation = 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers / by: (書目-電子資源)

Pattern calculus = computing with functions and structures / 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: (書目-電子資源)

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

A primer on scientific programming with Python by: (書目-電子資源)

Foundations of agile Python development by: (書目-電子資源)

Expert VB 2008 business objects by: (書目-電子資源)

Reliable Software Technology - Ada-Europe 2005 = 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings / by: (書目-電子資源)

Coordination models and languages = 13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings / by: (書目-電子資源)

Job Scheduling Strategies for Parallel Processing : = 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers 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: (書目-電子資源)

The essential guide to open source flash development by: (書目-電子資源)

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

Logic programming = 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008, proceedings / by: (書目-電子資源)

Practical liferay = Java-based portal applications development / 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: (書目-電子資源)

Genetic programming = 14th European conference, EuroGP 2011, Torino, Italy, April 27-29, 2011 : proceedings / by: (書目-電子資源)

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

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

Groovy and Grails recipes by: (書目-電子資源)

Progress in Artificial Intelligence : = 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings by: (書目-電子資源)

Large-scale scientific computing = 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected 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: (書目-電子資源)

Beginning Java EE 6 Platform with GlassFish 3 by: (書目-電子資源)

Spring recipes by: (書目-電子資源)

Pro HTML5 programming = powerful APIs for richer Internet application development / by: (書目-電子資源)

Multiagent system technologies = 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings / by: (書目-電子資源)

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

The definitive guide to Netbeans Platform by: (書目-電子資源)

Pro SpringSource dm Server by: (書目-電子資源)

Inductive logic programming = 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011 : revised selected papers / by: (書目-電子資源)

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

Algorithms and programming = problems and solutions / 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: (書目-電子資源)

Beginning Silverlight 2 = from novice to professional / by: (書目-電子資源)

Beginning iPhone development = exploring the iPhone SDK / by: (書目-電子資源)

Creating flash widgets with Flash CS4 and ActionScript 3.0 by: (書目-電子資源)

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

Global Computing = IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers / by: (書目-電子資源)

Graph structures for knowledge representation and reasoning = second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers / by: (書目-電子資源)

Scalable parallel programming applied to H.264/AVC decoding by: (書目-電子資源)

Runtime verification = second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / by: (書目-電子資源)

Pro SQL Server 2008 analytics = delivering sales and marketing dashboards / by: (書目-電子資源)

Swarm, evolutionary, and memetic computing = second international conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011 : proceedings.. Part I / by: (書目-電子資源)

Genetic programming = 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings / by: (書目-電子資源)

Pro LINQ = Language Integrated Query in VB 2008 / by: (書目-電子資源)

Practical Eclipse Rich Client Platform projects by: (書目-電子資源)

Foundation Actionscript 3.0 image effects by: (書目-電子資源)

Guide to Assembly Language Programming in Linux by: (書目-電子資源)

Beginning JSF 2 APIs and JBoss Seam 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: (書目-電子資源)

Security in E-Learning by: (書目-電子資源)

Formal methods and software engineering = 14th international conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 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: (書目-電子資源)

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

Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday / 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: (書目-電子資源)

Coders at work = reflections on the craft of programming / 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: (書目-電子資源)

Expert oracle and Java Security = programming secure Oracle database applications with Java / 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: (書目-電子資源)

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

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

Distributed Computing and Networking = 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings / by: (書目-電子資源)

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

Reconfigurable computing = architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings / by: (書目-電子資源)

Pro NetBeans IDE 6 Rich Client Platform Edition by: (書目-電子資源)

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

Coordination Models and Languages = 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings / by: (書目-電子資源)

Distributed computing = 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010, proceedings / by: (書目-電子資源)

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

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

Beginning Rails 3 by: (書目-電子資源)

Reasoning Robots = The Art and Science of Programming Robotic Agents / by: (書目-電子資源)

Eclipse Rich Ajax Platform = ringing Rich client into the web / by: (書目-電子資源)

Explorations in quantum computing by: (書目-電子資源)

Expert C# 2008 business objects by: (書目-電子資源)

Distributed Computing : = 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, 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: (書目-電子資源)

Multiagent system technologies = 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010, proceedings / by: (書目-電子資源)

The definitive guide to Grails by: (書目-電子資源)

Beginning MAC OS X Snow Leopard server = from solo install to enterprise integration / by: (書目-電子資源)

Foundation Flex for Designers by: (書目-電子資源)

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

Pro .NET 1.1 Remoting, Reflection, and Threading by: (書目-電子資源)

Beginning BlackBerry development by: (書目-電子資源)

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

Pro WPF with VB 2008 = Windows Presentation Foundation with .NET 3.5 / by: (書目-電子資源)

Pro WPF in C# 2008 = Windows Presentation Foundation with .NET 3.5 / by: (書目-電子資源)

The game maker's companion = game development : the journey continues / by: (書目-電子資源)

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

The definitive guide to SOA = oracle service bus / by: (書目-電子資源)

Silverlight 2 Visual Essentials by: (書目-電子資源)

Facebook API developers guide by: (書目-電子資源)

Foundations of C++/CLI = The Visual C++ Language for .NET 3.5 / by: (書目-電子資源)

LINQ for Visual c# 2008 by: (書目-電子資源)

Design driven testing = test smarter, not harder / by: (書目-電子資源)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (書目-電子資源)

Foundation ActionScript 3.0 with Flash CS3 and Flex 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: (書目-電子資源)

The essential guide to 3d in Flash 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: (書目-電子資源)

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

DBA survivor = become a rock star DBA / by: (書目-電子資源)

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

Office 2010 workflow = developing collaborative solutions / by: (書目-電子資源)

Sharepoint 2010 as a development platform by: (書目-電子資源)

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

Beginning Lua with World of Warcraft addons by: (書目-電子資源)

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

Pro ASP.NET 4 CMS = advanced techniques for C# developers using the .NET 4 Framework / by: (書目-電子資源)

Middleware 2008 = ACM-IFIP-USENIX 9th International Middleware Conference, Leuven Belgium, December 1-5 2008, proceedings / by: (書目-電子資源)

Beginning database-driven application development in Java EE = using GlassFish / by: (書目-電子資源)

Pro Silverlight 2 in VB 2008 by: (書目-電子資源)

Scripting intelligence = Web 3.0 information gathering and processing / by: (書目-電子資源)

PHP object-oriented solutions by: (書目-電子資源)

Applications of evolutionary computing = EvoWorkshops 2009 : EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tubingen, Germany, April 15-17, 2009. Proceedings / by: (書目-電子資源)

Transactions on aspect-oriented software development VI = special issue on aspects and model-driven engineering / by: (書目-電子資源)

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

Expert SQL server 2008 development by: (書目-電子資源)

Learn Xcode tools for Mac OS X and iPhone development by: (書目-電子資源)

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

Practical palm pre webOS projects by: (書目-電子資源)

Pro Linux embedded systems by: (書目-電子資源)

Pro SharePoint 2010 solution development = combining .NET, SharePoint, and Office 2010 / by: (書目-電子資源)

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

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

Recent advances in the message passing interface = 19th European MPI Users' group meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012 : proceedings / by: (書目-電子資源)

Distributed computing and networking = 10th international conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009 : proceedings / 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: (書目-電子資源)

Factors and factorizations of graphs = proof techniques in factor theory / by: (書目-電子資源)

Distributed computing = 25th international symposium, DISC 2011, Rome, Italy, September 20-22, 2011 : proceedings / by: (書目-電子資源)

Pro ASP.NET MVC framework by: (書目-電子資源)

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

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

Software Project Secrets = Why Software Projects Fail / by: (書目-電子資源)

Rule-based reasoning, programming, and applications = 5th international symposium, RULEML 2011, Europe, Barcelona, Spain, July 19-21 2011 : proceedings / by: (書目-電子資源)

Software process improvement = 16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009 : proceedings / by: (書目-電子資源)

Applications of Agent Technology in Traffic and Transportation by: (書目-電子資源)

Distributed Computing - IWDC 2005 : = 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings by: (書目-電子資源)

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

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

Recent advances in the message passing interface = 17th European MPI Users' Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010, proceedings / by: (書目-電子資源)

Foundation Flash CS3 Video by: (書目-電子資源)

Building the Sharepoint user experience by: (書目-電子資源)

Pro zend framework thniques = build a full CMS project / by: (書目-電子資源)

Ambient Networks : = 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005, Proceedings by: (書目-電子資源)

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

Self-sustaining systems = first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers / by: (書目-電子資源)

Accelerated GWT = Building Enterprise Google Web Toolkit Applications / by: (書目-電子資源)

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

Parallel problem solving from nature - PPSN X = 10th international conference, Dortmund, Germany, September 13-17, 2008 : proceedings / by: (書目-電子資源)

Beginning Google web toolkit = from novice to professional / by: (書目-電子資源)

Beginning django e-commerce by: (書目-電子資源)

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