Programming Techniques.
Overview
Works: | 783 works in 783 publications in 783 languages |
---|
Titles
Success with Microsoft Dynamics CRM 4.0 = implementing customer relationship management /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Software composition = 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Logic-based program synthesis and transformation = 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers /
by:
(Electronic resources)
Network control and optimization = Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers /
by:
(Electronic resources)
The Common Component Modeling Example = Comparing Software Component Models /
by:
(Electronic resources)
Computational intelligence and intelligent systems = 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010, proceedings /
by:
(Electronic resources)
Distributed computing = 26th international symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012 : proceedings /
by:
(Electronic resources)
Testing software and systems = 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Computer performance engineering = 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 ; proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Wireless sensor networks = 8th European conference, EWSN 2011, Bonn, Germany, February 23-25, 2011 : proceedings /
by:
(Electronic resources)
Winning design! = LEGO MINDSTORMS NXT design patterns for fun and competition /
by:
(Electronic resources)
Agent-oriented software engineering VIII = 8th international workshop, AOSE 2007, Honolulu, HI, USA, May 14-18, 2007, revised selected papers /
by:
(Electronic resources)
Pro smartphone cross-platform development = iPhone, BlackBerry, Windows Mobile, and Android development and distribution /
by:
(Electronic resources)
Logic for programming, artificial intelligence, and reasoning = 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings /
by:
(Electronic resources)
Formal methods for components and objects = 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009, revised selected papers /
by:
(Electronic resources)
Unifying theories of programming = Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, proceedings /
by:
(Electronic resources)
Automated technology for verification and analysis = 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings /
by:
(Electronic resources)
Frontiers of Combining Systems : = 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
by:
(Electronic resources)
The Cinderella.2 Manual = working with the interactive geometry software /
by:
(Electronic resources)
Transactions on aspect-oriented software development VII = a common case study for aspect-oriented modeling /
by:
(Electronic resources)
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:
(Electronic resources)
Frontiers of combining systems = 8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings /
by:
(Electronic resources)
Large-scale scientific computing = 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 : revised papers /
by:
(Electronic resources)
ECOOP 2008 -- Object-Oriented Programming = 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings /
by:
(Electronic resources)
Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
(Electronic resources)
Advanced functional programming = 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures /
by:
(Electronic resources)
Agent-oriented software engineering XI = 11th international workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010 : revised selected papers /
by:
(Electronic resources)
Advances in software engineering = Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 : revised selected papers /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 2010 = 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by:
(Electronic resources)
Network and parallel computing = 8th IFIP international conference, NPC 2011, Changsha, China, October 21-23, 2011 : proceedings /
by:
(Electronic resources)
Advanced lectures on software engineering = LASER summer school 2007/2008 /
by:
(Electronic resources)
Transactions on aspect-oriented software development VI = special issue on aspects and model-driven engineering /
by:
(Electronic resources)
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:
(Electronic resources)
Logic for Programming, Artificial Intelligence, and Reasoning = 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /
by:
(Electronic resources)
Multiagent system technologies = 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedings /
by:
(Electronic resources)
Self-organizing architectures = First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009 : revised selected and invited papers /
by:
(Electronic resources)
Computer aided verification = 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings /
by:
(Electronic resources)
Middleware 2008 = ACM-IFIP-USENIX 9th International Middleware Conference, Leuven Belgium, December 1-5 2008, proceedings /
by:
(Electronic resources)
A 25-Year perspective on logic programming = achievements of the Italian Association for Logic Programming, GULP /
by:
(Electronic resources)
Beginning database-driven application development in Java EE = using GlassFish /
by:
(Electronic resources)
OpenMP in the petascale era = 7th international workshop on OpenMP, IWOMP 2011, Chicago, IL, USA, June 13-15, 2011 : proceedings /
by:
(Electronic resources)
Expert oracle and Java Security = programming secure Oracle database applications with Java /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers /
by:
(Electronic resources)
Computer performance engineering = 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings /
by:
(Electronic resources)
Integrated formal methods = 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings /
by:
(Electronic resources)
Rules on the web = research and applications ; 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012 : proceedings /
by:
(Electronic resources)
Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers /
by:
(Electronic resources)
Logic programming, knowledge representation, and nonmonotonic reasoning = essays dedicated to Michael Gelfond on the occasion of his 65th birthday /
by:
(Electronic resources)
Software process improvement = 16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009 : proceedings /
by:
(Electronic resources)
Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010, proceedings /
by:
(Electronic resources)
Pro SharePoint 2010 solution development = combining .NET, SharePoint, and Office 2010 /
by:
(Electronic resources)
Objects, models, components, patterns = 49th international conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011 : proceedings /
by:
(Electronic resources)
Large-scale scientific computing = 6th international conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007 : revised papers /
by:
(Electronic resources)
Practical aspects of declarative languages = 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings /
by:
(Electronic resources)
Top productivity through software reuse = 12th international conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings /
by:
(Electronic resources)
High Confidence Software Reuse in Large Systems = 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings /
by:
(Electronic resources)
Experimental algorithms = 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012 : proceedings /
by:
(Electronic resources)
Distributed computing = 25th international symposium, DISC 2011, Rome, Italy, September 20-22, 2011 : proceedings /
by:
(Electronic resources)
Rule-based reasoning, programming, and applications = 5th international symposium, RULEML 2011, Europe, Barcelona, Spain, July 19-21 2011 : proceedings /
by:
(Electronic resources)
Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers /
by:
(Electronic resources)
Computer algebra in scientific computing = 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings /
by:
(Electronic resources)
Logic programming and nonmonotonic reasoning = 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 : proceedings /
by:
(Electronic resources)
Towards a service-based Internet = third European conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010 : proceedings /
by:
(Electronic resources)
Programming multi-agent systems = 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009, revised selected papers /
by:
(Electronic resources)
Trustworthy Global Computing : = International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
by:
(Electronic resources)
Functional and logic programming = 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings /
by:
(Electronic resources)
Testing techniques in software engineering = Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Testing software and systems = 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings /
by:
(Electronic resources)
Objects, models, components, patterns = 48th international conference, TOOLS 2010, Malaga, Spain, June 28, July 2, 2010 : proceedings /
by:
(Electronic resources)
Expert Oracle database architecture = Oracle database 9i, 10g, and 11g programming techniques and solutions /
by:
(Electronic resources)
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:
(Electronic resources)
Introduction to Assembly Language Programming = For Pentium and RISC Processors /
by:
(Electronic resources)
Engineering societies in the agents world VIII = 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers /
by:
(Electronic resources)
Distributed Computing and Networking = 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings /
by:
(Electronic resources)
Trustworthy global computing = 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers /
by:
(Electronic resources)
Requirements engineering, foundation for software quality = 15th International Working Conference, REFSQ 2009, Amsterdam, the Netherlands, June 8-9, 2009 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Perspectives of systems informatics = 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers /
by:
(Electronic resources)
Distributed Computing : = 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings
by:
(Electronic resources)
Software Composition = 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /
by:
(Electronic resources)
Reliable software technologies - Ada-Europe 2012 = 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012 : proceedings /
by:
(Electronic resources)
Open source systems = grounding research : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011 : proceedings /
by:
(Electronic resources)
Advances in grid and pervasive computing = 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings /
by:
(Electronic resources)
Parallel processing and applied mathematics = 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.. part II /
by:
(Electronic resources)
Principles of Distributed Systems = 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers /
by:
(Electronic resources)
Multiagent System Technologies : = Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings
by:
(Electronic resources)
Agent-Oriented Software Engineering V = 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
by:
(Electronic resources)
Distributed Applications and Interoperable Systems = 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
by:
(Electronic resources)
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
(Electronic resources)
Job scheduling strategies for parallel processing = 13th international workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. revised papers /
by:
(Electronic resources)
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:
(Electronic resources)
Distributed computing = 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010, proceedings /
by:
(Electronic resources)
Verified software = theories, tools, experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, proceedings /
by:
(Electronic resources)
Conceptual modeling - ER 2010 = 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010 : proceedings /
by:
(Electronic resources)
Foundation Flex for Developers = Data-Driven Applications with PHP, ASP.NET, ColdFusion, and LCDS /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers /
by:
(Electronic resources)
Reconfigurable Computing = Accelerating Computation with Field-Programmable Gate Arrays /
by:
(Electronic resources)
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:
(Electronic resources)
Genetic programming = 12th European conference, EuroGP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings /
by:
(Electronic resources)
Evolving OpenMP in an age of extreme parallelism = 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3 - 5, 2009 ; Proceedings /
by:
(Electronic resources)
Software Composition : = 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
by:
(Electronic resources)
Coordination Models and Languages = 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings /
by:
(Electronic resources)
Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(Electronic resources)
Cooperative design, visualization, and engineering = 6th international conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009 : proceedings /
by:
(Electronic resources)
Component-Based Software Engineering = 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings /
by:
(Electronic resources)
Logics in artificial intelligence = 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation = 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Open source systems = long-term sustainability : 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012 : proceedings /
by:
(Electronic resources)
Conceptual modeling = ER 2011 : 30th international conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011 : proceedings /
by:
(Electronic resources)
Advances in Grid Computing - EGC 2005 = European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /
by:
(Electronic resources)
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:
(Electronic resources)
Progress in Artificial Intelligence : = 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings
by:
(Electronic resources)
Static Analysis = 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
by:
(Electronic resources)
Verification, model checking, and abstract = 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings /
by:
(Electronic resources)
Object-Oriented Technology. ECOOP 2007 Workshop Reader = ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports /
by:
(Electronic resources)
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:
(Electronic resources)
Wireless sensor networks = 9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings /
by:
(Electronic resources)
Expert Oracle Database Architecture = 9i and 10g Programming Techniques and Solutions /
by:
(Electronic resources)
Inductive Logic Programming = 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings /
by:
(Electronic resources)
Introduction to Windows Azure = an introduction to cloud computing using Microsoft Windows Azure /
by:
(Electronic resources)
Practical aspects of declarative languages = 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings /
by:
(Electronic resources)
End-User development = 2nd international symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
(Electronic resources)
Office and SharePoint 2010 user's guide = integrating SharePoint with Excel, Outlook, Access and Word /
by:
(Electronic resources)
Swarm, evolutionary, and memetic computing = second international conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Languages and compilers for parallel computing = 21st international workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008 : revised selected papers /
by:
(Electronic resources)
Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /
by:
(Electronic resources)
Implementation and application of functional languages = 23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers /
by:
(Electronic resources)
Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(Electronic resources)
DOM Scripting = Web Design with JavaScript and the Document Object Model /
by:
(Electronic resources)
Artificial intelligence : theories, models and applications = 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008 ; proceedings /
by:
(Electronic resources)
The Definitive Guide to Terracotta = Cluster the JVM for Spring, Hibernate, and POJO Scalability /
by:
(Electronic resources)
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:
(Electronic resources)
Beginning SQL server modeling = model-driven ppplication development in SQL server 2008 /
by:
(Electronic resources)
Advances in grid and pervasive computing = 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010 : proceedings /
by:
(Electronic resources)
Genetic Programming = 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings /
by:
(Electronic resources)
Theory and practice of model transformations = third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010 : proceedings /
by:
(Electronic resources)
Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(Electronic resources)
Beginning Visual Web Programming in VB .NET = From Novice to Professional /
by:
(Electronic resources)
Distributed computing and networking = 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011 : proceedings /
by:
(Electronic resources)
Engineering societies in the agents world X = 10th international workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009 : proceedings /
by:
(Electronic resources)
Frontiers of combining systems = 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings /
by:
(Electronic resources)
Multicore software engineering, performance, and tools = International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Electronic resources)
Foundation Expression Blend 2 = building applications in WPF and Silverlight /
by:
(Electronic resources)
Reliable Software Technologies Ada-Europe 2008 = 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /
by:
(Electronic resources)
JavaFX special effects = taking Java Ria to the extreme with animation, multimedia, and game elements /
by:
(Electronic resources)
OpenMP in a New Era of Parallelism = 4th international workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008 : proceedings /
by:
(Electronic resources)
Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
by:
(Electronic resources)
Beginning Object-Oriented ASP.NET 2.0 with VB.NET = From Novice to Professional /
by:
(Electronic resources)
Verified software: theories, tools, experiments = second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Languages and Compilers for High Performance Computing = 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers
by:
(Electronic resources)
NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(Electronic resources)
Wireless sensor networks = 6th European conference, EWSN 2009, Cork, Ireland, February 11-13, 2009 ; proceedings /
by:
(Electronic resources)
Applications of declarative programming and knowledge management = 18th international conference, INAP 2009, Evora, Portugal, November 3-5, 2009 : revised selected papers /
by:
(Electronic resources)
ECOOP 2012 - Object-oriented programming = 26th European Conference, Beijing, China, June 11-16, 2012 : proceedings /
by:
(Electronic resources)
Evolutionary computation, machine learning and data mining in bioinformatics = 6th European conference, EVOBIO 2008, Naples, Italy, March 26-28, 2008. proceedings /
by:
(Electronic resources)
Swarm, evolutionary, and memetic computing = first International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010 : proceedings /
by:
(Electronic resources)
Static analysis = 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings /
by:
(Electronic resources)
Distributed Computing and Internet Technology : = Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings
by:
(Electronic resources)
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:
(Electronic resources)
Logic Programming : = 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
by:
(Electronic resources)
Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
by:
(Electronic resources)
Distributed computing and networking = 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 : proceedings /
by:
(Electronic resources)
Multiparadigm Programming in Mozart = Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /
by:
(Electronic resources)
Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Practical Aspects of Declarative Languages = 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings /
by:
(Electronic resources)
Constraint Solving and Language Processing = First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers /
by:
(Electronic resources)
Modelling autonomic communications environments = third IEEE international workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008 : proceedings /
by:
(Electronic resources)
Software Engineering for Multi-Agent Systems III = Research Issues and Practical Applications /
by:
(Electronic resources)
Formal methods and software engineering = 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings /
by:
(Electronic resources)
Applications and theory of petri nets = 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Model Driven Engineering Languages and Systems = 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Inductive Logic Programming = 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers /
by:
(Electronic resources)
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:
(Electronic resources)
Reliable Software Technology - Ada-Europe 2005 = 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Genetic programming = 15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(Electronic resources)
Beginning Java EE 6 Platform with GlassFish 3 = from novice to professional /
by:
(Electronic resources)
S-BPM ONE - setting the stage for subject-oriented business process management = First International Workshop, Karlsruhe, Germany, October 22, 2009, revised selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Advances in Software Engineering = International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers /
by:
(Electronic resources)
Introduction to programming with Fortran = with coverage of Fortran 90, 95, 2003, 2008 and 77 /
by:
(Electronic resources)
Parallel processing and applied mathematics = 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.. part I /
by:
(Electronic resources)
Model checking and artificial intelligence = 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
by:
(Electronic resources)
Functional and logic programming = 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Engineering societies in the agents world IX = 9th international workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008 ; revised selected papers /
by:
(Electronic resources)
Software-intensive systems and new computing paradigms = challenges and visions /
by:
(Electronic resources)
MooTools essentials = the official MooTools reference for JavaScript and Ajax development /
by:
(Electronic resources)
Pro performancepoint server 2007 = building business intelligence solutions /
by:
(Electronic resources)
Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
by:
(Electronic resources)
Programming multi-agent systems = 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers /
by:
(Electronic resources)
CONCUR 2008 - Concurrency Theory = 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings /
by:
(Electronic resources)
Distributed applications and interoperable systems = 8thIFIP WG 6.1 international conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. proceedings /
by:
(Electronic resources)
Implementation and Application of Functional Languages = 16th International Workshop, IFL 2004, Lubeck, Germany, September 8-10, 2004, Revised Selected Papers /
by:
(Electronic resources)
ECOOP 2009--object-oriented programming = 23rd European conference, Genoa, Italy, July 6-10, 2009 ; proceedings /
by:
(Electronic resources)
Software engineering = international summer schools, ISSSE 2006-2008, Salerno, Italy ; revised tutorial lectures /
by:
(Electronic resources)
Pro SQL Server 2008 analytics = delivering sales and marketing dashboards /
by:
(Electronic resources)
Generic and indexed programming = International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures /
by:
(Electronic resources)
Euro-Par 2010 - parallel processing = 16th International Euro-Par Conference, Ischia, Italia, August 31 - September 3, 2010, proceedings.. Part I /
by:
(Electronic resources)
Business process management = 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, proceedings /
by:
(Electronic resources)
Scalable uncertainty management = third international conference, SUM 2009, Washington, DC, September 28-30, 2009 : proceedings /
by:
(Electronic resources)
Logics in artificial intelligence = 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012 : proceedings /
by:
(Electronic resources)
Tests and proofs = 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(Electronic resources)
Pro Dynamic .NET 4.0 applications = data-driven programming for the .NET framework /
by:
(Electronic resources)
Applications of Evolutionary Computing = Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Trends in functional programming = 11th international symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010 : revised selected papers /
by:
(Electronic resources)
Parallel processing and applied mathematics = 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011 : revised selected papers.. Part I /
by:
(Electronic resources)
Languages and compilers for parallel computing = 23rd international workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010 : revised selected papers /
by:
(Electronic resources)
Implementation and application of functional languages = 20th international symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 : revised selected papers /
by:
(Electronic resources)
Central European Functional Programming School = 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011 : revised selected papers /
by:
(Electronic resources)
Beginning Python visualization = crafting visual transformation scripts /
by:
(Electronic resources)
Formal methods for industrial critical systems = 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings /
by:
(Electronic resources)
Experimental algorithms = 10th international symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011 : proceedings /
by:
(Electronic resources)
Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Modelling foundations and applications = 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 : proceedings /
by:
(Electronic resources)
Search based software engineering = third international symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011 : proceedings /
by:
(Electronic resources)
Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
(Electronic resources)
Formal verification of object-oriented software = international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers /
by:
(Electronic resources)
Multiagent system technologies = 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010, proceedings /
by:
(Electronic resources)
Beginning MAC OS X Snow Leopard server = from solo install to enterprise integration /
by:
(Electronic resources)
CONCUR 2005 - Concurrency Theory = 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings /
by:
(Electronic resources)
Formal methods = foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers /
by:
(Electronic resources)
Logic programming and nonmonotonic reasoning = 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings /
by:
(Electronic resources)
Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part I /
by:
(Electronic resources)
NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
by:
(Electronic resources)
Higher-order components for grid programming = making grids more usable /
by:
(Electronic resources)
Advanced parallel processing technologies = 9th international symposium, APPT 2011, Shanghai, China, September 26-27, 2011 : proceedings /
by:
(Electronic resources)
Agent-oriented software engineering X = 10th international workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009 : revised selected papers /
by:
(Electronic resources)
Formal modeling and analysis of timed systems = 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation = 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
The essential guide to Flash games = building interactive entertainment with ActionScript 3.0 /
by:
(Electronic resources)
Programming languages and systems = 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Extreme Programming and Agile Processes in Software Engineering = 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /
by:
(Electronic resources)
Formal methods and software engineering = 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings /
by:
(Electronic resources)
Applications of evolutionary computation = EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Coordination models and languages = 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems = 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings /
by:
(Electronic resources)
Progress in VLSI design and test = 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceedings /
by:
(Electronic resources)
Systems, software and services process improvement = 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010, proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Generative Programming and Component Engineering : = 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings
by:
(Electronic resources)
Wireless Sensor Networks = 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings /
by:
(Electronic resources)
Applications of evolutionary computation = EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011 : proceedings.. Part I /
by:
(Electronic resources)
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:
(Electronic resources)
Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
(Electronic resources)
Automated technology for verification and analysis = 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings /
by:
(Electronic resources)
End-user development = third international symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011 : proceedings /
by:
(Electronic resources)
Languages and compilers for parallel computing = 22nd international workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009 : revised selected papers /
by:
(Electronic resources)
Reconfigurable computing = architectures, tools and applications : 6th international symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010 : proceedings /
by:
(Electronic resources)
Approaches and applications of inductive programming = third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009 : revised papers /
by:
(Electronic resources)
Reliable software technologies - Ada-Europe 2010 = 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Model driven engineering languages and systems = 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, proceedings.. Part II /
by:
(Electronic resources)
Coordination models and languages = 12th international conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings /
by:
(Electronic resources)
Unifying theories of programming = Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, revised selected papers /
by:
(Electronic resources)
Software composition = 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(Electronic resources)
Computer performance engineering = 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : proceedings /
by:
(Electronic resources)
Pro ASP.NET 4 CMS = advanced techniques for C# developers using the .NET 4 Framework /
by:
(Electronic resources)
Agent-oriented software engineering IX = 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 : revised selected papers /
by:
(Electronic resources)
Objective-C for absolute beginners = iPhone, iPad, and Mac programming made easy /
by:
(Electronic resources)
Algebraic methodology and software technology = 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers /
by:
(Electronic resources)
Languages and Compilers for Parallel Computing = 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers /
by:
(Electronic resources)
Object-oriented technology. ECOOP 2008 workshop reader = ECOOP 2008 workshops, Paphos, Cyrus, July 7-11, 2008, final reports /
by:
(Electronic resources)
Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings /
by:
(Electronic resources)
Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
by:
(Electronic resources)
Logic for programming, artificial intelligence, and reasoning = 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Software process and product measurement = International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009 : proceedings /
by:
(Electronic resources)
Pro web gadgets = across iPhone, Android, Windows, Mac, iGoogle and more /
by:
(Electronic resources)
Software Process Improvement = 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings /
by:
(Electronic resources)
Job Scheduling Strategies for Parallel Processing : = 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
by:
(Electronic resources)
Global Computing = IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers /
by:
(Electronic resources)
Programming languages = 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
(Electronic resources)
Self-sustaining systems = first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers /
by:
(Electronic resources)
An introduction to PHP for scientists and engineers = Beyond JavaScript /
by:
(Electronic resources)
Inductive logic programming = 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011 : revised selected papers /
by:
(Electronic resources)
FM 2008: Formal Methods = 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
by:
(Electronic resources)
Logic programming = 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008, proceedings /
by:
(Electronic resources)
Testing - practice and research techniques = 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010, proceedings /
by:
(Electronic resources)
Logic programming = 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Verified software = theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
by:
(Electronic resources)
Multiagent system technologies = 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings /
by:
(Electronic resources)
Runtime verification = First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010, proceedings /
by:
(Electronic resources)
Distributed computing and networking = 10th international conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009 : proceedings /
by:
(Electronic resources)
Computer Algebra in Scientific Computing : = 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
by:
(Electronic resources)
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:
(Electronic resources)
Euro-Par 2009 parallel processing workshops = HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009 : revised selected papers /
by:
(Electronic resources)
Expert oracle practices = oracle database administration from the oak table /
by:
(Electronic resources)
Fundamentals of software engineering = third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers /
by:
(Electronic resources)
Building XNA 2.0 games = a practical guide for independent game development /
by:
(Electronic resources)
Parallel processing and applied mathematics = 9th international conference, PPAM 2011, Torun, Poland, September 11-14, 2011 : revised selected papers.. Part II /
by:
(Electronic resources)
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:
(Electronic resources)
Programming languages and systems = 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings /
by:
(Electronic resources)
Model driven engineering languages and systems = 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, proceedings.. Part I /
by:
(Electronic resources)
Foundational and practical aspects of resource analysis = First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, revised selected papers /
by:
(Electronic resources)
Network and parallel computing = IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, proceedings /
by:
(Electronic resources)
Towards a service-based Internet = 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011 : proceedings /
by:
(Electronic resources)
Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Formal methods, foundations and applications = 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers /
by:
(Electronic resources)
Computer performance engineering = 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems = 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Tools for practical software verification = LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
by:
(Electronic resources)
Diagrammatic Representation and Inference = 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings /
by:
(Electronic resources)
Factors and factorizations of graphs = proof techniques in factor theory /
by:
(Electronic resources)
ECOOP 2011 = Object-Oriented Programming : 25th European Conference, Lancaster, Uk, July 25-29, 2011 : proceedings /
by:
(Electronic resources)
Reconfigurable computing = architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings /
by:
(Electronic resources)
Computational issues in fluid construction grammar = a new formalism for the representation of lexicons and grammars /
by:
(Electronic resources)
Practical Aspects of Declarative Languages = 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Recent advances in the message passing interface = 18th European MPI Users' Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011 : proceedings /
by:
(Electronic resources)
Component-based software engineering = 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Correct reasoning = essays on logic-based AI in honour of Vladimir Lifschitz /
by:
(Electronic resources)
Coordination models and languages = 10th international conference, coordination 2008, Oslo, Norway, June 4-6, 2008. proceedings /
by:
(Electronic resources)
Job Scheduling Strategies for Parallel Processing = 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers /
by:
(Electronic resources)
Agile Development with ICONIX Process = People, Process, and Pragmatism /
by:
(Electronic resources)
Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
by:
(Electronic resources)
Evolutionary and biologically inspired music, sound, art and design = first international conference, EvoMUSART 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(Electronic resources)
Model driven engineering languages and systems = 14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : proceedings /
by:
(Electronic resources)
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
by:
(Electronic resources)
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:
(Electronic resources)
Multiagent system technologies = 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. proceedings /
by:
(Electronic resources)
Languages and Compilers for Parallel Computing : = 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers
by:
(Electronic resources)
Advanced Functional Programming = 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /
by:
(Electronic resources)
Typed Lambda Calculi and Applications = 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Beginning Web Development, Silverlight, and ASP.NET AJAX = From Novice to Professional /
by:
(Electronic resources)
Systems, software and services process improvement = 18th European conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Software engineering for resilient systems = third international workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Beginning smartphone web development = building JavaScript, CSS, HTML and Ajax-based applications for iPhone, Android, Palm Pre, BlackBerry, Windows Mobile, and Nokia S60 /
by:
(Electronic resources)
Scientific Engineering of Distributed Java Applications = 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers /
by:
(Electronic resources)
Functional and logic programming = 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 ; proceedings /
by:
(Electronic resources)
Logic for programming, artificial intelligence, and reasoning = 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers /
by:
(Electronic resources)
Pro Java EE spring patterns = best practices and design strategies implementing java EE patterns with the spring framework /
by:
(Electronic resources)
ECOOP 2005 - Object-Oriented Programming = 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings /
by:
(Electronic resources)
Automated technology for verification and analysis = 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings /
by:
(Electronic resources)
Principles and Practice of Constraint Programming - CP 2005 : = 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005
by:
(Electronic resources)
Recent advances in the message passing interface = 19th European MPI Users' group meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012 : proceedings /
by:
(Electronic resources)
Transactions on pattern languages of programming II = special issue on applying patterns /
by:
(Electronic resources)
Deontic logic in computer science = 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings /
by:
(Electronic resources)
Trends in Functional Programming = 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /
by:
(Electronic resources)
Objects, models, components, patterns = 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings /
by:
(Electronic resources)
Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Electronic resources)
Logic Based Program Synthesis and Transformation = 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /
by:
(Electronic resources)
Domain-specific languages = IFIP TC 2 working conference, DSL 2009, Oxford, UK, July 15-17, 2009 ; proceedings /
by:
(Electronic resources)
Software composition = 8th international conference, SC 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings /
by:
(Electronic resources)
Distributed Computing - IWDC 2005 : = 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings
by:
(Electronic resources)
OpenMP in a heterogeneous world = 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Coordination models and languages = 11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings /
by:
(Electronic resources)
Applications of evolutionary computing = EvoWorkshops 2008, EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Ambient Networks : = 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005, Proceedings
by:
(Electronic resources)
Business process technology = a unified view on business processes, workflows and enterprise applications /
by:
(Electronic resources)
Principles and practice of constraint programming = 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Modelling autonomic communication environments = 5th IEEE international workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010 : proceedings /
by:
(Electronic resources)
Programming multi-agent systems = 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers /
by:
(Electronic resources)
Pro HTML5 programming = powerful APIs for richer Internet application development /
by:
(Electronic resources)
More iPhone cool projects = Cool developers reveal the details of their cooler apps and discuss their iPad development experiences /
by:
(Electronic resources)
How to recruit and hire great software engineers = Building a Crack Development Team /
by:
(Electronic resources)
Reliable software technologies = Ada-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings /
by:
(Electronic resources)
Coordination models and languages = 13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings /
by:
(Electronic resources)
New modeling concepts for today's software processes = International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010 : proceedings /
by:
(Electronic resources)
Modelling foundations and applications = 6th European conference, ECMFA 2010, Paris, France, June 15-18, 2010 : proceedings /
by:
(Electronic resources)
Origins and foundations of computing = in cooperation with Heinz Nixdorf MuseumsForum /
by:
(Electronic resources)
Semantics and algebraic specification = essays dedicated to Peter D. Mosses on the occasion of his 60th birthday /
by:
(Electronic resources)
Programming languages and systems = 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings /
by:
(Electronic resources)
Principles and practice of constraint programming - CP 2009 = 15th international conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods = 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Windows mobile game development = Building Games for the Windows Phone and Other Mobile Devices /
by:
(Electronic resources)
Hybrid metaheuristics = 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010 : proceedings /
by:
(Electronic resources)
Interactive theorem proving = second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings /
by:
(Electronic resources)
Language engineering and rigorous software development = International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures /
by:
(Electronic resources)
Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings /
by:
(Electronic resources)
Semantic web rules = international symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010 : proceedings /
by:
(Electronic resources)
Formal Methods for Components and Objects = 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures /
by:
(Electronic resources)
Languages, Methodologies and Development Tools for Multi-Agent Systems = First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers /
by:
(Electronic resources)
Implementation and Application of Functional Languages = 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers /
by:
(Electronic resources)
Reliable software technologies-Ada-Europe 2009 = 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings /
by:
(Electronic resources)
Middleware 2005 : = ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings
by:
(Electronic resources)
Metainformatics = International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers /
by:
(Electronic resources)
Graph structures for knowledge representation and reasoning = second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers /
by:
(Electronic resources)
Search based software engineering = 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings /
by:
(Electronic resources)
Building iPhone OS accessories = use the iPhone accessories API to control and monitor devices /
by:
(Electronic resources)
Runtime verification = second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(Electronic resources)
Swarm, evolutionary, and memetic computing = second international conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Graph transformations and model-driven engineering = essays dedicated to manfred nagl on the occasion of his 65th Birthday /
by:
(Electronic resources)
Genetic programming = 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings /
by:
(Electronic resources)
A Software Process Model Handbook for Incorporating People's Capabilities
by:
(Electronic resources)
Algorithmic decision theory = second international conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011 : proceedings /
by:
(Electronic resources)
Formal methods and software engineering = 14th international conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings /
by:
(Electronic resources)
Component-based software engineering = 12th international symposium, CBSE 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings /
by:
(Electronic resources)
Automated reasoning with analytic tableaux and related methods = 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings /
by:
(Electronic resources)
Conceptual modeling - ER 2008 = 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Reconfigurable computing = architectures, tools and applications : 7th international symposium, ARC 2011, Belfast, UK, March 23-25, 2011 : proceedings /
by:
(Electronic resources)
Formal methods = foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Inductive Logic Programming = 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings /
by:
(Electronic resources)
Automated technology for verification and analysis = 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Recent advances in the message passing interface = 17th European MPI Users' Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010, proceedings /
by:
(Electronic resources)
Beginning Java and Flex = migrating Java, Spring, Hibernate, and Maven developers to Adobe Flex /
by:
(Electronic resources)
Distributed computing = 22nd international symposium, DISC 2008, Arcachon, France, September 22-24, 2008 : proceedings /
by:
(Electronic resources)
FM 2011 = formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Evolutionary computation, machine learning and data mining in bioinformatics = 7th European Conference, EvoBIO 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings /
by:
(Electronic resources)
Euro-Par 2010 - parallel processing = 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, proceedings.. Part II /
by:
(Electronic resources)
IEC 61131-3 = programming industrial automation systems : concepts and programming languages, requirements for programming systems, decision-making aids /
by:
(Electronic resources)
Adaptive and natural computing algorithms = 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers /
by:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Practical aspects of declarative languages = 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Conceptual Modeling - ER 2009 = 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009 : Proceedings /
by:
(Electronic resources)
Wireless sensor networks = 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
The Best of Verity Stob = Highlights of Verity Stob's Famous Columns From EXE, Dr. Dobb's Journal, and The Register /
by:
(Electronic resources)
Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings /
by:
(Electronic resources)
Genetic programming = 14th European conference, EuroGP 2011, Torino, Italy, April 27-29, 2011 : proceedings /
by:
(Electronic resources)
Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(Electronic resources)
Generative and transformational techniques in software engineering III = international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers /
by:
(Electronic resources)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices = International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
by:
(Electronic resources)
Advances in grid and pervasive computing = 6th international conference, GPC 2011, Oulu, Finland, May 11-13, 2011 : proceedings /
by:
(Electronic resources)
Component-Based Software Engineering = 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /
by:
(Electronic resources)
Tests and proofs = 5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(Electronic resources)
Genetic programming = 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Component Deployment : = Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
by:
(Electronic resources)
Hierarchical Bayesian Optimization Algorithm = Toward a New Generation of Evolutionary Algorithms /
by:
(Electronic resources)
Logic Programming and Nonmonotonic Reasoning = 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /
by:
(Electronic resources)
Applications and theory of Petri nets = 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings /
by:
(Electronic resources)
Regular Expression Recipes for Windows Developers = A Problem-Solution Approach /
by:
(Electronic resources)
Bioinspired models of network, information, and computing systems = 4th international conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, revised selected papers /
by:
(Electronic resources)
Theory and practice of model transformations = 4th international conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011 : proceedings /
by:
(Electronic resources)
Large-scale scientific computing = 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers /
by:
(Electronic resources)
Software composition = 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(Electronic resources)
Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
(Electronic resources)
Parallel problem solving from nature - PPSN X = 10th international conference, Dortmund, Germany, September 13-17, 2008 : proceedings /
by:
(Electronic resources)
Model checking and artificial intelligence = 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers /
by:
(Electronic resources)
A Practical Programming Model for the Multi-Core Era = 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings /
by:
(Electronic resources)
Making globally distributed software development a success story = International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008 : proceedings /
by:
(Electronic resources)
Show more
Fewer
Subjects