Software Engineering/Programming and Operating Systems.

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

The Testing Network = An Integral Approach to Test Activities in Large Software Projects / by: (書目-電子資源)

Embedded systems specification and design languages = selected contributions from FDL'07 / by: (書目-電子資源)

Ingredients for Successful System Level Design Methodology by: (書目-電子資源)

Reflections on the Teaching of Programming = Methods and Implementations / by: (書目-電子資源)

Migratory interactive applications for ubiquitous environments by: (書目-電子資源)

Computer-Aided Innovation (CAI) = IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy / by: (書目-電子資源)

Advances in software engineering = Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures / by: (書目-電子資源)

Transactions on computational science II by: (書目-電子資源)

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

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

A practical introduction to hardware/software codesign by: (書目-電子資源)

Applied time series analysis and innovative computing by: (書目-電子資源)

Intelligent automation and computer engineering by: (書目-電子資源)

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

Coordination models and languages = 12th international conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings / by: (書目-電子資源)

Systems, software and services process improvement = 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010, proceedings / by: (書目-電子資源)

Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / by: (書目-電子資源)

Applied parallel and scientific computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part I / by: (書目-電子資源)

Membrane computing = 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : revised selected papers / by: (書目-電子資源)

Design of Adaptive Finite Element Software = The Finite Element Toolbox ALBERTA / by: (書目-電子資源)

Reflections on the history of computing = preserving memories and sharing stories / by: (書目-電子資源)

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

Expert F# 3.0 by: (書目-電子資源)

Mac programming for absolute beginners by: (書目-電子資源)

End-user development = third international symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 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: (書目-電子資源)

Ad Hoc networks = first international conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009 : revised selected papers / by: (書目-電子資源)

Automated technology for verification and analysis = 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings / 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: (書目-電子資源)

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

Information Processing and Security Systems by: (書目-電子資源)

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

Advances in Computer and Information Sciences and Engineering by: (書目-電子資源)

Parallel computing technologies = 11th international conference, PaCT 2011, Kazan, Russia, September 19-23, 2011 : proceedings / by: (書目-電子資源)

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

Information and communication on technology for the fight against global warming = first international conference, ICT-GLOW 2011, Toulouse, France, August 30-31, 2011 : proceedings / by: (書目-電子資源)

Open Source Messaging Application Development = Building and Extending Gaim / 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: (書目-電子資源)

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

Computational science and its applications, ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings .. II by: (書目-電子資源)

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

Computer safety, reliability, and security = 27th international conference, Safecomp 2008 Newcastle upon Tyne, UK, September 22-25, 2008 proceedings / by: (書目-電子資源)

Video processing in the cloud by: (書目-電子資源)

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

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

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

Arduino and Kinect projects = Design, build, blow their minds / by: (書目-電子資源)

The web startup success guide by: (書目-電子資源)

Information system development = towards a service provision society / by: (書目-電子資源)

Cloud computing = First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009 : proceedings / by: (書目-電子資源)

UNIX operating system = the development tutorial via UNIX kernel services / by: (書目-電子資源)

Information systems, technology and management = Third International Conference, ICISTM 2009, Ghaziabad, India, March 12-13, 2009. Proceedings / by: (書目-電子資源)

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

Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I / by: (書目-電子資源)

Engineering secure software and systems = second international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010 : proceedings / by: (書目-電子資源)

The future of EU agricultural markets by AGMEMOD by: (書目-電子資源)

Mathematics and computation, a contemporary view = the abel symposium 2006 proceedings of the third abel symposium, Alesund, Norway, May 25-27, 2006 / by: (書目-電子資源)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part II / by: (書目-電子資源)

Mathematical software - ICMS 2010 = Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, proceedings / by: (書目-電子資源)

Information systems, technology and management = 4th international conference, ICISTM 2010, Bangkok, Thailand, March 11-13, 2010 : proceedings / by: (書目-電子資源)

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

