Search Results for - Narrowed by: Programming Techniques.

Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

2024-05-24T19:07:35Z

by Cabello, Enrique. editor.
https://doi.org/10.1007/978-3-319-93641-3
Format: Electronic Resources

Towards Extensible and Adaptable Methods in Computing

2024-05-24T19:07:35Z

by Chakraverty, Shampa. editor.
https://doi.org/10.1007/978-981-13-2348-5
Format: Electronic Resources

Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms

2024-05-24T19:07:35Z

by Trobec, Roman. author.
https://doi.org/10.1007/978-3-319-98833-7
Format: Electronic Resources

Algorithms for Functional Programming

2024-05-24T19:07:35Z

by Stone, John David. author.
https://doi.org/10.1007/978-3-662-57970-1
Format: Electronic Resources

Introduction to Programming with Fortran

2024-05-24T19:07:35Z

by Chivers, Ian. author.
https://doi.org/10.1007/978-3-319-75502-1
Format: Electronic Resources

Learning Java with Games

2024-05-24T19:07:35Z

by Xu, Chong-wei. author.
https://doi.org/10.1007/978-3-319-72886-5
Format: Electronic Resources

Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948

2024-05-24T19:07:35Z

by Priestley, Mark. author.
https://doi.org/10.1007/978-3-319-91671-2
Format: Electronic Resources

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

2024-05-24T19:07:35Z

by Artemov, Sergei. editor.
https://doi.org/10.1007/978-3-319-72056-2
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

2024-05-24T19:07:35Z

by Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829
https://doi.org/10.1007/978-3-319-94460-9
Format: Electronic Resources

Physically based shader development for Unity 2017 : develop custom lighting systems

2024-05-24T19:07:35Z

by Doppioslash, Claudia, author.
https://learning.oreilly.com/library/view/~/9781484233092/?ar https://go.oreilly.com/library-access/library/view/-/9781484233092/?ar https://learning.oreilly.com/library/view/~/9781484233092
Format: Electronic Resources

PySpark recipes : a problem-solution approach with PySpark2

2024-05-24T19:07:35Z

by Mishra, Raju Kumar, author.
https://learning.oreilly.com/library/view/~/9781484231418 https://go.oreilly.com/library-access/library/view/-/9781484231418/?ar https://learning.oreilly.com/library/view/~/9781484231418/?ar
Format: Electronic Resources

Fundamentals of Java Programming

2024-05-24T19:07:35Z

by Ogihara, Mitsunori. author.
https://doi.org/10.1007/978-3-319-89491-1
Format: Electronic Resources

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2024-05-24T19:07:35Z

by Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772
https://doi.org/10.1007/978-3-030-02768-1
Format: Electronic Resources

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2024-05-24T19:07:35Z

by Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
https://doi.org/10.1007/978-3-319-78054-2
Format: Electronic Resources

Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

2024-05-24T19:07:35Z

by Desharnais, Jules. editor. (orcid)0000-0002-4780-2698
https://doi.org/10.1007/978-3-030-02149-8
Format: Electronic Resources

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

2024-05-24T19:07:35Z

by Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
https://doi.org/10.1007/978-3-030-02146-7
Format: Electronic Resources

New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

2024-05-24T19:07:35Z

by Capilla, Rafael. editor. (orcid)0000-0002-6943-1285
https://doi.org/10.1007/978-3-319-90421-4
Format: Electronic Resources

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-05-24T19:07:35Z

by Rensink, Arend. editor. (orcid)0000-0002-1714-6319
https://doi.org/10.1007/978-3-319-93317-7
Format: Electronic Resources

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

2024-05-24T19:07:35Z

by Moss, Lawrence S. editor.
https://doi.org/10.1007/978-3-662-57669-4
Format: Electronic Resources

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

2024-05-24T19:07:35Z

by Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
https://doi.org/10.1007/978-3-319-74313-4
Format: Electronic Resources

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

2024-05-24T19:07:35Z

by Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682
https://doi.org/10.1007/978-3-319-73814-7
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2024-05-24T19:07:35Z

by Beyersdorff, Olaf. editor.
https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources

Affective Feedback in Intelligent Tutoring Systems A Practical Approach

2024-05-24T19:07:35Z

by Jiménez, Samantha. author.
https://doi.org/10.1007/978-3-319-93197-5
Format: Electronic Resources

AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers

2024-05-24T19:07:35Z

by Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849
https://doi.org/10.1007/978-3-030-00178-0
Format: Electronic Resources

Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers

2024-05-24T19:07:35Z

by El Fallah-Seghrouchni, Amal. editor.
https://doi.org/10.1007/978-3-319-91899-0
Format: Electronic Resources

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

2024-05-24T19:07:35Z

by Benzmüller, Christoph. editor.
https://doi.org/10.1007/978-3-319-99906-7
Format: Electronic Resources

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

2024-05-24T19:07:35Z

by Rusu, Vlad. editor.
https://doi.org/10.1007/978-3-319-99840-4
Format: Electronic Resources

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

2024-05-24T19:07:35Z

by Ciucci, Davide. editor. (orcid)0000-0002-8083-7809
https://doi.org/10.1007/978-3-030-00461-3
Format: Electronic Resources

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

2024-05-24T19:07:35Z

by Seipel, Dietmar. editor.
https://doi.org/10.1007/978-3-030-00801-7
Format: Electronic Resources

Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-05-24T19:07:35Z

by Abdelwahed, El Hassan. editor.
https://doi.org/10.1007/978-3-030-00856-7
Format: Electronic Resources

Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

2024-05-24T19:07:35Z

by Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931
https://doi.org/10.1007/978-3-030-03673-7
Format: Electronic Resources

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

2024-05-24T19:07:35Z

by Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952
https://doi.org/10.1007/978-3-319-92997-2
Format: Electronic Resources

Guide to Programming for the Digital Humanities Lessons for Introductory Python

2024-05-24T19:07:35Z

by Kokensparger, Brian. author.
https://doi.org/10.1007/978-3-319-99115-3
Format: Electronic Resources

Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-05-24T19:07:35Z

by Chandrasekaran, Sunita. editor.
https://doi.org/10.1007/978-3-319-74896-2
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

