Models and Principles.

Utility maximization in nonconvex wireless systems by: (書目-電子資源)

Advances in Computational Intelligence = 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011 : proceedings.. Part II / by: (書目-電子資源)

Speech enhancement in the STFT domain by: (書目-電子資源)

Cognitive Engineering = A Distributed Approach to Machine Intelligence / by: (書目-電子資源)

M8.0 Wenchuan earthquake by: (書目-電子資源)

Requirements engineering, foundation for software quality = 15th International Working Conference, REFSQ 2009, Amsterdam, the Netherlands, June 8-9, 2009 : proceedings / by: (書目-電子資源)

Rule interchange and applications = international symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5 - 7, 2009 : proceedings / by: (書目-電子資源)

The challenge of anticipation = a unifying framework for the analysis and design of artificial cognitive systems / by: (書目-電子資源)

Canadian semantic web = technologies and applications / by: (書目-電子資源)

(Re)searching the digital Bauhaus by: (書目-電子資源)

Object oriented simulation = a modeling and programming perspective / by: (書目-電子資源)

Computer performance engineering = 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 ; proceedings / by: (書目-電子資源)

Nano-Net = 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009 : proceedings / by: (書目-電子資源)

CONCUR 2009 - concurrency theory = 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings / by: (書目-電子資源)

Architecting dependable systems VI by: (書目-電子資源)

Journal on data semantics XIV by: (書目-電子資源)

The Common Component Modeling Example = Comparing Software Component Models / by: (書目-電子資源)

ARIS design platform = advanced process modelling and administration / by: (書目-電子資源)

Objects, Components, Models and Patterns = 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings / by: (書目-電子資源)

Transactions on Rough Sets VIII by: (書目-電子資源)

Formal modeling and analysis of timed systems = 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings / by: (書目-電子資源)

Spatial information theory = 10th international conference, COSIT 2011, Belfast, ME, USA, September 12-16, 2011 : proceedings / by: (書目-電子資源)

Evolution of 3G networks = the concept, architecture and realization of mobile networks beyond UMTS / by: (書目-電子資源)

Engineering Theories of Software Intensive Systems = Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004 / by: (書目-電子資源)

The integrated architecture framework explained = why, what, how / by: (書目-電子資源)

Applications of Agent Technology in Traffic and Transportation by: (書目-電子資源)

Representation and management of narrative information = theoretical principles and implementation / by: (書目-電子資源)

Cognitive behavioural systems = COST 2102 International Training School, Dresden, Germany, February 21-26, 2011 : revised selected papers / by: (書目-電子資源)

Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / by: (書目-電子資源)

Languages and Compilers for Parallel Computing = 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers / by: (書目-電子資源)

Nano-Net = Third International ICST Conference, NanoNet 2008, Boston, MA, USA, September 14-16, 2008, revised selected papers / by: (書目-電子資源)

Declarative Agent Languages and Technologies VIII = 8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010 : revised, selected and invited papers / by: (書目-電子資源)

Enterprise Architecture at Work = Modelling, Communication, and Analysis / by: (書目-電子資源)

Coordination models and languages = 12th international conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings / by: (書目-電子資源)

Design research in information systems = theory and practice / by: (書目-電子資源)

Languages and compilers for parallel computing = 22nd international workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009 : revised selected papers / by: (書目-電子資源)

Behavior computing = modeling, analysis, mining and decision / by: (書目-電子資源)

Dynamic formal epistemology by: (書目-電子資源)

Verified software: theories, tools, experiments = second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings / by: (書目-電子資源)

Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part I / by: (書目-電子資源)

Technology Enhanced Learning = IFIP TC3 Technology Enhanced Learning Workshop (TeL-04), World Computer Congress, August 22-27, 2004, Toulouse, France / by: (書目-電子資源)

Incomplete information system and rough set theory = models and attribute reductions / by: (書目-電子資源)

Business processes for business communities = modeling languages, methods, tools / by: (書目-電子資源)

Top productivity through software reuse = 12th international conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings / by: (書目-電子資源)

