Search Results for - Narrowed by: Computer science. - 2006

eLearning and Digital Publishing

2024-06-04T13:22:57Z

by Ching, Hsianghoo Steve. editor.
http://dx.doi.org/10.1007/1-4020-3651-5
Format: Electronic Resources

Geometric Properties for Incomplete data

2024-06-04T13:22:57Z

by Klette, Reinhard. editor.
http://dx.doi.org/10.1007/1-4020-3858-8
Format: Electronic Resources

New Directions in Human Information Behavior

2024-06-04T13:22:57Z

by Spink, Amanda. editor.
http://dx.doi.org/10.1007/1-4020-3670-1
Format: Electronic Resources

Enterprise Information Systems VI

2024-06-04T13:22:57Z

by Seruca, Isabel. editor.
http://dx.doi.org/10.1007/1-4020-3675-2
Format: Electronic Resources

Advances in Sensing with Security Applications

2024-06-04T13:22:57Z

by Byrnes, Jim. editor.
http://dx.doi.org/10.1007/1-4020-4295-7
Format: Electronic Resources

Consuming Music Together Social and Collaborative Aspects of Music Consumption Technologies

2024-06-04T13:22:57Z

by O’Hara, Kenton. editor.
http://dx.doi.org/10.1007/1-4020-4097-0
Format: Electronic Resources

SAT 2005 Satisfiability Research in the Year 2005

2024-06-04T13:22:57Z

by Giunchiglia, Enrico. editor.
http://dx.doi.org/10.1007/978-1-4020-5571-3
Format: Electronic Resources

Computing Attitude and Affect in Text: Theory and Applications

2024-06-04T13:22:57Z

by Shanahan, James G. editor.
http://dx.doi.org/10.1007/1-4020-4102-0
Format: Electronic Resources

Information Technology and Lawyers Advanced Technology in the Legal Domain, from Challenges to Daily Routine

2024-06-04T13:22:57Z

by Lodder, Arno R. editor.
http://dx.doi.org/10.1007/1-4020-4146-2
Format: Electronic Resources

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

2024-06-04T13:22:57Z

by Burton, Mark. author.
http://dx.doi.org/10.1007/1-4020-5138-7
Format: Electronic Resources

Embedded Systems – Modeling, Technology, and Applications

2024-06-04T13:22:57Z

by Hommel, Günter. editor.
http://dx.doi.org/10.1007/1-4020-4933-1
Format: Electronic Resources

Pro Visual C++/CLI and the .NET 2.0 Platform

2024-06-04T13:22:57Z

by Fraser, Stephen R. G. author.
http://dx.doi.org/10.1007/978-1-4302-0109-0
Format: Electronic Resources

Advanced Man-Machine Interaction Fundamentals and Implementation

2024-06-04T13:22:57Z

by Kraiss, Karl-Friedrich. editor.
http://dx.doi.org/10.1007/3-540-30619-6
Format: Electronic Resources

Foundation ASP for Dreamweaver 8

2024-06-04T13:22:57Z

by Elbaga, Omar. author.
http://dx.doi.org/10.1007/978-1-4302-0120-5
Format: Electronic Resources

Beginning Web Development with Perl From Novice to Professional

2024-06-04T13:22:57Z

by Suehring, Steve. author.
http://dx.doi.org/10.1007/978-1-4302-0089-5
Format: Electronic Resources

Scientific Visualization: The Visual Extraction of Knowledge from Data

2024-06-04T13:22:57Z

by Bonneau, Georges-Pierre. editor.
http://dx.doi.org/10.1007/3-540-30790-7
Format: Electronic Resources

Practical .NET for Financial Markets

2024-06-04T13:22:57Z

by Shetty, Yogesh. author.
http://dx.doi.org/10.1007/978-1-4302-0147-2
Format: Electronic Resources

Introduction to Programming with Fortran

2024-06-04T13:22:57Z

by Chivers, Ian D. author.
http://dx.doi.org/10.1007/b137984
Format: Electronic Resources

Practical Mono

2024-06-04T13:22:57Z

by Mamone, Mark. author.
http://dx.doi.org/10.1007/978-1-4302-0097-0
Format: Electronic Resources

Microsoft SharePoint Building Office 2003 Solutions

2024-06-04T13:22:57Z

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

Foundation PHP For Dreamweaver 8

2024-06-04T13:22:57Z

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

Flash 8 Essentials

2024-06-04T13:22:57Z

by Barnes-Hoggett, Paul. author.
http://dx.doi.org/10.1007/978-1-4302-0102-1
Format: Electronic Resources

Pro Java ME MMAPI Mobile Media API for Java Micro Edition

2024-06-04T13:22:57Z

by Goyal, Vikram. author.
http://dx.doi.org/10.1007/978-1-4302-0157-1
Format: Electronic Resources

Foundation ASP.NET for Flash

2024-06-04T13:22:57Z

by Moore, Ryan. author.
http://dx.doi.org/10.1007/978-1-4302-0103-8
Format: Electronic Resources

Beginning Visual Web Developer 2005 Express From Novice to Professional

2024-06-04T13:22:57Z

by Sarknas, Paul. author.
http://dx.doi.org/10.1007/978-1-4302-0105-2
Format: Electronic Resources

Building Online Communities with Drupal, phpBB, and WordPress

2024-06-04T13:22:57Z

by Douglass, Robert T. author.
http://dx.doi.org/10.1007/978-1-4302-0106-9
Format: Electronic Resources

Grey Information Theory and Practical Applications

2024-06-04T13:22:57Z

by Liu, Sifeng. author.
http://dx.doi.org/10.1007/1-84628-342-6
Format: Electronic Resources

EC2ND 2005 Proceedings of the First European Conference on Computer Network Defence School of Computing, University of Glamorgan, Wales, UK

2024-06-04T13:22:57Z

by Blyth, Andrew. editor.
http://dx.doi.org/10.1007/1-84628-352-3
Format: Electronic Resources

Designing Accessible Technology

2024-06-04T13:22:57Z

by Clarkson, John. editor.
http://dx.doi.org/10.1007/1-84628-365-5
Format: Electronic Resources

Pro .NET 2.0 Extreme Programming

2024-06-04T13:22:57Z

by Pearman, Greg. author.
http://dx.doi.org/10.1007/978-1-4302-0179-3
Format: Electronic Resources

Beginning DotNetNuke 4.0 Website Creation in C# 2005 with Visual Web Developer 2005 Express From Novice to Professional

2024-06-04T13:22:57Z

by Symmonds, Nick. author.
http://dx.doi.org/10.1007/978-1-4302-0180-9
Format: Electronic Resources

Practical Software Factories in .NET

2024-06-04T13:22:57Z

by Lenz, Gunther. author.
http://dx.doi.org/10.1007/978-1-4302-0181-6
Format: Electronic Resources

Pro Ajax and Java™ Frameworks

2024-06-04T13:22:57Z

by Schutta, Nathaniel T. author.
http://dx.doi.org/10.1007/978-1-4302-0182-3
Format: Electronic Resources

Pro Ajax and the .NET 2.0 Platform

2024-06-04T13:22:57Z

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

Beginning JavaScript with DOM Scripting and Ajax From Novice to Professional

2024-06-04T13:22:57Z

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

Data Complexity in Pattern Recognition

2024-06-04T13:22:57Z

by Basu, Mitra. editor.
http://dx.doi.org/10.1007/978-1-84628-172-3
Format: Electronic Resources

Intelligent Spaces The Application of Pervasive ICT

2024-06-04T13:22:57Z

by Steventon, Alan. editor.
http://dx.doi.org/10.1007/978-1-84628-429-8
Format: Electronic Resources

Mathematical Approaches to Software Quality

2024-06-04T13:22:57Z

by O'Regan, Gerard. author.
http://dx.doi.org/10.1007/1-84628-435-9
Format: Electronic Resources

Theory of Computation

2024-06-04T13:22:57Z

by Kozen, Dexter C. author.
http://dx.doi.org/10.1007/1-84628-477-5
Format: Electronic Resources

Body Sensor Networks

2024-06-04T13:22:57Z

