 |  Compare Price & Save up to 90% | | |
|
| 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 |
 | | 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 |
 | | 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 |
 | | 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 |
 | | Lecture Notes in Computer Science Ser. Application and Theory of Petri Nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings 2360 by Javier Esparza , Charles Lakos 445 Pages, Published 2003 by Springer ISBN-13: 978-3-540-48068-6, ISBN: 3-540-48068-4 |
 | | Logic, Algebra, and Computation International Summer School by Friedrich L. Bauer 485 Pages, Published 2012 by Springer Science & Business Media ISBN-13: 978-3-642-76799-9, ISBN: 3-642-76799-0 |
 | | Computer Aided Verification 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science) by Pierre Wolper , G. Goos Paperback, 456 Pages, Published 1995 by Springer ISBN-13: 978-3-540-60045-9, ISBN: 3-540-60045-0 |
 | | Advances in Petri nets 1988. Lecture notes in computer science ; 340.(1st Edition) by Editor-Grzegorz Rozenberg Paperback, 439 Pages, Published 1988 by Springer ISBN-13: 978-3-540-50580-8, ISBN: 3-540-50580-6 |
 | | 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 |
 | | Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings (Lecture ... Computer Science and General Issues) by Edward Ochmanski , Jerzy Tyszkiewicz Paperback, 626 Pages, Published 2008 by Springer ISBN-13: 978-3-540-85237-7, ISBN: 3-540-85237-9 |
