Search Results for - Narrowed by: Software engineering. - 2007

Pattern-oriented software architecture. Volume 5, On patterns and pattern languages

2024-05-30T15:16:06Z

by Buschmann, Frank.
https://learning.oreilly.com/library/view/~/9780471486480/?ar https://go.oreilly.com/library-access/library/view/-/9780471486480/?ar https://learning.oreilly.com/library/view/~/9780471486480
Format: Electronic Resources

Release It!

2024-05-30T15:16:06Z

by Nygard, Michael, author.
https://learning.oreilly.com/library/view/~/9781680500264/?ar https://learning.oreilly.com/library/view/~/9781680500264 https://go.oreilly.com/library-access/library/view/-/9781680500264/?ar
Format: Electronic Resources

Implementing the IBM

2024-05-30T15:16:06Z

by Barnes, Joshua, author.
https://go.oreilly.com/library-access/library/view/-/9780321369451/?ar https://learning.oreilly.com/library/view/~/9780321369451/?ar https://learning.oreilly.com/library/view/~/9780321369451
Format: Electronic Resources

Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

2024-05-30T15:16:06Z

by Sokolsky, Oleg. editor.
http://dx.doi.org/10.1007/978-3-540-77395-5
Format: Electronic Resources

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

2024-05-30T15:16:06Z

by Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-540-72522-0
Format: Electronic Resources

Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers

2024-05-30T15:16:06Z

by Overhage, Sven. editor.
http://dx.doi.org/10.1007/978-3-540-77619-2
Format: Electronic Resources

Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings

2024-05-30T15:16:06Z

by Kermarrec, Anne-Marie. editor.
http://dx.doi.org/10.1007/978-3-540-74466-5
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I

2024-05-30T15:16:06Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-74472-6
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II

2024-05-30T15:16:06Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-74477-1
Format: Electronic Resources

Software Architecture First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings

2024-05-30T15:16:06Z

by Oquendo, Flavio. editor.
http://dx.doi.org/10.1007/978-3-540-75132-8
Format: Electronic Resources

Computational Methods in Systems Biology International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings

2024-05-30T15:16:06Z

by Calder, Muffy. editor.
http://dx.doi.org/10.1007/978-3-540-75140-3
Format: Electronic Resources

Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers

2024-05-30T15:16:06Z

by Draheim, Dirk. editor.
http://dx.doi.org/10.1007/978-3-540-75912-6
Format: Electronic Resources

Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings

2024-05-30T15:16:06Z

by Paschke, Adrian. editor.
http://dx.doi.org/10.1007/978-3-540-75975-1
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings

2024-05-30T15:16:06Z

by Sawyer, Pete. editor.
http://dx.doi.org/10.1007/978-3-540-73031-6
Format: Electronic Resources

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

2024-05-30T15:16:06Z

by Bozapalidis, Symeon. editor.
http://dx.doi.org/10.1007/978-3-540-75414-5
Format: Electronic Resources

Dependable and Adaptable Networks and Services 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings

2024-05-30T15:16:06Z

by Pras, Aiko. editor.
http://dx.doi.org/10.1007/978-3-540-73530-4
Format: Electronic Resources

Data and Applications Security XXI 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings

2024-05-30T15:16:06Z

by Barker, Steve. editor.
http://dx.doi.org/10.1007/978-3-540-73538-0
Format: Electronic Resources

Persuasive Technology Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007, Revised Selected Papers

2024-05-30T15:16:06Z

by Kort, Yvonne. editor.
http://dx.doi.org/10.1007/978-3-540-77006-0
Format: Electronic Resources

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

2024-05-30T15:16:06Z

by Edelkamp, Stefan. editor.
http://dx.doi.org/10.1007/978-3-540-74128-2
Format: Electronic Resources

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

2024-05-30T15:16:06Z

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

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

2024-05-30T15:16:06Z

by George, Chris W. editor.
http://dx.doi.org/10.1007/978-3-540-74964-6
Format: Electronic Resources

Service-Oriented Computing – ICSOC 2007 Fifth International Conference, Vienna, Austria, September 17-20, 2007. Proceedings

2024-05-30T15:16:06Z

by Krämer, Bernd J. editor.
http://dx.doi.org/10.1007/978-3-540-74974-5
Format: Electronic Resources

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

2024-05-30T15:16:06Z

by Gaudin, Emmanuel. editor.
http://dx.doi.org/10.1007/978-3-540-74984-4
Format: Electronic Resources

NETWORKING 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 6th International IFIP-TC6 Networking Conference, Atlanta, GA, USA, May 14-18, 2007. Proceedings

2024-05-30T15:16:06Z

by Akyildiz, Ian F. editor.
http://dx.doi.org/10.1007/978-3-540-72606-7
Format: Electronic Resources

Managing Traffic Performance in Converged Networks 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings

2024-05-30T15:16:06Z

by Mason, Lorne. editor.
http://dx.doi.org/10.1007/978-3-540-72990-7
Format: Electronic Resources

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers

2024-05-30T15:16:06Z

by Noriega, Pablo. editor.
http://dx.doi.org/10.1007/978-3-540-74459-7
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III

2024-05-30T15:16:06Z

by Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-540-74484-9
Format: Electronic Resources

Business Process Management Concepts, Languages, Architectures

2024-05-30T15:16:06Z

by Weske, Mathias. author.
http://dx.doi.org/10.1007/978-3-540-73522-9
Format: Electronic Resources

Multi-Agent Systems and Applications V 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007. Proceedings

2024-05-30T15:16:06Z

by Burkhard, Hans-Dieter. editor.
http://dx.doi.org/10.1007/978-3-540-75254-7
Format: Electronic Resources

On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I

2024-05-30T15:16:06Z

by Meersman, Robert. editor.
http://dx.doi.org/10.1007/978-3-540-76888-3
Format: Electronic Resources

Virtual Storytelling. Using Virtual Reality Technologies for Storytelling 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007. Proceedings

2024-05-30T15:16:06Z

by Cavazza, Marc. editor.
http://dx.doi.org/10.1007/978-3-540-77039-8
Format: Electronic Resources

Transactions on Aspect-Oriented Software Development IV

2024-05-30T15:16:06Z

by Rashid, Awais. editor.
http://dx.doi.org/10.1007/978-3-540-77042-8
Format: Electronic Resources

Ruby on Rails for PHP and Java Developers

2024-05-30T15:16:06Z