by Yang, Guang-Zhong. editor.
http://dx.doi.org/10.1007/1-84628-484-8
Format: Electronic Resources

Coordination of Large-Scale Multiagent Systems

2024-06-04T13:22:57Z

by Scerri, Paul. editor.
http://dx.doi.org/10.1007/0-387-27972-5
Format: Electronic Resources

Distributed Multimedia Retrieval Strategies for Large Scale Networked Systems

2024-06-04T13:22:57Z

by Veeravalli, Bharadwaj. author.
http://dx.doi.org/10.1007/978-0-387-29675-3
Format: Electronic Resources

The Finite Element Method and Applications in Engineering Using Ansys®

2024-06-04T13:22:57Z

by Madenci, Erdogan. author.
http://dx.doi.org/10.1007/978-0-387-28290-9
Format: Electronic Resources

Semantic Management of Middleware

2024-06-04T13:22:57Z

by Oberle, Daniel. author.
http://dx.doi.org/10.1007/0-387-27631-9
Format: Electronic Resources

Security and Privacy in Dynamic Environments Proceedings of the IFIP TC-11 21st International Information Security Conference (SEC 2006), 22–24 May 2006, Karlstad, Sweden

2024-06-04T13:22:57Z

by Fischer-Hübner, Simone. editor.
http://dx.doi.org/10.1007/0-387-33406-8
Format: Electronic Resources

Understanding Intrusion Detection Through Visualization

2024-06-04T13:22:57Z

by Axelsson, Stefan. author.
http://dx.doi.org/10.1007/0-387-27636-X
Format: Electronic Resources

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies

2024-06-04T13:22:57Z

by Zomaya, Albert Y. editor.
http://dx.doi.org/10.1007/0-387-27705-6
Format: Electronic Resources

Access Control Systems Security, Identity Management and Trust Models

2024-06-04T13:22:57Z

by Benantar, Messaoud. author.
http://dx.doi.org/10.1007/0-387-27716-1
Format: Electronic Resources

Continuous System Simulation

2024-06-04T13:22:57Z

by Cellier, François E. author.
http://dx.doi.org/10.1007/0-387-30260-3
Format: Electronic Resources

Modelling and Reasoning with Vague Concepts

2024-06-04T13:22:57Z

by Lawry, Jonathan. author.
http://dx.doi.org/10.1007/0-387-30262-X
Format: Electronic Resources

Quality of Protection Security Measurements and Metrics

2024-06-04T13:22:57Z

by Gollmann, Dieter. editor.
http://dx.doi.org/10.1007/978-0-387-36584-8
Format: Electronic Resources

Multimedia Database Retrieval: A Human-Centered Approach

2024-06-04T13:22:57Z

by Muneesawang, Paisarn. author.
http://dx.doi.org/10.1007/978-0-387-34629-8
Format: Electronic Resources

Ad-Hoc Networking IFIP 19th World Computer Congress, TC-6, IFIP Interactive Conference on Ad-Hoc Networking, August 20–25, 2006, Santiago, Chile

2024-06-04T13:22:57Z

by Agha, Khaldoun. editor.
http://dx.doi.org/10.1007/978-0-387-34738-7
Format: Electronic Resources

History of Computing and Education 2 (HCE2) IFIP 19th World Computer Congress, WG 9.7, TC 9: History of Computing, Proceedings of the Second Conference on the History of Computing and Education, August 21–24, 2006, Santiago, Chile

2024-06-04T13:22:57Z

by Impagliazzo, John. editor.
http://dx.doi.org/10.1007/978-0-387-34741-7
Format: Electronic Resources

Artificial Intelligence in Theory and Practice IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21–24, 2006, Santiago, Chile

2024-06-04T13:22:57Z

by Bramer, Max. editor.
http://dx.doi.org/10.1007/978-0-387-34747-9
Format: Electronic Resources

Professional Practice in Artificial Intelligence IFIP 19th World Computer Congress, TC 12: Professional Practice Stream, August 21–24, 2006, Santiago, Chile

2024-06-04T13:22:57Z

by Debenham, John. editor.
http://dx.doi.org/10.1007/978-0-387-34749-3
Format: Electronic Resources

Network Control and Engineering for Qos, Security and Mobility, V IFIP 19th World Computer Congress, TC-6, 5th IFIP International Conference on Network Control and Engineering for QoS, Security and Mobility, August 20–25, 2006, Santiago, Chile

2024-06-04T13:22:57Z

by Gaïti, Dominique. editor.
http://dx.doi.org/10.1007/978-0-387-34827-8
Format: Electronic Resources

Social Informatics: An Information Society for all? In Remembrance of Rob Kling Proceedings of the Seventh International Conference on Human Choice and Computers (HCC7), IFIP TC 9, Maribor, Slovenia, September 21–23, 2006

2024-06-04T13:22:57Z

by Berleur, Jacques. editor.
http://dx.doi.org/10.1007/978-0-387-37876-3
Format: Electronic Resources

VLSI-SOC: From Systems to Chips IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1–3, 2003, Darmstadt, Germany

2024-06-04T13:22:57Z

by Glesner, Manfred. editor.
http://dx.doi.org/10.1007/0-387-33403-3
Format: Electronic Resources

Measure Theory and Probability Theory

2024-06-04T13:22:57Z

by Athreya, Krishna B. author.
http://dx.doi.org/10.1007/978-0-387-35434-7
Format: Electronic Resources

Finite Mixture and Markov Switching Models

2024-06-04T13:22:57Z

by Frühwirth-Schnatter, Sylvia. author.
http://dx.doi.org/10.1007/978-0-387-35768-3
Format: Electronic Resources

Trust in Technology: A Socio-Technical Perspective

2024-06-04T13:22:57Z

by Clarke, Karen. editor.
http://dx.doi.org/10.1007/1-4020-4258-2
Format: Electronic Resources

Informing Digital Futures Strategies for Citizen Engagement

2024-06-04T13:22:57Z

by Damodaran, Leela. author.
http://dx.doi.org/10.1007/978-1-4020-4784-8
Format: Electronic Resources

Elementary Functions Algorithms and Implementation

2024-06-04T13:22:57Z

by Muller, Jean-Michel. author.
http://dx.doi.org/10.1007/b137928
Format: Electronic Resources

Astrophysical disks Collective and Stochastic Phenomena

2024-06-04T13:22:57Z

by Fridman, Alexei M. editor.
http://dx.doi.org/10.1007/1-4020-4348-1
Format: Electronic Resources

Linear Systems

2024-06-04T13:22:57Z

by Antsaklis, Panos J. author.
http://dx.doi.org/10.1007/0-8176-4435-0
Format: Electronic Resources

End User Development

2024-06-04T13:22:57Z

by Lieberman, Henry. editor.
http://dx.doi.org/10.1007/1-4020-5386-X
Format: Electronic Resources

AmIware Hardware Technology Drivers of Ambient Intelligence

2024-06-04T13:22:57Z

by Mukherjee, Satyen. editor.
http://dx.doi.org/10.1007/1-4020-4198-5
Format: Electronic Resources

HCI related papers of Interacción 2004

2024-06-04T13:22:57Z

by Navarro-Prieto, Raquel. editor.
http://dx.doi.org/10.1007/1-4020-4205-1
Format: Electronic Resources

National Systems of Innovation in Comparison Structure and Performance Indicators for Knowledge Societies

2024-06-04T13:22:57Z

by Schmoch, Ulrich. editor.
http://dx.doi.org/10.1007/1-4020-4949-1
Format: Electronic Resources

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11–13, 2006, Braga, Portugal

2024-06-04T13:22:57Z

by Kleinjohann, Bernd. editor.
http://dx.doi.org/10.1007/978-0-387-39362-9
Format: Electronic Resources

Multivariate Public Key Cryptosystems

2024-06-04T13:22:57Z

by Ding, Jintai. author.
http://dx.doi.org/10.1007/978-0-387-36946-4
Format: Electronic Resources

Evolvable Hardware

2024-06-04T13:22:57Z

by Higuchi, Tetsuya. editor.
http://dx.doi.org/10.1007/0-387-31238-2
Format: Electronic Resources