Ada for software engineers (second edition with Ada 2005) by: (書目-電子資源)

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

Issues in Multi-Agent Systems = The AgentCities.ES Experience / by: (書目-電子資源)

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. I / by: (書目-電子資源)

VLSI-SoC: Forward-Looking Trends in IC and Systems Design = 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010 : revised selected papers / by: (書目-電子資源)

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

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

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

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

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

Interconnect-Centric Design for Advanced SoC and NoC by: (書目-電子資源)

Shared Memory Parallel Programming with Open MP = 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004 / by: (書目-電子資源)

Euro-Par 2005 Parallel Processing = 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings / by: (書目-電子資源)

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

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

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

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

Electrical engineering and applied computing by: (書目-電子資源)

Programming for engineers = a foundational approach to learning C and Matlab / by: (書目-電子資源)

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

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

Hardware-dependent software = principles and practice / by: (書目-電子資源)

Practical introduction to computer architecture by: (書目-電子資源)

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

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

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

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / by: (書目-電子資源)

Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics by: (書目-電子資源)

Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part II / by: (書目-電子資源)

Tools for High Performance Computing = Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart / 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: (書目-電子資源)

Software exorcism = a handbook for debugging and optimizing legacy code / by: (書目-電子資源)

A Software Process Model Handbook for Incorporating People's Capabilities 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: (書目-電子資源)

Computer, informatics, cybernetics and applications = proceedings of the CICA 2011 / by: (書目-電子資源)

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

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

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

The seductive computer = why IT systems always fail / by: (書目-電子資源)

High performance computing for computational science = VECPAR 2010 : 9th international conference, Berkeley, CA, USA, June 22-25, 2010 : revised selected papers / by: (書目-電子資源)

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

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

The engineering of mixed reality systems by: (書目-電子資源)

Compiler construction = 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / by: (書目-電子資源)

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

Human benefit through the diffusion of information systems design science research = IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30-April 1, 2010 : proceedings / by: (書目-電子資源)

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

Business process technology = a unified view on business processes, workflows and enterprise applications / by: (書目-電子資源)

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

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

Middleware 2009 = ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 : proceedings / by: (書目-電子資源)

Web Component Development with Zope 3 by: (書目-電子資源)

Parallel computing technologies = 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009 : proceedings / by: (書目-電子資源)

High performance computing systems and applications = 23rd International Symposium, HPCS 2009, Kingston, ON, Canada, June 14-17, 2009 : revised selected papers / by: (書目-電子資源)

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

A Programmer's Introduction to C# 2.0 by: (書目-電子資源)

The design of cloud workflow systems by: (書目-電子資源)

Advances in computer science, engineering & applications = proceedings of the Second International Conference on Computer Science, Engineering & Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India.. Volume 2 / by: (書目-電子資源)

The new PL/I = ... for PC, workstation and mainframe / by: (書目-電子資源)

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

Advances in computer science, engineering & applications = proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India.. Volume 1 / by: (書目-電子資源)

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

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

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

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

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

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

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. IV / by: (書目-電子資源)

Object-oriented analysis and design 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: (書目-電子資源)

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

Service engineering = European research results / by: (書目-電子資源)

High Performance Computing and Communications : = First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings by: (書目-電子資源)

Automated technology for verification and analysis = 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings / by: (書目-電子資源)

Advanced Parallel Processing Technologies : = 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings by: (書目-電子資源)

Software and network engineering by: (書目-電子資源)

Applied parallel and scientific computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part II / by: (書目-電子資源)

Euro-Par 2008 workshops - parallel processing = VHPC 2008,UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008 ; revised selected papers / by: (書目-電子資源)

Technology systems and management = first International Conference, ICTSM 2011, Mumbai, India, February 25-27, 2011 : selected papers / by: (書目-電子資源)

Ajax in Oracle JDeveloper by: (書目-電子資源)

Algorithms and Architectures for Parallel Processing = 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 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: (書目-電子資源)

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

