|
Specifying Message Passing and Time-Critical Systems with Temporal Logic
|
Ron Koymans |
Springer |
_ |
1992 |
|
|
Speech, Sound and Music Processing: Embracing Research in India
|
S�lvi YstadMitsuko AramakiRichard Kronland-MartinetKristoffer JensenSanghamitra Mohanty |
Springer |
_ |
2012 |
|
|
Sphingolipids as Signaling and Regulatory Molecules
|
Charles Chalfant PhDMaurizio Del Poeta MD |
Springer |
_ |
2010 |
|
|
SPIN Model Checking and Software Verification
|
Klaus HavelundJohn PenixWillem Visser |
Springer |
_ |
2000 |
|
|
Spoken Dialogue Systems for Ambient Environments
|
Gary Geunbae LeeJoseph MarianiWolfgang MinkerSatoshi Nakamura |
Springer |
_ |
2010 |
|
|
Sport and Monstrosity in Science Fiction
|
Thiess |
Oxford University Press |
9781789623789 |
2020 |
|
|
Springer Handbook of Enzymes
|
Professor Dietmar SchomburgDr. Ida SchomburgDr. Antje Chang |
Springer |
_ |
2009 |
|
|
SPSS for Starters
|
Ton J. CleophasAeilko H. Zwinderman |
Springer |
_ |
2010 |
|
|
Stability and Ductility of Steel Structures (SDSS'97)
|
Tsutomu Usami and Yoshito Itoh (ed.) |
Elsevier |
9780080433202 |
1998 |
|
|
Stabilization, Safety, and Security of Distributed Systems
|
Xavier D�fagoFranck PetitVincent Villain |
Springer |
_ |
2011 |
|
|
Stabilization, Safety, and Security of Distributed Systems
|
Ajoy K. DattaMaria Gradinariu |
Springer |
_ |
2006 |
|
|
Stabilization, Safety, and Security of Distributed Systems
|
Shlomi DolevJorge CobbMichael FischerMoti Yung |
Springer |
_ |
2010 |
|
|
Stabilization, Safety, and Security of Distributed Systems
|
Rachid GuerraouiFranck Petit |
Springer |
_ |
2009 |
|
|
Stabilization, Safety, and Security of Distributed Systems
|
Sandeep KulkarniAndr� Schiper |
Springer |
_ |
2008 |
|
|
Stabilization, Safety, and Security of Distributed Systems
|
Toshimitsu MasuzawaS�bastien Tixeuil |
Springer |
_ |
2007 |
|
|
Stabilization, Safety, and Security of Distributed Systems
|
Andr�a W. RichaChristian Scheideler |
Springer |
_ |
2012 |
|
|
STACS 2000
|
Horst ReichelSophie Tison |
Springer |
_ |
2000 |
|
|
STACS 2001
|
Afonso FerreiraHorst Reichel |
Springer |
_ |
2001 |
|
|
STACS 2002
|
Helmut AltAfonso Ferreira |
Springer |
_ |
2002 |
|
|
STACS 2003
|
Helmut AltMichel Habib |
Springer |
_ |
2003 |
|
|
STACS 2004
|
Volker DiekertMichel Habib |
Springer |
_ |
2004 |
|
|
STACS 2005
|
Volker DiekertBruno Durand |
Springer |
_ |
2005 |
|
|
STACS 2006
|
Bruno DurandWolfgang Thomas |
Springer |
_ |
2006 |
|
|
STACS 2007
|
Wolfgang ThomasPascal Weil |
Springer |
_ |
2007 |
|
|
STACS 84
|
M. FontetK. Mehlhorn |
Springer |
_ |
1984 |
|