Computer Viruses and Malware

2024-06-04T13:22:57Z

by Aycock, John. author.
http://dx.doi.org/10.1007/0-387-34188-9
Format: Electronic Resources

CryptoGraphics Exploiting Graphics Cards for Security

2024-06-04T13:22:57Z

by Cook, Debra L. author.
http://dx.doi.org/10.1007/0-387-34189-7
Format: Electronic Resources

Artificial Intelligence Applications and Innovations 3rd IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI) 2006, June 7–9, 2006, Athens, Greece

2024-06-04T13:22:57Z

by Maglogiannis, Ilias. editor.
http://dx.doi.org/10.1007/0-387-34224-9
Format: Electronic Resources

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italy

2024-06-04T13:22:57Z

by Damiani, Ernesto. editor.
http://dx.doi.org/10.1007/0-387-34226-5
Format: Electronic Resources

Canadian Semantic Web

2024-06-04T13:22:57Z

by Koné, Mamadou Tadiou. editor.
http://dx.doi.org/10.1007/978-0-387-34347-1
Format: Electronic Resources

Uniform Output Regulation of Nonlinear Systems A Convergent Dynamics Approach

2024-06-04T13:22:57Z

by Pavlov, Alexey. author.
http://dx.doi.org/10.1007/0-8176-4465-2
Format: Electronic Resources

Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China

2024-06-04T13:22:57Z

by Wang, Kesheng. editor.
http://dx.doi.org/10.1007/0-387-34403-9
Format: Electronic Resources

The Transfer and Diffusion of Information Technology for Organizational Resilience IFIP TC8 WG 8.6 International Working Conference, June 7–10, 2006, Galway, Ireland

2024-06-04T13:22:57Z

by Donnellan, Brian. editor.
http://dx.doi.org/10.1007/0-387-34410-1
Format: Electronic Resources

Research and Practical Issues of Enterprise Information Systems IFIP TC 8 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2006) April 24–26, 2006, Vienna, Austria

2024-06-04T13:22:57Z

by Tjoa, A. Min. editor.
http://dx.doi.org/10.1007/0-387-34456-X
Format: Electronic Resources

Fast, Efficient and Predictable Memory Accesses Optimization Algorithms for Memory Architecture Aware Compilation

2024-06-04T13:22:57Z

by Wehmeyer, Lars. author.
http://dx.doi.org/10.1007/1-4020-4822-X
Format: Electronic Resources

Enterprise Service Oriented Architectures Concepts, Challenges, Recommendations

2024-06-04T13:22:57Z

by McGovern, James. author.
http://dx.doi.org/10.1007/1-4020-3705-8
Format: Electronic Resources

Contributions to the Science of Text and Language Word Length Studies and Related Issues

2024-06-04T13:22:57Z

by Grzybek, Peter. editor.
http://dx.doi.org/10.1007/978-1-4020-4068-9
Format: Electronic Resources

Rigid Flexibility The Logic of Intelligence

2024-06-04T13:22:57Z

by Wang, Pei. author.
http://dx.doi.org/10.1007/1-4020-5045-3
Format: Electronic Resources

Computer Applications in Sustainable Forest Management Including Perspectives on Collaboration and Integration

2024-06-04T13:22:57Z

by Shao, Guofan. editor.
http://dx.doi.org/10.1007/978-1-4020-4387-1
Format: Electronic Resources

Imaging Beyond the Pinhole Camera

2024-06-04T13:22:57Z

by Daniilidis, Kostas. editor.
http://dx.doi.org/10.1007/978-1-4020-4894-4
Format: Electronic Resources

Visual C# 2005 Recipes A Problem-Solution Approach

2024-06-04T13:22:57Z

by Jones, Allen. author.
http://dx.doi.org/10.1007/978-1-4302-0115-1
Format: Electronic Resources

A Tester’s Guide to .NET Programming

2024-06-04T13:22:57Z

by Root, Randal. author.
http://dx.doi.org/10.1007/978-1-4302-0116-8
Format: Electronic Resources

Enabling Technologies for Wireless E-Business

2024-06-04T13:22:57Z

by Kou, Weidong. editor.
http://dx.doi.org/10.1007/978-3-540-30637-5
Format: Electronic Resources

Beginning Apache Struts From Novice to Professional

2024-06-04T13:22:57Z

by Doray, Arnold. author.
http://dx.doi.org/10.1007/978-1-4302-0129-8
Format: Electronic Resources

AdvancED ActionScript Components Mastering the Flash Component Architecture

2024-06-04T13:22:57Z

by Donatis, Antonio. author.
http://dx.doi.org/10.1007/978-1-4302-0130-4
Format: Electronic Resources

Ajax Patterns and Best Practices

2024-06-04T13:22:57Z

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

Foundation XML for Flash

2024-06-04T13:22:57Z

by Jacobs, Sas. author.
http://dx.doi.org/10.1007/978-1-4302-0074-1
Format: Electronic Resources

Pro .NET 2.0 Graphics Programming

2024-06-04T13:22:57Z

by White, Eric. author.
http://dx.doi.org/10.1007/978-1-4302-0075-8
Format: Electronic Resources

Pro OpenSSH

2024-06-04T13:22:57Z

by Stahnke, Michael. author.
http://dx.doi.org/10.1007/978-1-4302-0076-5
Format: Electronic Resources

Foundations of Object-Oriented Programming Using .NET 2.0 Patterns

2024-06-04T13:22:57Z

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

Dynamics AX A Guide to Microsoft Axapta

2024-06-04T13:22:57Z

by Mourão, Luis X. B. author.
http://dx.doi.org/10.1007/978-1-4302-0078-9
Format: Electronic Resources

Beginning ASP.NET 2.0 E-Commerce in C# 2005 From Novice to Professional

2024-06-04T13:22:57Z

by Darie, Cristian. author.
http://dx.doi.org/10.1007/978-1-4302-0079-6
Format: Electronic Resources

Pro Scalable .NET 2.0 Application Designs

2024-06-04T13:22:57Z

by Rossberg, Joachim. author.
http://dx.doi.org/10.1007/978-1-4302-0080-2
Format: Electronic Resources

Foundation ActionScript Animation Making Things Move!

2024-06-04T13:22:57Z

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

Foundations of Ajax

2024-06-04T13:22:57Z

by Asleson, Ryan. author.
http://dx.doi.org/10.1007/978-1-4302-0082-6
Format: Electronic Resources

Hardening Windows

2024-06-04T13:22:57Z

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

Beginning Java EE 5 From Novice to Professional

2024-06-04T13:22:57Z

by Mukhar, Kevin. author.
http://dx.doi.org/10.1007/978-1-4302-0084-0
Format: Electronic Resources

eDirectory Field Guide

2024-06-04T13:22:57Z

by Killpack, Rick. author.
http://dx.doi.org/10.1007/978-1-4302-0085-7
Format: Electronic Resources

Flash Application Design Solutions The Flash Usability Handbook

2024-06-04T13:22:57Z

by Cheung, Ka Wai. author.
http://dx.doi.org/10.1007/978-1-4302-0132-8
Format: Electronic Resources

Beginning Ubuntu Linux From Novice to Professional

2024-06-04T13:22:57Z

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

Programming Sudoku

2024-06-04T13:22:57Z

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

Pro PHP XML and Web Services

2024-06-04T13:22:57Z

by Richards, Robert. author.
http://dx.doi.org/10.1007/978-1-4302-0139-7
Format: Electronic Resources

Foundations of Java for ABAP Programmers

2024-06-04T13:22:57Z

by Rooney, Alistair. author.
http://dx.doi.org/10.1007/978-1-4302-0140-3
Format: Electronic Resources

Excel Pivot Tables Recipe Book A Problem-Solution Approach

2024-06-04T13:22:57Z

by Dalgleisch, Debra. author.
http://dx.doi.org/10.1007/978-1-4302-0141-0
Format: Electronic Resources

Beginning POJOs From Novice to Professional

2024-06-04T13:22:57Z

by Sam-Bodden, Brian. author.
http://dx.doi.org/10.1007/978-1-4302-0142-7
Format: Electronic Resources

