Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: Joseph Mathai
18 träffar
|
Titel |
Författare |
År |
Språk |
1 |
Software Engineering Approaches for Offshore and Outsourced Development - Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers
|
Kay. Berkling
|
2009 |
Engelska |
2 |
Software Engineering Approaches for Offshore and Outsourced Development
|
Bertrand Meyer
|
2007 |
Okänt |
3-4 |
Formal techniques in real-time and fault-tolerant systems
(flera utgåvor)
|
International Symposium on Formal Techniques in Real-time and Fault-tolerant Systems 2000) Pune :
|
cop. 2000 |
Engelska |
5 |
Formal techniques in real-time and fault-tolerant systems - proceedings of a symposium, Warwick, UK, September 22-23, 1988
|
|
cop. 1988 |
Engelska |
6 |
Foundations of software technology and theoretical computer science, FST and TCS 4
|
|
1984 |
Engelska |
7 |
Software Engineering Approaches for Offshore and Outsourced Development - Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
|
Olly. Gotel
|
2009 |
Engelska |
8 |
A multiprocessor operating system
|
Mathai Joseph
|
c1984 |
Engelska |
9 |
"Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988"
|
Joseph Mathai
|
1988 |
Okänt |
10 |
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium,FTRTFT 2000 Pune, India, September 2022, 2000 Proceedings
|
Mathai Joseph
|
uuuu-uuuu |
Okänt |
11 |
Foundations of Software Technology and Theoretical Computer Science
|
Mathai Joseph
|
uuuu-uuuu |
Okänt |
12-13 |
Software Engineering Approaches for Offshore and Outsourced Development
(flera utgåvor)
|
Bertrand. Meyer
|
2007 |
Engelska |
14 |
Software Engineering Approaches for Offshore and Outsourced Development - 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings
|
Martin. Nordio
|
2010 |
Engelska |
15 |
Real-time systems - specification, verification, and analysis
|
|
1996 |
Engelska |
16 |
Software Engineering Approaches for Offshore and Outsourced Development: 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010, Proceedings
|
|
2010 |
Okänt |
17 |
Software Engineering Approaches for Offshore and Outsourced Development: Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008: Revised Papers
|
|
2009 |
Okänt |
18 |
Software Engineering Approaches for Offshore and Outsourced Development: Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
|
|
2009 |
Okänt |
1
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.