by Vohra, Deepak. author.
http://dx.doi.org/10.1007/978-3-540-73145-0
Format: Electronic Resources

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

2024-05-30T15:16:06Z

by Comon-Lundh, Hubert. editor.
http://dx.doi.org/10.1007/978-3-540-73147-4
Format: Electronic Resources

Integrating security and software engineering advances and future visions

2024-05-30T15:16:06Z

by Mouratidis, Haralambos, 1977-
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-59904-147-6
Format: Electronic Resources

Advances in machine learning applications in software engineering

2024-05-30T15:16:06Z

by Zhang, Du.
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-59140-941-0
Format: Electronic Resources

CMMI for outsourcing : guidelines for software, systems, and IT acquisition

2024-05-30T15:16:06Z

by Hofmann, Hubert F.
https://learning.oreilly.com/library/view/~/9780321477170/?ar https://go.oreilly.com/library-access/library/view/-/9780321477170/?ar https://learning.oreilly.com/library/view/~/9780321477170
Format: Electronic Resources

Software requirement patterns

2024-05-30T15:16:06Z

by Withall, Stephen.
https://go.oreilly.com/library-access/library/view/-/9780735623989/?ar https://learning.oreilly.com/library/view/~/9780735623989/?ar https://learning.oreilly.com/library/view/~/9780735623989
Format: Electronic Resources

Pattern-oriented software architecture. v. 4, A pattern language for distributed computing

2024-05-30T15:16:06Z

by Buschmann, Frank.
https://learning.oreilly.com/library/view/~/9780470059029/?ar https://go.oreilly.com/library-access/library/view/-/9780470059029/?ar
Format: Electronic Resources

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

2024-05-30T15:16:06Z

by Krishnamurthi, Shriram. editor.
http://dx.doi.org/10.1007/978-3-540-71229-9
Format: Electronic Resources

Finite Model Theory and Its Applications

2024-05-30T15:16:06Z

by Grädel, Erich. author.
http://dx.doi.org/10.1007/3-540-68804-8
Format: Electronic Resources

Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings

2024-05-30T15:16:06Z

by Lukowicz, Paul. editor.
http://dx.doi.org/10.1007/978-3-540-71270-1
Format: Electronic Resources

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-05-30T15:16:06Z

by Dwyer, Matthew B. editor.
http://dx.doi.org/10.1007/978-3-540-71289-3
Format: Electronic Resources

The Semantic Web: Research and Applications 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. Proceedings

2024-05-30T15:16:06Z

by Franconi, Enrico. editor.
http://dx.doi.org/10.1007/978-3-540-72667-8
Format: Electronic Resources

Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers

2024-05-30T15:16:06Z

by Basili, Victor R. editor.
http://dx.doi.org/10.1007/978-3-540-71301-2
Format: Electronic Resources

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings

2024-05-30T15:16:06Z

by Lee, Yann-Hang. editor.
http://dx.doi.org/10.1007/978-3-540-72685-2
Format: Electronic Resources

Services Computing

2024-05-30T15:16:06Z

by Zhang, Liang-Jie. author.
http://dx.doi.org/10.1007/978-3-540-38284-3
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-30T15:16:06Z

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-30T15:16:06Z

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

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers

2024-05-30T15:16:06Z

by Daydé, Michel. editor.
http://dx.doi.org/10.1007/978-3-540-71351-7
Format: Electronic Resources

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

2024-05-30T15:16:06Z

by Seidl, Helmut. editor.
http://dx.doi.org/10.1007/978-3-540-71389-0
Format: Electronic Resources

Software Product Lines in Action The Best Industrial Practice in Product Line Engineering

2024-05-30T15:16:06Z

by Linden, Frank. author.
http://dx.doi.org/10.1007/978-3-540-71437-8
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

2024-05-30T15:16:06Z

by Derrick, John. editor.
http://dx.doi.org/10.1007/978-3-540-73196-2
Format: Electronic Resources

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

2024-05-30T15:16:06Z

by Davies, Jim. editor.
http://dx.doi.org/10.1007/978-3-540-73210-5
Format: Electronic Resources

Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings

2024-05-30T15:16:06Z

by Abdennadher, Nabil. editor.
http://dx.doi.org/10.1007/978-3-540-73230-3
Format: Electronic Resources

Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2024-05-30T15:16:06Z

by Stephanidis, Constantine. editor.
http://dx.doi.org/10.1007/978-3-540-73279-2
Format: Electronic Resources

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

2024-05-30T15:16:06Z

by Schneider, Klaus. editor.
http://dx.doi.org/10.1007/978-3-540-74591-4
Format: Electronic Resources

Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

2024-05-30T15:16:06Z

by Gurevich, Yuri. editor.
http://dx.doi.org/10.1007/978-3-540-73770-4
Format: Electronic Resources

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II

2024-05-30T15:16:06Z

by Stephanidis, Constantine. editor.
http://dx.doi.org/10.1007/978-3-540-73281-5
Format: Electronic Resources

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III

2024-05-30T15:16:06Z

by Stephanidis, Constantine. editor.
http://dx.doi.org/10.1007/978-3-540-73283-9
Format: Electronic Resources

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

2024-05-30T15:16:06Z

by Kühne, Thomas. editor.
http://dx.doi.org/10.1007/978-3-540-69489-2
Format: Electronic Resources

SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings

2024-05-30T15:16:06Z

by Leeuwen, Jan. editor.
http://dx.doi.org/10.1007/978-3-540-69507-3
Format: Electronic Resources

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

2024-05-30T15:16:06Z

by Doherty, Gavin. editor.
http://dx.doi.org/10.1007/978-3-540-69554-7
Format: Electronic Resources

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

2024-05-30T15:16:06Z

by Hanus, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-69611-7
Format: Electronic Resources

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

2024-05-30T15:16:06Z

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

Modelling Distributed Systems

2024-05-30T15:16:06Z

by Fokkink, Wan. author.
http://dx.doi.org/10.1007/978-3-540-73938-8
Format: Electronic Resources

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings

2024-05-30T15:16:06Z

by Malyshkin, Victor. editor.
http://dx.doi.org/10.1007/978-3-540-73940-1
Format: Electronic Resources

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings

2024-05-30T15:16:06Z

by Arbab, Farhad. editor.
http://dx.doi.org/10.1007/978-3-540-75698-9
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-05-30T15:16:06Z

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

