28 Similar Sites like Alaska-kamtchatka.blogspot.com

Alaska Ataca a Kamtchatka

A collection of musings, in the style of Edsger Dijkstra"s celebrated EWDs.

Site Popularity:
1 points

Language: English

arXiv.org e-Print archive arxiv.org

Tags: AlgorithmsFunctionalMathematicsFormal
Similarity:
46%

CBSE Maths Sample Papers, NCERT Solutions, Maths Easy Concept Videos | NCERT Mathematics Text Book solutions class X 10 IX 9 cbsemath.com

CBSEMath.com, Download NCERT CBSE Handwritten Mathematics Solutions with real graphs & Constructions for classes IX X VIII VII 7 8 9 10 Free, Download CBSE Mathematics Sample Question Papers latest pattern 2023 2024 Free, Watch Videos explaining Mathematics Concepts in a easy way Free,

Tags: TypingMathematicsTheorems
Similarity:
38%

HTML Goodies: HTML, CSS & JavaScript Development Resources htmlgoodies.com

Free web development tutorials, resources, and help featuring tutorials on HTML, HTML5, CSS, JavaScript, color codes, hex codes, Open Source CMSs, SEO, and more.

Tags: ProgrammingTypingFormal
Similarity:
38%

Database Driven Website Development, Optimization Consulting Company inverudio.com

Educational software and internet education, Python and Java programming and software development, static and dynamic web site design, search engine optimization - SEO, Chicago tutor, Chicago, IL, 60614 / 60657

Tags: ProgrammingStaticMathematics
Similarity:
38%

Welcome to the University at Buffalo - University at Buffalo buffalo.edu

Explore New York's flagship. The University at Buffalo, the top public university in the state, combines superior academics with true affordability.

Tags: StaticMathematics
Similarity:
30%

Mathematics girlseatworld.blogspot.com

Tags: MathematicsTheorems
Similarity:
30%

Apress apress.com

We build strong partnerships with our authors. Apress offers authors the chance to work with a publisher with the marketing, distribution, and

Tags: ProgrammingMathematics
Similarity:
30%

Rader's NUMBERNUT.COM numbernut.com

NumberNut.com! The web site that teaches the basics of math to everyone!

Tags: MathematicsTheorems
Similarity:
30%

* arachnoid.com arachnoid.com

A site for people who think. Intellectual resources, programming, astronomy, science, mathematics, Java/JavaScript applets, programming instruction, home of Arachnophilia.

Tags: ProgrammingMathematics
Similarity:
30%

American Mathematical Society :: Homepage ams.org

The American Mathematical Society is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs.

Tags: MathematicsProofs
Similarity:
30%

TenSen.net tensen.net

Tags: TheoremsProofs
Similarity:
30%

The New Calculus - John Gabriel thenewcalculus.weebly.com

First Rigorous Formulation of Calculus

Tags: TheoremsProofs
Similarity:
30%

Hilbert II - Introduction qedeq.org

Verify and document mathematical proofs. This open source project wants to present mathematical knowledge in a formal correct form. It includs a proof verifier which can check a mathematical proof written in a certain formal language. This mathematical knowledge is organized in qedeq BOOKs which could be spread over the whole world wide web. There are converters for generating LaTeX files and html pages.

Tags: TheoremsProofs
Similarity:
30%

Antipope! antipope.org

Tags: StaticTyping
Similarity:
30%

cut-the-knot.org cut-the-knot.org

An encyclopedic collection of math resources for all grades. Arithmetic games, problems, puzzles, and articles

Tags: MathematicsProofs
Similarity:
30%

JIBLM.org - Journal of Inquiry-Based Learning in Mathematics - IBL Course Notes in Mathematics jiblm.org

Tags: MathematicsTheorems
Similarity:
30%

InfoQ: Software Development News, Trends & Best Practices infoq.com

Helping dev teams adopt new technologies and practices. Written by software engineers. Read by over 1.5 million developers worldwide.

Tags: FunctionalProgramming
Similarity:
30%

Microsoft Developer News | C++, C# & .NET Framework & More | CodeGuru codeguru.com

CodeGuru is where developers come to share ideas, articles, questions, answers, tips, tricks, comments, downloads, and more related to programming in areas including C++, Visual C++, C#, Visual Basic, ASP, ASP.NET & Java.

Tags: AlgorithmsProgramming
Similarity:
30%

InformIT: The Trusted Technology Source for IT Pros and Developers informit.com

Resources from the authors, creators, innovators, & leaders of technology - home to leading publishers Addison-Wesley Professional, & Sams.

Tags: AlgorithmsProgramming
Similarity:
30%

Search engine optimization - SEO Company Search Engine Genie searchenginegenie.com

Search Engine Genie offers search engine optimization(SEO), PPC, SMO, Link building, web design, shopping feeds, website programming and more. Search Engine Genie is a great resource with 50 plus webmaster tools, forums, FAQs and more.

Tags: AlgorithmsProgramming
Similarity:
30%

cplusplus.com cplusplus.com

Tags: AlgorithmsFunctional
Similarity:
30%

UNDER CONSTRUCTION brainjar.com

Tags: AlgorithmsProgramming
Similarity:
30%

Haskell Language haskell.org

The Haskell purely functional programming language home page.

Tags: FunctionalProgramming
Similarity:
30%

Website Design Software | NetObjects Fusion netobjects.com

NetObjects Fusion Website Design Software will enable you to build powerful, professional quality Web sites in minutes- without HTML programming.

Tags: FunctionalStatic
Similarity:
30%

The Scala Programming Language scala-lang.org

Tags: FunctionalProgramming
Similarity:
30%

Crazyleaf Design - Web and Graphic Design Inspiratioins crazyleafdesign.com

Crazyleaf Design made email templates, graphic designs, creative business card design professional team since 2006. A community for Inspiratioins.

Tags: FunctionalProgramming
Similarity:
30%

Manning manning.com

Tags: FunctionalProgramming
Similarity:
30%

Home - D Programming Language dlang.org

D is a general-purpose programming language with static typing, systems-level access, and C-like syntax.

Tags: ProgrammingStatic
Similarity:
30%
Analyzed Keywords
Typing Theorems Style Static Reaso­ning Proofs Prog­ram­ming Ocaml Musings Mat­hema­tics Logic Kamtchat­ka Functio­nal Formal Ewds Edsger Dijkstras Col­lection Celeb­ra­ted Ataca Al­go­rithms Alaska