Sortierung ändern: Popularität Titel Veröffentlichung Preis
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_ar1kjudu2eevs35hss11iontpmbg4vfoz.jpg) |
Nonsequential and Distributed Programming with Go: Synchronization of Concurrent Processes: Communication - Cooperation - Competition
|
EDV / Informatik |
76.00 |
|
Buch |
Sprache:
Englisch / Autor: Christian Maurer / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_p9rjp88eg541v4pwotmhg8g52mtg4yk9v.jpg) |
Neural Approaches to Dynamics of Signal Exchanges
|
Naturwissensch., Medizin, Technik |
134.00 |
|
Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_uidfnlxnr8gz8pe9b2yxg9ks4ng4conys.jpg) |
Answer Set Programming
|
EDV / Informatik |
83.00 |
|
Buch |
Sprache:
Englisch / Autor: Vladimir Lifschitz / Einband: Gebunden |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_g1h7ttqrb23uys54zbueb0w25emrtevdz.jpg) |
Joint Training for Neural Machine Translation
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: Yong Cheng / Einband: Gebunden |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_ds8f1xl8eqt0yqz6o4dfv0lkewqsyq04u.jpg) |
Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
|
EDV / Informatik |
113.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_xgirjhy1zh8vvypt1ll77pvsf9oy80yut.jpg) |
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27¿29, 2019, Proceeding
|
Schulbücher |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_olalbj7uxyf08r0hhbpj2hp6fzqw7y43n.jpg) |
Combinatorics on Words: 12th International Conference, WORDS 2019, Loughborough, UK, September 9¿13, 2019, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_5oj982p6ftnw12x6z4e3emxoiwcuvivnl.jpg) |
Representation Theorems in Computer Science: A Treatment in Logic Engineering
|
EDV / Informatik |
134.00 |
|
Buch |
Sprache:
Englisch / Autor: Özgür Lütfü Özçep / Einband: Gebunden |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_lt0be6xxqscwbxqq3v44ljyh8w9l32vru.jpg) |
Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13¿14, 2019, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
|
Developments in Language Theory: 23rd International Conference, DLT 2019, Warsaw, Poland, August 5¿9, 2019, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_3nybu9z0tjtsssvlyyk2zmkea43yh3kga.jpg) |
Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
|
EDV / Informatik |
124.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_5hgypmj7ot10uw94ib0ywomfxl7v2wdem.jpg) |
Larisa Maksimova on Implication, Interpolation, and Definability
|
Philosophie |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_roigof0yfoy98eqeur3z8l0b50cudg4hq.jpg) |
String Analysis for Software Verification and Security
|
EDV / Informatik |
107.00 |
|
Buch |
Sprache:
Englisch / Autor: Tevfik Bultan / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_t8c30krrjmze031wptxgrstgsrwlnu23b.jpg) |
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
|
EDV / Informatik |
124.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_2a2vs2bsaxxkeomxa7rit4mbenmysqvud.jpg) |
Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th In
|
EDV / Informatik |
89.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_nnxg1goquf24fw79ic0ju129ayrb4yowc.jpg) |
Algebraic Informatics: 8th International Conference, CAI 2019, Ni¿, Serbia, June 30¿July 4, 2019, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_234lrw9n8pc2bu127i4p09n0lbhslfxgx.jpg) |
Cellular Automata and Discrete Complex Systems: 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26¿28, 2019, Proceed
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_128i4t75pn9nhsqrqpad99ftm3aem8u2v.jpg) |
Logic Programming and Nonmonotonic Reasoning: 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_a624jgew0v2jlwm0tjao9333semdm7qpq.jpg) |
Logics in Artificial Intelligence: 16th European Conference, JELIA 2019, Rende, Italy, May 7¿11, 2019, Proceedings
|
EDV / Informatik |
132.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_lnk58ra3iuk2d5cwpzk8ufs15hvcxcz4i.jpg) |
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_d3j6cohfkaxc6nmd5u0lhym1jxkyrj8ph.jpg) |
Unconventional Computation and Natural Computation: 18th International Conference, UCNC 2019, Tokyo, Japan, June 3¿7, 2019, Proceedings
|
EDV / Informatik |
81.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
![](rcimages/rc200trans.gif) |
![](https://img.1advd.ch/imgBt/_amnxvj42vkbzyxm5d89tuopepfiwj9jqn.jpg) |
The 2-tuple Linguistic Model: Computing with Words in Decision Making
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: Francisco Herrera / Einband: Kartoniert |
|
|
|
| / 26 |