2024-05-24T19:07:35Z

by Damiani, Ernesto. editor.
https://doi.org/10.1007/978-3-319-94135-6
Format: Electronic Resources

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

2024-05-24T19:07:35Z

by Lachiche, Nicolas. editor.
https://doi.org/10.1007/978-3-319-78090-0
Format: Electronic Resources

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

2024-05-24T19:07:35Z

by Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
https://doi.org/10.1007/978-3-319-77313-1
Format: Electronic Resources

Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-05-24T19:07:35Z

by Lambers, Leen. editor. (orcid)0000-0001-6937-5167
https://doi.org/10.1007/978-3-319-92991-0
Format: Electronic Resources

Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

2024-05-24T19:07:35Z

by Seidl, Martina. editor.
https://doi.org/10.1007/978-3-319-74730-9
Format: Electronic Resources

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

2024-05-24T19:07:35Z

by Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-030-02928-9
Format: Electronic Resources

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

2024-05-24T19:07:35Z

by Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
https://doi.org/10.1007/978-3-030-03044-5
Format: Electronic Resources

Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

2024-05-24T19:07:35Z

by Rabe, Florian. editor.
https://doi.org/10.1007/978-3-319-96812-4
Format: Electronic Resources

Programming with Actors State-of-the-Art and Research Perspectives

2024-05-24T19:07:35Z

by Ricci, Alessandro. editor.
https://doi.org/10.1007/978-3-030-00302-9
Format: Electronic Resources

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

2024-05-24T19:07:35Z

by Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-319-92970-5
Format: Electronic Resources

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2024-05-24T19:07:35Z

by de Boer, Frank. editor.
https://doi.org/10.1007/978-3-319-90089-6
Format: Electronic Resources

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

2024-05-24T19:07:35Z

by Davenport, James H. editor. (orcid)0000-0002-3982-7545
https://doi.org/10.1007/978-3-319-96418-8
Format: Electronic Resources

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

2024-05-24T19:07:35Z

by Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703
https://doi.org/10.1007/978-3-319-99960-9
Format: Electronic Resources

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

2024-05-24T19:07:35Z

by Podelski, Andreas. editor.
https://doi.org/10.1007/978-3-319-99725-4
Format: Electronic Resources

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

2024-05-24T19:07:35Z

by Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829
https://doi.org/10.1007/978-3-319-96983-1
Format: Electronic Resources

Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

2024-05-24T19:07:35Z

by Liu, Peng. editor.
https://doi.org/10.1007/978-3-319-74860-3
Format: Electronic Resources

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

2024-05-24T19:07:35Z

by Gallagher, John P. editor.
https://doi.org/10.1007/978-3-319-90686-7
Format: Electronic Resources

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

2024-05-24T19:07:35Z

by Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
https://doi.org/10.1007/978-3-319-73305-0
Format: Electronic Resources

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2024-05-24T19:07:35Z

by Wang, Meng. editor.
https://doi.org/10.1007/978-3-319-89719-6
Format: Electronic Resources

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig

2024-05-24T19:07:35Z

by Heckel, Reiko. editor.
https://doi.org/10.1007/978-3-319-75396-6
Format: Electronic Resources

Systems Programming in Unix/Linux

2024-05-24T19:07:35Z

by Wang, K.C. author.
https://doi.org/10.1007/978-3-319-92429-8
Format: Electronic Resources

A Beginner's Guide to Scala, Object Orientation and Functional Programming

2024-05-24T19:07:35Z

by Hunt, John. author.
https://doi.org/10.1007/978-3-319-75771-1
Format: Electronic Resources

Introduction to Python for engineers and scientists : open source solutions for numerical computation

2024-05-24T19:07:35Z

by Nagar, Sandeep, author.
https://learning.oreilly.com/library/view/~/9781484232040 https://learning.oreilly.com/library/view/~/9781484232040/?ar https://go.oreilly.com/library-access/library/view/-/9781484232040/?ar
Format: Electronic Resources

Data mining algorithms in C++ : data patterns and algorithms for modern applications

2024-05-24T19:07:35Z

by Masters, Timothy, author.
https://learning.oreilly.com/library/view/~/9781484233153 https://learning.oreilly.com/library/view/~/9781484233153/?ar https://go.oreilly.com/library-access/library/view/-/9781484233153/?ar
Format: Electronic Resources

Swift 4 for Absolute Beginners : Develop Apps for iOS

2024-05-24T19:07:35Z

by Kaczmarek, Stefan, author.
https://learning.oreilly.com/library/view/~/9781484230633 https://learning.oreilly.com/library/view/~/9781484230633/?ar https://go.oreilly.com/library-access/library/view/-/9781484230633/?ar
Format: Electronic Resources

Interpreting LISP : programming and data structures

2024-05-24T19:07:35Z

by Knott, Gary D., author.
https://learning.oreilly.com/library/view/~/9781484227060 https://go.oreilly.com/library-access/library/view/-/9781484227060/?ar https://learning.oreilly.com/library/view/~/9781484227060/?ar
Format: Electronic Resources

MATLAB deep learning : with machine learning, neural networks and artificial intelligence

2024-05-24T19:07:35Z

by Kim, Phil, author.
https://learning.oreilly.com/library/view/~/9781484228456/?ar https://go.oreilly.com/library-access/library/view/-/9781484228456/?ar https://learning.oreilly.com/library/view/~/9781484228456
Format: Electronic Resources

Learn microservices with Spring Boot : a practical approach to RESTful Services using RabbitMQ, Eureka, Ribbon, Zuul and Cucumber

2024-05-24T19:07:35Z

by Macero, Moises, author.
https://go.oreilly.com/library-access/library/view/-/9781484231654/?ar https://learning.oreilly.com/library/view/~/9781484231654/?ar https://learning.oreilly.com/library/view/~/9781484231654
Format: Electronic Resources

Understanding Control Flow Concurrent Programming Using μC++

2024-05-24T19:07:35Z

by Buhr, Peter A. author.
https://doi.org/10.1007/978-3-319-25703-7
Format: Electronic Resources

Random-Like Bi-level Decision Making

2024-05-24T19:07:35Z