Modelling and management of engineering processes by: (書目-電子資源)

Run-time models for self-managing systems and applications by: (書目-電子資源)

Knowledge management and organizational learning by: (書目-電子資源)

Transactions on aspect-oriented software development VI = special issue on aspects and model-driven engineering / by: (書目-電子資源)

Learning classifier systems = 10th international workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th international workshop, IWLCS 2007, London, UK, July 8, 2007 : revised selected papers / by: (書目-電子資源)

Engineering secure software and systems = second international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010 : proceedings / by: (書目-電子資源)

Computational logic in multi-agent systems = b9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers / by: (書目-電子資源)

Algorithmic game theory = second international symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009 : proceedings / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency V by: (書目-電子資源)

Graph drawing = 18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers / by: (書目-電子資源)

Theory-guided modeling and empiricism in information systems research by: (書目-電子資源)

The engineering of mixed reality systems by: (書目-電子資源)

Coordination models and languages = 11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings / by: (書目-電子資源)

Enterprise architecture at work = modelling, communication and analysis / by: (書目-電子資源)

The semantic web = Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011 : proceedings / by: (書目-電子資源)

Enterprise, business-process and information systems modeling = 10th International Workshop, BPMDS 2009 and 14th International Conference, EMMSAD 2009 held at CAiSE 2009 Amsterdam, The Netherlands, June 8-9, 2009 : proceedings / by: (書目-電子資源)

Algebra and coalgebra in computer science = third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / by: (書目-電子資源)

Bio-inspired systems : computational and ambient intelligence = 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009 : proceedings, Part I / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / by: (書目-電子資源)

Component-based software engineering = 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / by: (書目-電子資源)

Software architecture = second European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 proceedings / by: (書目-電子資源)

Conceptual modelling and its theoretical foundations = essays dedicated to Bernhard Thalheim n the occasion of his 60th birthday / by: (書目-電子資源)

On the mathematics of modelling, metamodelling, ontologies and modelling languages by: (書目-電子資源)

Industrial Applications of Semantic Web = Proceedings of the 1st IFIP WG12.5 Working Conference on Industrial Applications of Semantic Web, August 25-27, 2005, Jyvaskyla, Finland / by: (書目-電子資源)

Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part II / by: (書目-電子資源)

Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / by: (書目-電子資源)

Theorem proving in higher order logics = 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings / by: (書目-電子資源)

Shaping the future of ICT research = methods and approaches : IFIP WG 8.2, Working Conference, Tampa, FL, USA, December 13-14, 2012 : proceedings / by: (書目-電子資源)

ITIL 2011 at a glance by: (書目-電子資源)

Theoretical foundations of artificial general intelligence by: (書目-電子資源)

Languages, methodologies, and development tools for multi-agent systems = third international workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010 : revised selected papers / by: (書目-電子資源)

Testing software and systems = 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings / by: (書目-電子資源)

Distributed user interfaces = designing interfaces for the distributed ecosystem / by: (書目-電子資源)

Languages, methodologies, and development tools for multi-agent systems = second international workshop, LADS 2009, Torino, Italy, September 7-9, 2009 : revised selected papers / by: (書目-電子資源)

Resource-adaptive cognitive processes by: (書目-電子資源)

Argumentation in multi-agent systems = fifth international workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers / by: (書目-電子資源)

Modeling dynamic economic systems by: (書目-電子資源)

Formal Aspects in Security and Trust = IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France / by: (書目-電子資源)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (書目-電子資源)

Rewriting logic and its applications = 8th international workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers / by: (書目-電子資源)

Web services and formal methods = 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers / by: (書目-電子資源)

Ontologies for Agents: Theory and Experiences by: (書目-電子資源)

Practical aspects of design science = European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011 : revised selected papers / by: (書目-電子資源)

Ontology-based application integration by: (書目-電子資源)

Composing software components = a software-testing perspective / by: (書目-電子資源)

Business process management = 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, proceedings / by: (書目-電子資源)

