|
Login | Sign Up | Settings | Sell Books | Wish List |
Searching ... |
0 % | |||
Finite Representations of Ccs and Tcsp Programs by Automata and Petri Nets (Lecture Notes in Computer Science) by Dirk Taubner, D. A. Taubner Paperback, 168 Pages, Published 1989 by Springer-Verlag ISBN-13: 978-0-387-51525-0, ISBN: 0-387-51525-9 |
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets(1989th Edition) by Dirk A. Taubner Paperback, 184 Pages, Published 2008 by Springer ISBN-13: 978-3-540-51525-8, ISBN: 3-540-51525-9 |
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets by Dirk A. Taubner 172 Pages, Published 2014 by Springer ISBN-13: 978-3-662-20757-4, ISBN: 3-662-20757-5 |
Softwaretechnik. Praxiswissen für Softwareingenieure.(2nd Edition) by Johannes Siedersleben, Olaf Deterding-Meyer, Peter Eilfeld, Andreas Hess, Dieter Keipinger, Andreas Lannes, Andreas Mieth, Kristine Schaal, Peter Schaumann, Stefan Scheidle, André Schekelmann, Friedrich Strauß, Rupert Stützle, Dirk Taubner, Johannes Beer, Wolfgang Krug, Mathias Jung Hardcover, 356 Pages, Published 2002 by Hanser Fachbuchverlag ISBN-13: 978-3-446-21843-7, ISBN: 3-446-21843-2 |
The Psalms in Haiku Form A Simplified Psalter by Richard Gwyn Paperback, 184 Pages, Published 2013 by Gracewing Publishing ISBN-13: 978-0-85244-353-8, ISBN: 0-85244-353-6 |
Computer Aided Verification Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Lecture Notes in Computer Science) by Gregor Von Bochmann , David K. Probst Paperback, 426 Pages, Published 1993 by Springer ISBN-13: 978-3-540-56496-6, ISBN: 3-540-56496-9 |
Computer Aided Verification 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science) by Kim G. Larsen , Arne Skou Paperback, 493 Pages, Published 1992 by Springer ISBN-13: 978-3-540-55179-9, ISBN: 3-540-55179-4 |
Combinatorics on Traces (Lecture Notes in Computer Science) by Volker Diekert Paperback, 174 Pages, Published 1990 by Springer ISBN-13: 978-3-540-53031-2, ISBN: 3-540-53031-2 |
Dirk Taubner