by Xu, Jiuping. author.
https://doi.org/10.1007/978-981-10-1768-1
Format: Electronic Resources

Retrogame Archeology Exploring Old Computer Games

2024-05-24T19:07:35Z

by Aycock, John. author.
https://doi.org/10.1007/978-3-319-30004-7
Format: Electronic Resources

Beginning F♯ 4.0

2024-05-24T19:07:35Z

by Pickering, Robert, author.
https://go.oreilly.com/library-access/library/view/-/9781484213742/?ar https://learning.oreilly.com/library/view/~/9781484213742/?ar https://learning.oreilly.com/library/view/~/9781484213742
Format: Electronic Resources

Introduction to HPC with MPI for Data Science

2024-05-24T19:07:35Z

by Nielsen, Frank. author.
https://doi.org/10.1007/978-3-319-21903-5
Format: Electronic Resources

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

2024-05-24T19:07:35Z

by Torra, Vicenç. author.
https://doi.org/10.1007/978-3-319-46481-7
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings

2024-05-24T19:07:35Z

by Carretero, Jesus. editor.
https://doi.org/10.1007/978-3-319-49583-5
Format: Electronic Resources

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

2024-05-24T19:07:35Z

by Aichernig, Bernhard K. editor.
https://doi.org/10.1007/978-3-319-41135-4
Format: Electronic Resources

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

2024-05-24T19:07:35Z

by Shen, Xipeng. editor.
https://doi.org/10.1007/978-3-319-29778-1
Format: Electronic Resources

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

2024-05-24T19:07:35Z

by Lindley, Sam. editor.
https://doi.org/10.1007/978-3-319-30936-1
Format: Electronic Resources

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

2024-05-24T19:07:35Z

by Gavanelli, Marco. editor.
https://doi.org/10.1007/978-3-319-28228-2
Format: Electronic Resources

Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

2024-05-24T19:07:35Z

by Wąsowski, Andrzej. editor.
https://doi.org/10.1007/978-3-319-42061-5
Format: Electronic Resources

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

2024-05-24T19:07:35Z

by Serrano, Manuel. editor.
https://doi.org/10.1007/978-3-319-39110-6
Format: Electronic Resources

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2024-05-24T19:07:35Z

by Lluch Lafuente, Alberto. editor.
https://doi.org/10.1007/978-3-319-39519-7
Format: Electronic Resources

Transactions on Foundations for Mastering Change I

2024-05-24T19:07:35Z

by Steffen, Bernhard. editor.
https://doi.org/10.1007/978-3-319-46508-1
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

2024-05-24T19:07:35Z

by Blazy, Sandrine. editor.
https://doi.org/10.1007/978-3-319-48869-1
Format: Electronic Resources

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

2024-05-24T19:07:35Z

by Dutot, Pierre-François. editor.
https://doi.org/10.1007/978-3-319-43659-3
Format: Electronic Resources

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

2024-05-24T19:07:35Z

by Kiselyov, Oleg. editor.
https://doi.org/10.1007/978-3-319-29604-3
Format: Electronic Resources

Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

2024-05-24T19:07:35Z

by Baldoni, Matteo. editor.
https://doi.org/10.1007/978-3-319-50983-9
Format: Electronic Resources

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

2024-05-24T19:07:35Z

by Castor, Fernando. editor.
https://doi.org/10.1007/978-3-319-45279-1
Format: Electronic Resources

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

2024-05-24T19:07:35Z

by Ogata, Kazuhiro. editor.
https://doi.org/10.1007/978-3-319-47846-3
Format: Electronic Resources

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers

2024-05-24T19:07:35Z

by Gurfinkel, Arie. editor.
https://doi.org/10.1007/978-3-319-29613-5
Format: Electronic Resources

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

2024-05-24T19:07:35Z

by Falcone, Yliès. editor.
https://doi.org/10.1007/978-3-319-46982-9
Format: Electronic Resources

Principles of Data Mining

2024-05-24T19:07:35Z

by Bramer, Max. author.
https://doi.org/10.1007/978-1-4471-7307-6
Format: Electronic Resources

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

2024-05-24T19:07:35Z

by Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-319-46520-3
Format: Electronic Resources

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2024-05-24T19:07:35Z

by Lucanu, Dorel. editor.
https://doi.org/10.1007/978-3-319-44802-2
Format: Electronic Resources

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers

2024-05-24T19:07:35Z

by Gorentla Venkata, Manjunath. editor.
https://doi.org/10.1007/978-3-319-50995-2
Format: Electronic Resources

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

2024-05-24T19:07:35Z

by Inoue, Katsumi. editor.
https://doi.org/10.1007/978-3-319-40566-7
Format: Electronic Resources

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings

2024-05-24T19:07:35Z

by Thiemann, Peter. editor.
https://doi.org/10.1007/978-3-662-49498-1
Format: Electronic Resources

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

2024-05-24T19:07:35Z

by Braga, Christiano. editor.
https://doi.org/10.1007/978-3-319-28934-2
Format: Electronic Resources

Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

2024-05-24T19:07:35Z

by Sarro, Federica. editor.
https://doi.org/10.1007/978-3-319-47106-8
Format: Electronic Resources

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

2024-05-24T19:07:35Z

by Rayadurgam, Sanjai. editor.
https://doi.org/10.1007/978-3-319-40648-0
Format: Electronic Resources

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

2024-05-24T19:07:35Z

by Wyrzykowski, Roman. editor.
https://doi.org/10.1007/978-3-319-32152-3
Format: Electronic Resources

Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

2024-05-24T19:07:35Z

by Perner, Petra. editor.
https://doi.org/10.1007/978-3-319-41561-1
Format: Electronic Resources

Software Developers as Users Semiotic Investigations in Human-Centered Software Development

2024-05-24T19:07:35Z

by Sieckenius de Souza, Clarisse. author.
https://doi.org/10.1007/978-3-319-42831-4
Format: Electronic Resources

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

2024-05-24T19:07:35Z

by Wyrzykowski, Roman. editor.
https://doi.org/10.1007/978-3-319-32149-3
Format: Electronic Resources

Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers

