Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: (("composer" OR "composed") or "compose")
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"004 - Data processing & computer science"
product_txtF_mv:"Springer Book Archives -2004"
Search alternatives
:
"composer" »
"compositer"
"composed" »
"composited"
"compose" »
"composite"
Showing
1
-
20
of
44
Search:
'(("composer" OR "composed") or "compose")'
,
query time: 2.35s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Music Education: An Artificial Intelligence Approach : Proceedings of a Workshop held as part of AI-ED 93, World Conference on Artificial Intelligence in Education, Edinburgh, Scot...
Published 1994
Springer London
Table of Contents:
“
... of an AI Tool for Beginning Melody
Composers
-- Uncovering Cognitive Processes in Music Composition...
”
Read Now
2
Software Architectures and Component Technology
Published 2002
Springer US
Table of Contents:
“
.... Guideliness for Identifying Obstacles When
Composing
Distributed Systems from Components -- 2 Architectures...
”
Read Now
3
Principles and Practice of Semantic Web Reasoning : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
...Foundations of Semantic Web Reasoning --
Composing
Frameworks and Components for Families...
”
Read Now
4
Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... hybrid model for reasoning about
composed
hardware systems --
Composing
symbolic trajectory evaluation...
”
Read Now
5
Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 200...
Published 2002
Springer US
Table of Contents:
“
... -- A Semantic Framework for Specifying and Reasoning about
Composable
Distributed Middleware Services...
”
Read Now
6
Formal Systems Specification : The RPC-Memory Specification Case Study
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... problem -- A memory module specification using
composable
high-level petri nets -- Constraint oriented...
”
Read Now
7
Algorithmic Learning for Knowledge-Based Systems : GOSLER Final Report
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... and probabilistic machines -- Topological considerations in
composing
teams of learning machines -- Probabilistic...
”
Read Now
8
Security Protocols : 7th International Workshop Cambridge, UK, April 19-21, 1999 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
...Keynote Address: The Changing Environment --
Composing
Security Properties -- Auditing against...
”
Read Now
9
Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
...Invited Talks -- A Logical Account of NGSCB --
Composing
Event Constraints in State-Based...
”
Read Now
10
Engineering for Human-Computer Interaction : IFIP TC2/TC13 WG2.7/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction September 14–18, 1998, Heraklion, C...
Published 1999
Springer US
Table of Contents:
“
... collaborative editing systems -- Generic and
composable
latecomer accommodation service for centralized shared...
”
Read Now
11
Ant Algorithms : Third International Workshop, ANTS 2002, Brussels, Belgium, September 12-14, 2002. Proceedings
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... Routing Problems with Backhauls and Time Windows -- Modelling ACO:
Composed
Permutation Problems...
”
Read Now
12
Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
...
Composing
specifications -- Refinement calculus, part I: Sequential nondeterministic programs...
”
Read Now
13
Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... -- Experiments in
Composing
Proxy Audio Services for Mobile Users -- Distributed Abstractions -- Thread...
”
Read Now
14
Computer Systems : Theory, Technology, and Applications
Published 2004
Springer New York
Table of Contents:
“
... Analysis,
Composability
and Computation -- Access Control in Distributed Systems -- Implementing Condition...
”
Read Now
15
Application and Theory of Petri Nets 1995 : 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... System using a class of modular algebraic nets -- A class of
composable
high level Petri nets...
”
Read Now
16
CONCUR 2001 - Concurrency Theory : 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... -- Divide and
Compose
: SCC Refinement for Language Emptiness --...
”
Read Now
17
Application and Theory of Petri Nets 2000 : 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
... Model of Time Petri Nets --
Composing
Abstractions of Coloured Petri Nets -- Modelling and Analysis of a...
”
Read Now
18
Advanced Information Systems Engineering : 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001. Proceedings
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... of Business Processes -- Developing E-Services for
Composing
E-Services -- Data Models with Multiple Temporal...
”
Read Now
19
Fundamentals of Computation Theory : 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... Separators --
Composing
Equipotent Teams -- Algorithms 2 -- Efficient Algorithms for GCD and Cubic...
”
Read Now
20
Hybrid Systems: Computation and Control : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... -- Control of Switched Hybrid Systems Based on Disjunctive Formulations --
Composing
Abstractions of Hybrid...
”
1
2
3
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Clear Filter
Collection: Springer Book Archives -2004
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
005 - Computer programming, programs & data
3
621 - Applied physics
3
Language
English
44
Collection
Springer Book Archives -2004
Author
Tari, Zahir
3
Nielsen, Mogens
2
Aksit, Mehmed
1
Bakker, Jaco W. de
1
Bauknecht, Kurt
1
Broy, Manfred
1
more ...
Bry, Francois
1
Buchberger, Bruno
1
Cantoni, Virginio
1
Chatty, Stéphane
1
Christianson, Bruce
1
Crispo, Bruno
1
DeMichelis, Giorgio
1
Delgado, Jaime
1
Dewan, Prasun
1
Di Caro, Gianni
1
Diaz, Michel
1
Dill, David L.
1
Dittrich, Klaus R.
1
Dorigo, Marco
1
Faustoferri, Sergio
1
Fdida, Serge
1
Flett, Alan
1
Frutos-Escrig, David de
1
Ganzhorn, Karl
1
Gattiker, Urs E.
1
Geppert, Andreas
1
Gilreath, William F.
1
Greenstreet, Mark R.
1
Guerraoui, Rachid
1
Hayes, Jeremiah F.
1
Henze, Nicola
1
Herbert, Andrew James
1
Inan, M. Kemal
1
Jacobs, Bart
1
Jantke, Klaus P.
1
Karmouch, Ahmed
1
Klein, Michel
1
Knott, Gary D.
1
Koubarakis, Manolis
1
Kurshan, Robert P.
1
Lange, Steffen
1
Laplante, Phillip A.
1
Larsen, Kim G.
1
Lingas, Andrzej
1
Magedanz, Thomas
1
Malcolm, James A.
1
Maluszynski, Jan
1
Malyshkin, Victor
1
McDonald, John C.
1
Merz, Stephan
1
Moro, Gianluca
1
Nilsson, Bengt J.
1
Norrie, Moira C.
1
Nunez, Manuel
1
Omelayenko, Borys
1
Popek, Gerald J.
1
Quirchmayr, Gerald
1
Reiher, Peter
1
Rensink, Arend
1
Rizzo, Luigi
1
Roe, Michael
1
Roever, Willem-Paul de
1
Rozenberg, Grzegorz
1
Sampels, Michael
1
Schmidt, Douglas C.
1
Setti, Alessandra
1
Sheu, Phillip C.-Y.
1
Simpson, Dan
1
Sloane, Andy
1
Smaill, Alan
1
Smith, Matt
1
Spaerck Jones, Karen I.B.
1
Spies, Katharina
1
Sun-Chong Wang
1
Tegolo, Domenico
1
Tianruo Yang, Laurence
1
Tjoa, A. Min
1
Tomlin, Claire J.
1
Volkert, Jens
1
Wiggins, Geraint A.
1
Yarvis, Mark D.
1
Yi Pan
1
Ying Ding
1
Zimmermann, Karl-Heinz
1
di Gesù, Vito
1
van Rijn, Felix
1
see all ...
less ...
Recently Uploaded
Last Month
2
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=%28%28%22composer%22+OR+%22composed%22%29+or+%22compose%22%29&type=AllFields
Send by Email
×
Loading...