登入選單
Google圖書搜尋
Principles of Constraint Programming
作者
Krzysztof Apt
出版Cambridge University Press, 2003-08-28
ISBN
9781139438704 / 1139438700
主題
Computers
Constraint Logic Programming using Eclipse
作者
Krzysztof R. Apt / Mark Wallace
出版Cambridge University Press, 2006-12-21
ISBN
0521866286 / 9780521866286
主題
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
Modular Termination Proofs for Logic and Pure Prol...
作者
Krzysztof R. Apt / Dino Pedreschi
出版1993
ISBN
OCLC:31237735
主題
Logic programming
A Brief History Of Mathematics For Curious Minds
作者
Krzysztof R Apt
出版World Scientific, 2023-11-17
ISBN
9789811280467 / 9811280460
主題
Mathematics
Foundations of Deductive Databases and Logic Progr...
作者
Jack Minker
出版Morgan Kaufmann Publishers, 1988
ISBN
UOM:39015013474682
主題
Computers
From Logic Programming to Prolog
作者
Krzysztof R. Apt
出版1997
ISBN
UOM:39015038545011
主題
Computers
Foundations of Computer Science II
作者
Krzysztof R. Apt / Jacobus Willem Bakker
出版1976
ISBN
UOM:39015051268053
主題
Algorithms
The Logic Programming Paradigm
作者
Krzysztof R. Apt
出版1987
ISBN
OCLC:860767495
主題
Constraint-Pro
Verification of Sequential and Concurrent Programs
作者
Krzysztof R. Apt / E.-R. Olderog
出版Springer Science & Business Media, 1991
ISBN
0387975322 / 9780387975320
主題
Computers
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
Selected papers of the Conferenc on Theoretical As...
出版1993
ISBN
OCLC:634279633
Learning Apache Thrift
作者
Krzysztof Rakowski
出版Packt Publishing Ltd, 2015-12-30
ISBN
9781785888670 / 1785888676
主題
Computers
Learning Apache Thrift
作者
Krzysztof Rakowski
出版Packt Publishing Ltd, 2015-12-30
ISBN
9781785888670 / 1785888676
主題
Computers
The Laplace Distribution and Generalizations
作者
Samuel Kotz / Tomasz Kozubowski / Krzysztof Podgorski
出版Springer Science & Business Media, 2001-05-18
ISBN
0817641661 / 9780817641665
主題
Mathematics
Verification of Sequential and Concurrent Programs
作者
Krzysztof R. Apt / Ernst-Rüdiger Olderog
出版Springer Science & Business Media, 2013-03-09
ISBN
9781475727142 / 1475727143
主題
Computers
The Historicity of Experience
作者
Krzysztof Ziarek
出版Northwestern University Press, 2001-08-30
ISBN
9780810118362 / 081011836X
主題
Art
Principles of Constraint Programming
作者
Krzysztof Apt
出版Cambridge University Press, 2003-08-28
ISBN
9781139438704 / 1139438700
主題
Computers
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
Edsger Wybe Dijkstra
作者
Krzysztof R. Apt / Tony Hoare
出版Morgan & Claypool, 2022-07-14
ISBN
9781450397742 / 1450397743
主題
Computers
Unreal Beliefs
作者
Krzysztof Poslajko
出版Bloomsbury Publishing, 2024-05-16
ISBN
9781350354784 / 1350354783
主題
Philosophy
Foundations of Convection with Density Stratificat...
作者
Krzysztof A. Mizerski
出版Springer Nature, 2020-12-29
ISBN
9783030630546 / 3030630544
主題
Science
Holes In The Whole
作者
Krzysztof Nawratek
出版John Hunt Publishing, 2012-10-26
ISBN
9781780993768 / 1780993765
主題
Social Science
Encounters with Tadeusz Kantor
作者
Krzysztof Miklaszewski
出版Routledge, 2013-10-11
ISBN
9781136466137 / 1136466134
主題
Drama
14 notes
作者
Krzysztof Łanda / Jan Bielecki
出版e-bookowo, 2018-05-22
ISBN
9788393927364 / 8393927366
主題
Fiction
Toward Xenopolis
作者
Krzysztof Czyżewski
出版Boydell & Brewer, 2022
ISBN
9781648250354 / 1648250351
主題
Central European literature
The Dreamers and the Panitents
作者
Krzysztof Spadło
出版e-bookowo, 2012-10-18
ISBN
9788378590903 / 8378590909
主題
Fiction
Classical Political Philosophy in Popular Discours...
作者
Zbigniew Rau / Katarzyna M. Staszynska / Maciej Chmielinski / Krzysztof Zago´rski
出版Rowman & Littlefield, 2021-05-19
ISBN
9781793612274 / 1793612277
主題
Political Science