Network and Parallel Computing IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007. Proceedings

2024-05-30T15:16:06Z

by Li, Keqiu. editor.
http://dx.doi.org/10.1007/978-3-540-74784-0
Format: Electronic Resources

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

2024-05-30T15:16:06Z

by Boer, Frank S. editor.
http://dx.doi.org/10.1007/978-3-540-74792-5
Format: Electronic Resources

Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I

2024-05-30T15:16:06Z

by Baranauskas, Cécilia. editor.
http://dx.doi.org/10.1007/978-3-540-74796-3
Format: Electronic Resources

Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II

2024-05-30T15:16:06Z

by Baranauskas, Cécilia. editor.
http://dx.doi.org/10.1007/978-3-540-74800-7
Format: Electronic Resources

RoboCup 2006: Robot Soccer World Cup X

2024-05-30T15:16:06Z

by Lakemeyer, Gerhard. editor.
http://dx.doi.org/10.1007/978-3-540-74024-7
Format: Electronic Resources

Architecting Dependable Systems IV

2024-05-30T15:16:06Z

by Lemos, Rogério. editor.
http://dx.doi.org/10.1007/978-3-540-74035-3
Format: Electronic Resources

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV

2024-05-30T15:16:06Z

by Shi, Yong. editor.
http://dx.doi.org/10.1007/978-3-540-72590-9
Format: Electronic Resources

Database and XMLTechnologies 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007. Proceedings

2024-05-30T15:16:06Z

by Barbosa, Denilson. editor.
http://dx.doi.org/10.1007/978-3-540-75288-2
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

2024-05-30T15:16:06Z

by Jones, Cliff B. editor.
http://dx.doi.org/10.1007/978-3-540-75292-9
Format: Electronic Resources

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

2024-05-30T15:16:06Z

by Jacko, Julie A. editor.
http://dx.doi.org/10.1007/978-3-540-73110-8
Format: Electronic Resources

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

2024-05-30T15:16:06Z

by Jacko, Julie A. editor.
http://dx.doi.org/10.1007/978-3-540-73111-5
Format: Electronic Resources

Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications

2024-05-30T15:16:06Z

by Choren, Ricardo. editor.
http://dx.doi.org/10.1007/978-3-540-73131-3
Format: Electronic Resources

Conceptual Modeling of Information Systems

2024-05-30T15:16:06Z

by Olivé, Antoni. author.
http://dx.doi.org/10.1007/978-3-540-39390-0
Format: Electronic Resources

Computer-Aided Design of User Interfaces V

2024-05-30T15:16:06Z

by Calvary, Gaëlle. editor.
http://dx.doi.org/10.1007/978-1-4020-5820-2
Format: Electronic Resources

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

2024-05-30T15:16:06Z

by Nicolescu, G. editor.
http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: Electronic Resources

Pro Access 2007

2024-05-30T15:16:06Z

by Reid, Martin W P. author.
http://dx.doi.org/10.1007/978-1-4302-0209-7
Format: Electronic Resources

Extreme NXT Extending the LEGO MINDSTORMS NXT to the Next Level

2024-05-30T15:16:06Z

by Gasperi, Michael. author.
http://dx.doi.org/10.1007/978-1-4302-0211-0
Format: Electronic Resources

Forensic Computing

2024-05-30T15:16:06Z

by Sammes, Tony. author.
http://dx.doi.org/10.1007/978-1-84628-732-9
Format: Electronic Resources

Java Methods for Financial Engineering Applications in Finance and Investment

2024-05-30T15:16:06Z

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

Workflows for e-Science Scientific Workflows for Grids

2024-05-30T15:16:06Z

by Taylor, Ian J. editor.
http://dx.doi.org/10.1007/978-1-84628-757-2
Format: Electronic Resources

Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Services

2024-05-30T15:16:06Z

by Gunther, Neil J. author.
http://dx.doi.org/10.1007/978-3-540-31010-5
Format: Electronic Resources

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

2024-05-30T15:16:06Z

by Brim, Luboš. editor.
http://dx.doi.org/10.1007/978-3-540-70952-7
Format: Electronic Resources

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino

2024-05-30T15:16:06Z

by Beckert, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-540-69061-0
Format: Electronic Resources

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

2024-05-30T15:16:06Z

by Prodan, Radu. author.
http://dx.doi.org/10.1007/978-3-540-69262-1
Format: Electronic Resources

All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic

2024-05-30T15:16:06Z

by Clavel, Manuel. author.
http://dx.doi.org/10.1007/978-3-540-71999-1
Format: Electronic Resources

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

2024-05-30T15:16:06Z

by Bemporad, Alberto. editor.
http://dx.doi.org/10.1007/978-3-540-71493-4
Format: Electronic Resources

Active Networks IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers

2024-05-30T15:16:06Z

by Minden, Gary J. editor.
http://dx.doi.org/10.1007/978-3-540-71500-9
Format: Electronic Resources

Emerging Directions in Embedded and Ubiquitous Computing EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 17-20, 2007. Proceedings

2024-05-30T15:16:06Z

by Denko, Mieso K. editor.
http://dx.doi.org/10.1007/978-3-540-77090-9
Format: Electronic Resources

Embedded and Ubiquitous Computing International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings

2024-05-30T15:16:06Z

by Kuo, Tei-Wei. editor.
http://dx.doi.org/10.1007/978-3-540-77092-3
Format: Electronic Resources

Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers

2024-05-30T15:16:06Z

by O’Hare, Gregory M. P. editor.
http://dx.doi.org/10.1007/978-3-540-75524-1
Format: Electronic Resources

Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings

2024-05-30T15:16:06Z

by Tomkos, Ioannis. editor.
http://dx.doi.org/10.1007/978-3-540-72731-6
Format: Electronic Resources

New Trends in Applied Artificial Intelligence 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings

2024-05-30T15:16:06Z

by Okuno, Hiroshi G. editor.
http://dx.doi.org/10.1007/978-3-540-73325-6
Format: Electronic Resources

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

2024-05-30T15:16:06Z

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

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

2024-05-30T15:16:06Z

by Mossakowski, Till. editor.
http://dx.doi.org/10.1007/978-3-540-73859-6
Format: Electronic Resources

Advanced Data Mining and Applications Third International Conference, ADMA 2007 Harbin, China, August 6-8, 2007. Proceedings

2024-05-30T15:16:06Z

by Alhajj, Reda. editor.
http://dx.doi.org/10.1007/978-3-540-73871-8
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