Eric Sink on the Business of Software

2024-06-04T13:22:57Z

by Sink, Eric. author.
http://dx.doi.org/10.1007/978-1-4302-0143-4
Format: Electronic Resources

Computational and Statistical Approaches to Genomics

2024-06-04T13:22:57Z

by Zhang, Wei. editor.
http://dx.doi.org/10.1007/b137323
Format: Electronic Resources

Hop Integrity in the Internet

2024-06-04T13:22:57Z

by Huang, Chin-Tser. author.
http://dx.doi.org/10.1007/0-387-29444-9
Format: Electronic Resources

Future Generation Grids Proceedings of the Workshop on Future Generation Grids November 1–5, 2004, Dagstuhl, Germany

2024-06-04T13:22:57Z

by Getov, Vladimir. editor.
http://dx.doi.org/10.1007/978-0-387-29445-2
Format: Electronic Resources

Designing Human Interface in Speech Technology

2024-06-04T13:22:57Z

by Chen, Fang. author.
http://dx.doi.org/10.1007/b104643
Format: Electronic Resources

Handbook of Mathematical Models in Computer Vision

2024-06-04T13:22:57Z

by Paragios, Nikos. editor.
http://dx.doi.org/10.1007/0-387-28831-7
Format: Electronic Resources

A Classical Introduction to Cryptography Exercise Book

2024-06-04T13:22:57Z

by Baigèneres, Thomas. author.
http://dx.doi.org/10.1007/0-387-28835-X
Format: Electronic Resources

M-Solid Varieties of Algebras

2024-06-04T13:22:57Z

by Koppitz, J. author.
http://dx.doi.org/10.1007/0-387-30806-7
Format: Electronic Resources

Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions

2024-06-04T13:22:57Z

by Nguyen, Duc Thai. author.
http://dx.doi.org/10.1007/0-387-30851-2
Format: Electronic Resources

Software Configuration Management Using Vesta

2024-06-04T13:22:57Z

by Heydon, Allan. author.
http://dx.doi.org/10.1007/978-0-387-30852-4
Format: Electronic Resources

Curves and Surfaces for Computer Graphics

2024-06-04T13:22:57Z

by Salomon, David. author.
http://dx.doi.org/10.1007/0-387-28452-4
Format: Electronic Resources

FPGA Implementations of Neural Networks

2024-06-04T13:22:57Z

by Omondi, Amos R. editor.
http://dx.doi.org/10.1007/0-387-28487-7
Format: Electronic Resources

Optical WDM Networks

2024-06-04T13:22:57Z

by Mukherjee, Biswanath. author.
http://dx.doi.org/10.1007/0-387-29188-1
Format: Electronic Resources

Advances in Information Technologies for Electromagnetics

2024-06-04T13:22:57Z

by Tarricone, Luciano.
http://dx.doi.org/10.1007/978-1-4020-4749-5
Format: Electronic Resources

Nonparametric Functional Data Analysis Theory and Practice

2024-06-04T13:22:57Z

by Ferraty, Frédéric. author.
http://dx.doi.org/10.1007/0-387-36620-2
Format: Electronic Resources

Social Inclusion: Societal and Organizational Implications for Information Systems IFIP TC8 WG8.2 International Working Conference, July 12–15, 2006, Limerick, Ireland

2024-06-04T13:22:57Z

by Trauth, Eileen M. editor.
http://dx.doi.org/10.1007/0-387-34588-4
Format: Electronic Resources

Nonlinear Integer Programming

2024-06-04T13:22:57Z

by Li, Duan. author.
http://dx.doi.org/10.1007/0-387-32995-1
Format: Electronic Resources

System Modeling and Optimization Proceedings of the 22nd IFIP TC7 Conference held from July 18–22, 2005, in Turin, Italy

2024-06-04T13:22:57Z

by Ceragioli, F. editor.
http://dx.doi.org/10.1007/0-387-33006-2
Format: Electronic Resources

Network-Centric Collaboration and Supporting Frameworks IFIP TC5 WG 5.5 Seventh IFlP Working Conference on Virtual Enterprises, 25’27 September 2006, Helsinki, Finland.

2024-06-04T13:22:57Z

by SpringerLink (Online service)
http://dx.doi.org/10.1007/978-0-387-38269-2
Format: Electronic Resources

Avatars at Work and Play Collaboration and Interaction in Shared Virtual Environments

2024-06-04T13:22:57Z

by Schroeder, Ralph. editor.
http://dx.doi.org/10.1007/1-4020-3898-4
Format: Electronic Resources

A Classical Introduction to Cryptography Applications for Communications Security

2024-06-04T13:22:57Z

by Vaudenay, Serge. author.
http://dx.doi.org/10.1007/b136373
Format: Electronic Resources

Methods and Procedures for the Verification and Validation of Artificial Neural Networks

2024-06-04T13:22:57Z

by Taylor, Brian J. author.
http://dx.doi.org/10.1007/0-387-29485-6
Format: Electronic Resources

Unconstrained Face Recognition

2024-06-04T13:22:57Z

by Zhou, Shaohua Kevin. author.
http://dx.doi.org/10.1007/978-0-387-29486-5
Format: Electronic Resources

Human Identification Based on Gait

2024-06-04T13:22:57Z

by Nixon, Mark S. author.
http://dx.doi.org/10.1007/978-0-387-29488-9
Format: Electronic Resources

Hardware Verification with C++ A Practitioner’s Handbook

2024-06-04T13:22:57Z

by Mintz, Mike. author.
http://dx.doi.org/10.1007/978-0-387-36254-0
Format: Electronic Resources

Applied Probability and Statistics

2024-06-04T13:22:57Z

by Lefebvre, Mario. author.
http://dx.doi.org/10.1007/0-387-28505-9
Format: Electronic Resources

Mathematical Problems from Applied Logic I Logics for the XXIst Century

2024-06-04T13:22:57Z

by Gabbay, Dov M. editor.
http://dx.doi.org/10.1007/0-387-31072-X
Format: Electronic Resources

A Roadmap for Formal Property Verification

2024-06-04T13:22:57Z

by DasGupta, Pallab. author.
http://dx.doi.org/10.1007/978-1-4020-4758-9
Format: Electronic Resources

e-Business and Telecommunication Networks

2024-06-04T13:22:57Z

by Ascenso, João. editor.
http://dx.doi.org/10.1007/1-4020-4761-4
Format: Electronic Resources

Algebraic Aspects of the Advanced Encryption Standard

2024-06-04T13:22:57Z

by Cid, Carlos. author.
http://dx.doi.org/10.1007/978-0-387-36842-9
Format: Electronic Resources

Advances in Digital Forensics II IFIP international Conference on Digital Forensics, National Center for Forensic Science, Orlando, Florida, January 29– February 1, 2006

2024-06-04T13:22:57Z

by Olivier, Martin S. editor.
http://dx.doi.org/10.1007/0-387-36891-4
Format: Electronic Resources

Systems, Control, Modeling and Optimization Proceedings of the 22nd IFIP TC7 Conference held from July 18–22, 2005, in Turin, Italy

2024-06-04T13:22:57Z

by Ceragioli, F. editor.
http://dx.doi.org/10.1007/0-387-33882-9
Format: Electronic Resources

Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods

2024-06-04T13:22:57Z

by Nikolaev, Nikolay Y. author.
http://dx.doi.org/10.1007/0-387-31240-4
Format: Electronic Resources

Precision Assembly Technologies for Mini and Micro Products Proceedings of the IFIP TC5 WG5.5 Third International Precision Assembly Seminar (IPAS ’2006), 19–21 February 2006, Bad Hofgastein, Austria

2024-06-04T13:22:57Z

by Ratchev, Svetan. editor.
http://dx.doi.org/10.1007/0-387-31277-3
Format: Electronic Resources

Notes on Set Theory

2024-06-04T13:22:57Z

by Moschovakis, Yiannis. author.
http://dx.doi.org/10.1007/0-387-31609-4
Format: Electronic Resources

Markov Chains: Models, Algorithms and Applications