Beginning Java Objects = From Concepts to Code / by: (書目-電子資源)

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

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

Managed grids and cloud systems in the Asia-Pacific research community by: (書目-電子資源)

High Performance Computing for Computational Science - VECPAR 2004 = 6th International Conference, Valencia, Spain, June 28-30, 2004, 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: (書目-電子資源)

Simula research laboratory = by thinking constantly about it / by: (書目-電子資源)

Foundations of algebraic specification and formal software development by: (書目-電子資源)

Embedded system design = embedded systems foundations of cyber-physical systems / by: (書目-電子資源)

Distributed and Parallel Computing : = 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings by: (書目-電子資源)

Computer performance engineering = 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings / by: (書目-電子資源)

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

A concise and practical introduction to programming algorithms in java by: (書目-電子資源)

Transactions on Computational Science I by: (書目-電子資源)

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

Networks for grid applications = third international ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers / by: (書目-電子資源)

Facing the multicore - Challenge II = aspects of new paradigms and technologies in parallel computing / by: (書目-電子資源)

The Making of Information Systems = Software Engineering and Management in a Globalized World / by: (書目-電子資源)

Human-Centered Software Engineering : = Integrating Usability in the Software Development Lifecycle by: (書目-電子資源)

Virtual, Distributed and Flexible Organisations = Studies in Organisational Semiotics / by: (書目-電子資源)

Supply Chain Management on Demand = Strategies, Technologies, Applications / by: (書目-電子資源)

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

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

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

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

VLSI-SoC = technologies for systems integration : 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianopolis, Brazil, October 12-14, 2009, revised selected papers / by: (書目-電子資源)

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

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

New Horizons of Parallel and Distributed Computing by: (書目-電子資源)

Job scheduling strategies for parallel processing = 15th international workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010 : revised selected papers / by: (書目-電子資源)

Engineering secure software and systems = 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings / by: (書目-電子資源)

Soft Real-Time Systems = Predictability vs. Efficiency / by: (書目-電子資源)

Specification and analytical evaluation of heterogeneous dynamic quorum-based data replication schemes by: (書目-電子資源)

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

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

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

Agent Intelligence Through Data Mining by: (書目-電子資源)

Domain Decomposition Methods �X Algorithms and Theory by: (書目-電子資源)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part III / by: (書目-電子資源)

Computer Safety, Reliability, and Security : = 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings by: (書目-電子資源)

Python Scripting for Computational Science by: (書目-電子資源)

Autonomy Oriented Computing = From Problem Solving to Complex Systems Modeling / 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: (書目-電子資源)

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

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

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

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

High Performance Computing - HiPC 2005 = 12th International Conference, Goa, India, December 18-21, 2005. Proceedings / by: (書目-電子資源)

Euro-Par 2007 Workshops: Parallel Processing = HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers / by: (書目-電子資源)

Architecture-based design of multi-agent systems by: (書目-電子資源)

Distributed applications and interoperable systems = 9th IFIP WG 6.1 international conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009 : proceedings / by: (書目-電子資源)

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

Information systems development = challenges in practice, theory, and education volume 2 / by: (書目-電子資源)

ICT as key technology against global warming = second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012 : proceedings / by: (書目-電子資源)

Doing design ethnography by: (書目-電子資源)

Pro Oracle application express by: (書目-電子資源)

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

Information computing and applications = International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010, proceedings.. Part II / 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: (書目-電子資源)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part I / by: (書目-電子資源)

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

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

Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part I / by: (書目-電子資源)

Technological developments in networking, education and automation by: (書目-電子資源)

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

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

SystemC = from the ground up / by: (書目-電子資源)

Technological developments in education and automation by: (書目-電子資源)

High assurance services computing by: (書目-電子資源)

Open source approaches in spatial data handling by: (書目-電子資源)

Information systems development = Asian experiences / by: (書目-電子資源)

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

Model-driven development of advanced user interfaces by: (書目-電子資源)

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

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

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