2024-05-30T15:16:06Z

by Paillier, Pascal. editor.
http://dx.doi.org/10.1007/978-3-540-74735-2
Format: Electronic Resources

Parallel and Distributed Processing and Applications 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings

2024-05-30T15:16:06Z

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

Frontiers of High Performance Computing and Networking ISPA 2007 Workshops ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007 Proceedings

2024-05-30T15:16:06Z

by Thulasiraman, Parimala. editor.
http://dx.doi.org/10.1007/978-3-540-74767-3
Format: Electronic Resources

Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings

2024-05-30T15:16:06Z

by Luo, Yuhua. editor.
http://dx.doi.org/10.1007/978-3-540-74780-2
Format: Electronic Resources

Ad-Hoc, Mobile, and Wireless Networks 6th International Conference, ADHOC-NOW 2007, Morelia, Mexico, September 24-26, 2007, Proceeedings

2024-05-30T15:16:06Z

by Kranakis, Evangelos. editor.
http://dx.doi.org/10.1007/978-3-540-74823-6
Format: Electronic Resources

Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

2024-05-30T15:16:06Z

by Shen, Weiming. editor.
http://dx.doi.org/10.1007/978-3-540-72863-4
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-30T15:16:06Z

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

Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling

2024-05-30T15:16:06Z

by Pastor, Oscar. author.
http://dx.doi.org/10.1007/978-3-540-71868-0
Format: Electronic Resources

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers

2024-05-30T15:16:06Z

by Guelfi, Nicolas. editor.
http://dx.doi.org/10.1007/978-3-540-71876-5
Format: Electronic Resources

Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

2024-05-30T15:16:06Z

by Liblit, Ben. author.
http://dx.doi.org/10.1007/978-3-540-71878-9
Format: Electronic Resources

Information Security Applications 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers

2024-05-30T15:16:06Z

by Kim, Sehun. editor.
http://dx.doi.org/10.1007/978-3-540-77535-5
Format: Electronic Resources

Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers

2024-05-30T15:16:06Z

by Kågström, Bo. editor.
http://dx.doi.org/10.1007/978-3-540-75755-9
Format: Electronic Resources

Algorithms for Sensor and Ad Hoc Networks Advanced Lectures

2024-05-30T15:16:06Z

by Wagner, Dorothea. editor.
http://dx.doi.org/10.1007/978-3-540-74991-2
Format: Electronic Resources

Autonomic and Trusted Computing 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007. Proceedings

2024-05-30T15:16:06Z

by Xiao, Bin. editor.
http://dx.doi.org/10.1007/978-3-540-73547-2
Format: Electronic Resources

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

2024-05-30T15:16:06Z

by Schmidt, Heinz W. editor.
http://dx.doi.org/10.1007/978-3-540-73551-9
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-30T15:16:06Z

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

Ubiquitous Computing Systems 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007. Proceedings

2024-05-30T15:16:06Z

by Ichikawa, Haruhisa. editor.
http://dx.doi.org/10.1007/978-3-540-76772-5
Format: Electronic Resources

Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings

2024-05-30T15:16:06Z

by Cerqueira, Renato. editor.
http://dx.doi.org/10.1007/978-3-540-76778-7
Format: Electronic Resources

Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

2024-05-30T15:16:06Z

by Backhouse, Roland. editor.
http://dx.doi.org/10.1007/978-3-540-76786-2
Format: Electronic Resources

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

2024-05-30T15:16:06Z

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

Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

2024-05-30T15:16:06Z

by Pfenning, Frank. editor.
http://dx.doi.org/10.1007/978-3-540-73595-3
Format: Electronic Resources

Web Engineering 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings

2024-05-30T15:16:06Z

by Baresi, Luciano. editor.
http://dx.doi.org/10.1007/978-3-540-73597-7
Format: Electronic Resources

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings

2024-05-30T15:16:06Z

by Perrott, Ronald. editor.
http://dx.doi.org/10.1007/978-3-540-75444-2
Format: Electronic Resources

On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II

2024-05-30T15:16:06Z

by Meersman, Robert. editor.
http://dx.doi.org/10.1007/978-3-540-76890-6
Format: Electronic Resources

LabVIEW based Advanced Instrumentation Systems

2024-05-30T15:16:06Z

by Sumathi, S. author.
http://dx.doi.org/10.1007/978-3-540-48501-8
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

2024-05-30T15:16:06Z

by Raskin, Jean-François. editor.
http://dx.doi.org/10.1007/978-3-540-75454-1
Format: Electronic Resources

Service-Oriented Computing ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshops Proceedings

2024-05-30T15:16:06Z

by Georgakopoulos, Dimitrios. editor.
http://dx.doi.org/10.1007/978-3-540-75492-3
Format: Electronic Resources

Information Security 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings

2024-05-30T15:16:06Z

by Garay, Juan A. editor.
http://dx.doi.org/10.1007/978-3-540-75496-1
Format: Electronic Resources

Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I

2024-05-30T15:16:06Z

by Beliczynski, Bartlomiej. editor.
http://dx.doi.org/10.1007/978-3-540-71618-1
Format: Electronic Resources

Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II

2024-05-30T15:16:06Z

by Beliczynski, Bartlomiej. editor.
http://dx.doi.org/10.1007/978-3-540-71629-7
Format: Electronic Resources

Service Availability 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings

2024-05-30T15:16:06Z

by Malek, Miroslaw. editor.
http://dx.doi.org/10.1007/978-3-540-72736-1
Format: Electronic Resources

Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers

2024-05-30T15:16:06Z

by Lehner, Wolfgang. editor.
http://dx.doi.org/10.1007/978-3-540-72337-0
Format: Electronic Resources

Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings

2024-05-30T15:16:06Z

by Cérin, Christophe. editor.
http://dx.doi.org/10.1007/978-3-540-72360-8
Format: Electronic Resources

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

2024-05-30T15:16:06Z

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

Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-05-30T15:16:06Z

by Brueckner, Sven A. editor.
http://dx.doi.org/10.1007/978-3-540-69868-5
Format: Electronic Resources

50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligence

2024-05-30T15:16:06Z

by Lungarella, Max. editor.
http://dx.doi.org/10.1007/978-3-540-77296-5
Format: Electronic Resources

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers

2024-05-30T15:16:06Z

