|
Login | Sign Up | Settings | Sell Books | Wish List |
Searching ... |
0 % | |||
Only Books by Rupert Stützle | X |
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(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 |
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 |
Rupert Stützle