Language and Automata Theory and Applications (13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Carlos Martín-Vide, Alexander Okhotin, Dana Shapira

Language and Automata Theory and Applications (13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Carlos Martín-Vide, Alexander Okhotin, Dana Shapira

HK$556

Perspectives of System Informatics (Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996, Proceedings: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, Ju)

By Dines Bjørner, Manfred Broy, Igor V. Pottosin

Perspectives of System Informatics (Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996, Proceedings: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, Ju)

By Dines Bjørner, Manfred Broy, Igor V. Pottosin

HK$540

Computer Science – Theory and Applications (14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By René van Bevern, Gregory Kucherov

Computer Science – Theory and Applications (14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By René van Bevern, Gregory Kucherov

HK$537

Perspectives of Systems Informatics (5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Manfred Broy, Alexandre V. Zamulin

Perspectives of Systems Informatics (5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Manfred Broy, Alexandre V. Zamulin

HK$560

Machines, Computations, and Universality (4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Maurice Margenstern

Machines, Computations, and Universality (4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Maurice Margenstern

HK$600

Developments in Language Theory (9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Clelia de Felice, Antonio Restivo

Developments in Language Theory (9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Clelia de Felice, Antonio Restivo

HK$540

Perspectives of System Informatics (4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : Revised Papers (Lecture Notes in Computer Science))

By Dines Bjørner, Manfred Broy, Alexandre Zamulin, A.P. Erashov

Perspectives of System Informatics (4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : Revised Papers (Lecture Notes in Computer Science))

By Dines Bjørner, Manfred Broy, Alexandre Zamulin, A.P. Erashov

HK$730

Formal Methods in Programming and Their Applications (International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science))

By Dines Bjørner, Manfred Broy, Igor V. Pottosin

Formal Methods in Programming and Their Applications (International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science))

By Dines Bjørner, Manfred Broy, Igor V. Pottosin

HK$640

Perspectives of System Informatics (Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings: Third International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, J)

By Dines Bjorner, Manfred Broy, Alexandre V. Zamulin

Perspectives of System Informatics (Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings: Third International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, J)

By Dines Bjorner, Manfred Broy, Alexandre V. Zamulin

HK$988

Perspectives of Systems Informatics (6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Andrei Voronkov, Irina Virbitskaite

Perspectives of Systems Informatics (6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Andrei Voronkov, Irina Virbitskaite

HK$700

Computer Science - Theory and Applications (Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Anna Frid, Andrey S. Morozov, Andrey Rybalchenko, Klaus W. Wagner

Computer Science - Theory and Applications (Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Anna Frid, Andrey S. Morozov, Andrey Rybalchenko, Klaus W. Wagner

HK$534

Fundamentals of Digital Logic and Microcomputer Design [With CDROM]

By Rafiquzzaman, Mohamed

Fundamentals of Digital Logic and Microcomputer Design [With CDROM]

By Rafiquzzaman, Mohamed

HK$1,700 Elsewhere ~~HK$1,822.39~~ Save HK$122.39 (7%)

Knowledge Architectures (Structures and Semantics)

By Bedford, Denise

Knowledge Architectures (Structures and Semantics)

By Bedford, Denise

HK$983 Elsewhere ~~HK$1,493.34~~ Save HK$510.34 (34%)

Knowledge Architectures (Structures and Semantics)

By Bedford, Denise

Knowledge Architectures (Structures and Semantics)

By Bedford, Denise

HK$417 Elsewhere ~~HK$504.54~~ Save HK$87.54 (17%)

Mathematical Problems from Applied Logic (Logics for the XXIst Century: v. 2 (International Mathematical Series))

By Dov M. Gabbay, Sergei Goncharov, Michael Zakharyaschev

Mathematical Problems from Applied Logic (Logics for the XXIst Century: v. 2 (International Mathematical Series))

By Dov M. Gabbay, Sergei Goncharov, Michael Zakharyaschev

HK$1,100

Nano-CMOS Design for Manufacturability (Robust Circuit and Physical Design for Sub-65nm Technology Nodes)

By Ban P., Mittal, Anurag, Greg W. Starr, Franz Zach

Nano-CMOS Design for Manufacturability (Robust Circuit and Physical Design for Sub-65nm Technology Nodes)

By Ban P., Mittal, Anurag, Greg W. Starr, Franz Zach

HK$990 Elsewhere ~~HK$1,204.46~~ Save HK$214.46 (18%)

Glebov, A (Logic of Digital Circuits)

By Alexey Glebov

Glebov, A (Logic of Digital Circuits)

By Alexey Glebov

HK$1,382 Elsewhere ~~HK$1,915.49~~ Save HK$533.49 (28%)

Mathematical Problems from Applied Logic II (Logics for the XXIst Century (International Mathematical Series))

By Dov Gabbay, Sergei Goncharov, Michael Zakharyaschev

Mathematical Problems from Applied Logic II (Logics for the XXIst Century (International Mathematical Series))

By Dov Gabbay, Sergei Goncharov, Michael Zakharyaschev

HK$960

Security, Privacy, and Trust in WBANs and E-Healthcare

By Anuj Kumar Singh, Sachin Kumar

Security, Privacy, and Trust in WBANs and E-Healthcare

By Anuj Kumar Singh, Sachin Kumar

HK$851 Elsewhere ~~HK$1,235.87~~ Save HK$384.87 (31%)

Secure Health (A Guide to Cybersecurity for Healthcare Managers (Advances in Cybersecurity Management))

By Mohamed Hammad, Gauhar Ali, Mohammed A. El-Affendi, Yassine Maleh

Secure Health (A Guide to Cybersecurity for Healthcare Managers (Advances in Cybersecurity Management))

By Mohamed Hammad, Gauhar Ali, Mohammed A. El-Affendi, Yassine Maleh

HK$787 Elsewhere ~~HK$1,132.88~~ Save HK$345.88 (31%)

Perspectives of Systems Informatics

By Manfred Broy, Alexandre V Zamulin

Perspectives of Systems Informatics

By Manfred Broy, Alexandre V Zamulin

HK$500

Logic for Programming, Artificial Intelligence, and Reasoning (9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Matthias Baaz, Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning (9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Matthias Baaz, Andrei Voronkov

HK$656

Implementation and Application of Automata (9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu

Implementation and Application of Automata (9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu

HK$600

View:
Safe Search(?):