ocaml

発売日2016-08-03

O++ops the Simplest Programming Language

著者: Klaus Benecke
出版社: Books on Demand
仕様: ペーパーバック

発売日2016-05-03

Beginning F# 4.0

著者: Robert Pickering/Kit Eason
出版社: Apress
仕様: ペーパーバック

発売日2016-04-15

Expert F# (Expert's Voice in .NET)

著者: Antonio Cisternino/Adam Granicz/Don Syme
出版社: Apress
仕様: ペーパーバック

発売日2016-02-23

Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings (Lecture Notes in Computer Science)

著者: Oleg Kiselyov/Andy King
出版社: Springer
仕様: ペーパーバック

発売日2015-12-25

Programming Language Pragmatics, Fourth Edition

著者: Michael L. Scott
出版社: Morgan Kaufmann
仕様: ペーパーバック

発売日2015-09-01

An Accessible Introduction to Common Lisp and Functional Programming (English Edition)

著者: Shin-Nosuke Yamada
仕様: Kindle版

発売日2015-08-27

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Lecture Notes in Computer Science)

著者: Christian Urban/Xingyuan Zhang
出版社: Springer
仕様: ペーパーバック

発売日2015-07-14

Practical Aspects of Declarative Languages: 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings (Lecture Notes in Computer Science)

著者: Enrico Pontelli/Tran Cao Son
出版社: Springer
仕様: ペーパーバック

発売日2015-06-24

Compiler Design: Syntactic and Semantic Analysis

著者: Reinhard Wilhelm/Helmut Seidl/Sebastian Hack
出版社: Springer
仕様: ペーパーバック

発売日2015-04-09

Compiler Construction: 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (Lecture Notes in Computer Science)

著者: Bjoern Franke
出版社: Springer
仕様: ペーパーバック

発売日2015-01-23

OCaml: Programação funcional na prática

著者: Andrei Araújo de Formiga
出版社: Casa do Código
仕様: Kindle版

発売日2015-01-06

OCaml: Questions and Answers (English Edition)

著者: George Duckett
出版社: George Duckett
仕様: Kindle版

発売日2014-12-15

Practical OCaml

著者: Joshua B. Smith
出版社: Apress
仕様: ペーパーバック

発売日2014-12-08

OCaml: Questions and Answers (English Edition)

著者: George Duckett
出版社: George Duckett
仕様: Kindle版

発売日2014-11-06

Pattern Calculus: Computing with Functions and Structures

著者: Barry Jay
出版社: Springer
仕様: ペーパーバック

発売日2014-10-28

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science)

著者: Dimitra Giannakopoulou/Daniel Kroening
出版社: Springer
仕様: ペーパーバック

発売日2014-09-22

More OCaml: Algorithms, Methods & Diversions (English Edition)

著者: John Whitington
出版社: Coherent Press
仕様: Kindle版

発売日2014-08-26

More Ocaml: Algorithms, Methods, and Diversions

著者: John Whitington
出版社: Coherent Press
仕様: ペーパーバック

発売日2014-08-01

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (Lecture Notes in Computer Science)

著者: Gerwin Klein/Ruben Gamboa
出版社: Springer
仕様: ペーパーバック

発売日2013-12-06

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press)

著者: Adam Chlipala
出版社: The MIT Press
仕様: ハードカバー

発売日2013-11-25

Real World OCaml

著者: Yaron Minsky/Anil Madhavapeddy/Jason Hickey
出版社: O'Reilly Media
仕様: ペーパーバック

発売日2013-11-04

Real World OCaml: Functional programming for the masses

著者: Yaron Minsky/Anil Madhavapeddy/Jason Hickey
出版社: O'Reilly Media
仕様: Kindle版

発売日2013-11-04

Real World OCaml: Functional programming for the masses

著者: Yaron Minsky/Anil Madhavapeddy/Jason Hickey
出版社: O'Reilly Media
仕様: Kindle版

発売日2013-10-04

Software Language Engineering: 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings (Lecture Notes in Computer Science)

著者: Martin Erwig/Richard Paige/Eric Van Wyk
出版社: Springer
仕様: ペーパーバック

発売日2013-09-27

Evaluation of Hash Functions for Multipoint Sampling in IP Networks

著者: Christian Henke
出版社: Grin Verlag
仕様: ペーパーバック

発売日2013-07-30

Trends in Functional Programming: 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers (Lecture Notes in Computer Science)

