Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "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
:
"compose" »
"composed"
,
"composite"
Showing
1
-
20
of
55
Search:
'"compose"'
,
query time: 0.04s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
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
2
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
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
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
6
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
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
On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE : OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2003 Catania, Sicily, Italy, November...
Published 2003
Springer Berlin Heidelberg
“
... representative volume of scienti?c papers, but such a harvest allowed the program committees of course to
compose
...
”
Read Now
9
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
10
On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops : OTM Confederated International Workshops, HCI-SWWA, IPW, JTRES, WORM, WMS, and WRSM 2003, Catania, Sicily, Ita...
Published 2003
Springer Berlin Heidelberg
“
... representative volume of scienti?c papers, but such a harvest allowed the program committees of course to
compose
...
”
Read Now
11
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
12
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
13
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
14
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
15
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
16
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
17
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
18
Networked Group Communication : First International COST264 Workshop, NGC'99, Pisa, Italy, November 17-20, 1999 Proceedings
Published 1999
Springer Berlin Heidelberg
“
... to
compose
the basis of the technical program. We hope you will enjoy our paper selection, which is the VI...
”
Read Now
19
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
20
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...
”
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=%22compose%22&type=AllFields
Send by Email
×
Loading...