by Obermaisser, Roman. editor.
http://dx.doi.org/10.1007/978-3-540-75664-4
Format: Electronic Resources

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

2024-05-30T15:16:06Z

by Damm, Werner. editor.
http://dx.doi.org/10.1007/978-3-540-73368-3
Format: Electronic Resources

Software Process Dynamics and Agility International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings

2024-05-30T15:16:06Z

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

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

2024-05-30T15:16:06Z

by Nielson, Hanne Riis. editor.
http://dx.doi.org/10.1007/978-3-540-74061-2
Format: Electronic Resources

Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings

2024-05-30T15:16:06Z

by Akehurst, David H. editor.
http://dx.doi.org/10.1007/978-3-540-72901-3
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings

2024-05-30T15:16:06Z

by Jin, Hai. editor.
http://dx.doi.org/10.1007/978-3-540-72905-1
Format: Electronic Resources

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-05-30T15:16:06Z

by Bonsangue, Marcello M. editor.
http://dx.doi.org/10.1007/978-3-540-72952-5
Format: Electronic Resources

UbiComp 2007: Ubiquitous Computing 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007. Proceedings

2024-05-30T15:16:06Z

by Krumm, John. editor.
http://dx.doi.org/10.1007/978-3-540-74853-3
Format: Electronic Resources

Self-Organizing Systems Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007. Proceedings

2024-05-30T15:16:06Z

by Hutchison, David. editor.
http://dx.doi.org/10.1007/978-3-540-74917-2
Format: Electronic Resources

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

2024-05-30T15:16:06Z

by Arge, Lars. editor.
http://dx.doi.org/10.1007/978-3-540-73420-8
Format: Electronic Resources

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings

2024-05-30T15:16:06Z

by Anai, Hirokazu. editor.
http://dx.doi.org/10.1007/978-3-540-73433-8
Format: Electronic Resources

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

2024-05-30T15:16:06Z

by Saglietti, Francesca. editor.
http://dx.doi.org/10.1007/978-3-540-75101-4
Format: Electronic Resources

Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings

2024-05-30T15:16:06Z

by Münch, Jürgen. editor.
http://dx.doi.org/10.1007/978-3-540-73460-4
Format: Electronic Resources

Pervasive Computing for Quality of Life Enhancement 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007. Proceedings

2024-05-30T15:16:06Z

by Okadome, Takeshi. editor.
http://dx.doi.org/10.1007/978-3-540-73035-4
Format: Electronic Resources

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings

2024-05-30T15:16:06Z

by Engels, Gregor. editor.
http://dx.doi.org/10.1007/978-3-540-75209-7
Format: Electronic Resources

Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings

2024-05-30T15:16:06Z

by Wolter, Katinka. editor.
http://dx.doi.org/10.1007/978-3-540-75211-0
Format: Electronic Resources

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

2024-05-30T15:16:06Z

by Jones, Cliff B. editor.
http://dx.doi.org/10.1007/978-3-540-75221-9
Format: Electronic Resources

Design Patterns for e-Science

2024-05-30T15:16:06Z

by Gardner, Henry. author.
http://dx.doi.org/10.1007/3-540-68090-X
Format: Electronic Resources

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-05-30T15:16:06Z

by Bordini, Rafael H. editor.
http://dx.doi.org/10.1007/978-3-540-71956-4
Format: Electronic Resources

Wired/Wireless Internet Communications 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007. Proceedings

2024-05-30T15:16:06Z

by Boavida, Fernando. editor.
http://dx.doi.org/10.1007/978-3-540-72697-5
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

2024-05-30T15:16:06Z

by Fiadeiro, José Luiz. editor.
http://dx.doi.org/10.1007/978-3-540-71998-4
Format: Electronic Resources

Pervasive Computing 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007. Proceedings

2024-05-30T15:16:06Z

by LaMarca, Anthony. editor.
http://dx.doi.org/10.1007/978-3-540-72037-9
Format: Electronic Resources

Aggregation Functions: A Guide for Practitioners

2024-05-30T15:16:06Z

by Beliakov, Gleb. author.
http://dx.doi.org/10.1007/978-3-540-73721-6
Format: Electronic Resources

Network Control and Optimization First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings

2024-05-30T15:16:06Z

by Chahed, Tijani. editor.
http://dx.doi.org/10.1007/978-3-540-72709-5
Format: Electronic Resources

The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments

2024-05-30T15:16:06Z

by Streitz, Norbert. editor.
http://dx.doi.org/10.1007/978-3-540-72727-9
Format: Electronic Resources

Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings

2024-05-30T15:16:06Z

by Konev, Boris. editor.
http://dx.doi.org/10.1007/978-3-540-74621-8
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

2024-05-30T15:16:06Z

by Dershowitz, Nachum. editor.
http://dx.doi.org/10.1007/978-3-540-75560-9
Format: Electronic Resources

Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

2024-05-30T15:16:06Z

by Parent, Christine. editor.
http://dx.doi.org/10.1007/978-3-540-75563-0
Format: Electronic Resources

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

2024-05-30T15:16:06Z

by Namjoshi, Kedar S. editor.
http://dx.doi.org/10.1007/978-3-540-75596-8
Format: Electronic Resources

High Performance Computing – HiPC 2007 14th International Conference, Goa, India, December 18-21, 2007. Proceedings

2024-05-30T15:16:06Z

by Aluru, Srinivas. editor.
http://dx.doi.org/10.1007/978-3-540-77220-0
Format: Electronic Resources

Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings

2024-05-30T15:16:06Z

by Winckler, Marco. editor.
http://dx.doi.org/10.1007/978-3-540-77222-4
Format: Electronic Resources

Anti-Spam Measures Analysis and Design

2024-05-30T15:16:06Z

by Schryen, Guido. author.
http://dx.doi.org/10.1007/978-3-540-71750-8
Format: Electronic Resources

Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports

2024-05-30T15:16:06Z

by Südholt, Mario. editor.
http://dx.doi.org/10.1007/978-3-540-71774-4
Format: Electronic Resources

Ubiquitous Convergence Technology First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers

2024-05-30T15:16:06Z

by Stajano, Frank. editor.
http://dx.doi.org/10.1007/978-3-540-71789-8
Format: Electronic Resources

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

2024-05-30T15:16:06Z

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

Next Generation Teletraffic and Wired/Wireless Advanced Networking 7th International Conference, NEW2AN 2007 St. Petersburg, Russia, September 10-14, 2007 Proceedings

