登入選單
Google圖書搜尋
Constraint Logic Programming using Eclipse
作者
Krzysztof R. Apt / Mark Wallace
出版Cambridge University Press, 2006-12-21
ISBN
0521866286 / 9780521866286
主題
Computers
Modular Termination Proofs for Logic and Pure Prol...
作者
Krzysztof R. Apt / Dino Pedreschi
出版1993
ISBN
OCLC:31237735
主題
Logic programming
Verification of Sequential and Concurrent Programs
作者
Krzysztof R. Apt / Ernst-Rüdiger Olderog
出版Springer Science & Business Media, 2013-03-09
ISBN
9781475743760 / 1475743769
主題
Computers
Edsger Wybe Dijkstra
作者
Krzysztof R. Apt / Tony Hoare
出版Morgan & Claypool, 2022-07-14
ISBN
9781450397742 / 1450397743
主題
Computers
Foundations of Computer Science II
作者
Krzysztof R. Apt / Jacobus Willem Bakker
出版1976
ISBN
UOM:39015051268053
主題
Algorithms
From Logic Programming to Prolog
作者
Krzysztof R. Apt
出版1997
ISBN
UOM:39015038545011
主題
Computers
Foundations of Deductive Databases and Logic Progr...
作者
Jack Minker
出版Morgan Kaufmann Publishers, 1988
ISBN
UOM:39015012760966
主題
Computers
A Brief History Of Mathematics For Curious Minds
作者
Krzysztof R Apt
出版World Scientific, 2023-11-17
ISBN
9789811280467 / 9811280460
主題
Mathematics
The Logic Programming Paradigm
作者
Krzysztof R. Apt
出版1987
ISBN
OCLC:860767495
主題
Constraint-Pro
On the Unification Free Prolog Programs
作者
Krzysztof R. Apt / Sandro Etalle
出版1993
ISBN
OCLC:123336308
主題
Logic programming
Logics and Models of Concurrent Systems
作者
Krzysztof R Apt
出版1985-07-01
ISBN
3642824544 / 9783642824548
Verification of Sequential and Concurrent Programs
作者
Krzysztof R. Apt / E.-R. Olderog
出版Springer Science & Business Media, 1991
ISBN
0387975322 / 9780387975320
主題
Computers
Selected papers of the Conferenc on Theoretical As...
出版1993
ISBN
OCLC:634279633
Verification of Sequential and Concurrent Programs
作者
Krzysztof Apt / Frank S. de Boer / Ernst-Rüdiger Olderog
出版Springer Science & Business Media, 2010-10-14
ISBN
9781848827448 / 184882744X
主題
Computers
Verification of Sequential and Concurrent Programs
作者
Krzysztof R. Apt / Ernst-Rüdiger Olderog
出版Springer Science & Business Media, 2013-03-09
ISBN
9781475743760 / 1475743769
主題
Computers
Edsger Wybe Dijkstra
作者
Krzysztof R. Apt / Tony Hoare
出版Morgan & Claypool, 2022-07-14
ISBN
9781450397742 / 1450397743
主題
Computers
A Brief History Of Mathematics For Curious Minds
作者
Krzysztof R Apt
出版World Scientific, 2023-11-17
ISBN
9789811280467 / 9811280460
主題
Mathematics
Constraint Logic Programming using Eclipse
作者
Krzysztof R. Apt / Mark Wallace
出版Cambridge University Press, 2006-12-21
ISBN
9781139460866 / 1139460862
主題
Computers
Principles of Constraint Programming
作者
Krzysztof Apt
出版Cambridge University Press, 2003-08-28
ISBN
0521825830 / 9780521825832
主題
Computers
From Logic Programming to Prolog
作者
Krzysztof R. Apt
出版1997
ISBN
UOM:39015038545011
主題
Computers
Pułapka niemożności
作者
Krzysztof Mikulski
出版2004
ISBN
STANFORD:36105114917870
主題
Toruń (Poland)
Trzy broszury prawne z r. 1607 i 1612
作者
Bolesław Ulanowski / Krzysztof Potkański / Jędrzej Suski
出版1893
ISBN
ONB:+Z314117304
Oficerowie Legionów Polskich 1914-1917
作者
Wiktor Krzysztof Cygan
出版2005
ISBN
UOM:39015064861548
主題
Poland
Oficerowie Legionów Polskich,1914-1917: Ś-Ż
作者
Wiktor Krzysztof Cygan
出版2007
ISBN
UOM:39015074285969
主題
Poland
Santayana and America
作者
Krzysztof Piotr Skowroński
出版2007
ISBN
STANFORD:36105123332467
主題
PHILOSOPHY
Methodology of the Analysis of Sanskrit Drama
作者
Maria Krzysztof Byrski
出版1997
ISBN
UOM:39015041611909
主題
Sanskrit drama
Sasakian Geometry
作者
Charles Boyer / Krzysztof Galicki
出版2008-01-24
ISBN
STANFORD:36105124015939
主題
Mathematics
Urzędnicy miejscy Torunia
作者
Roman Czaja / Krzysztof Mikulski / Jerzy Dygdała
出版2002
ISBN
IND:30000087266650
主題
Toruń (Poland)
Oficerowie Legionów Polskich 1914-1917: A-F
作者
Wiktor Krzysztof Cygan
出版2005
ISBN
UOM:39015063217064
主題
Poland
Polska służba medyczna w powstaniach śląskich i pl...
作者
Krzysztof Brożek
出版1973
ISBN
IND:30000104818988
主題
History of Medicine