2024-05-24T19:07:35Z

by Voevodin, Vladimir. editor.
https://doi.org/10.1007/978-3-319-55669-7
Format: Electronic Resources

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

2024-05-24T19:07:35Z

by De Nicola, Rocco. editor.
https://doi.org/10.1007/978-3-319-41591-8
Format: Electronic Resources

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

2024-05-24T19:07:35Z

by Kapitsaki, Georgia M. editor.
https://doi.org/10.1007/978-3-319-35122-3
Format: Electronic Resources

Beginning C

2024-05-24T19:07:35Z

by Horton, Ivor.
https://learning.oreilly.com/library/view/~/9781430248811 https://learning.oreilly.com/library/view/~/9781430248811/?ar https://go.oreilly.com/library-access/library/view/-/9781430248811/?ar
Format: Electronic Resources

Oracle application express for mobile web applications

2024-05-24T19:07:35Z

by Hartman, Roel.
https://learning.oreilly.com/library/view/~/9781430249474 https://learning.oreilly.com/library/view/~/9781430249474/?ar https://go.oreilly.com/library-access/library/view/-/9781430249474/?ar
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-24T19:07:35Z

by Adve, Vikram. editor.
http://dx.doi.org/10.1007/978-3-540-85261-2
Format: Electronic Resources

Software-Intensive Systems and New Computing Paradigms Challenges and Visions

2024-05-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

by Taubenfeld, Gadi. editor.
http://dx.doi.org/10.1007/978-3-540-87779-0
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-24T19:07:35Z

by Becker, Steffen. editor.
http://dx.doi.org/10.1007/978-3-540-87879-7
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-24T19:07:35Z

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-24T19:07:35Z

by Chaudron, Michel R. V. editor.
http://dx.doi.org/10.1007/978-3-540-87891-9
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-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

by Meer, Sven. editor.
http://dx.doi.org/10.1007/978-3-540-87355-6
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-24T19:07:35Z

by Lastovetsky, Alexey. editor.
http://dx.doi.org/10.1007/978-3-540-87475-1
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-24T19:07:35Z

by Meyer, Bertrand. editor.
http://dx.doi.org/10.1007/978-3-540-69149-5
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-24T19:07:35Z

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

Implementing Semantic Web Services The SESA Framework

2024-05-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

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-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

by Luck, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-79488-2
Format: Electronic Resources

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

2024-05-24T19:07:35Z

by Li, Qing. editor.
http://dx.doi.org/10.1007/978-3-540-87877-3
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-24T19:07:35Z

by Eigenmann, Rudolf. editor.
http://dx.doi.org/10.1007/978-3-540-79561-2
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-24T19:07:35Z

by Horváth, Zoltán. editor.
http://dx.doi.org/10.1007/978-3-540-88059-2
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-24T19:07:35Z

by Labarta, Jesús. editor.
http://dx.doi.org/10.1007/978-3-540-77704-5
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-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

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-24T19:07:35Z

by Schrijvers, Tom. editor.
http://dx.doi.org/10.1007/978-3-540-92243-8
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-24T19:07:35Z

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-24T19:07:35Z

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-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

by Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-540-78827-0
Format: Electronic Resources

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

2024-05-24T19:07:35Z

by Blockeel, Hendrik. editor.
http://dx.doi.org/10.1007/978-3-540-78469-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-24T19:07:35Z

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-24T19:07:35Z

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-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

by Hölldobler, Steffen. editor.
http://dx.doi.org/10.1007/978-3-540-87803-2
Format: Electronic Resources

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

2024-05-24T19:07:35Z

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-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

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

by Sichman, Jaime Simão. editor.
http://dx.doi.org/10.1007/978-3-540-79003-7
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-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

by Meseguer, José. editor.
http://dx.doi.org/10.1007/978-3-540-79980-1
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-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

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-24T19:07:35Z

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

Genetic Programming Theory and Practice V

2024-05-24T19:07:35Z

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-24T19:07:35Z

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

The Algorithm Design Manual

2024-05-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

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

Introduction to PHP for Scientists and Engineers Beyond JavaScript

2024-05-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

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-24T19:07:35Z

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-24T19:07:35Z

by Vitek, Jan. editor.
http://dx.doi.org/10.1007/978-3-540-70592-5
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-24T19:07:35Z

by Mueller, Matthias S. editor.
http://dx.doi.org/10.1007/978-3-540-68555-5
Format: Electronic Resources

Probabilistic Inductive Logic Programming Theory and Applications

2024-05-24T19:07:35Z

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-24T19:07:35Z

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-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

by Železný, Filip. editor.
http://dx.doi.org/10.1007/978-3-540-85928-4
Format: Electronic Resources

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

2024-05-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

by Stuckey, Peter J. editor.
http://dx.doi.org/10.1007/978-3-540-85958-1
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-24T19:07:35Z

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

Practical Aspects of Embedded System Design using Microcontrollers

2024-05-24T19:07:35Z

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

Automatic Program Development A Tribute to Robert Paige

2024-05-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

by Cuellar, Jorge. editor.
http://dx.doi.org/10.1007/978-3-540-68237-0
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-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

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

25 Years of Model Checking History, Achievements, Perspectives

2024-05-24T19:07:35Z

by Grumberg, Orna. editor.
http://dx.doi.org/10.1007/978-3-540-69850-0
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-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

by Stapleton, Gem. editor.
http://dx.doi.org/10.1007/978-3-540-87730-1
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-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

by Garrigue, Jacques. editor.
http://dx.doi.org/10.1007/978-3-540-78969-7
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-24T19:07:35Z

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

Ada 2005 Rationale The Language, The Standard Libraries

2024-05-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

by Issarny, Valérie. editor.
http://dx.doi.org/10.1007/978-3-540-89856-6
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-24T19:07:35Z

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

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

2024-05-24T19:07:35Z

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

Parsing Techniques A Practical Guide

2024-05-24T19:07:35Z

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

Principles of the Spin Model Checker

2024-05-24T19:07:35Z

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

Genetic Programming Theory and Practice IV

2024-05-24T19:07:35Z

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

Software Verification and Validation An Engineering and Scientific Approach