2024-05-30T15:16:06Z

by Koucheryavy, Yevgeni. editor.
http://dx.doi.org/10.1007/978-3-540-74833-5
Format: Electronic Resources

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

2024-05-30T15:16:06Z

by Bošnački, Dragan. editor.
http://dx.doi.org/10.1007/978-3-540-73370-6
Format: Electronic Resources

Active Conceptual Modeling of Learning Next Generation Learning-Base System Development

2024-05-30T15:16:06Z

by Chen, Peter P. editor.
http://dx.doi.org/10.1007/978-3-540-77503-4
Format: Electronic Resources

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II

2024-05-30T15:16:06Z

by Shi, Yong. editor.
http://dx.doi.org/10.1007/978-3-540-72586-2
Format: Electronic Resources

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III

2024-05-30T15:16:06Z

by Shi, Yong. editor.
http://dx.doi.org/10.1007/978-3-540-72588-6
Format: Electronic Resources

Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings

2024-05-30T15:16:06Z

by Marchiori, Massimo. editor.
http://dx.doi.org/10.1007/978-3-540-72982-2
Format: Electronic Resources

Transactions on Aspect-Oriented Software Development III

2024-05-30T15:16:06Z

by Rashid, Awais. editor.
http://dx.doi.org/10.1007/978-3-540-75162-5
Format: Electronic Resources

Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

2024-05-30T15:16:06Z

by Petrenko, Alexandre. editor.
http://dx.doi.org/10.1007/978-3-540-73066-8
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings

2024-05-30T15:16:06Z

by Masuzawa, Toshimitsu. editor.
http://dx.doi.org/10.1007/978-3-540-76627-8
Format: Electronic Resources

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

2024-05-30T15:16:06Z

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-30T15:16:06Z

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

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

2024-05-30T15:16:06Z

by Kleijn, Jetty. editor.
http://dx.doi.org/10.1007/978-3-540-73094-1
Format: Electronic Resources

Sustainable Internet Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings

2024-05-30T15:16:06Z

by Fdida, Serge. editor.
http://dx.doi.org/10.1007/978-3-540-76809-8
Format: Electronic Resources

Early Aspects: Current Challenges and Future Directions 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers

2024-05-30T15:16:06Z

by Moreira, Ana. editor.
http://dx.doi.org/10.1007/978-3-540-76811-1
Format: Electronic Resources

Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings

2024-05-30T15:16:06Z

by Xu, Ming. editor.
http://dx.doi.org/10.1007/978-3-540-76837-1
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings

2024-05-30T15:16:06Z

by Concas, Giulio. editor.
http://dx.doi.org/10.1007/978-3-540-73101-6
Format: Electronic Resources

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2024-05-30T15:16:06Z

by Jacko, Julie A. editor.
http://dx.doi.org/10.1007/978-3-540-73105-4
Format: Electronic Resources

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

2024-05-30T15:16:06Z

by Jacko, Julie A. editor.
http://dx.doi.org/10.1007/978-3-540-73107-8
Format: Electronic Resources

Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings

2024-05-30T15:16:06Z

by Bondavalli, Andrea. editor.
http://dx.doi.org/10.1007/978-3-540-75294-3
Format: Electronic Resources

Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

2024-05-30T15:16:06Z

by Montanari, Ugo. editor.
http://dx.doi.org/10.1007/978-3-540-75336-0
Format: Electronic Resources

Software Process Improvement 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings

2024-05-30T15:16:06Z

by Abrahamsson, Pekka. editor.
http://dx.doi.org/10.1007/978-3-540-75381-0
Format: Electronic Resources

Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software

2024-05-30T15:16:06Z

by Diehl, Stephan. author.
http://dx.doi.org/10.1007/978-3-540-46505-8
Format: Electronic Resources

IPv6 in Practice A Unixer’s Guide to the Next Generation Internet

2024-05-30T15:16:06Z

by Stockebrand, Benedikt. author.
http://dx.doi.org/10.1007/978-3-540-48001-3
Format: Electronic Resources

Conceptual Modelling in Information Systems Engineering

2024-05-30T15:16:06Z

by Krogstie, John. editor.
http://dx.doi.org/10.1007/978-3-540-72677-7
Format: Electronic Resources

Universal Access in Ambient Intelligence Environments 9th ERCIM Workshop on User Interfaces for All, Königswinter, Germany, September 27-28, 2006. Revised Papers

2024-05-30T15:16:06Z

by Stephanidis, Constantine. editor.
http://dx.doi.org/10.1007/978-3-540-71025-7
Format: Electronic Resources

Information Security Applications 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers

2024-05-30T15:16:06Z

by Lee, Jae Kwang. editor.
http://dx.doi.org/10.1007/978-3-540-71093-6
Format: Electronic Resources

Enabling Semantic Web Services The Web Service Modeling Ontology

2024-05-30T15:16:06Z

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

Web Component Development with Zope 3

2024-05-30T15:16:06Z

by Weitershausen, Philipp. author.
http://dx.doi.org/10.1007/978-3-540-33808-6
Format: Electronic Resources

Distributed Services with OpenAFS for Enterprise and Education

2024-05-30T15:16:06Z

by Milicchio, Franco. author.
http://dx.doi.org/10.1007/978-3-540-36634-8
Format: Electronic Resources

Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers

2024-05-30T15:16:06Z

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

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

2024-05-30T15:16:06Z

by Cook, Byron. editor.
http://dx.doi.org/10.1007/978-3-540-69738-1
Format: Electronic Resources

Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings

2024-05-30T15:16:06Z

by Langendoen, Koen. editor.
http://dx.doi.org/10.1007/978-3-540-69830-2
Format: Electronic Resources

Software Measurement Establish — Extract — Evaluate — Execute

2024-05-30T15:16:06Z

by Ebert, Christof. author.
http://dx.doi.org/10.1007/978-3-540-71649-5
Format: Electronic Resources

Databases, Information Systems, and Peer-to-Peer Computing International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers

2024-05-30T15:16:06Z

by Moro, Gianluca. editor.
http://dx.doi.org/10.1007/978-3-540-71661-7
Format: Electronic Resources

Ergonomics and Health Aspects of Work with Computers International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2024-05-30T15:16:06Z

by Dainoff, Marvin J. editor.
http://dx.doi.org/10.1007/978-3-540-73333-1
Format: Electronic Resources