Distributed computing, artificial intelligence, bioinformatics, soft computing and ambient assisted living = 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009 : Proceedings, part II / by: (書目-電子資源)

Advances in machine learning = First Asian Conference on Machine Learning, ACML 2009, Nanjing, China, November 2-4, 2009 : proceedings / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency.. II,. Special issue on concurrency in process-aware information systems by: (書目-電子資源)

Interactive 3D multimedia content = models for creation, management, search and presentation / by: (書目-電子資源)

Haptic systems architecture modeling by: (書目-電子資源)

Fuzzy Database Modeling with XML by: (書目-電子資源)

Rough sets and knowledge technology = 4th international conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009 ; proceedings / by: (書目-電子資源)

Unconventional computation = 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009 : proceedings / by: (書目-電子資源)

Engineering Web applications by: (書目-電子資源)

Verification and control of hybrid systems = a symbolic approach / by: (書目-電子資源)

System Modeling and Optimization = Proceedings of the 21st IFIP TC7 Conference held in July 21-25, 2003, Sophia Antipolis, France / by: (書目-電子資源)

Conceptual Modeling - ER 2005 : = 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings by: (書目-電子資源)

Agent-based service-oriented computing by: (書目-電子資源)

Dependability of networked computer-based systems by: (書目-電子資源)

Software process improvement = 16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009 : proceedings / by: (書目-電子資源)

Algorithmic learning theory = 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009 : proceedings / by: (書目-電子資源)

ITIL Version 3 at a Glance = Information Quick Reference / by: (書目-電子資源)

Computer performance engineering = 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings / by: (書目-電子資源)

Uncertainty reasoning for the semantic web I = ISWC international workshops, URSW 2005-2007 : revised selected and invited papers / by: (書目-電子資源)

Agile service development = combining adaptive methods and flexible solutions / by: (書目-電子資源)

Stream Data Management by: (書目-電子資源)

Security Management, Integrity, and Internal Control in Information Systems = IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference / by: (書目-電子資源)

Graph drawing = 17th international symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009 : revised papers / by: (書目-電子資源)

Architecting Dependable Systems V by: (書目-電子資源)

Advances in artificial intelligence - IBERAMIA 2008 = 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008 : proceedings / by: (書目-電子資源)

Formal foundations of reuse and domain engineering = 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009 : proceedings / by: (書目-電子資源)

Algebra and coalgebra in computer science = 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings / by: (書目-電子資源)

Replication = theory and practice / by: (書目-電子資源)

Logical Data Modeling = What it is and How to do it / by: (書目-電子資源)

Form-Oriented Analysis = A New Methodology to Model Form-Based Applications / by: (書目-電子資源)

Collaborative Networks and Their Breeding Environments = IFIP TC5 WG 5.5 Sixth IFIP Working Conference on VIRTUAL ENTERPRISES, 26-28 September, 2005, Valencia, Spain / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency III by: (書目-電子資源)

Graph drawing = 19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers / by: (書目-電子資源)

Learning and intelligent optimization = third international conference, LION 3, Trento, Italy, January 14-18, 2009 : selected papers / by: (書目-電子資源)

Engineering secure software and systems = 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings / by: (書目-電子資源)

Rule representation, interchange and reasoning on the web = international symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008 : proceedings / by: (書目-電子資源)

Rewriting logic and its applications = 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers / by: (書目-電子資源)

Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers / by: (書目-電子資源)

Advances in computation and intelligence = third international symposium, ISICA 2008 Wuhan, China, December 19-21, 2008, proceedings / by: (書目-電子資源)

Transactions on rough sets IX by: (書目-電子資源)

Innovations for requirements analysis :from stakeholders' needs to formal designs = 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007, revised selected papers / by: (書目-電子資源)

Turbulence nature and the inverse problem by: (書目-電子資源)

Accessible Access 2003 by: (書目-電子資源)

Classification and Modeling with Linguistic Information Granules = Advanced Approaches to Linguistic Data Mining / by: (書目-電子資源)

