Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: ("composer" OR "composed")
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" »
"compose"
Showing
1
-
20
of
55
Search:
'("composer" OR "composed")'
,
query time: 0.17s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Abstract Compositional Analysis of Iterated Relations : A Structural Approach to Complex State Transition Systems
by
Geurts, Frederic
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... Framework: Iterated Relations and Composition -- Dynamics of Relations -- Dynamics of
Composed
Relations...
”
Read Now
2
Algorithmic Number Theory : Second International Symposium, ANTS-II, Talence, France, May 18 - 23, 1996, Proceedings
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... -- On the reduction of
composed
relations from the number field sieve -- Checking the...
”
Read Now
3
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
4
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
5
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
6
Programs as Data Objects : Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985
Published 1986
Springer Berlin Heidelberg
Table of Contents:
“
... laziness II:
Composing
listless functions -- From interpreter to compiler: A representational derivation...
”
Read Now
7
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
8
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
9
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
10
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
11
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
12
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
13
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
14
Theoretical Aspects of Computer Software : Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... --
Composable
semantic models for actor theories -- “Classical” programming-with-proofs in ? Sym PA...
”
Read Now
15
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
16
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
17
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
18
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
19
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
20
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...
”
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
55
Collection
Springer Book Archives -2004
Author
Tari, Zahir
3
Nielsen, Mogens
2
Abadi, Martin
1
Aksit, Mehmed
1
Baeten, J.C.M.
1
Bakker, Jaco W. de
1
more ...
Bauknecht, Kurt
1
Bhanu, Bir
1
Broy, Manfred
1
Brusilovsky, Peter
1
Bry, Francois
1
Buchberger, Bruno
1
Cantoni, Virginio
1
Chatty, Stéphane
1
Christianson, Bruce
1
Cohen, Henri
1
Colmenarez, Antonio J.
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
Ganzinger, Harald
1
Gattiker, Urs E.
1
Geppert, Andreas
1
Geurts, Frederic
1
Gilreath, William F.
1
Greenstreet, Mark R.
1
Guerraoui, Rachid
1
Hayes, Jeremiah F.
1
Henze, Nicola
1
Herbert, Andrew James
1
Huang, T-S.
1
Inan, M. Kemal
1
Ito, Takayasu
1
Jacobs, Bart
1
Jantke, Klaus P.
1
Jones, Neil
1
Karmouch, Ahmed
1
Karpinski, M.
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
Middelburg, C.A.
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
Ryan, Peter
1
Sampels, Michael
1
Schmidt, Douglas C.
1
Sennett, Chris
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
Stock, Oliviero
1
Strapparava, Carlo
1
Sun-Chong Wang
1
Tan, Xuejun
1
Tegolo, Domenico
1
Thiagarajan, P.S.
1
Tianruo Yang, Laurence
1
Tjoa, A. Min
1
Tomlin, Claire J.
1
Volkert, Jens
1
Wiggins, Geraint A.
1
see all ...
less ...
Recently Uploaded
Last Month
3
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%22composer%22+OR+%22composed%22%29&type=AllFields
Send by Email
×
Loading...