Virtual Reality Second International Conference, ICVR 2007, Held as part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2024-05-30T15:16:06Z

by Shumaker, Randall. editor.
http://dx.doi.org/10.1007/978-3-540-73335-5
Format: Electronic Resources

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

2024-05-30T15:16:06Z

by Lumpe, Markus. editor.
http://dx.doi.org/10.1007/978-3-540-77351-1
Format: Electronic Resources

Test and Analysis of Web Services

2024-05-30T15:16:06Z

by Baresi, Luciano. editor.
http://dx.doi.org/10.1007/978-3-540-72912-9
Format: Electronic Resources

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I

2024-05-30T15:16:06Z

by Shi, Yong. editor.
http://dx.doi.org/10.1007/978-3-540-72584-8
Format: Electronic Resources

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

2024-05-30T15:16:06Z

by Coninx, Karin. editor.
http://dx.doi.org/10.1007/978-3-540-70816-2
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-30T15:16:06Z

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

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

2024-05-30T15:16:06Z

by Bin, Eyal. editor.
http://dx.doi.org/10.1007/978-3-540-70889-6
Format: Electronic Resources

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

2024-05-30T15:16:06Z

by Padgham, Lin. editor.
http://dx.doi.org/10.1007/978-3-540-70945-9
Format: Electronic Resources

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

2024-05-30T15:16:06Z

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

The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007

2024-05-30T15:16:06Z

by Redmill, Felix. editor.
http://dx.doi.org/10.1007/978-1-84628-806-7
Format: Electronic Resources

Formal Refinement for Operating System Kernels

2024-05-30T15:16:06Z

by Craig, Iain D. author.
http://dx.doi.org/10.1007/978-1-84628-967-5
Format: Electronic Resources

Distributed, High-Performance and Grid Computing in Computational Biology International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings

2024-05-30T15:16:06Z

by Dubitzky, Werner. editor.
http://dx.doi.org/10.1007/978-3-540-69968-2
Format: Electronic Resources

Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings

2024-05-30T15:16:06Z

by Kuznetsov, Sergei O. editor.
http://dx.doi.org/10.1007/978-3-540-70901-5
Format: Electronic Resources

Visual Languages and Applications

2024-05-30T15:16:06Z

by Zhang, Kang. author.
http://dx.doi.org/10.1007/978-0-387-68257-0
Format: Electronic Resources

Distributed and Parallel Systems From Cluster to Grid Computing

2024-05-30T15:16:06Z

by Kacsuk, Péter. editor.
http://dx.doi.org/10.1007/978-0-387-69858-8
Format: Electronic Resources

Automatic Quantum Computer Programming A Genetic Programming Approach

2024-05-30T15:16:06Z

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

Design for Manufacturability and Yield for Nano-Scale CMOS

2024-05-30T15:16:06Z

by Chiang, Charles C. author.
http://dx.doi.org/10.1007/978-1-4020-5188-3
Format: Electronic Resources

Software Verification and Validation An Engineering and Scientific Approach

2024-05-30T15:16:06Z

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

Open Source Development, Adoption and Innovation IFIP Working Group 2.13 on Open Source Software, June 11–14, 2007, Limerick, Ireland

2024-05-30T15:16:06Z

by Feller, Joseph. editor.
http://dx.doi.org/10.1007/978-0-387-72486-7
Format: Electronic Resources

Processor Design System-on-Chip Computing for ASICs and FPGAs

2024-05-30T15:16:06Z

by Nurmi, Jari. editor.
http://dx.doi.org/10.1007/978-1-4020-5530-0
Format: Electronic Resources

Smart and Gets Things Done Joel Spolsky’s Concise Guide to Finding the Best Technical Talent

2024-05-30T15:16:06Z

by Spolsky, Joel. author.
http://dx.doi.org/10.1007/978-1-4302-0254-7
Format: Electronic Resources

Pro BizTalk 2006

2024-05-30T15:16:06Z

by Dunphy, George. author.
http://dx.doi.org/10.1007/978-1-4302-0259-2
Format: Electronic Resources

Painless Project Management with FogBugz

2024-05-30T15:16:06Z

by Gunderloy, Mike. editor.
http://dx.doi.org/10.1007/978-1-4302-0487-9
Format: Electronic Resources

Pro Active Record Databases with Ruby and Rails

2024-05-30T15:16:06Z

by Marshall, Kevin. author.
http://dx.doi.org/10.1007/978-1-4302-0269-1
Format: Electronic Resources

Beginning Joomla! From Novice to Professional

2024-05-30T15:16:06Z

by Rahmel, Dan. author.
http://dx.doi.org/10.1007/978-1-4302-0278-3
Format: Electronic Resources

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06

2024-05-30T15:16:06Z

by Huss, Sorin A. editor.
http://dx.doi.org/10.1007/978-1-4020-6149-3
Format: Electronic Resources

An Introduction to Network Programming with Java

2024-05-30T15:16:06Z

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

Evolving Connectionist Systems The Knowledge Engineering Approach

2024-05-30T15:16:06Z

by Kasabov, Nikola. author.
http://dx.doi.org/10.1007/978-1-84628-347-5
Format: Electronic Resources

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

2024-05-30T15:16:06Z

by Ramesh, S. editor.
http://dx.doi.org/10.1007/978-1-4020-6254-4
Format: Electronic Resources

Advances and Innovations in Systems, Computing Sciences and Software Engineering

2024-05-30T15:16:06Z

by Elleithy, Khaled. editor.
http://dx.doi.org/10.1007/978-1-4020-6264-3
Format: Electronic Resources

Optimized ASIP Synthesis from Architecture Description Language Models

2024-05-30T15:16:06Z

by Schliebusch, Oliver. author.
http://dx.doi.org/10.1007/978-1-4020-5686-4
Format: Electronic Resources

Fine- and Coarse-Grain Reconfigurable Computing

2024-05-30T15:16:06Z

by Vassiliadis, Stamatis. editor.
http://dx.doi.org/10.1007/978-1-4020-6505-7
Format: Electronic Resources

Real-Time Object Uniform Design Methodology with UML

2024-05-30T15:16:06Z

by Duc, Bui Minh. editor.
http://dx.doi.org/10.1007/978-1-4020-5977-3
Format: Electronic Resources

The Definitive Guide to SOA: BEA AquaLogic® Service Bus

2024-05-30T15:16:06Z