2024-05-24T19:07:35Z

by Fisher, Marcus S. author.
http://dx.doi.org/10.1007/978-0-387-47939-2
Format: Electronic Resources

Automatic Quantum Computer Programming A Genetic Programming Approach

2024-05-24T19:07:35Z

by Spector, Lee. editor.
http://dx.doi.org/10.1007/978-0-387-36791-0
Format: Electronic Resources

Introduction to C++ Programming and Graphics

2024-05-24T19:07:35Z

by Pozrikidis, Constantine. author.
http://dx.doi.org/10.1007/978-0-387-68993-7
Format: Electronic Resources

Pro Java™ 6 3D Game Development Java 3D™, JOGL, JInput, and JOAL APIs

2024-05-24T19:07:35Z

by Davison, Andrew. author.
http://dx.doi.org/10.1007/978-1-4302-0212-7
Format: Electronic Resources

Recent Advances in Parallel Virtual Machine and Message Passing Interface 14th European PVM/MPI User’s Group Meeting, Paris, France, September 30 - October 3, 2007. Proceedings

2024-05-24T19:07:35Z

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

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-05-24T19:07:35Z

by Nicola, Rocco. editor.
http://dx.doi.org/10.1007/978-3-540-71316-6
Format: Electronic Resources

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

2024-05-24T19:07:35Z

by Reps, Thomas. editor.
http://dx.doi.org/10.1007/978-3-540-71322-7
Format: Electronic Resources

Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings

2024-05-24T19:07:35Z

by Tovar, Eduardo. editor.
http://dx.doi.org/10.1007/978-3-540-77096-1
Format: Electronic Resources

Distributed Computing and Internet Technology 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20. Proceedings

2024-05-24T19:07:35Z

by Janowski, Tomasz. editor.
http://dx.doi.org/10.1007/978-3-540-77115-9
Format: Electronic Resources

Applications of Evolutionary Computing EvoWorkshops 2007: EvoCoMnet, EvoFIN, EvoIASP,EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTransLog. Proceedings

2024-05-24T19:07:35Z

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

Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers

2024-05-24T19:07:35Z

by Meuter, Wolfgang. editor.
http://dx.doi.org/10.1007/978-3-540-71836-9
Format: Electronic Resources

Managing Virtualization of Networks and Services 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007, San José, CA, USA, October 29-31, 2007. Proceedings

2024-05-24T19:07:35Z

by Clemm, Alexander. editor.
http://dx.doi.org/10.1007/978-3-540-75694-1
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

2024-05-24T19:07:35Z

by Olivetti, Nicola. editor.
http://dx.doi.org/10.1007/978-3-540-73099-6
Format: Electronic Resources

ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings

2024-05-24T19:07:35Z

by Ernst, Erik. editor.
http://dx.doi.org/10.1007/978-3-540-73589-2
Format: Electronic Resources

Multiagent System Technologies 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings

2024-05-24T19:07:35Z

by Petta, Paolo. editor.
http://dx.doi.org/10.1007/978-3-540-74949-3
Format: Electronic Resources

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

2024-05-24T19:07:35Z

by Shao, Zhong. editor.
http://dx.doi.org/10.1007/978-3-540-76637-7
Format: Electronic Resources

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

2024-05-24T19:07:35Z

by Butler, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-76650-6
Format: Electronic Resources

Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings

2024-05-24T19:07:35Z

by Bessière, Christian. editor.
http://dx.doi.org/10.1007/978-3-540-74970-7
Format: Electronic Resources

Progress in Artificial Intelligence 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007. Proceedings

2024-05-24T19:07:35Z

by Neves, José. editor.
http://dx.doi.org/10.1007/978-3-540-77002-2
Format: Electronic Resources

Distributed Computing 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings

2024-05-24T19:07:35Z

by Pelc, Andrzej. editor.
http://dx.doi.org/10.1007/978-3-540-75142-7
Format: Electronic Resources

How to Code .NET Tips and Tricks for Coding .NET 1.1 and .NET 2.0 Applications Effectively

2024-05-24T19:07:35Z

by Gross, Christian. author.
http://dx.doi.org/10.1007/978-1-4302-0242-4
Format: Electronic Resources

Beginning C From Novice to Professional

2024-05-24T19:07:35Z

by Horton, Ivor. author.
http://dx.doi.org/10.1007/978-1-4302-0243-1
Format: Electronic Resources

Practical Apache Struts2 Web 2.0 Projects

2024-05-24T19:07:35Z

by Roughley, Ian. author.
http://dx.doi.org/10.1007/978-1-4302-0477-0
Format: Electronic Resources

The Essential Guide to CSS and HTML Web Design

2024-05-24T19:07:35Z

by Grannell, Craig. author.
http://dx.doi.org/10.1007/978-1-4302-0479-4
Format: Electronic Resources

Foundation Flash Cartoon Animation

2024-05-24T19:07:35Z

by Jones, Tim. author.
http://dx.doi.org/10.1007/978-1-4302-0481-7
Format: Electronic Resources

Pro SharePoint 2007 Development Techniques

2024-05-24T19:07:35Z

by Bruggeman, Margriet. author.
http://dx.doi.org/10.1007/978-1-4302-0483-1
Format: Electronic Resources

LINQ for Visual C# 2005

2024-05-24T19:07:35Z

by Ferracchiati, Fabio Claudio. author.
http://dx.doi.org/10.1007/978-1-4302-0257-8
Format: Electronic Resources

Advanced NXT The Da Vinci Inventions Book

2024-05-24T19:07:35Z

by Scholz, Matthias Paul. author.
http://dx.doi.org/10.1007/978-1-4302-0258-5
Format: Electronic Resources

Web Design and Marketing Solutions for Business Websites

2024-05-24T19:07:35Z

by Potts, Kevin. author.
http://dx.doi.org/10.1007/978-1-4302-0262-2
Format: Electronic Resources

Pro C# 2008 and the .NET 3.5 Platform

2024-05-24T19:07:35Z

by Troelsen, Andrew. author.
http://dx.doi.org/10.1007/978-1-4302-0422-0
Format: Electronic Resources