2024-06-04T13:22:57Z

by Ching, Wai-Ki. author.
http://dx.doi.org/10.1007/0-387-29337-X
Format: Electronic Resources

Modeling and Simulation Tools for Emerging Telecommunication Networks Needs, Trends, Challenges and Solutions

2024-06-04T13:22:57Z

by Nejat Ince, A. editor.
http://dx.doi.org/10.1007/0-387-34167-6
Format: Electronic Resources

Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile

2024-06-04T13:22:57Z

by Ochoa, Sergio F. editor.
http://dx.doi.org/10.1007/978-0-387-34831-5
Format: Electronic Resources

Handbook of Multibiometrics

2024-06-04T13:22:57Z

by Ross, Arun A. author.
http://dx.doi.org/10.1007/0-387-33123-9
Format: Electronic Resources

A Concise Introduction to Mathematical Logic

2024-06-04T13:22:57Z

by Rautenberg, Wolfgang. author.
http://dx.doi.org/10.1007/0-387-34241-9
Format: Electronic Resources

Data Mining and Knowledge Discovery Approaches Based on Rule Induction Techniques

2024-06-04T13:22:57Z

by Triantaphyllou, Evangelos. editor.
http://dx.doi.org/10.1007/0-387-34296-6
Format: Electronic Resources

Semantic Web and Education

2024-06-04T13:22:57Z

by Devedžić, Vladan. author.
http://dx.doi.org/10.1007/978-0-387-35417-0
Format: Electronic Resources

Fuzzy Modeling and Fuzzy Control

2024-06-04T13:22:57Z

by Zhang, Huaguang. author.
http://dx.doi.org/10.1007/978-0-8176-4539-7
Format: Electronic Resources

Human Interaction with Machines Proceedings of the 6th International Workshop held at the Shanghai Jiao Tong University, March 15–16, 2005

2024-06-04T13:22:57Z

by Hommel, G. editor.
http://dx.doi.org/10.1007/1-4020-4043-1
Format: Electronic Resources

Mathematics of Large Eddy Simulation of Turbulent Flows

2024-06-04T13:22:57Z

by Berselli, Luigi C. author.
http://dx.doi.org/10.1007/b137408
Format: Electronic Resources

Virtual Machines

2024-06-04T13:22:57Z

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

People and Computers XIX — The Bigger Picture Proceedings of HCI 2005

2024-06-04T13:22:57Z

by McEwan, Tom. editor.
http://dx.doi.org/10.1007/1-84628-249-7
Format: Electronic Resources

Fundamental Networking in Java

2024-06-04T13:22:57Z

by Pitt, Esmond. author.
http://dx.doi.org/10.1007/1-84628-252-7
Format: Electronic Resources

Machine Learning and Data Mining for Computer Security Methods and Applications

2024-06-04T13:22:57Z

by Maloof, Marcus A. editor.
http://dx.doi.org/10.1007/1-84628-253-5
Format: Electronic Resources

Optimized Bayesian Dynamic Advising Theory and Algorithms.

2024-06-04T13:22:57Z

by SpringerLink (Online service)
http://dx.doi.org/10.1007/1-84628-254-3
Format: Electronic Resources

Théorie élémentaire et pratique de la commande par les régimes glissants

2024-06-04T13:22:57Z

by Lopez, Pierre. author.
http://dx.doi.org/10.1007/3-540-34480-2
Format: Electronic Resources

Advances in Neural Networks - ISNN 2006 Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part III

2024-06-04T13:22:57Z

by Wang, Jun. editor.
http://dx.doi.org/10.1007/11760191
Format: Electronic Resources

High Availability and Disaster Recovery Concepts, Design, Implementation

2024-06-04T13:22:57Z

by Schmidt, Klaus. author.
http://dx.doi.org/10.1007/3-540-34582-5
Format: Electronic Resources

Fluid-Structure Interaction Modelling, Simulation, Optimisation

2024-06-04T13:22:57Z

by Bungartz, Hans-Joachim. editor.
http://dx.doi.org/10.1007/3-540-34596-5
Format: Electronic Resources

Experimental Algorithms 5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006. Proceedings

2024-06-04T13:22:57Z

by Àlvarez, Carme. editor.
http://dx.doi.org/10.1007/11764298
Format: Electronic Resources

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006 Turin, Italy, June 12-15, 2006 Proceedings

2024-06-04T13:22:57Z

by Morisio, Maurizio. editor.
http://dx.doi.org/10.1007/11763864
Format: Electronic Resources

Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings

2024-06-04T13:22:57Z

by Kop, Christian. editor.
http://dx.doi.org/10.1007/11765448
Format: Electronic Resources

Advances in Artificial Intelligence 19th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2006, Québec City, Québec, Canada, June 7-9, 2006. Proceedings

2024-06-04T13:22:57Z

by Lamontagne, Luc. editor.
http://dx.doi.org/10.1007/11766247
Format: Electronic Resources

Flexible Query Answering Systems 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006 Proceedings

2024-06-04T13:22:57Z

by Larsen, Henrik Legind. editor.
http://dx.doi.org/10.1007/11766254
Format: Electronic Resources

Emerging Trends in Information and Communication Security International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006. Proceedings

2024-06-04T13:22:57Z

by Müller, Günter. editor.
http://dx.doi.org/10.1007/11766155
Format: Electronic Resources

Product-Focused Software Process Improvement 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006. Proceedings

2024-06-04T13:22:57Z

by Münch, Jürgen. editor.
http://dx.doi.org/10.1007/11767718
Format: Electronic Resources

Embedded Security in Cars Securing Current and Future Automotive IT Applications

2024-06-04T13:22:57Z

by Lemke, Kerstin. editor.
http://dx.doi.org/10.1007/3-540-28428-1
Format: Electronic Resources

Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2024-06-04T13:22:57Z

by Ciancarini, Paolo. editor.
http://dx.doi.org/10.1007/11767954
Format: Electronic Resources

High Performance Computing in Science and Engineering’ 05 Transactions of the High Performance Computing Center Stuttgart (HLRS) 2005

2024-06-04T13:22:57Z

by Nagel, Wolfgang E. editor.
http://dx.doi.org/10.1007/3-540-29064-8
Format: Electronic Resources

Free Convection Film Flows and Heat Transfer

2024-06-04T13:22:57Z

by Shang, Deyi. author.
http://dx.doi.org/10.1007/978-3-540-44809-9
Format: Electronic Resources

Progress in Industrial Mathematics at ECMI 2004

2024-06-04T13:22:57Z

by Bucchianico, A. editor.
http://dx.doi.org/10.1007/3-540-28073-1
Format: Electronic Resources

Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

2024-06-04T13:22:57Z

by Kohlhase, Michael. editor.
http://dx.doi.org/10.1007/11618027
Format: Electronic Resources

Knowledge Representation and the Semantics of Natural Language

2024-06-04T13:22:57Z

by SpringerLink (Online service)
http://dx.doi.org/10.1007/3-540-29966-1
Format: Electronic Resources

Web Engineering

2024-06-04T13:22:57Z

by Mendes, Emilia. editor.
http://dx.doi.org/10.1007/3-540-28218-1
Format: Electronic Resources

Introduction to Reliable Distributed Programming

2024-06-04T13:22:57Z

by Guerraoui, Rachid. author.
http://dx.doi.org/10.1007/3-540-28846-5
Format: Electronic Resources

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings

2024-06-04T13:22:57Z

by Hentenryck, Pascal. editor.
http://dx.doi.org/10.1007/11603023
Format: Electronic Resources

Federation over the Web International Workshop, Dagstuhl Castle, Germany, May 1-6, 2005. Revised Selected Papers

2024-06-04T13:22:57Z

by Jantke, Klaus P. editor.
http://dx.doi.org/10.1007/11605126
Format: Electronic Resources

Business Process Management Workshops BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005. Revised Selected Papers

2024-06-04T13:22:57Z

by Bussler, Christoph J. editor.
http://dx.doi.org/10.1007/11678564
Format: Electronic Resources

Intelligence and Security Informatics IEEE International Conference on Intelligence and Security Informatics, ISI 2006, San Diego, CA, USA, May 23-24, 2006. Proceedings