by Davies, Jeff. author.
http://dx.doi.org/10.1007/978-1-4302-0263-9
Format: Electronic Resources

Word 2007 Beyond the Manual

2024-05-30T15:16:06Z

by Morrison, Connie. author.
http://dx.doi.org/10.1007/978-1-4302-0268-4
Format: Electronic Resources

LEGO® MINDSTORMS® NXT-G Programming Guide

2024-05-30T15:16:06Z

by Kelly, James Floyd. author.
http://dx.doi.org/10.1007/978-1-4302-0303-2
Format: Electronic Resources

The Definitive Guide to the Microsoft Enterprise Library

2024-05-30T15:16:06Z

by Newton, Keenan. author.
http://dx.doi.org/10.1007/978-1-4302-0315-5
Format: Electronic Resources

Clear Blogging How People Blogging Are Changing the World and How You Can Join Them

2024-05-30T15:16:06Z

by Walsh, Bob. author.
http://dx.doi.org/10.1007/978-1-4302-0321-6
Format: Electronic Resources

Founders at Work Stories of Startups’ Early Days

2024-05-30T15:16:06Z

by Livingston, Jessica. author.
http://dx.doi.org/10.1007/978-1-4302-0327-8
Format: Electronic Resources

Semantic Web: Concepts, Technologies and Applications

2024-05-30T15:16:06Z

by Breitman, Karin Koogan. author.
http://dx.doi.org/10.1007/978-1-84628-710-7
Format: Electronic Resources

Embedded Java Security Security for Mobile Devices

2024-05-30T15:16:06Z

by Debbabi, Mourad. author.
http://dx.doi.org/10.1007/978-1-84628-711-4
Format: Electronic Resources

Enterprise Interoperability New Challenges and Approaches

2024-05-30T15:16:06Z

by Doumeingts, Guy. editor.
http://dx.doi.org/10.1007/978-1-84628-714-5
Format: Electronic Resources

SharePoint 2007 User’s Guide Learning Microsoft’s Collaboration and Productivity Platform

2024-05-30T15:16:06Z

by Bates, Seth. author.
http://dx.doi.org/10.1007/978-1-4302-0207-3
Format: Electronic Resources

Formal Models of Operating System Kernels

2024-05-30T15:16:06Z

by Craig, Iain D. author.
http://dx.doi.org/10.1007/978-1-84628-718-3
Format: Electronic Resources

Enterprise Interoperability II New Challenges and Approaches

2024-05-30T15:16:06Z

by Gonçalves, Ricardo J. editor.
http://dx.doi.org/10.1007/978-1-84628-858-6
Format: Electronic Resources

Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications

2024-05-30T15:16:06Z

by Bobda, Christophe. editor.
http://dx.doi.org/10.1007/978-1-4020-6100-4
Format: Electronic Resources

Advanced Memory Optimization Techniques for Low-Power Embedded Processors

2024-05-30T15:16:06Z

by Verma, Manish. author.
http://dx.doi.org/10.1007/978-1-4020-5897-4
Format: Electronic Resources

Beginning Ubuntu Linux

2024-05-30T15:16:06Z

by Thomas, Keir. author.
http://dx.doi.org/10.1007/978-1-4302-0191-5
Format: Electronic Resources

System Software Reliability

2024-05-30T15:16:06Z

by Pham, Hoang. author.
http://dx.doi.org/10.1007/1-84628-295-0
Format: Electronic Resources

Software Engineering Techniques: Design for Quality

2024-05-30T15:16:06Z

by Sacha, Krzysztof. editor.
http://dx.doi.org/10.1007/978-0-387-39388-9
Format: Electronic Resources

Compiling Esterel

2024-05-30T15:16:06Z

by Potop-Butucaru, Dumitru. author.
http://dx.doi.org/10.1007/978-0-387-70628-3
Format: Electronic Resources

Designing Embedded Processors A Low Power Perspective

2024-05-30T15:16:06Z

by Henkel, Jörg. editor.
http://dx.doi.org/10.1007/978-1-4020-5869-1
Format: Electronic Resources

Lego Mindstorms NXT-G Programming Guide

2024-05-30T15:16:06Z

by Kelly, James Floyd. author.
http://dx.doi.org/10.1007/978-1-4302-2977-3
Format: Electronic Resources

Expert SQL Server 2005 Development

2024-05-30T15:16:06Z

by Machanic, Adam. author.
http://dx.doi.org/10.1007/978-1-4302-0333-9
Format: Electronic Resources

Windows Vista Beyond the Manual

2024-05-30T15:16:06Z

by Hassell, Jonathan. author.
http://dx.doi.org/10.1007/978-1-4302-0368-1
Format: Electronic Resources

Use Case Driven Object Modeling with UML Theory and Practice

2024-05-30T15:16:06Z

by Rosenberg, Doug. author.
http://dx.doi.org/10.1007/978-1-4302-0369-8
Format: Electronic Resources

Pro Apache Tomcat 6

2024-05-30T15:16:06Z

by Moodie, Matthew. author.
http://dx.doi.org/10.1007/978-1-4302-0378-0
Format: Electronic Resources

Beginning Google Maps Applications with Rails and Ajax From Novice to Professional

2024-05-30T15:16:06Z

by Lewis, Andre. author.
http://dx.doi.org/10.1007/978-1-4302-0380-3
Format: Electronic Resources

Outlook 2007 Beyond the Manual

2024-05-30T15:16:06Z

by Campbell, Tony. author.
http://dx.doi.org/10.1007/978-1-4302-0388-9
Format: Electronic Resources

Excel 2007 Beyond the Manual

2024-05-30T15:16:06Z

by Dixon, Helen. author.
http://dx.doi.org/10.1007/978-1-4302-0389-6
Format: Electronic Resources

Software for Dependable Systems : Sufficient Evidence?.

2024-05-30T15:16:06Z

by Jackson, Daniel.
Click to View
Format: Electronic Resources

Summary of a Workshop for Software-Intensive Systems and Uncertainty at Scale.

2024-05-30T15:16:06Z

by Committee on Advancing Software-Intensive Systems Producibility, National Research Council.
Click to View
Format: Electronic Resources

Beautiful code

2024-05-30T15:16:06Z

by Oram, Andrew.
https://learning.oreilly.com/library/view/~/9780596510046/?ar https://learning.oreilly.com/library/view/~/9780596510046 https://go.oreilly.com/library-access/library/view/-/9780596510046/?ar
Format: Electronic Resources