著者: Hans Wolfgang Loidl/Ricardo Peña
出版社: Springer
仕様: ペーパーバック

発売日2013-06-20

OCaml from the Very Beginning (English Edition)

著者: John Whitington
出版社: Coherent Press
仕様: Kindle版

発売日2013-06-07

OCaml from the Very Beginning

著者: John Whitington
出版社: Coherent Press
仕様: ペーパーバック

発売日2013-05-30

Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science)

著者: Andrew M. Pitts
出版社: Cambridge University Press
仕様: ハードカバー

発売日2013-05-28

Compiler Design: Syntactic and Semantic Analysis

著者: Reinhard Wilhelm/Helmut Seidl/Sebastian Hack
出版社: Springer
仕様: ハードカバー

発売日2013-04-23

Ocaml Programming Language Family: Ocaml Software, Objective Caml, Marionnet, Fftw, Mldonkey, Unison, Frama-C, Hol Light, Coq, Geneweb

著者: LLC Books
出版社: Books LLC
仕様: オンデマンド (ペーパーバック)

発売日2013-02-14

Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Lecture Notes in Computer Science)

著者: David Basin/John C. Mitchell
出版社: Springer
仕様: ペーパーバック

発売日2012-12-31

Uebersetzerbau: Band 2: Syntaktische und semantische Analyse (eXamen.press)

著者: Reinhard Wilhelm/Helmut Seidl/Sebastian Hack
出版社: Springer
仕様: ペーパーバック

発売日2012-11-17

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science)

著者: Chris Hawblitzel/Dale Miller
出版社: Springer
仕様: ペーパーバック

発売日2012-10-31

Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers (Lecture Notes in Computer Science)

著者: Ricardo Peña/Rex Page
出版社: Springer
仕様: ペーパーバック

発売日2012-08-14

Compiler Design: Analysis and Transformation

著者: Helmut Seidl/Reinhard Wilhelm/Sebastian Hack
出版社: Springer
仕様: ハードカバー

発売日2012-04-30

Computer Aided Verification: 23rd International Conference, Cav 2011, Snowbird, Ut, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

著者: Ganesh Gopalakrishnan/Shaz Qadeer
出版社: Springer-Verlag New York Inc (C)
仕様: ペーパーバック

発売日2012-04-23

Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers (Lecture Notes in Computer Science)

著者: Marco Carbone/Jean-Marc Petit
出版社: Springer
仕様: ペーパーバック

発売日2012-03-03

Open Source: Perl, Otwarta Tre , PHP, Tex, Tar, Ocaml, TCL, Opencola, Nasm, Zsh, Xfree86, Objective-C, Ruby on Rails, Otwarte Oprog

著者: Zródlo: Wikipedia
出版社: Books LLC, Wiki Series
仕様: ペーパーバック

発売日2012-02-20

OCaml

著者: Jesse Russell/Ronald Cohn
出版社: Book on Demand Ltd.
仕様: オンデマンド (ペーパーバック)

発売日2011-11

Exploring Music Contents: 7th International Symposium, Cmmr 2010, Malaga, Spain, June 21-24, 2010, Revised Papers (Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and Hc)

著者: Solvi Ystad/Mitsuko Aramaki/Richard Kronland-martinet/Kristoffer Jensen
出版社: Springer-Verlag New York Inc (C)
仕様: ペーパーバック

発売日2011-11-18

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in Computer Science)

著者: Jean-Pierre Jouannaud/Zhong Shao
出版社: Springer
仕様: ペーパーバック

発売日2011-11-09

Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 Proceedings (Lecture Notes in Artificial Intelligence)

著者: James H. Davenport/William M. Farmer/Florian Rabe/Josef Urban
出版社: Springer-Verlag New York Inc (C)
仕様: ペーパーバック

発売日2011-09-30

Mapreduce: High-Impact Strategies - What You Need to Know: Definitions, Adoptions, Impact, Benefits, Maturity, Vendors

著者: Kevin Roebuck
出版社: Tebbo
仕様: ペーパーバック

発売日2011-09-30

Recent Advances in the Message Passing Interface: 18th European Mpi Users Group Meeting, Eurompi 2011, Santorini, Greece, September 18-21, 2011. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

著者: Yiannis Cotronis/Anthony Danalis/Dimitris Nikolopoulos/Jack Dongarra
出版社: Springer-Verlag New York Inc (C)
仕様: ペーパーバック

2026年11月のカレンダー

過去1年の新刊

関連キーワード