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 1671 träffar

Titel Författare År Språk
381 Chemistry Research and Applications : Binary Aqueous and CO2 Containing Mixtures and the Krichevskii Parameter Aziz I. Abdulagatov 2010 Engelska
382 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
383 Automatic verification of a class of systolic hardware circuits Parosh Aziz Abdulla 1990 Engelska
384 Bisimulation minimization of tree automata Parosh Aziz Abdulla 2006 Engelska
385 Counter-Example Guided Fence Insertion under TSO TACAS 2012 Parosh Aziz Abdulla 2012 Engelska
386 Decision problems in systolic circuit verification Parosh Aziz Abdulla 1990 Engelska
387 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
388 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
389 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
390 Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings Parosh Aziz. Abdulla 2013 Engelska
391 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
392 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
393 "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
394 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
395 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
396 Verification of heap manipulating programs with ordered data by extended forest automata Vietnam Hanoi October 15-18 ATVA 2013 Parosh Aziz Abdulla 2013 Engelska
397 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
398 Organisation och informationsflöde hos vatten- och avloppsverk Mounir Abou Al-Ainain 1989 Svenska
399 Amazônia - do discurso à práxis Aziz Nacib Ab'Sáber 1996 Portugisiska
400 Três estudos rio-grandenses Aziz Nacib Ab'Sáber 1966 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.