Search Results for - Narrowed by: Programming Techniques. - 2008

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings

2024-05-23T20:58:14Z

by Meier, René. editor.
http://dx.doi.org/10.1007/978-3-540-68642-2
Format: Electronic Resources

Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

2024-05-23T20:58:14Z

by Kordon, Fabrice. editor.
http://dx.doi.org/10.1007/978-3-540-77419-8
Format: Electronic Resources

25 Years of Model Checking History, Achievements, Perspectives

2024-05-23T20:58:14Z

by Grumberg, Orna. editor.
http://dx.doi.org/10.1007/978-3-540-69850-0
Format: Electronic Resources

Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports

2024-05-23T20:58:14Z

by Cebulla, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-78195-0
Format: Electronic Resources

Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers

2024-05-23T20:58:14Z

by Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-540-78827-0
Format: 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

2024-05-23T20:58:14Z

by Sichman, Jaime Simão. editor.
http://dx.doi.org/10.1007/978-3-540-79003-7
Format: Electronic Resources

Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers

2024-05-23T20:58:14Z

by Hirschfeld, Robert. editor.
http://dx.doi.org/10.1007/978-3-540-89275-5
Format: Electronic Resources

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

2024-05-23T20:58:14Z

by Ramalingam, G. editor.
http://dx.doi.org/10.1007/978-3-540-89330-1
Format: Electronic Resources

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings

2024-05-23T20:58:14Z

by Darzentas, John. editor.
http://dx.doi.org/10.1007/978-3-540-87881-0
Format: Electronic Resources

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

2024-05-23T20:58:14Z

by Chaudron, Michel R. V. editor.
http://dx.doi.org/10.1007/978-3-540-87891-9
Format: Electronic Resources

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

2024-05-23T20:58:14Z

by Garcia de la Banda, Maria. editor.
http://dx.doi.org/10.1007/978-3-540-89982-2
Format: Electronic Resources

Constraint Handling Rules Current Research Topics

2024-05-23T20:58:14Z

by Schrijvers, Tom. editor.
http://dx.doi.org/10.1007/978-3-540-92243-8
Format: Electronic Resources

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings

2024-05-23T20:58:14Z

by Stuckey, Peter J. editor.
http://dx.doi.org/10.1007/978-3-540-85958-1
Format: Electronic Resources

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

2024-05-23T20:58:14Z

by Cuellar, Jorge. editor.
http://dx.doi.org/10.1007/978-3-540-68237-0
Format: Electronic Resources

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings

2024-05-23T20:58:14Z

by O’Neill, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-78671-9
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers

2024-05-23T20:58:14Z

by Frachtenberg, Eitan. editor.
http://dx.doi.org/10.1007/978-3-540-78699-3
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

2024-05-23T20:58:14Z

by Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-540-88479-8
Format: Electronic Resources

Modelling Autonomic Communications Environments Third IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008. Proceedings

2024-05-23T20:58:14Z

by Meer, Sven. editor.
http://dx.doi.org/10.1007/978-3-540-87355-6
Format: Electronic Resources

Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings

2024-05-23T20:58:14Z

by Thomas, Nigel. editor.
http://dx.doi.org/10.1007/978-3-540-87412-6
Format: Electronic Resources

Engineering Societies in the Agents World VIII 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers

2024-05-23T20:58:14Z

by Artikis, Alexander. editor.
http://dx.doi.org/10.1007/978-3-540-87654-0
Format: Electronic Resources

Languages and Compilers for Parallel Computing 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers

2024-05-23T20:58:14Z

by Adve, Vikram. editor.
http://dx.doi.org/10.1007/978-3-540-85261-2
Format: 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

2024-05-23T20:58:14Z

by Meyer, Bertrand. editor.
http://dx.doi.org/10.1007/978-3-540-85279-7
Format: Electronic Resources

The Common Component Modeling Example Comparing Software Component Models

2024-05-23T20:58:14Z

by Rausch, Andreas. editor.
http://dx.doi.org/10.1007/978-3-540-85289-6
Format: Electronic Resources

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

2024-05-23T20:58:14Z

by Breugel, Franck. editor.
http://dx.doi.org/10.1007/978-3-540-85361-9
Format: Electronic Resources

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers

2024-05-23T20:58:14Z

by Chitil, Olaf. editor.
http://dx.doi.org/10.1007/978-3-540-85373-2
Format: Electronic Resources

Software-Intensive Systems and New Computing Paradigms Challenges and Visions

2024-05-23T20:58:14Z

by Wirsing, Martin. editor.
http://dx.doi.org/10.1007/978-3-540-89437-7
Format: Electronic Resources

OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings

2024-05-23T20:58:14Z

by Eigenmann, Rudolf. editor.
http://dx.doi.org/10.1007/978-3-540-79561-2
Format: Electronic Resources