Flex Solutions Essential Techniques for Flex 2 and 3 Developers

2024-05-24T19:07:35Z

by Casario, Marco. author.
http://dx.doi.org/10.1007/978-1-4302-0424-4
Format: Electronic Resources

Beginning ASP.NET 3.5 in C# 2008 From Novice to Professional

2024-05-24T19:07:35Z

by MacDonald, Matthew. author.
http://dx.doi.org/10.1007/978-1-4302-0430-5
Format: Electronic Resources

Beginning ASP.NET 3.5 in VB 2008 From Novice to Professional

2024-05-24T19:07:35Z

by MacDonald, Matthew. author.
http://dx.doi.org/10.1007/978-1-4302-0431-2
Format: Electronic Resources

Pro ASP.NET 3.5 in C# 2008

2024-05-24T19:07:35Z

by MacDonald, Matthew. author.
http://dx.doi.org/10.1007/978-1-4302-0432-9
Format: Electronic Resources

Illustrated C# 2005

2024-05-24T19:07:35Z

by Solis, Daniel. author.
http://dx.doi.org/10.1007/978-1-4302-0435-0
Format: Electronic Resources

ZK™ Ajax Without JavaScript™ Framework

2024-05-24T19:07:35Z

by Chen, Henri. author.
http://dx.doi.org/10.1007/978-1-4302-0440-4
Format: Electronic Resources

Windows Home Server User’s Guide

2024-05-24T19:07:35Z

by Edney, Andrew. author.
http://dx.doi.org/10.1007/978-1-4302-0452-7
Format: Electronic Resources

Mobile Phone Programming Application to Wireless Networking

2024-05-24T19:07:35Z

by Fitzek, Frank H. P. editor.
http://dx.doi.org/10.1007/978-1-4020-5969-8
Format: Electronic Resources

Practical OCaml

2024-05-24T19:07:35Z

by Smith, Joshua B. author.
http://dx.doi.org/10.1007/978-1-4302-0244-8
Format: Electronic Resources

Textpattern Solutions: PHP-Based Content Management Made Easy

2024-05-24T19:07:35Z

by Potts, Kevin. author.
http://dx.doi.org/10.1007/978-1-4302-0245-5
Format: Electronic Resources

Beginning Java™ SE 6 Platform From Novice to Professional

2024-05-24T19:07:35Z

by Friesen, Jeff. author.
http://dx.doi.org/10.1007/978-1-4302-0246-2
Format: Electronic Resources

Foundations of SQL Server 2005 Business Intelligence

2024-05-24T19:07:35Z

by Langit, Lynn. author.
http://dx.doi.org/10.1007/978-1-4302-0248-6
Format: Electronic Resources

Managing Humans Biting and Humorous Tales of a Software Engineering Manager

2024-05-24T19:07:35Z

by Lopp, Michael. author.
http://dx.doi.org/10.1007/978-1-4302-0271-4
Format: Electronic Resources

Pro Microsoft Speech Server 2007 Developing Speech Enabled Applications with .NET

2024-05-24T19:07:35Z

by Dunn, Michael D. author.
http://dx.doi.org/10.1007/978-1-4302-0272-1
Format: Electronic Resources

Dynamic Programming A Computational Tool

2024-05-24T19:07:35Z

by Art, Lew. author.
http://dx.doi.org/10.1007/978-3-540-37014-7
Format: Electronic Resources

First Steps: Developing BizTalk Applications

2024-05-24T19:07:35Z

by Loftin, Robert J. author.
http://dx.doi.org/10.1007/978-1-4302-0458-9
Format: Electronic Resources

Beginning JSP, JSF, and Tomcat Web Development From Novice to Professional

2024-05-24T19:07:35Z

by Zambon, Giulio. author.
http://dx.doi.org/10.1007/978-1-4302-0465-7
Format: Electronic Resources

Foundations of Qt Development

2024-05-24T19:07:35Z

by Thelin, Johan. editor.
http://dx.doi.org/10.1007/978-1-4302-0251-6
Format: Electronic Resources

Pro Apache Struts with Ajax

2024-05-24T19:07:35Z

by Carnell, John. author.
http://dx.doi.org/10.1007/978-1-4302-0252-3
Format: Electronic Resources

Beginning Spring 2 From Novice to Professional

2024-05-24T19:07:35Z

by Minter, Dave. author.
http://dx.doi.org/10.1007/978-1-4302-0494-7
Format: Electronic Resources

Building Spring 2 Enterprise Applications

2024-05-24T19:07:35Z

by Smeets, Bram. editor.
http://dx.doi.org/10.1007/978-1-4302-0500-5
Format: Electronic Resources

Excel 2007 PivotTables Recipes A Problem-Solution Approach

2024-05-24T19:07:35Z

by Dalgleish, Debra. author.
http://dx.doi.org/10.1007/978-1-4302-0504-3
Format: Electronic Resources

PHP Solutions: Dynamic Web Design Made Easy

2024-05-24T19:07:35Z

by Powers, David. author.
http://dx.doi.org/10.1007/978-1-4302-0275-2
Format: Electronic Resources

The Definitive Guide to JasperReports™

2024-05-24T19:07:35Z

by Danciu, Teodor. editor.
http://dx.doi.org/10.1007/978-1-4302-0521-0
Format: Electronic Resources

The Definitive Guide to iReport

2024-05-24T19:07:35Z

by Toffoli, Giulio. author.
http://dx.doi.org/10.1007/978-1-4302-0523-4
Format: Electronic Resources

Pro EDI in BizTalk Server 2006 R2 Electronic Document Interchange Solutions

2024-05-24T19:07:35Z

by Beckner, Mark. author.
http://dx.doi.org/10.1007/978-1-4302-0530-2
Format: Electronic Resources

Beginning Information Cards and Cardspace From Novice to Professional

2024-05-24T19:07:35Z

by Mercuri, Marc. editor.
http://dx.doi.org/10.1007/978-1-4302-0204-2
Format: Electronic Resources

Microsoft SharePoint Building Office 2007 Solutions in VB 2005

2024-05-24T19:07:35Z