2024-06-04T13:22:57Z

by Mehrotra, Sharad. editor.
http://dx.doi.org/10.1007/11760146
Format: Electronic Resources

Ontologies for Software Engineering and Software Technology

2024-06-04T13:22:57Z

by Calero, Coral. editor.
http://dx.doi.org/10.1007/3-540-34518-3
Format: Electronic Resources

IUTAM Symposium on Computational Approaches to Multiphase Flow Proceedings of an IUTAM Symposium held at Argonne National Laboratory, October 4–7, 2004

2024-06-04T13:22:57Z

by Balachandar, S. editor.
http://dx.doi.org/10.1007/1-4020-4977-3
Format: Electronic Resources

Information Extraction: Algorithms and Prospects in a Retrieval Context

2024-06-04T13:22:57Z

by Moens, Marie-Francine. author.
http://dx.doi.org/10.1007/978-1-4020-4993-4
Format: Electronic Resources

Stochastic Optimization

2024-06-04T13:22:57Z

by Schneider, Johannes Josef. author.
http://dx.doi.org/10.1007/978-3-540-34560-2
Format: Electronic Resources

The Variational Bayes Method in Signal Processing

2024-06-04T13:22:57Z

by Šmídl, Václav. author.
http://dx.doi.org/10.1007/3-540-28820-1
Format: Electronic Resources

Scientific Computing with MATLAB and Octave Second Edition

2024-06-04T13:22:57Z

by Quarteroni, Alfio. author.
http://dx.doi.org/10.1007/3-540-32613-8
Format: Electronic Resources

Environments for Multi-Agent Systems II Second International Workshop, E4MAS 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised and Invited Papers

2024-06-04T13:22:57Z

by Weyns, Danny. editor.
http://dx.doi.org/10.1007/11678809
Format: Electronic Resources

Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

2024-06-04T13:22:57Z

by Bordini, Rafael H. editor.
http://dx.doi.org/10.1007/11678823
Format: Electronic Resources

Gesture in Human-Computer Interaction and Simulation 6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers

2024-06-04T13:22:57Z

by Gibet, Sylvie. editor.
http://dx.doi.org/10.1007/11678816
Format: Electronic Resources

Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings

2024-06-04T13:22:57Z

by Rosca, Justinian. editor.
http://dx.doi.org/10.1007/11679363
Format: Electronic Resources

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

2024-06-04T13:22:57Z

by Hill, Patricia M. editor.
http://dx.doi.org/10.1007/11680093
Format: Electronic Resources

Autonomic Communication Second International IFIP Workshop, WAC 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers

2024-06-04T13:22:57Z

by Stavrakakis, Ioannis. editor.
http://dx.doi.org/10.1007/11687818
Format: Electronic Resources

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

2024-06-04T13:22:57Z

by Aceto, Luca. editor.
http://dx.doi.org/10.1007/11690634
Format: Electronic Resources

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

2024-06-04T13:22:57Z

by Mycroft, Alan. editor.
http://dx.doi.org/10.1007/11688839
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

2024-06-04T13:22:57Z

by Hermanns, Holger. editor.
http://dx.doi.org/10.1007/11691372
Format: Electronic Resources

Smart Card Research and Advanced Applications 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006. Proceedings

2024-06-04T13:22:57Z

by Domingo-Ferrer, Josep. editor.
http://dx.doi.org/10.1007/11733447
Format: Electronic Resources

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers

2024-06-04T13:22:57Z

by Bruel, Jean-Michel. editor.
http://dx.doi.org/10.1007/11663430
Format: Electronic Resources

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

2024-06-04T13:22:57Z

by MacCaull, Wendy. editor.
http://dx.doi.org/10.1007/11734673
Format: Electronic Resources

Advances in Information Retrieval 28th European Conference on IR Research, ECIR 2006, London, UK, April 10-12, 2006. Proceedings

2024-06-04T13:22:57Z

by Lalmas, Mounia. editor.
http://dx.doi.org/10.1007/11735106
Format: Electronic Resources

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings

2024-06-04T13:22:57Z

by Correa, José R. editor.
http://dx.doi.org/10.1007/11682462
Format: Electronic Resources

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

2024-06-04T13:22:57Z

by Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/11666806
Format: Electronic Resources

Pervasive Computing 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings

2024-06-04T13:22:57Z

by Fishkin, Kenneth P. editor.
http://dx.doi.org/10.1007/11748625
Format: Electronic Resources

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedings

2024-06-04T13:22:57Z

by Clark, John A. editor.
http://dx.doi.org/10.1007/11734666
Format: Electronic Resources

Multi-Agent-Based Simulation VI International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

2024-06-04T13:22:57Z

by Sichman, Jaime S. editor.
http://dx.doi.org/10.1007/11734680
Format: Electronic Resources

Knowledge Discovery in Life Science Literature PAKDD 2006 International Workshop, KDLL 2006, Singapore, April 9, 2006. Proceedings

2024-06-04T13:22:57Z

by Bremer, Eric G. editor.
http://dx.doi.org/10.1007/11683568
Format: Electronic Resources

Cognitive Vision Systems Sampling the Spectrum of Approaches

2024-06-04T13:22:57Z

by Christensen, Henrik I. editor.
http://dx.doi.org/10.1007/11414353
Format: Electronic Resources

Innovative Internet Community Systems 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005. Revised Papers

2024-06-04T13:22:57Z

by Bui, Alain. editor.
http://dx.doi.org/10.1007/11749776
Format: Electronic Resources

Innovative Internet Community Systems 4th International Workshop, IICS 2004, Guadalajara, Mexico, June 21-23, 2004. Revised Papers

2024-06-04T13:22:57Z

by Böhme, Thomas. editor.
http://dx.doi.org/10.1007/11553762
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers

2024-06-04T13:22:57Z

by Toni, Francesca. editor.
http://dx.doi.org/10.1007/11750734
Format: Electronic Resources

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings

2024-06-04T13:22:57Z

by Cai, Jin-Yi. editor.
http://dx.doi.org/10.1007/11750321
Format: Electronic Resources

Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

2024-06-04T13:22:57Z

by Thompson, Simon G. editor.
http://dx.doi.org/10.1007/11683704
Format: Electronic Resources

Frontiers of WWW Research and Development - APWeb 2006 8th Asia-Pacific Web Conference, Harbin, China, January 16-18, 2006. Proceedings

2024-06-04T13:22:57Z

by Zhou, Xiaofang. editor.
http://dx.doi.org/10.1007/11610113
Format: Electronic Resources

Biologically Inspired Approaches to Advanced Information Technology Second International Workshop, BioADIT 2006, Osaka, Japan, January 26-27, 2006

2024-06-04T13:22:57Z

by Ijspeert, Auke Jan. editor.
http://dx.doi.org/10.1007/11613022
Format: Electronic Resources

Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings

2024-06-04T13:22:57Z

by Collet, Pierre. editor.
http://dx.doi.org/10.1007/11729976
Format: Electronic Resources

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papers

2024-06-04T13:22:57Z

by Dosch, Walter. editor.
http://dx.doi.org/10.1007/11668855
Format: Electronic Resources

Grammatical Picture Generation A Tree-Based Approach

2024-06-04T13:22:57Z

by Drewes, Frank. author.
http://dx.doi.org/10.1007/3-540-32507-7
Format: Electronic Resources

Computer Science – Theory and Applications First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings

2024-06-04T13:22:57Z

by Grigoriev, Dima. editor.
http://dx.doi.org/10.1007/11753728
Format: Electronic Resources

Data Mining Theory, Methodology, Techniques, and Applications

2024-06-04T13:22:57Z

by Williams, Graham J. editor.
http://dx.doi.org/10.1007/11677437
Format: Electronic Resources

Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings

2024-06-04T13:22:57Z

by Missaoui, Rokia. editor.
http://dx.doi.org/10.1007/11671404
Format: Electronic Resources

Intelligent Tutoring Systems 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006. Proceedings

2024-06-04T13:22:57Z

