21 treff

artificial intelligence computer programs
Grokking artificial intelligence algorithms
Rishal Hurbans.
Bok Engelsk 2020 · Vis mer
JIRA 4 Essentials
Li, Patrick.
Bok Engelsk 2011 · Vis mer
Catalogue of artificial intelligence tools
edited by Alan Bundy
Bok Engelsk 1984 · Vis mer
Vis flere utgaver
Vis flere utgaver
Deep thinking : where machine intelligence ends and human creativity begins /
Kasparov, G. K.
Bok Engelsk 2017 · Vis mer
Catalogue of artificial intelligence techniques
Alan Bundy (ed.)
Bok Språk ikke angitt 1990 · Vis mer
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
edited by Isil Dillig, Serdar Tasiran.
Bok Engelsk 2019 · Vis mer
Advances in communication control networks
S. Tarbouriech, C.T. Abdallah, J. Chiasso...
Bok Engelsk 2005 · Vis mer
Oversight of U.S. regional counterdrug efforts : hearing before the Subcommittee on National Security, International Affairs, and Criminal Justice of the Committee on Government Reform and Oversight, House of Representatives, One Hundred Fourth Congress, second session, March 12, 1998.
United States.
Bok Engelsk · Vis mer
ChatGPT for dummies
Pam Baker.
Bok Engelsk 2023 · Vis mer
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II /
edited by Tomáš Vojnar, Lijun Zhang.
Bok Engelsk 2019 · Vis mer
Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings /
edited by Christel Baier, Ugo Dal Lago.
Bok Engelsk 2018 · Vis mer
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II /
TACAS (Conference)
Bok Engelsk 2018 · Vis mer
Hearings on the Juvenile Justice and Delinquency Prevention Act : hearings before the Subcommittee on Early Childhood, Youth, and Families of the Committee on Economic and Educational Opportunities, House of Representatives, One Hundred Fourth Congress, second session, hearings held in Washington, DC, March 28, April 30, May 8, and San Marcos, California, May 13, 1996.
United States.
Bok Engelsk · Vis mer
Answer Set Programming
Lifschitz, Vladimir.
Bok Engelsk 2019 · Vis mer
Machine musicianship
Robert Rowe
Bok Engelsk 2001 · Vis mer
Generic model management : concepts and algorithms
Sergey Melnik
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
edited by Hans De Nivelle.
Bok Engelsk 2015 · Vis mer
Experience management : foundations, development methodology, and Internet-based applications
Ralph Bergmann
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Hearings on the reauthorization of the Higher Education Act of 1965 : Title IX, trio and state student incentive grants, and campus-based programs : hearings before the Subcommittee on Postsecondary Education of the Committee on Education and Labor, House of Representatives, One Hundred Second Congress, first session, hearings held in Washington, DC, June 13, 18, and 26, 1991.
United States.
Bok Engelsk · Vis mer
Blackboard systems
edited by Robert Engelmore, Tony Morgan
Bok Språk ikke angitt 1988 · Vis mer
Designing intelligent front ends for business software
Dan Shafer
Bok Engelsk 1989 · Vis mer