Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Aziz Aziz 1668 träffar

Titel Författare År Språk
381 Binary aqueous and COsubscript 2 containing mixtures and the Krichevskii parameter electronic resource / Aziz I. Abdulagatov, Ilmutdin M. Abdulagatov, Gennadii V. Stepanov Aziz I. Abdulagatov uuuu-uuuu Okänt
382 Chemistry Research and Applications : Binary Aqueous and CO2 Containing Mixtures and the Krichevskii Parameter Aziz I. Abdulagatov 2010 Engelska
383 An Integrated Specification and Verification Technique for Highly Concurrent Data Structures ITALY Rome 2013 16-24 March 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Parosh Aziz Abdulla 2013 Engelska
384 Automatic verification of a class of systolic hardware circuits Parosh Aziz Abdulla 1990 Engelska
385 Bisimulation minimization of tree automata Parosh Aziz Abdulla 2006 Engelska
386 Counter-Example Guided Fence Insertion under TSO TACAS 2012 Parosh Aziz Abdulla 2012 Engelska
387 Decision problems in systolic circuit verification Parosh Aziz Abdulla 1990 Engelska
388 MEMORAX, a Precise and Sound Tool for Automatic Fence Insertion under TSO Italy Rome 2013 March 16-24 ETAPS 2013 Held as Part of the European Joint Conferences on Theory and Practice of Software TACAS 2013 19th International Conference Parosh Aziz Abdulla 2013 Engelska
389 Parameterized Verification under TSO with Data Types 2023 April 22–27 France Paris ETAPS 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software TACAS 2023 29th International Conference Parosh Aziz Abdulla 2023 Engelska
390 Parsimonious Optimal Dynamic Partial Order Reduction CANADA Montreal 2024 JUN 24-27 36th International Conference on Computer-Aided Verification (CAV) Parosh Aziz Abdulla 2024 Engelska
391 Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings Parosh Aziz. Abdulla 2013 Engelska
392 The Decidability of Verification under PS 2.0 ELECTR NETWORK 2021 MAR 27-APR 01 30th European Symposium on Programming (ESOP) Held as Part of the 24th European Joint Conferences on Theory and Practice of Software (ETAPS) Parosh Aziz Abdulla 2021 Engelska
393 Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings Parosh Aziz. Abdulla 2011 Engelska
394 "Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proce" Parosh Aziz Abdulla 2011 Okänt
395 Verification of Directed Acyclic Ad Hoc Networks Italy Florence 2013 June 3-5 Formal Techniques for Distributed Systems (FORTE 2013) Parosh Aziz Abdulla 2013 Engelska
396 Verification of Dynamic Register Automata December 15–17 2014. India New Delhi IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science Parosh Aziz Abdulla 2014 Engelska
397 Verification of heap manipulating programs with ordered data by extended forest automata Vietnam Hanoi October 15-18 ATVA 2013 Parosh Aziz Abdulla 2013 Engelska
398 Verification under TSO with an infinite Data Domain Luxembourg Luxembourg 2024 April 6-11 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Held as Part of the 27th European Joint Conferences on Theory and Practice of Software (ETAPS) Parosh Aziz Abdulla 2024 Engelska
399 Organisation och informationsflöde hos vatten- och avloppsverk Mounir Abou Al-Ainain 1989 Svenska
400 Amazônia - do discurso à práxis Aziz Nacib Ab'Sáber 1996 Portugisiska

Förra sidan 20 21 22 23 24 25 26 27 28 29 30 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.