by Ikeda, Mitsuru. editor.
http://dx.doi.org/10.1007/11774303
Format: Electronic Resources

Approximation and Online Algorithms Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Papers

2024-06-04T13:22:57Z

by Erlebach, Thomas. editor.
http://dx.doi.org/10.1007/11671411
Format: Electronic Resources

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers

2024-06-04T13:22:57Z

by Boissier, Olivier. editor.
http://dx.doi.org/10.1007/11775331
Format: Electronic Resources

Advances in Web-Age Information Management 7th International Conference, WAIM 2006, Hong Kong, China, June 17-19, 2006. Proceedings

2024-06-04T13:22:57Z

by Yu, Jeffrey Xu. editor.
http://dx.doi.org/10.1007/11775300
Format: Electronic Resources

Intelligent Virtual Agents 6th International Conference, IVA 2006, Marina Del Rey, CA, USA, August 21-23, 2006. Proceedings

2024-06-04T13:22:57Z

by Gratch, Jonathan. editor.
http://dx.doi.org/10.1007/11821830
Format: Electronic Resources

Haptic and Audio Interaction Design First International Workshop, HAID 2006, Glasgow, UK, August 31 - September 1, 2006. Proceedings

2024-06-04T13:22:57Z

by McGookin, David. editor.
http://dx.doi.org/10.1007/11821731
Format: Electronic Resources

Advances in Machine Vision, Image Processing, and Pattern Analysis International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006 Xi’an, China, August 26-27, 2006 Proceedings

2024-06-04T13:22:57Z

by Zheng, Nanning. editor.
http://dx.doi.org/10.1007/11821045
Format: Electronic Resources

Distributed Computing in Sensor Systems Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006. Proceedings

2024-06-04T13:22:57Z

by Gibbons, Phillip B. editor.
http://dx.doi.org/10.1007/11776178
Format: Electronic Resources

Characteristics Finite Element Methods in Computational Fluid Dynamics

2024-06-04T13:22:57Z

by Iannelli, Joe. author.
http://dx.doi.org/10.1007/978-3-540-45343-7
Format: Electronic Resources

Variations on Constants Flow Analysis of Sequential and Parallel Programs

2024-06-04T13:22:57Z

by Müller-Olm, Markus. author.
http://dx.doi.org/10.1007/11871743
Format: Electronic Resources

Logics in Artificial Intelligence 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings

2024-06-04T13:22:57Z

by Fisher, Michael. editor.
http://dx.doi.org/10.1007/11853886
Format: Electronic Resources

Discovery Science 9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006. Proceedings

2024-06-04T13:22:57Z

by Todorovski, Ljupčo. editor.
http://dx.doi.org/10.1007/11893318
Format: Electronic Resources

Visual Information and Information Systems 8th International Conference, VISUAL 2005, Amsterdam, The Netherlands, July 5, 2005, Revised Selected Papers

2024-06-04T13:22:57Z

by Bres, Stéphane. editor.
http://dx.doi.org/10.1007/11590064
Format: Electronic Resources

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

2024-06-04T13:22:57Z

by Horváth, András. editor.
http://dx.doi.org/10.1007/11777830
Format: Electronic Resources

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings

2024-06-04T13:22:57Z

by Ibarra, Oscar H. editor.
http://dx.doi.org/10.1007/11779148
Format: Electronic Resources

RoboCup 2005: Robot Soccer World Cup IX

2024-06-04T13:22:57Z

by Bredenfeld, Ansgar. editor.
http://dx.doi.org/10.1007/11780519
Format: Electronic Resources

Data Engineering Issues in E-Commerce and Services Second International Workshop, DEECS 2006, San Francisco, CA, USA, June 26, 2006. Proceedings

2024-06-04T13:22:57Z

by Lee, Juhnyoung. editor.
http://dx.doi.org/10.1007/11780397
Format: Electronic Resources

Numerical Optimization Theoretical and Practical Aspects

2024-06-04T13:22:57Z

by Bonnans, J. Frédéric. author.
http://dx.doi.org/10.1007/978-3-540-35447-5
Format: Electronic Resources

Advances in Applied Artificial Intelligence 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006. Proceedings

2024-06-04T13:22:57Z

by Ali, Moonis. editor.
http://dx.doi.org/10.1007/11779568
Format: Electronic Resources

Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part I

2024-06-04T13:22:57Z

by Gabrys, Bogdan. editor.
http://dx.doi.org/10.1007/11892960
Format: Electronic Resources

Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part II

2024-06-04T13:22:57Z

by Gabrys, Bogdan. editor.
http://dx.doi.org/10.1007/11893004
Format: Electronic Resources

Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part III

2024-06-04T13:22:57Z

by Gabrys, Bogdan. editor.
http://dx.doi.org/10.1007/11893011
Format: Electronic Resources

Progress in Pattern Recognition, Image Analysis and Applications 11th Iberoamerican Congress in Pattern Recognition, CIARP 2006 Cancun, Mexico, November 14-17, 2006 Proceedings

2024-06-04T13:22:57Z

by Martínez-Trinidad, José Francisco. editor.
http://dx.doi.org/10.1007/11892755
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings

2024-06-04T13:22:57Z

by Goubin, Louis. editor.
http://dx.doi.org/10.1007/11894063
Format: Electronic Resources

Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

2024-06-04T13:22:57Z

by Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/11925040
Format: Electronic Resources

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

2024-06-04T13:22:57Z

by Kobayashi, Naoki. editor.
http://dx.doi.org/10.1007/11924661
Format: Electronic Resources

The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedings

2024-06-04T13:22:57Z

by Cruz, Isabel. editor.
http://dx.doi.org/10.1007/11926078
Format: Electronic Resources

MICAI 2006: Advances in Artificial Intelligence 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006. Proceedings

2024-06-04T13:22:57Z

by Gelbukh, Alexander. editor.
http://dx.doi.org/10.1007/11925231
Format: Electronic Resources

Transactions on Data Hiding and Multimedia Security I

2024-06-04T13:22:57Z

by Shi, Yun Q. editor.
http://dx.doi.org/10.1007/11926214
Format: Electronic Resources

Information Security and Cryptology – ICISC 2006 9th International Conference, Busan, Korea, November 30 - December 1, 2006. Proceedings

2024-06-04T13:22:57Z

by Rhee, Min Surp. editor.
http://dx.doi.org/10.1007/11927587
Format: Electronic Resources

Privacy in Statistical Databases CENEX-SDC Project International Conference, PSD 2006, Rome, Italy, December 13-15, 2006. Proceedings

2024-06-04T13:22:57Z

by Domingo-Ferrer, Josep. editor.
http://dx.doi.org/10.1007/11930242
Format: Electronic Resources

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

2024-06-04T13:22:57Z

by Mazzola, Guerino. author.
http://dx.doi.org/10.1007/978-3-540-36874-8
Format: Electronic Resources

Electronic Government 5th International Conference, EGOV 2006, Kraków, Poland, September 4-8, 2006. Proceedings

2024-06-04T13:22:57Z

by Wimmer, Maria A. editor.
http://dx.doi.org/10.1007/11823100
Format: Electronic Resources

Semantic Multimedia First International Conference on Semantics and Digital Media Technologies, SAMT 2006, Athens, Greece, December 6-8, 2006. Proceedings

2024-06-04T13:22:57Z

by Avrithis, Yannis. editor.
http://dx.doi.org/10.1007/11930334
Format: Electronic Resources

Privacy Enhancing Technologies 6th International Workshop, PET 2006, Cambridge, UK, June 28-30, 2006, Revised Selected Papers

2024-06-04T13:22:57Z

by Danezis, George. editor.
http://dx.doi.org/10.1007/11957454
Format: Electronic Resources

Toward Category-Level Object Recognition

2024-06-04T13:22:57Z

by Ponce, Jean. editor.
http://dx.doi.org/10.1007/11957959
Format: Electronic Resources

Progress in Cryptology - VIETCRYPT 2006 First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006. Revised Selected Papers

2024-06-04T13:22:57Z

by Nguyen, Phong Q. editor.
http://dx.doi.org/10.1007/11958239
Format: Electronic Resources

