Your search returned 22 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
2.
3.
4.
5.
Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.). by Series: Lecture notes in computer science ; 4700. | Lecture notes in computer science. Festschrift. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Business intelligence for the real-time enterprises : first international workshop, BIRTE 2006, Seoul, Korea, September 11, 2006 : revised selected papers / Christoph Bussler [and others] (eds.). by Series: Lecture notes in computer science ; 4365. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • BIRTE 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Real-time mobile multimedia services : 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2007, San Jose, USA, October 31-November 2, 2007 : proceedings / Dilip Krishnaswamy, Tom Pfeifer, Danny Raz (eds.). by Series: Lecture notes in computer science ; 4787. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12177622
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services
  • Tenth IFIP/IEEE International Conference on Management of Multimedia Mobile Networks and Services
  • IFIP/IEEE International Conference on Management of Multimedia Mobile Networks and Services
  • International Conference on Management of Multimedia Mobile Networks and Services
  • MMNS 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Algorithmic methods for railway optimization : international Dagstuhl workshop, railway optimization 2004, Dagstuhl Castle, Germany, June 20-25, 2004, Bergen, Norway, September 16-17, 2004 : revised selected papers / Frank Geraets [and others] (eds.). by Series: LNCS sublibrary. SL 1, Theoretical computer science and general issues. | Lecture notes in computer science ; 4359. | Lecture notes in computer science. State-of-the-art survey.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12108947
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • International Dagstuhl workshop
  • Railway optimization 2004
  • Railway optimization
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
10.
Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings / Mathai Joseph (ed.). by Series: Lecture notes in computer science ; 1926.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2000
Other title:
  • FTRTFT 2000, formal techniques in real-time and fault-tolerant systems
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
Composition of embedded systems : scientific and industrial issues ; 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006 : revised selected papers / Fabrice Kordon, Oleg Sokolsky (eds.). by Series: Lecture notes in computer science ; 4888. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12209217
Publication details: Berlin ; New York : Springer, ©2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Formal Techniques in Real-Time and Fault-Tolerant Systems. by Series: Lecture notes in computer science ; 1486.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; London : Springer, 1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
14.
Management of converged multimedia networks and services : 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2008, Samos Island, Greece, September 22-26, 2008 ; proceedings / George Pavlou, Toufik Ahmed, Tasos Dagiuklas (eds.). by Series: LNCS sublibrary. SL 5, Computer communication networks and telecommunications. | Lecture notes in computer science ; 5274.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2008
Other title:
  • 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services
  • Eleventh IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services
  • International Conference on Management of Multimedia Mobile Networks and Services
  • MMNS 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings / J. Vytopil (ed.). by Series: Lecture notes in computer science ; 571.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1991
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / M. Joseph, ed. by Series: Lecture notes in computer science ; 331.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1988
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Real-time, theory in practice : REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings / J.W. de Bakker [and others] (eds.). by Series: Lecture notes in computer science ; 600.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1992
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
19.
Hybrid and real-time systems : international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings / Oded Maler, ed. by Series: Lecture notes in computer science ; 1201.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1997
Other title:
  • HART '97
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
Pages

Powered by Koha