by Hillier, Scot. author.
http://dx.doi.org/10.1007/978-1-4302-0206-6
Format: Electronic Resources

Essential RenderMan ®

2024-05-24T19:07:35Z

by Stephenson, Ian. author.
http://dx.doi.org/10.1007/978-1-84628-800-5
Format: Electronic Resources

Foundations of GTK+ Development

2024-05-24T19:07:35Z

by Krause, Andrew. author.
http://dx.doi.org/10.1007/978-1-4302-0386-5
Format: Electronic Resources

Pro T-SQL 2005 Programmer’s Guide

2024-05-24T19:07:35Z

by Coles, Michael. author.
http://dx.doi.org/10.1007/978-1-4302-0387-2
Format: Electronic Resources

Java Methods for Financial Engineering Applications in Finance and Investment

2024-05-24T19:07:35Z

by Barker, Philip. author.
http://dx.doi.org/10.1007/978-1-84628-741-1
Format: Electronic Resources

Practical Rails Projects

2024-05-24T19:07:35Z

by Alameda, Eldon. author.
http://dx.doi.org/10.1007/978-1-4302-0304-9
Format: Electronic Resources

Pro SQL Server 2005 Service Broker

2024-05-24T19:07:35Z

by Aschenbrenner, Klaus. author.
http://dx.doi.org/10.1007/978-1-4302-0306-3
Format: Electronic Resources

Foundation Flash Applications for Mobile Devices

2024-05-24T19:07:35Z

by Leggett, Richard. author.
http://dx.doi.org/10.1007/978-1-4302-0308-7
Format: Electronic Resources

Processing Creative Coding and Computational Art

2024-05-24T19:07:35Z

by Greenberg, Ira. author.
http://dx.doi.org/10.1007/978-1-4302-0310-0
Format: Electronic Resources

Web Standards Creativity Innovations in Web Design with XHTML, CSS, and DOM Scripting

2024-05-24T19:07:35Z

by Adams, Cameron. author.
http://dx.doi.org/10.1007/978-1-4302-0390-2
Format: Electronic Resources

Pro CSS and HTML Design Patterns

2024-05-24T19:07:35Z

by Bowers, Michael. author.
http://dx.doi.org/10.1007/978-1-4302-0391-9
Format: Electronic Resources

Foundations of Microsoft Expression Web The Basics and Beyond

2024-05-24T19:07:35Z

by Wise, Cheryl D. author.
http://dx.doi.org/10.1007/978-1-4302-0392-6
Format: Electronic Resources

Web Development Solutions Ajax, APIs, Libraries, and Hosted Services Made Easy

2024-05-24T19:07:35Z

by Heilmann, Christian. author.
http://dx.doi.org/10.1007/978-1-4302-0393-3
Format: Electronic Resources

Microsoft SharePoint Building Office 2007 Solutions in C# 2005

2024-05-24T19:07:35Z

by Hillier, Scot. author.
http://dx.doi.org/10.1007/978-1-4302-0394-0
Format: Electronic Resources

Beginning VB 2005 Databases From Novice to Professional

2024-05-24T19:07:35Z

by Huddleston, James. author.
http://dx.doi.org/10.1007/978-1-4302-0395-7
Format: Electronic Resources

Beginning C# 2008 From Novice to Professional

2024-05-24T19:07:35Z

by Gross, Christian. author.
http://dx.doi.org/10.1007/978-1-4302-0417-6
Format: Electronic Resources

Creating Mobile Games Using Java™ ME Platform to Put the Fun into Your Mobile Device and Cell Phone

2024-05-24T19:07:35Z

by Hamer, Carol. editor.
http://dx.doi.org/10.1007/978-1-4302-0418-3
Format: Electronic Resources

Principles of Data Mining

2024-05-24T19:07:35Z

by Bramer, Max. author.
http://dx.doi.org/10.1007/978-1-84628-766-4
Format: Electronic Resources

Pro WF Windows Workflow in .NET 3.0

2024-05-24T19:07:35Z

by Bukovics, Bruce. author.
http://dx.doi.org/10.1007/978-1-4302-0372-8
Format: Electronic Resources

Practical MythTV Building a PVR and Media Center PC

2024-05-24T19:07:35Z

by Smith, Stewart. author.
http://dx.doi.org/10.1007/978-1-4302-0373-5
Format: Electronic Resources

Pro WPF Windows Presentation Foundation in .NET 3.0

2024-05-24T19:07:35Z

by MacDonald, Matthew. author.
http://dx.doi.org/10.1007/978-1-4302-0375-9
Format: Electronic Resources

Foundations of Security What Every Programmer Needs to Know

2024-05-24T19:07:35Z

by Daswani, Neil. author.
http://dx.doi.org/10.1007/978-1-4302-0377-3
Format: Electronic Resources

Practical Ruby for System Administration

2024-05-24T19:07:35Z

by Hamou, André Ben. author.
http://dx.doi.org/10.1007/978-1-4302-0194-6
Format: Electronic Resources

Pro SharePoint Solution Development Combining .NET, SharePoint, and Office 2007

2024-05-24T19:07:35Z

by Hild, Ed. author.
http://dx.doi.org/10.1007/978-1-4302-0203-5
Format: Electronic Resources

An Introduction to Network Programming with Java

2024-05-24T19:07:35Z

by Graba, Jan. author.
http://dx.doi.org/10.1007/978-1-84628-630-8
Format: Electronic Resources

Beginning Ruby on Rails E-Commerce From Novice to Professional

2024-05-24T19:07:35Z

by Hellsten, Christian. author.
http://dx.doi.org/10.1007/978-1-4302-0276-9
Format: Electronic Resources

Pro Crystal Enterprise/Business Objects XI Programming

2024-05-24T19:07:35Z

by Ganz, Carl. author.
http://dx.doi.org/10.1007/978-1-4302-0277-6
Format: Electronic Resources

Pro JavaScript™ Techniques

2024-05-24T19:07:35Z

by Resig, John. author.
http://dx.doi.org/10.1007/978-1-4302-0283-7
Format: Electronic Resources

The Essential Guide to Dreamweaver CS3 with CSS, Ajax, and PHP

2024-05-24T19:07:35Z

