ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

72,851 results

IxDF - Interaction Design Foundation
End-User Development: History, Areas, Methods | Margaret Burnett and Christopher Scaffidi - Part 1

Learn more about end-user development with Margaret Burnett and Christopher Scaffidi from Oregon State University, as they ...

26:33
End-User Development: History, Areas, Methods | Margaret Burnett and Christopher Scaffidi - Part 1

4,987 views

14 years ago

Dirk RIEHLE
Method types and properties (ADAP C01, winter 2021/22)

Learn the fundamental vocabulary of professionals when talking about the methods of a class. Slides are on GitHub at ...

1:12:03
Method types and properties (ADAP C01, winter 2021/22)

410 views

4 years ago

EuroBSDCon
Keynote 3: System Performance Analysis Methodologies - Brendan Gregg

Keynote 3: System Performance Analysis Methodologies - Brendan Gregg.

1:00:59
Keynote 3: System Performance Analysis Methodologies - Brendan Gregg

1,369 views

6 years ago

CMU Database Group
PostgreSQL Optimizer Methodology (Robert Haas)

CMU Database Group - Vaccination Database Tech Talks (2021) Speakers: Robert Haas (EnterpriseDB) PostgreSQL Optimizer ...

1:05:10
PostgreSQL Optimizer Methodology (Robert Haas)

10,485 views

5 years ago

Curtis “Ovid” Poe
Raku: The Programming Language You Didn't Know You Needed

This is an update of my Perl 6 for Mere Mortals talk. There's not much new, but it refers to Raku instead of Perl 6 and some slides ...

37:33
Raku: The Programming Language You Didn't Know You Needed

15,382 views

5 years ago

ConfEngine
40 Agile Methods in 40 Minutes: 2022 Edition by Craig Smith #AgileIndia 2022

With 66% of the world using Scrum as their predominant Agile method, this session will open up your eyes to the many other Agile ...

44:35
40 Agile Methods in 40 Minutes: 2022 Edition by Craig Smith #AgileIndia 2022

999 views

3 years ago

TLA+ - The Temporal Logic of Actions
Keynote: Formal Methods at Microsoft - Nikolaj Bjørner

... great thank you okay um so with the Advent of tools like co-pilot AI assisted programming do you think formal methods are going ...

56:30
Keynote: Formal Methods at Microsoft - Nikolaj Bjørner

4,265 views

3 years ago

Anil code craft solutions
programming methodology

https://1drv.ms/w/c/158b188e15ffa3ee/EcFkU7rpydpFt-jQXJYzT9EBvSWyhVpNzjduG38QyEYFMw?e=ruV2Q1 #like #viralvideo ...

30:27
programming methodology

1,340 views

2 years ago

Input Output Group
IOHK | Philipp Kant, Director of Formal Methods.

Philipp Kant is Director of Formal Methods at IOHK. In this video, he explains what formal methods are and why they are important ...

59:32
IOHK | Philipp Kant, Director of Formal Methods.

3,582 views

8 years ago

The 1.000.000.000
C Object Oriented Programming - Basic to Advance
2:46:57
C Object Oriented Programming - Basic to Advance

61 views

7 years ago

Berkeley Programming Systems
Jubi Taneja presents "Improving Compiler Construction Using Formal Methods"

Talk by Jubi Taneja in the Berkeley Programming Systems Seminar on June 4, 2020 Talk Abstract: As programming languages ...

1:15:39
Jubi Taneja presents "Improving Compiler Construction Using Formal Methods"

1,262 views

6 years ago

finmath
Lecture 2022-1 (32): Numerical Methods: Excursus: Software Development Tools

Lecture 2022-1: Session 32: Numerical Methods for Mathematical Finance: Excursus: Software Development Tools - Revision ...

1:08:39
Lecture 2022-1 (32): Numerical Methods: Excursus: Software Development Tools

438 views

3 years ago

Bogdan Vasilescu
Methods L26 - Final Presentations (Part 2) [CMU 17803 Empirical Methods - Spring 2021]

... essentially the programmer they would uh we would have a platform that would incorporate these distribution techniques and ...

1:29:03
Methods L26 - Final Presentations (Part 2) [CMU 17803 Empirical Methods - Spring 2021]

52 views

5 years ago

Bulgarian Java User Group
Demystifying "event” related software concepts and methodologies, Milen Dyankov

... event related concepts and and metadata methodologies and see um and see if we can establish some deeper understanding ...

48:02
Demystifying "event” related software concepts and methodologies, Milen Dyankov

333 views

4 years ago

Bulgarian Java User Group
An incremental approach to Formal Methods in enterprise Java applications - Teodor Parvanov

Teodor's talk on jPrime'2016 https://2016.jprime.io.

56:09
An incremental approach to Formal Methods in enterprise Java applications - Teodor Parvanov

352 views

10 years ago

Linux.conf.au 2016 -- Geelong, Australia
Usable formal methods - are we there yet?

Stefan Götz https://linux.conf.au/schedule/30141/view_talk Creating safe and secure software is hard, and counter-intuitively even ...

45:07
Usable formal methods - are we there yet?

1,307 views

10 years ago

UnitK
Learn Object-Oriented Programming with Python

Embark on a Pythonic journey! Master object-oriented programming with Python in this comprehensive guide, enhancing your ...

3:32:38
Learn Object-Oriented Programming with Python

144 views

2 years ago

Bulgarian Java User Group
Demystifying "event" related software concepts and methodologies

With the rise of DevOps, low cost Cloud Computing, and emerging Container technologies, the landscape for how you approach ...

59:46
Demystifying "event" related software concepts and methodologies

342 views

Streamed 4 years ago

Lucas Layman
Python Classes - Defining Equality and Dunder Methods

True else return false okay the equal method the equal operator must return um a boolean value either true or false okay that's ...

31:41
Python Classes - Defining Equality and Dunder Methods

712 views

5 years ago

Elliott Jin
The Future of Web Programming - Jean Yang

... 3:56 Programming models 5:47 Top-down design vs. complex systems 8:34 Methodical programming techniques 10:50 Akita ...

36:26
The Future of Web Programming - Jean Yang

616 views

5 years ago