Ada 2005 Rationale The Language, The Standard Libraries

2024-05-23T20:58:14Z

by Barnes, John. author.
http://dx.doi.org/10.1007/978-3-540-79701-2
Format: Electronic Resources

Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers

2024-05-23T20:58:14Z

by Paech, Barbara. editor.
http://dx.doi.org/10.1007/978-3-540-89778-1
Format: 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

2024-05-23T20:58:14Z

by Dastani, Mehdi. editor.
http://dx.doi.org/10.1007/978-3-540-85058-8
Format: Electronic Resources

Practical Aspects of Embedded System Design using Microcontrollers

2024-05-23T20:58:14Z

by Parab, Jivan S. author.
http://dx.doi.org/10.1007/978-1-4020-8393-8
Format: Electronic Resources

Principles of the Spin Model Checker

2024-05-23T20:58:14Z

by Ben-Ari, Mordechai. author.
http://dx.doi.org/10.1007/978-1-84628-770-1
Format: Electronic Resources

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

2024-05-23T20:58:14Z

by Liu, Shaoying. editor.
http://dx.doi.org/10.1007/978-3-540-88194-0
Format: Electronic Resources

Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

2024-05-23T20:58:14Z

by Börger, Egon. editor.
http://dx.doi.org/10.1007/978-3-540-89762-0
Format: Electronic Resources

Software Process Improvement 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings

2024-05-23T20:58:14Z

by O’Connor, Rory V. editor.
http://dx.doi.org/10.1007/978-3-540-85936-9
Format: Electronic Resources

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings

2024-05-23T20:58:14Z

by Hudak, Paul. editor.
http://dx.doi.org/10.1007/978-3-540-77442-6
Format: Electronic Resources

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings

2024-05-23T20:58:14Z

by Rao, Shrisha. editor.
http://dx.doi.org/10.1007/978-3-540-77444-0
Format: Electronic Resources

Probabilistic Inductive Logic Programming Theory and Applications

2024-05-23T20:58:14Z

by Raedt, Luc. editor.
http://dx.doi.org/10.1007/978-3-540-78652-8
Format: 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

2024-05-23T20:58:14Z

by Drossopoulou, Sophia. editor.
http://dx.doi.org/10.1007/978-3-540-78739-6
Format: Electronic Resources

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008. Proceedings

2024-05-23T20:58:14Z

by Marchiori, Elena. editor.
http://dx.doi.org/10.1007/978-3-540-78757-0
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

2024-05-23T20:58:14Z

by Cervesato, Iliano. editor.
http://dx.doi.org/10.1007/978-3-540-89439-1
Format: Electronic Resources

Middleware 2008 ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings

2024-05-23T20:58:14Z

by Issarny, Valérie. editor.
http://dx.doi.org/10.1007/978-3-540-89856-6
Format: Electronic Resources

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

2024-05-23T20:58:14Z

by Meseguer, José. editor.
http://dx.doi.org/10.1007/978-3-540-79980-1
Format: Electronic Resources

Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings

2024-05-23T20:58:14Z

by Stapleton, Gem. editor.
http://dx.doi.org/10.1007/978-3-540-87730-1
Format: Electronic Resources

Multiagent System Technologies 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings

2024-05-23T20:58:14Z

by Bergmann, Ralph. editor.
http://dx.doi.org/10.1007/978-3-540-87805-6
Format: Electronic Resources

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

2024-05-23T20:58:14Z

by Shankar, Natarajan. editor.
http://dx.doi.org/10.1007/978-3-540-87873-5
Format: Electronic Resources

Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings

2024-05-23T20:58:14Z

by Li, Qing. editor.
http://dx.doi.org/10.1007/978-3-540-87877-3
Format: Electronic Resources

Languages and Compilers for Parallel Computing 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers

2024-05-23T20:58:14Z

by Amaral, José Nelson. editor.
http://dx.doi.org/10.1007/978-3-540-89740-8
Format: Electronic Resources

Making Globally Distributed Software Development a Success Story International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings

2024-05-23T20:58:14Z

by Wang, Qing. editor.
http://dx.doi.org/10.1007/978-3-540-79588-9
Format: Electronic Resources

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

2024-05-23T20:58:14Z

by Železný, Filip. editor.
http://dx.doi.org/10.1007/978-3-540-85928-4
Format: 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

2024-05-23T20:58:14Z

by Lastovetsky, Alexey. editor.
http://dx.doi.org/10.1007/978-3-540-87475-1
Format: Electronic Resources

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

2024-05-23T20:58:14Z

by Alpuente, María. editor.
http://dx.doi.org/10.1007/978-3-540-69166-2
Format: Electronic Resources

Introduction to PHP for Scientists and Engineers Beyond JavaScript

2024-05-23T20:58:14Z