Conceptual Structures: Inspiration and Application 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006. Proceedings

2024-06-04T13:22:57Z

by Schärfe, Henrik. editor.
http://dx.doi.org/10.1007/11787181
Format: Electronic Resources

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I

2024-06-04T13:22:57Z

by Bugliesi, Michele. editor.
http://dx.doi.org/10.1007/11786986
Format: Electronic Resources

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings

2024-06-04T13:22:57Z

by Jesshope, Chris. editor.
http://dx.doi.org/10.1007/11859802
Format: Electronic Resources

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

2024-06-04T13:22:57Z

by Bugliesi, Michele. editor.
http://dx.doi.org/10.1007/11787006
Format: Electronic Resources

Model Driven Architecture – Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings

2024-06-04T13:22:57Z

by Rensink, Arend. editor.
http://dx.doi.org/10.1007/11787044
Format: Electronic Resources

Flexible and Efficient Information Handling 23rd British National Conference on Databases, BNCOD 23, Belfast, Northern Ireland, UK, July 18-20, 2006. Proceedings

2024-06-04T13:22:57Z

by Bell, David A. editor.
http://dx.doi.org/10.1007/11788911
Format: Electronic Resources

Data Analysis, Classification and the Forward Search Proceedings of the Meeting of the Classification and Data Analysis Group (CLADAG) of the Italian Statistical Society, University of Parma, June 6–8, 2005

2024-06-04T13:22:57Z

by Zani, Sergio. editor.
http://dx.doi.org/10.1007/3-540-35978-8
Format: Electronic Resources

Progress in Cryptology - INDOCRYPT 2006 7th International Conference on Cryptology in India, Kolkata, India, December 11-13, 2006. Proceedings

2024-06-04T13:22:57Z

by Barua, Rana. editor.
http://dx.doi.org/10.1007/11941378
Format: Electronic Resources

Advances in Artificial Reality and Tele-Existence 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, Hangzhou, China, November 29 - December 1, 2006. Proceedings

2024-06-04T13:22:57Z

by Pan, Zhigeng. editor.
http://dx.doi.org/10.1007/11941354
Format: Electronic Resources

AI 2006: Advances in Artificial Intelligence 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings

2024-06-04T13:22:57Z

by Sattar, Abdul. editor.
http://dx.doi.org/10.1007/11941439
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings

2024-06-04T13:22:57Z

by Datta, Ajoy K. editor.
http://dx.doi.org/10.1007/978-3-540-49823-0
Format: Electronic Resources

High Performance Computing - HiPC 2006 13th International Conference, Bangalore, India, December 18-21, 2006. Proceedings

2024-06-04T13:22:57Z

by Robert, Yves. editor.
http://dx.doi.org/10.1007/11945918
Format: Electronic Resources

Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction

2024-06-04T13:22:57Z

by Carson, Tom. author.
http://dx.doi.org/10.1007/1-84628-138-5
Format: Electronic Resources

Next Generation Teletraffic and Wired/Wireless Advanced Networking 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006. Proceedings

2024-06-04T13:22:57Z

by Koucheryavy, Yevgeni. editor.
http://dx.doi.org/10.1007/11759355
Format: Electronic Resources

Advances in Neural Networks - ISNN 2006 Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II

2024-06-04T13:22:57Z

by Wang, Jun. editor.
http://dx.doi.org/10.1007/11760023
Format: Electronic Resources

Advances in Neural Networks - ISNN 2006 Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I

2024-06-04T13:22:57Z

by Wang, Jun. editor.
http://dx.doi.org/10.1007/11759966
Format: Electronic Resources

The Semantic Web: Research and Applications 3rd European Semantic Web Conference, ESWC 2006 Budva, Montenegro, June 11-14, 2006 Proceedings

2024-06-04T13:22:57Z

by Sure, York. editor.
http://dx.doi.org/10.1007/11762256
Format: Electronic Resources

Advances in Cryptology - EUROCRYPT 2006 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006. Proceedings

2024-06-04T13:22:57Z

by Vaudenay, Serge. editor.
http://dx.doi.org/10.1007/11761679
Format: Electronic Resources

Developing Ambient Intelligence Proceedings of the First International Conference on Ambient Intelligence Developments (AmID’06)

2024-06-04T13:22:57Z

by Maña, Antonio. author.
http://dx.doi.org/10.1007/978-2-287-47610-5
Format: Electronic Resources

Visualizing the Semantic Web XML-Based Internet and Information Visualization

2024-06-04T13:22:57Z

by Geroimenko, Vladimir. editor.
http://dx.doi.org/10.1007/1-84628-290-X
Format: Electronic Resources

Mathematical and Computer Programming Techniques for Computer Graphics

2024-06-04T13:22:57Z

by Comninos, Peter. author.
http://dx.doi.org/10.1007/978-1-84628-292-8
Format: Electronic Resources

R-Trees: Theory and Applications

2024-06-04T13:22:57Z

by Manolopoulos, Yannis. author.
http://dx.doi.org/10.1007/978-1-84628-293-5
Format: Electronic Resources

Neural Networks in a Softcomputing Framework

2024-06-04T13:22:57Z

by Du, K. -L. author.
http://dx.doi.org/10.1007/1-84628-303-5
Format: Electronic Resources

Semantic Web and Peer-to-Peer Decentralized Management and Exchange of Knowledge and Information

2024-06-04T13:22:57Z

by Staab, Steffen. editor.
http://dx.doi.org/10.1007/3-540-28347-1
Format: Electronic Resources

Grouping Multidimensional Data Recent Advances in Clustering

2024-06-04T13:22:57Z

by Kogan, Jacob. editor.
http://dx.doi.org/10.1007/3-540-28349-8
Format: Electronic Resources

Mobile Virtual Work A New Paradigm?

2024-06-04T13:22:57Z

by Andriessen, J. H. Erik. editor.
http://dx.doi.org/10.1007/3-540-28365-X
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings

2024-06-04T13:22:57Z

by Pinho, Luís Miguel. editor.
http://dx.doi.org/10.1007/11767077
Format: Electronic Resources

Graphics Recognition. Ten Years Review and Future Perspectives 6th Internation Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers

2024-06-04T13:22:57Z

by Liu, Wenyin. editor.
http://dx.doi.org/10.1007/11767978
Format: Electronic Resources

Value-Based Software Engineering

2024-06-04T13:22:57Z

by Biffl, Stefan. editor.
http://dx.doi.org/10.1007/3-540-29263-2
Format: Electronic Resources

Wiki Web Collaboration

2024-06-04T13:22:57Z

by Ebersbach, Anja. author.
http://dx.doi.org/10.1007/3-540-29267-5
Format: Electronic Resources

Biologically Inspired Algorithms for Financial Modelling

2024-06-04T13:22:57Z

by Brabazon, Anthony. author.
http://dx.doi.org/10.1007/3-540-31307-9
Format: Electronic Resources

Computational Contact Mechanics

2024-06-04T13:22:57Z

by Wriggers, Peter. author.
http://dx.doi.org/10.1007/978-3-540-32609-0
Format: Electronic Resources

Multiagent Engineering Theory and Applications in Enterprises

2024-06-04T13:22:57Z

by Kirn, Stefan. editor.
http://dx.doi.org/10.1007/3-540-32062-8
Format: Electronic Resources

New Algorithms for Macromolecular Simulation

2024-06-04T13:22:57Z

by Leimkuhler, Benedict. editor.
http://dx.doi.org/10.1007/3-540-31618-3
Format: Electronic Resources

Trends in Enterprise Application Architecture VLDB Workshop, TEAA 2005, Trondheim, Norway, August 28, 2005, Revised Selected Papers

2024-06-04T13:22:57Z

by Draheim, Dirk. editor.
http://dx.doi.org/10.1007/11681885
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings

2024-06-04T13:22:57Z

by Emerson, E. Allen. editor.
http://dx.doi.org/10.1007/11609773
Format: Electronic Resources

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

2024-06-04T13:22:57Z

by Valmari, Antti. editor.
http://dx.doi.org/10.1007/11691617
Format: Electronic Resources