Applied ontology engineering in cloud services, networks and management systems by: (書目-電子資源)

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

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

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

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

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

Distributed computing = 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009 : proceedings / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 9th international conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009 ; proceedings / by: (書目-電子資源)

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

Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II / by: (書目-電子資源)

Geometric algebra = an algebraic system for computer games and animation/ 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: (書目-電子資源)

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

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

Web Component Development with Zope 3 by: (書目-電子資源)

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

From Specification to Embedded Systems Application by: (書目-電子資源)

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12. 2005, Proceedings .. III by: (書目-電子資源)

Parallel Computing Technologies = 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings / by: (書目-電子資源)

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

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / by: (書目-電子資源)

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

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

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

Testbeds and research infrastructure = development of networks and communities : 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012 : revised selected papers / by: (書目-電子資源)

VLSI-SoC: Advanced Topics on Systems on a Chip = a selection of extended versions of the best papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA / by: (書目-電子資源)

Modeling, design, and simulation of systems with uncertainties by: (書目-電子資源)

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

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. II / by: (書目-電子資源)

Embedded system design = modeling, synthesis and verification / by: (書目-電子資源)

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

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

VLSI-SoC = Design Methodologies for SoC and SiP : 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008 : revised selected papers / by: (書目-電子資源)

Object-oriented technology. ECOOP 2008 workshop reader = ECOOP 2008 workshops, Paphos, Cyrus, July 7-11, 2008, final reports / by: (書目-電子資源)

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

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

Knowledge management for health care procedures = ECAI 2008 workshop, K4HelP 2008, Patras, Greece, July 21, 2008 : revised selected papers / 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: (書目-電子資源)

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

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

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

Engineering secure software and systems = third International symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings / by: (書目-電子資源)

Accelerating test, validation and debug of high speed serial interfaces by: (書目-電子資源)

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

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

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

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

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

Systems, software and services process improvement = 18th European conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings / by: (書目-電子資源)

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

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

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

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

Innovations and advances in computer sciences and engineering by: (書目-電子資源)

Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education by: (書目-電子資源)

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

Software development and professional practice by: (書目-電子資源)

Quality-driven SystemC design by: (書目-電子資源)

Automata, languages and programming = 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.. Part II / by: (書目-電子資源)

Software and Data Technologies = First International Conference, ICSOFT 2006, Setubal, Portugal, September 11-14, 2006, Revised Selected Papers / by: (書目-電子資源)

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. III by: (書目-電子資源)

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

Computer and Information Sciences - ISCIS 2005 : = 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings by: (書目-電子資源)

Pro Eclipse JST = Plug-ins for J2EE Development / by: (書目-電子資源)

Developing Ambient Intelligence = Proceedings of the International Conference on Ambient Intelligence Developments (AmI.d��07) / by: (書目-電子資源)

ECOOP 2010 - object-oriented programming = 24th European Conference, Maribor, Slovenia, June 21-25, 2010 : proceedings / by: (書目-電子資源)

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

Parallel processing and applied mathematics = 7th international conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 revised selected papers / by: (書目-電子資源)

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

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. I / by: (書目-電子資源)

Information systems development = business systems and services : modeling and development / by: (書目-電子資源)

High performance computing - HiPC 2008 = 15th international conference, Bangalore, India, December 17-20, 2008, proceedings / by: (書目-電子資源)

Foundations of 3D graphics programming = using JOGL and Java3D / by: (書目-電子資源)

Mobile wireless middleware, operating systems, and applications - workshops = Mobilware 2009 Workshops, Berlin, Germany, April 2009 : revised selected papers / by: (書目-電子資源)

Automata, languages and programming = 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.. Part I / by: (書目-電子資源)

Frontiers in Algorithmics = Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009 : proceedings / by: (書目-電子資源)

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

Introduction to Assembly Language Programming = For Pentium and RISC Processors / by: (書目-電子資源)

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