by Brooks, David R. author.
http://dx.doi.org/10.1007/978-1-84800-237-1
Format: Electronic Resources

Automatic Program Development A Tribute to Robert Paige

2024-05-23T20:58:14Z

by Danvy, Olivier. editor.
http://dx.doi.org/10.1007/978-1-4020-6585-9
Format: Electronic Resources

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

2024-05-23T20:58:14Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/978-3-540-78663-4
Format: 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

2024-05-23T20:58:14Z

by Labarta, Jesús. editor.
http://dx.doi.org/10.1007/978-3-540-77704-5
Format: Electronic Resources

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings

2024-05-23T20:58:14Z

by Giacobini, Mario. editor.
http://dx.doi.org/10.1007/978-3-540-78761-7
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

2024-05-23T20:58:14Z

by King, Andy. editor.
http://dx.doi.org/10.1007/978-3-540-78769-3
Format: Electronic Resources

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

2024-05-23T20:58:14Z

by Pautasso, Cesare. editor.
http://dx.doi.org/10.1007/978-3-540-78789-1
Format: Electronic Resources

Parallel Problem Solving from Nature – PPSN X 10th International Conference, Dortmund, Germany, September 13-17, 2008. Proceedings

2024-05-23T20:58:14Z

by Rudolph, Günter. editor.
http://dx.doi.org/10.1007/978-3-540-87700-4
Format: Electronic Resources

Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

2024-05-23T20:58:14Z

by Luck, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-79488-2
Format: 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

2024-05-23T20:58:14Z

by Becker, Steffen. editor.
http://dx.doi.org/10.1007/978-3-540-87879-7
Format: Electronic Resources

Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

2024-05-23T20:58:14Z

by Horváth, Zoltán. editor.
http://dx.doi.org/10.1007/978-3-540-88059-2
Format: Electronic Resources

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

2024-05-23T20:58:14Z

by Garrigue, Jacques. editor.
http://dx.doi.org/10.1007/978-3-540-78969-7
Format: Electronic Resources

Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers

2024-05-23T20:58:14Z

by Blockeel, Hendrik. editor.
http://dx.doi.org/10.1007/978-3-540-78469-2
Format: Electronic Resources

Distributed Computing 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

2024-05-23T20:58:14Z

by Taubenfeld, Gadi. editor.
http://dx.doi.org/10.1007/978-3-540-87779-0
Format: Electronic Resources

Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

2024-05-23T20:58:14Z

by Hölldobler, Steffen. editor.
http://dx.doi.org/10.1007/978-3-540-87803-2
Format: 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

2024-05-23T20:58:14Z

by Meyer, Bertrand. editor.
http://dx.doi.org/10.1007/978-3-540-69149-5
Format: Electronic Resources

Coordination Models and Languages 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings

2024-05-23T20:58:14Z

by Lea, Doug. editor.
http://dx.doi.org/10.1007/978-3-540-68265-3
Format: 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

2024-05-23T20:58:14Z

by Chapman, Barbara. editor.
http://dx.doi.org/10.1007/978-3-540-69303-1
Format: Electronic Resources

ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings

2024-05-23T20:58:14Z

by Vitek, Jan. editor.
http://dx.doi.org/10.1007/978-3-540-70592-5
Format: Electronic Resources

Implementing Semantic Web Services The SESA Framework

2024-05-23T20:58:14Z

by Fensel, Dieter. editor.
http://dx.doi.org/10.1007/978-3-540-77020-6
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

2024-05-23T20:58:14Z

by Kordon, Fabrice. editor.
http://dx.doi.org/10.1007/978-3-540-68624-8
Format: Electronic Resources

The Algorithm Design Manual

2024-05-23T20:58:14Z

by Skiena, Steven S. author.
http://dx.doi.org/10.1007/978-1-84800-070-4
Format: Electronic Resources

Wireless Sensor Networks 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings

2024-05-23T20:58:14Z

by Verdone, Roberto. editor.
http://dx.doi.org/10.1007/978-3-540-77690-1
Format: 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

2024-05-23T20:58:14Z

by Mueller, Matthias S. editor.
http://dx.doi.org/10.1007/978-3-540-68555-5
Format: 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

2024-05-23T20:58:14Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/978-3-540-68863-1
Format: Electronic Resources

Genetic Programming Theory and Practice V

2024-05-23T20:58:14Z

by Riolo, Rick. editor.
http://dx.doi.org/10.1007/978-0-387-76308-8
Format: Electronic Resources

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings

2024-05-23T20:58:14Z

by Mei, Hong. editor.
http://dx.doi.org/10.1007/978-3-540-68073-4
Format: Electronic Resources

Parsing Techniques A Practical Guide

2024-05-23T20:58:14Z

by Grune, Dick. author.
http://dx.doi.org/10.1007/978-0-387-68954-8
Format: Electronic Resources