hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Verlag Springer
21201 Treffer
Seite < 1 ... 1553 1554 1555 1556 1557 1558 1559 ... 2121 >
Cover

The practical real time enterprise

: facts and perspectives / Bernd Kuhlin ; Heinz Thielmann ed.. - Berlin : Springer, 2005. - XIV, 559 S. : Ill., graph. Darst.; 24 cm

ISBN 978-3-540-21995-8 / 3-540-21995-1 Gb. : EUR 64.15 (freier Pr.), sfr 106.00 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Cover

Kurki-Suonio, Reino: A practical theory of reactive systems

: incremental modeling of dynamic behaviors / R. Kurki-Suonio. - Berlin : Springer, 2005. - 418 S. : graph. Darst.; 24 cm - (Texts in theoretical computer science)

ISBN 978-3-540-23342-8 / 3-540-23342-3 Pp. : EUR 53.45 (freier Pr.), sfr 88.50 (freier Pr.)

Literaturverz. S. 397 - 408

Quelle: DNB Verlagsmeldungen

Cover

Rudd, Anthony S.: Practical usage of ISPF dialog manager

/ Anthony S. Rudd. - London : Springer, 1996. - XV, 381 S. : graph. Darst.; 24 cm

ISBN 978-3-540-19950-2 / 3-540-19950-0 kart. : DM 98.00

Quelle: DNB

Cover

Rudd, Anthony S.: Practical usage of MVS REXX

/ Anthony S. Rudd. - London : Springer, 1996. - XIV, 310 S.; 24 cm

ISBN 978-3-540-19952-6 / 3-540-19952-7 kart. : DM 89.00

Quelle: DNB

Cover

Practice and theory of automated timetabling II

: second international conference ; selected papers / PATAT '97, Toronto, Canada, August 1997 / E. Burke ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1408)

ISBN 978-3-540-49803-2

Lizenzpflichtig

Quelle: DNB

Cover

Practice and theory of automated timetabling III

: third international conference ; selected papers / PATAT 2000, Konstanz, Germany, August 16 - 18, 2000. Edmund Burke ; Wilhelm Erben (ed.). - Berlin : Springer, 2001. - XII, 357 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2079)

ISBN 978-3-540-42421-5 / 3-540-42421-0 kart. : DM 96.30

Literaturangaben

Quelle: DNB

Cover

Practice and theory of automated timetabling III

: third international conference ; selected papers / PATAT 2000, Konstanz, Germany, August 16 - 18, 2000. E. Burke ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2079)

ISBN 978-3-540-44629-3

Lizenzpflichtig

Quelle: DNB

Cover

Practice and theory of automated timetabling IV

: 4th international conference ; selected revised papers / PATAT 2002, Gent, Belgium, August 21 - 23, 2002. Edmund Burke ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2740)

ISBN 978-3-540-45157-0

Lizenzpflichtig

Quelle: DNB

Cover

Practice and theory of automated timetabling IV

: 4th international conference ; selected revised papers / PATAT 2002, Gent, Belgium, August 21 - 23, 2002. Edmund Burke ; Patrick de Causmaecker (ed.). - Berlin : Springer, 2003. - XII, 360 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2740)

ISBN 978-3-540-40699-0 / 3-540-40699-9 kart. : EUR 53.50 (freier Pr.), sfr 86.00

Literaturangaben

Quelle: DNB

Cover

Practice and theory of automated timetabling V

: 5th international conference ; revised selected papers / PATAT 2004, Pittsburgh, PA, USA, August 18 - 20, 2004. Edmund Burke ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3616)

ISBN 978-3-540-32421-8

Lizenzpflichtig

Quelle: DNB

Seite < 1 ... 1553 1554 1555 1556 1557 1558 1559 ... 2121 >
Projekte . Kooperationen
Advertorial