by Powers, David. author.
http://dx.doi.org/10.1007/978-1-4302-0288-2
Format: Electronic Resources

Foundation Flash CS3 for Designers

2024-05-24T19:07:35Z

by Green, Tom. author.
http://dx.doi.org/10.1007/978-1-4302-0289-9
Format: Electronic Resources

Practical JBoss® Seam Projects

2024-05-24T19:07:35Z

by Farley, Jim. editor.
http://dx.doi.org/10.1007/978-1-4302-0292-9
Format: Electronic Resources

Visual Basic 2005 Recipes A Problem-Solution Approach

2024-05-24T19:07:35Z

by Herman, Todd. author.
http://dx.doi.org/10.1007/978-1-4302-0295-0
Format: Electronic Resources

AdvancED DOM Scripting Dynamic Web Design Techniques

2024-05-24T19:07:35Z

by Sambells, Jeffrey. editor.
http://dx.doi.org/10.1007/978-1-4302-0298-1
Format: Electronic Resources

Beginning Rails From Novice to Professional

2024-05-24T19:07:35Z

by Hardy, Jeffrey Allan. author.
http://dx.doi.org/10.1007/978-1-4302-0319-3
Format: Electronic Resources

Workflow in the 2007 Microsoft Office System

2024-05-24T19:07:35Z

by Mann, David. author.
http://dx.doi.org/10.1007/978-1-4302-0323-0
Format: Electronic Resources

Pro WCF Practical Microsoft SOA Implementation

2024-05-24T19:07:35Z

by Peiris, Chris. author.
http://dx.doi.org/10.1007/978-1-4302-0324-7
Format: Electronic Resources

Beginning SQL Server 2005 Express for Developers From Novice to Professional

2024-05-24T19:07:35Z

by Dewson, Robin. author.
http://dx.doi.org/10.1007/978-1-4302-0329-2
Format: Electronic Resources

Pro InfoPath 2007

2024-05-24T19:07:35Z

by Janus, Philo. author.
http://dx.doi.org/10.1007/978-1-4302-0334-6
Format: Electronic Resources

The Essential Guide to Flex 2 with ActionScript 3.0

2024-05-24T19:07:35Z

by Brown, Charles E. author.
http://dx.doi.org/10.1007/978-1-4302-0336-0
Format: Electronic Resources

Raven: Scripting Java™ Builds with Ruby

2024-05-24T19:07:35Z

by Riou, Matthieu. author.
http://dx.doi.org/10.1007/978-1-4302-0343-8
Format: Electronic Resources

Beginning HTML with CSS and XHTML Modern Guide and Reference

2024-05-24T19:07:35Z

by Schultz, David. author.
http://dx.doi.org/10.1007/978-1-4302-0350-6
Format: Electronic Resources

Pro PayPal E-Commerce

2024-05-24T19:07:35Z

by Williams, Damon. author.
http://dx.doi.org/10.1007/978-1-4302-0353-7
Format: Electronic Resources

Pro NetBeans™ IDE 5.5 Enterprise Edition

2024-05-24T19:07:35Z

by Myatt, Adam. author.
http://dx.doi.org/10.1007/978-1-4302-0381-0
Format: Electronic Resources

Practical .NET 2.0 Networking Projects

2024-05-24T19:07:35Z

by Lee, Wei-Meng. author.
http://dx.doi.org/10.1007/978-1-4302-0383-4
Format: Electronic Resources

Foundation ActionScript 3.0 Animation Making Things Move!

2024-05-24T19:07:35Z

by Peters, Keith. author.
http://dx.doi.org/10.1007/978-1-4302-0384-1
Format: Electronic Resources

Beginning JBoss® Seam From Novice to Professional

2024-05-24T19:07:35Z

by Nusairat, Joseph Faisal. author.
http://dx.doi.org/10.1007/978-1-4302-0385-8
Format: Electronic Resources

Pro Drupal Development

2024-05-24T19:07:35Z

by VanDyk, John K. author.
http://dx.doi.org/10.1007/978-1-4302-0190-8
Format: Electronic Resources

Microformats: Empowering Your Markup for Web 2.0

2024-05-24T19:07:35Z

by Allsopp, John. author.
http://dx.doi.org/10.1007/978-1-4302-0195-3
Format: Electronic Resources

Practical JavaScript™, DOM Scripting, and Ajax Projects

2024-05-24T19:07:35Z

by Zammetti, Frank W. author.
http://dx.doi.org/10.1007/978-1-4302-0197-7
Format: Electronic Resources

Pro .NET 2.0 XML

2024-05-24T19:07:35Z

by Joshi, Bipin. author.
http://dx.doi.org/10.1007/978-1-4302-0198-4
Format: Electronic Resources

Foundations of ASP.NET AJAX

2024-05-24T19:07:35Z

by Pars, Robin. author.
http://dx.doi.org/10.1007/978-1-4302-0199-1
Format: Electronic Resources

Pro C# with .NET 3.0

2024-05-24T19:07:35Z

by Troelsen, Andrew. author.
http://dx.doi.org/10.1007/978-1-4302-0201-1
Format: Electronic Resources

Accelerated VB 2005

2024-05-24T19:07:35Z

by Fouché, Guy. author.
http://dx.doi.org/10.1007/978-1-4302-0202-8
Format: Electronic Resources

An Introduction to HTML and JavaScript for Scientists and Engineers

2024-05-24T19:07:35Z

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

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

2024-05-24T19:07:35Z

by Virbitskaite, Irina. editor.
http://dx.doi.org/10.1007/978-3-540-70881-0
Format: Electronic Resources

Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-05-24T19:07:35Z

by Murphy, Amy L. editor.
http://dx.doi.org/10.1007/978-3-540-72794-1
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

2024-05-24T19:07:35Z

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

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings

2024-05-24T19:07:35Z

by Baral, Chitta. editor.
http://dx.doi.org/10.1007/978-3-540-72200-7
Format: Electronic Resources

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-05-24T19:07:35Z

by Indulska, Jadwiga. editor.
http://dx.doi.org/10.1007/978-3-540-72883-2
Format: Electronic Resources