Spatial Information Theory : = International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings by: (書目-電子資源)

Temporal information systems in medicine by: (書目-電子資源)

Architecting dependable systems VII by: (書目-電子資源)

A practical guide to brain-computer interfacing with BCI2000 = general-purpose software for brain-computer interface research, data acquisition, stimulus presentation, and brain monitoring / by: (書目-電子資源)

Architecture principles = the cornerstones of enterprise architecture / by: (書目-電子資源)

Network and parallel computing = IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008 : proceedings / by: (書目-電子資源)

Computational collective intelligence = semantic web, social networks and multiagent systems : first International Conference, ICCCI 2009, Wrocaw, Poland, October 5-7, 2009 : proceedings / by: (書目-電子資源)

Declarative agent languages and technologies VII = 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers / by: (書目-電子資源)

Transactions on Petri nets and other models of concurrency IV by: (書目-電子資源)

Designing sorting networks = a new paradigm / by: (書目-電子資源)

Fundamentals of software engineering = third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers / by: (書目-電子資源)

Transactions on computational science IX = special issue on voronoi diagrams in science and engineering / by: (書目-電子資源)

Learning Network Services for Professional Development by: (書目-電子資源)

The semantic Web = fourth Asian conference, ASWC 2009, Shanghai, China, December 6-9, 2009 : proceedings / by: (書目-電子資源)

Self-sustaining systems = first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers / by: (書目-電子資源)

Declarative agent languages and technologies IX = 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011 : revised selected and invited papers / by: (書目-電子資源)

Languages and compilers for parallel computing = 23rd international workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010 : revised selected papers / by: (書目-電子資源)

Wireless Sensor Networks and Applications by: (書目-電子資源)

Haptic and audio interaction design = 7th international conference, HAID 2012, Lund, Sweden, August 23-24, 2012 : proceedings / by: (書目-電子資源)

Computational Intelligence and Intelligent Systems = 4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009 : proceedings / by: (書目-電子資源)

Advances in computational intelligence = 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011 : proceedings.. Part I / by: (書目-電子資源)

Artificial Intelligence Applications and Innovations = IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7-9, 2005, Beijing, China / by: (書目-電子資源)

Intelligent infrastructures by: (書目-電子資源)

Testing software and systems = 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings / by: (書目-電子資源)

Dynamic modeling of diseases and pests by: (書目-電子資源)

Component-based software engineering = 12th international symposium, CBSE 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings / by: (書目-電子資源)

Conceptual modeling - ER 2008 = 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings / by: (書目-電子資源)

Languages, Methodologies and Development Tools for Multi-Agent Systems = First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers / by: (書目-電子資源)

Spatial information theory = 9th international conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009 : proceedings / by: (書目-電子資源)

Ontologies in urban development projects by: (書目-電子資源)

Coordination models and languages = 13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings / by: (書目-電子資源)

Digital privacy = PRIME - privacy and identity management for Europe / by: (書目-電子資源)

Software Process Improvement = 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings / by: (書目-電子資源)

Coordination models and languages = 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012 : proceedings / by: (書目-電子資源)

Engineering secure software and systems = third International symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings / by: (書目-電子資源)

Information from processes = about the nature of information creation, use, and representation / by: (書目-電子資源)

Advances in Software Engineering = International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / by: (書目-電子資源)

Queueing theory for telecommunications = discrete time modelling of a single node system / by: (書目-電子資源)

The evolution of conceptual modeling = from a historical perspective towards the future of conceptual modeling / by: (書目-電子資源)

Data mining for business applications by: (書目-電子資源)

Artificial intelligence : theories, models and applications = 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008 ; proceedings / by: (書目-電子資源)

Languages and compilers for parallel computing = 21st international workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008 : revised selected papers / by: (書目-電子資源)

Algorithmic game theory = third international symposium, SAGT 2010, Athens, Greece, October 18-20, 2010 : proceedings / by: (書目-電子資源)

Algorithmic game theory = 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012 : proceedings / by: (書目-電子資源)