Languages
Subject
Format
Availabity
Authors

Search result

Kosti Sagonas, Kostis Sagonas - Practical Aspects of Declarative Languages
Kosti Sagonas, Kostis Sagonas Practical Aspects of Declarative Languages English 19.11.2013 Paperback / Softback Fr. 65.00 1-2 weeks (title will be printed to order)
A W Roscoe, A. W. Roscoe, A.W. Roscoe - Understanding Concurrent Systems
A W Roscoe, A. W. Roscoe, A.W. Roscoe Understanding Concurrent Systems English 18.12.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Michel De Rougemont, Richar Lassaigne, Richard Lassaigne, Michel De Rougemont - Logic and Complexity
Michel De Rougemont, Richar Lassaigne, Richard Lassaigne, Michel De Rougemont Logic and Complexity English 30.01.2013 Paperback / Softback Fr. 198.00 1-2 weeks (title will be printed to order)
Yong Cheng - Joint Training for Neural Machine Translation
Yong Cheng Joint Training for Neural Machine Translation English 30.11.2019 Hardback Fr. 69.00 2-3 weeks (title will be printed to order)
John Crossley, John N Crossley, John N. Crossley, John Newsome Crossley, Ima Poernomo, Iman Poernomo... - Adapting Proofs-as-Programs
John Crossley, John N Crossley, John N. Crossley, John Newsome Crossley, Ima Poernomo, Iman Poernomo... Adapting Proofs-as-Programs English 27.10.2010 Paperback / Softback Fr. 188.00 1-2 weeks (title will be printed to order)
Enno Ohlebusch - Advanced Topics in Term Rewriting
Enno Ohlebusch Advanced Topics in Term Rewriting English 26.10.2010 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Kent D Lee, Kent D. Lee - Programming Languages
Kent D Lee, Kent D. Lee Programming Languages English 22.10.2010 Paperback / Softback Fr. 119.00 1-2 weeks (title will be printed to order)
Hossa A Gabbar, Hossam A Gabbar, Hossam A. Gabbar - Modern Formal Methods and Applications
Hossa A Gabbar, Hossam A Gabbar, Hossam A. Gabbar Modern Formal Methods and Applications English 20.10.2010 Paperback / Softback Fr. 146.00 1-2 weeks (title will be printed to order)
Gilles Dowek - Principles of Programming Languages
Gilles Dowek Principles of Programming Languages English 20.03.2009 Paperback / Softback Fr. 46.90 1-2 weeks (title will be printed to order)
Howar Bowman, Howard Bowman, Rodolfo Gomez - Concurrency Theory
Howar Bowman, Howard Bowman, Rodolfo Gomez Concurrency Theory English 26.10.2010 Paperback / Softback Fr. 232.80 3-5 weeks (title will be specially ordered)
Wil M P van der Aalst, Wil M. P. van der Aalst, Wil M P Van Der Aalst, Wil M. P. van der Aalst - Process Mining
Wil M P van der Aalst, Wil M. P. van der Aalst, Wil M P Van Der Aalst, Wil M. P. van der Aalst Process Mining English 01.01.2018 Paperback / Softback Fr. 70.00 4-7 working days
Franck van Breugel, Elha Kashefi, Elham Kashefi, Catuscia Palamidessi, Catuscia Palamidessi et al, Jan Rutten... - Horizons of the Mind. A Tribute to Prakash Panangaden
Franck van Breugel, Elha Kashefi, Elham Kashefi, Catuscia Palamidessi, Catuscia Palamidessi et al, Jan Rutten... Horizons of the Mind. A Tribute to Prakash Panangaden English 30.05.2014 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jör Desel, Jörg Desel, Serge Haddad, Maciej Koutny - Transactions on Petri Nets and Other Models of Concurrency X
Jör Desel, Jörg Desel, Serge Haddad, Maciej Koutny Transactions on Petri Nets and Other Models of Concurrency X English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Didier Galmiche, Stepha Schulz, Stephan Schulz, Roberto Sebastiani - Automated Reasoning
Didier Galmiche, Stepha Schulz, Stephan Schulz, Roberto Sebastiani Automated Reasoning English 01.01.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Horvath, Horvath, Andras Horvath, Annabell McIver, Annabelle McIver - Quantitative Evaluation of Systems
Horvath, Horvath, Andras Horvath, Annabell McIver, Annabelle McIver Quantitative Evaluation of Systems English 01.01.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Liqun Chen, Mar Manulis, Mark Manulis, Steve Schneider - Information Security
Liqun Chen, Mar Manulis, Mark Manulis, Steve Schneider Information Security English 01.01.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Holge Giese, Holger Giese, Rosu, Rosu, Grigore Rosu - Formal Techniques for Distributed Systems
Holge Giese, Holger Giese, Rosu, Rosu, Grigore Rosu Formal Techniques for Distributed Systems English 11.05.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jerem Gibbons, Jeremy Gibbons, Nogueira, Nogueira, Pablo Nogueira - Mathematics of Program Construction
Jerem Gibbons, Jeremy Gibbons, Nogueira, Nogueira, Pablo Nogueira Mathematics of Program Construction English 11.05.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Serg Haddad, Serge Haddad, Pomello, Pomello, Lucia Pomello - Application and Theory of Petri Nets
Serg Haddad, Serge Haddad, Pomello, Pomello, Lucia Pomello Application and Theory of Petri Nets English 11.05.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Bria Nielsen, Brian Nielsen, Weise, Weise, Carsten Weise - Testing Software and Systems
Bria Nielsen, Brian Nielsen, Weise, Weise, Carsten Weise Testing Software and Systems English 04.10.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)